Concept
Paramètre (programmation informatique)
Publications associées (99)
Separation of CO2 and TFE by using diethanolamine and diisopropylamine
Muhammad Salman, Elia Mercedes Ruiz Pachon
The near-azeotrope mixture of TFE and CO2 is an important concern urging the scientific community to develop new ways for TFE/CO2 separations. In this work, for the first time, Diisopropylamine (DIPA) and Diethanolamine (DEA) are used as solvents for separ ...
Philadelphia2024Type-preserving compilation of (most of) FGJ into DOT
Guillaume André Fradji Martres
The Dependent Object Type (DOT) calculus was designed to put Scala on a sound basis, but while DOT relies on structural subtyping, Scala is a fundamentally class-based language. This impedance mismatch means that a proof of DOT soundness by itself is not e ...
2022Long anchorage resistance of reinforcement bars derived from local bond-slip relationships for good and poor bond conditions
Aurelio Muttoni, Enrique Corres Sojo
The fib Model Code 2010 (MC2010) contains a semi-empirical formulation for the local bond-slip relationship for both pull-out and splitting failure modes (derived from short pull-out tests), as well as a semi-empirical formulation of the steel stress that ...
2022Options for reducing air travel by university affiliates
Overview of the measures that organisations such as universities can take to reduce business air travel, comparison of these measures, issues to be decided for the actual implementation of these measures and proposal of a favourtie measure. ...
2022Tuned hybrid nonuniform subdivision surfaces with optimal convergence rates
This article presents an enhanced version of our previous work, hybrid nonuniform subdivision (HNUS) surfaces, to achieve optimal convergence rates in isogeometric analysis (IGA). We introduce a parameter lambda (14
WILEY2021On the Equivalence of Youla, System-Level, and Input-Output Parameterizations
Maryam Kamgarpour, Luca Furieri, Yu Zheng
A convex parameterization of internally stabilizing controllers is fundamental for many controller synthesis procedures. The celebrated Youla parameterization relies on a doubly coprime factorization of the system, while the recent system-level and input-o ...
2021Development and evaluation of galaxy shape measurement algorithms for radio interferometric data
The purpose of this Thesis is to develop, test, and characterize different models attempting to tackle the problem of measurement of galaxy shapes applied in interferometric observations. Shape measurement is a tool for estimating the underlying shear due ...
EPFL2021Celsius: A Model for Safe Initialization of Objects
Martin Odersky, Fengyun Liu, Paolo Giosuè Giarrusso
Accessing uninitialized data during object initialization is a common and subtle programming error. This error is either not prevented by mainstream languages, like in Java, C++, Scala, or it is prevented by greatly restricting initialization patterns, lik ...
2020Out-of-equilibrium phase diagram of long-range superconductors
Within the ultimate goal of classifying universality in quantum many-body dynamics, understanding the relation between out-of-equilibrium and equilibrium criticality is a crucial objective. Models with power-law interactions exhibit rich well-understood cr ...
2020Smart Contract With Secret Parameters
By design, smart contracts' data and computations are public to all participants. In this paper, we study how to create smart contracts with parameters that need to stay secret. We propose a way to keep some of the parameters off-chain, while guaranteeing ...
2020