Concept
C file input/output
Related publications (6)
Reproducibility dataset for CRYOWRF validation
Varun Sharma, Michael Lehning, Franziska Gerber
This dataset contains data and scripts for "CRYOWRF - a validation and the effect of blowing snow on the Antarctic SMB" (Gerber et al., 2022).* Simulation_setup: Namelists and input information to run the simulation. Some input files need to be downloaded ...
EPFL Infoscience2022Gradient flow emulation using drift diffusion processes
The present invention concerns a method of emulating gradient flow for solving a given problem as a charge distribution in a device (1) comprising: first type charge carrier regions (5) interfacing a second type charge carrier region (11) thereby forming c ...
2021Scaling Functional Synthesis and Repair
Program synthesis was first proposed a few decades ago, but in the last decade it has gained increased momentum in the research community. The increasing complexity of software has dictated the urgent need for improved supporting tools that verify the soft ...
EPFL2019Protection of data from erasures using subsymbol based codes
An encoder uses output symbol subsymbols to effect or control a tradeoff of computational effort and overhead efficiency to, for example, greatly reduce computational effort for the cost of a small amount of overhead efficiency. An encoder reads an ordered ...
2008