Semantic Scholar uses AI to extract papers important to this topic.
Proof assistants based on dependent type theory provide expressive languages for both programming and proving within the same… Expand Introduction: In Colombia, there is widespread transformation of natural ecosystems, especially in the Andean region. However… Expand When working with distant collaborators on the same documents, one often uses a version control system, which is a program… Expand In this paper, we will study the following geometric flow, obtained by Goldstein and Petrich while considering the evolution of a… Expand Bed surface particle size patchiness may play a central role in bedload and morphologic response to changes in sediment supply in… Expand Version control systems are essential for managing the distributed development of large software projects. We present a formal… Expand A common reaction from people who hear about darcs, the source control system I created, is that it sounds like a great tool, but… Expand On a continental scale a river system itself is an ecotone, mediating between the terrestrial system and the sea. On the… Expand The microstrip antenna patch is analyzed and designed using the full wave model of the Transverse Transmission Line (TTL) in… Expand The thermionic and photoelectric work functions and the temperature variation of coating conductivity have been measured for an… Expand