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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
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
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
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
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
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
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
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
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
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