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

SYNTH

Known as: Synth (disambiguation), Synth game, Synth video game 
Synth is an action real-time strategy video game developed by Rhys Paul Hovey for Microsoft Windows. Synth is an abstract and procedurally generated… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Knowledge Bases (KBs) are becoming increasingly large, sparse and probabilistic. These KBs are typically used to perform query… Expand
  • table 1
  • figure 1
  • figure 2
  • table 4
Is this relevant?
Highly Cited
2017
Highly Cited
2017
A notable class of techniques for automatic program repair is known as semantics-based. Such techniques, e.g., Angelix, infer… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • table 1
Is this relevant?
2015
2015
 
Is this relevant?
Highly Cited
2013
Highly Cited
2013
The classical formulation of the program-synthesis problem is to find a program that meets a correctness specification given as a… Expand
Is this relevant?
Highly Cited
2011
Highly Cited
2011
synth implements the synthetic control method for causal inference in comparative case studies as described in "Synthetic Control… Expand
Is this relevant?
2006
2006
Leg 201 of the Ocean Drilling Program was the first ocean drilling expedition dedicated to the study of life deep beneath the… Expand
Is this relevant?
2004
2004
High-throughput synthesis and screening methods have been developed for the discovery of families of high activity water-gas… Expand
  • table 1
Is this relevant?
1994
1994
SUMMARY Prolyl endopeptidase (PEP: [E.C.3.4.21.26]) is a widely distributed serine peptidase that cleaves a variety of… Expand
Is this relevant?
1993
1993
A computer code has been written at the Pacific Northwest Laboratory (PNL) to synthesize the results of typical gamma-ray… Expand
  • figure 1
  • figure 2
Is this relevant?
1989
1989
Abstract Negation as failure is sound both for the closed world assumption and the completed database or completion, comp ( P… Expand
Is this relevant?