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

Darcs

Known as: David's Advanced Revision Control System, Patch theory, Theory of patches 
Darcs is a distributed version control system created by David Roundy. Key features include the ability to choose which changes to accept from other… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Proof assistants based on dependent type theory provide expressive languages for both programming and proving within the same… Expand
  • figure 1
  • figure 2
Is this relevant?
2018
2018
The dynamics of two-dimensional (2-D) ideal fluid vortices is studied experimentally in the presence of an irrotational strain… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2014
2014
Introduction:  In Colombia, there is widespread transformation of natural ecosystems, especially in the Andean region. However… Expand
Is this relevant?
2013
2013
When working with distant collaborators on the same documents, one often uses a version control system, which is a program… Expand
Is this relevant?
2009
2009
In this paper, we will study the following geometric flow, obtained by Goldstein and Petrich while considering the evolution of a… Expand
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 2.4
  • figure 3.1
Is this relevant?
2006
2006
Bed surface particle size patchiness may play a central role in bedload and morphologic response to changes in sediment supply in… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
2006
2006
Version control systems are essential for managing the distributed development of large software projects. We present a formal… Expand
  • figure 1
Is this relevant?
2004
2004
On a continental scale a river system itself is an ecotone, mediating between the terrestrial system and the sea. On the… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
1998
1998
The microstrip antenna patch is analyzed and designed using the full wave model of the Transverse Transmission Line (TTL) in… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1948
1948
The thermionic and photoelectric work functions and the temperature variation of coating conductivity have been measured for an… Expand
  • figure 2
  • figure 3
  • figure 4
  • table I
  • figure 5
Is this relevant?