Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Don Syme

Known as: Syme 
Don Syme is an Australian computer scientist and a Principal Researcher at Microsoft Research, Cambridge, U.K. He is the designer and architect of… Expand
Wikipedia

Related topics

Related topics

9 relations
Automated proof checkingBenevolent dictator for lifeC++Computer science
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Using tree ring data as a proxy for transpiration to reduce predictive uncertainty of a model simulating groundwater-surface water- vegetation interactions
Summary The interactions between surface water, the vadose zone, groundwater, and vegetation are governed by complex feedback… Expand
  • figure 1
  • table 1
  • figure 2
  • table 2
  • figure 3
Is this relevant?
2007
2007
Older adultsâ user experiences with mobile phones: identification of user clusters and user requirements
This research addressed how older adults experience their mobile phones in their everyday lives and how mobile phones could be… Expand
  • figure 1
  • table 1
  • table 2
  • figure 2
  • table 3
Is this relevant?
2004
2004
Chemical composition of coniferous wood species occurring in Turkey
Turkey is rich in coniferous woods growing in different regions of the country, because of its geographical position at the… Expand
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
2000
Highly Cited
2000
From LCF to HOL: a short history
The original LCF system was a proof-checking program developed at Stanford University by Robin Milner in 1972. Descendents of LCF… Expand
Is this relevant?
1999
1999
Law and Empire in Late Antiquity
1. The law of Late Antiquity 2. Making the law 3. The construction of authority 4. The efficacy of law 5. In court 6. Crime and… Expand
Is this relevant?
Highly Cited
1995
Highly Cited
1995
DELINEATION OF THE SOCIAL NETWORK AND DIFFERENCES IN NETWORK SIZE
There is a long-standing tradition in the field of gerontology of studying the social networks of the aged. Most studies focus on… Expand
  • table 5.1
  • figure 5.1
  • figure 5.2
  • figure 5.3
Is this relevant?
Highly Cited
1993
Highly Cited
1993
A Theory of Marital Dissolution and Stability
Research is presented on the prospective longitudinal prediction of marital dissolution. First, a cascade toward marital… Expand
  • figure 2
  • figure 3
Is this relevant?
1993
1993
Efficiency in a fully-expansive theorem prover
The HOL system is a fully-expansive theorem prover: Proofs generated in the system are composed of applications of the primitive… Expand
Is this relevant?
Highly Cited
1986
Highly Cited
1986
Social Rank, Dominance, Antler Size, and Access To Food in Snow-Bound Wild Woodland Caribou
We spent two winters studying the social behaviour of wild woodland caribou (Rangifer tarandus caribou) at a time when their main… Expand
Is this relevant?
1956
1956
Syme's amputation; the technical details essential for success.
 
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE