While it is well known that constant rotation induces linear dispersive effects in various fluid models, we study here its effect on long time nonlinear dynamics in the inviscid setting. More precisely, we investigate stability in the 3d rotating Euler equ ...
Gravity currents are buoyancy-driven flows having a significant impact on the environment and human life. They can be observed in a vast range of natural and anthropogenic scenarios, such as seawater and freshwater, the atmosphere, or industrial processes. ...
This article presents a new model for the main hydration peaks of tricalcium silicate and alite on the assumption that C-S-H nucleates and grows as needles. The model relies only on directly observable quantities and reproduces the transition from the acce ...
We introduce the first program synthesis engine implemented inside an SMT solver. We present an approach that extracts solution functions from unsatisfiability proofs of the negated form of synthesis conjectures. We also discuss novel counterexample-guided ...
The cellular level of nicotinamide adenine dinucleotide (NAD(+)), through its different functions, affects cellular metabolism and signalling(1-3). A decrease in the NAD(+) content has been associated with various pathologies and physiological aging(4,5), ...
Purpose: In vivo myelin quantification can provide valuable noninvasive information on neuronal maturation and development, as well as insights into neurological disorders. Multiexponential analysis of multiecho T-2 relaxation is a powerful and widely appl ...
In this thesis, we present Stainless, a verification system for an expressive subset of the Scala language.
Our system is based on a dependently-typed language and an algorithmic type checking procedure
which ensures total correctness. We rely on SMT solve ...
