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

Related topics

Related topics

1 relation
Kinect

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Clinical Research on Foot & Ankle The Effect of Kinesiotaping on Functional Performance in Chronic Ankle Instability-Preliminary Study
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
Communicative commitments: Model checking and complexity analysis
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
Towards Component Based Design of Hybrid Systems: Safety and Stability
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
ATL with Strategy Contexts and Bounded Memory
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 KCNQ1 (Kv7.1) COOH terminus, a multitiered scaffold for subunit assembly and protein interaction.
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 Complexity of Enriched µ-Calculi
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
Where do web sites come from?: capturing and interacting with design history
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
Early Algorithm Efficiency with Design Patterns
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
Freedom, weakness, and determinism: from linear-time to branching-time
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
Female choice selects for male sexual tail ornaments in the monogamous swallow
Male secondary sexual ornaments are widespread among polygynous animals1 where they apparently arise through female choice and… (More)
Is this relevant?