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

Patchwork

Patchwork is a free, web-based patch tracking system designed to facilitate the contribution and management of contributions to an open-source… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2016
Highly Cited
2016
We present a new, completely redesigned, version of F*, a language that works both as a proof assistant as well as a general… Expand
  • figure 3
  • figure 5
Is this relevant?
Highly Cited
2008
Highly Cited
2008
 
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Abstract There is considerable interest in using remote sensing to characterize the hydrologic behavior of the land surface on a… Expand
  • table 1
  • figure 1
  • table 2
  • figure 3
  • figure 2
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Abstract The effects of software (code) on the spatial formation of everyday life are best understood through a theoretical… Expand
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Many species of vertebrates require multiple habitats to obtain different resources at different stages of their life-cycles. Use… Expand
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Abstract Implementing an ERP causes massive change that needs to be carefully managed to reap the benefits of an ERP solution… Expand
Is this relevant?
Highly Cited
1999
Highly Cited
1999
A high voltage solid-state rectifier includes multiple series connected ac-compensated diodes and series buffer resistors in a… Expand
  • figure 2
  • table 1
  • table 2
  • table 3
  • figure 3
Is this relevant?
Highly Cited
1988
Highly Cited
1988
Most connectionist or "neural network" learning systems use some form of the back-propagation algorithm. However, back… Expand
Is this relevant?
Highly Cited
1980
Highly Cited
1980
Preface. Part I: Critique of Theoretical Reason. Foreword. 1. Objectifying Objectification. 2. The Imaginary Anthropology of… Expand
  • figure 2
  • figure 3
  • figure 7
  • figure 9
  • figure 1
Is this relevant?
Highly Cited
1966
Highly Cited
1966
Evolutionary divergence among adjacent plant populations I. The evidence and its theoretical analysis 
  • table 2
  • table 5
Is this relevant?