FAQ

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

Topic mentions per year

Topic mentions per year

1988-2017
02419882017

Related topics

Related topics

1 relation
Kinect

Related mentions per year

Related mentions per year

1975-2018
197019801990200020102020
Orna Berry
Kinect

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
A Normative Theory of the Information Society - By Alistair S. Duff
Alistair Duff, Professor of Information Policy in the Centre for Social Informatics at Edinburgh Napier University, is well-known… (More)
Is this relevant?
2013
2013
The Effect of Kinesiotaping on Functional Performance in Chronic Ankle Instability - Preliminary Study
David Hettle1*, Linda Linton2, Julien S Baker3 and Orna Donoghue4 1University of Edinburgh Medical School, University of… (More)
  • figure 1
  • figure 2
  • table 2
Is this relevant?
2007
2007
Making Knowledge Visible. Communicating Knowledge Through Information Product.Elisabeth Orna
 
Is this relevant?
Highly Cited
2005
Highly Cited
2005
ω-regular Languages are Testable with a Constant Number of Queries ?
We continue the study of combinatorial property testing. For a property ψ, an ε-test for ψ, for 0 < ε ≤ 1, is a randomized… (More)
Is this relevant?
2005
2005
Abstraction for Falsification
ion for Falsification Thomas Ball, Orna Kupferman, and Greta Yorsh 1 Microsoft Research, Redmond, WA, USA. Email: tball@microsoft… (More)
  • figure 1
Is this relevant?
2003
2003
An analysis of patient information leaflets supplied with medicines sold by pharmacists in the United Kingdom
The primary aim of this exploratory study was to analyse the design factors contributing to the reading ease and comprehension of… (More)
  • table 1
  • table 2
Is this relevant?
2000
2000
µ-Calculus Synthesis
In system synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. When the system… (More)
Is this relevant?
2000
2000
Automatic Abstraction in Model Checking
As technology advances and demand for higher performance increases hardware designs are becoming more and more sophisticated. A… (More)
  • figure 1.1
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 2.4
Is this relevant?
Highly Cited
1993
Highly Cited
1993
Model Checking, Abstraction, and Compositional Veriication Thesis Committee
Because of the di culty of adequately simulating large digital designs, there has been a recent surge of interest in formal veri… (More)
  • figure 2.7
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?