Orna Berry

Known as: Orna 
Orna Berry (born December 19, 1949), is an Israeli scientist, high-tech entrepreneur, businesswoman, senior director among the Israeli science and… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Objective: Chronic Ankle Instability (CAI) is characterised by recurrent giving way and often develops after repeated lateral… (More)
  • figure 1
  • figure 2
  • table 2
Is this relevant?
2012
2012
We refine CTLC, a temporal logic of social commitments that extends CTL to allow reasoning about commitments agents create when… (More)
  • figure 1
  • figure 3
  • figure 4
  • table 1
Is this relevant?
2010
2010
We propose a library based incremental design methodology for constructing hybrid controllers from a component library of models… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2009
Highly Cited
2009
We extend the alternating-time temporal logics ATL and ATL * with strategy contexts and memory constraints : the first extension… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2008
Highly Cited
2008
The Kv7 subfamily of voltage-dependent potassium channels, distinct from other subfamilies by dint of its large intracellular… (More)
  • table 1
  • table 3
Is this relevant?
2006
2006
The fully enriched μ-calculus is the extension of the propositional μ-calculus with inverse programs, graded modalities, and… (More)
  • figure 1
Is this relevant?
Highly Cited
2002
Highly Cited
2002
To form a deep understanding of the present; we need to ?nd and engage history. We present an informal history capture and… (More)
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2001
2001
Algorithm efficiency is a fundamental computer science concept encapsulating the core topic of algorithm complexity. While… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Model checking is a method for the verification of systems with respect to their specifications. Symbolic model-checking, which… (More)
Is this relevant?
Highly Cited
1988
Highly Cited
1988
Male secondary sexual ornaments are widespread among polygynous animals1 where they apparently arise through female choice and… (More)
Is this relevant?