Concept
Emacs
Related publications (12)
Implementation of the ISORROPIA-lite aerosol thermodynamics model into the EMAC chemistry climate model (based on MESSy v2.55): implications for aerosol composition and acidity
Athanasios Nenes, Spyros Pandis
This study explores the differences in performance and results by various versions of the ISORROPIA thermodynamic module implemented within the ECHAM/MESSy Atmospheric Chemistry (EMAC) model. Three different versions of the module were used, ISORROPIA II v ...
Copernicus Gesellschaft Mbh2024A 1-GS/s 6-8-b Cryo-CMOS SAR ADC for Quantum Computing
Edoardo Charbon, Fabio Sebastiano, Alessandro Catania
This article presents a two-times interleaved, loop-unrolled SAR analog-to-digital converter (ADC) operational from 300 down to 4.2 K. The 6-8-bit resolution and the sampling speed up to 1 GS/s are targeted at digitizing the multi-channel frequency-multipl ...
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2023Proof of Multi-Stage Programming with Generative and Analytical Macros
Martin Odersky, Nicolas Alexander Stucki, Jonathan Immanuel Brachthäuser
In metaprogramming, code generation and code analysis are complementary. Traditionally, principled metaprogramming extensions for programming languages, like MetaML and BER MetaOCaml, offer strong foundations for code generation but lack equivalent support ...
EPFL2021Modeling Multimodal-Multiuser Interactions in Declarative Multimedia Languages
Roberto Gerson De Albuquerque Azevedo
Recent advances in hardware and software technologies have given rise to a new class of human-computer interfaces that both explores multiple modalities and allows for multiple collaborating users. When compared to the development of traditional single-use ...
ASSOC COMPUTING MACHINERY2019Two approaches to portable macros
For any programming language that supports macros and has multiple implementations (each with different AST definitions), there is a common problem: how to make macros that operate on ASTs portable among different compiler implementations? Implementing por ...
2017Sampling and Energy Evaluation Challenges in Ligand Binding Protein Design
The steroid hormone 17α-hydroxylprogesterone (17-OHP) is a biomarker for congenital adrenal hyperplasia and hence there is considerable interest in sensor development towards this compound. We used computational protein design to generate protein models wi ...
Cold Spring Harbor Laboratory Press2017Aerosol water parameterisation: A single parameter framework
We introduce a framework to efficiently parameterise the aerosol water uptake for mixtures of semi-volatile and non-volatile compounds, based on the coefficient, vi. This solute-specific coefficient was introduced in Metzger et al. (2012) to accurately par ...
Copernicus GmbH2016StriSynth: Synthesis for Live Programming
Abstract—Motivated by applications in automating repetitive file manipulations, we present a tool called StriSynth, which allows end-users to perform transformations over data using examples. Based on provided examples, our tool automatically generates scr ...
2015Scala Macros: Let Our Powers Combine!
Compile-time metaprogramming has been proven immensely useful enabling programming techniques such as language virtualization, embedding of external DSLs, self-optimization, and boilerplate generation amongst many others. In the recent production release o ...
2013Image interpolation with edge-preserving differential motion refinement
Motion estimation (ME) methods based on differential techniques provide useful information for video analysis, and moreover it is relatively easy to embed into them regularity constraints en- forcing for example, contour preservation. On the other hand, th ...
2009