Concept

Parameter (computer programming)

Related publications (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 ...

Philadelphia2024

Type-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 ...

2022

Long 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 ...

2022

Options for reducing air travel by university affiliates

Philippe Thalmann

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. ...

2022

Tuned hybrid nonuniform subdivision surfaces with optimal convergence rates

Xiaodong Wei

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

WILEY2021

On 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 ...

2021

Development and evaluation of galaxy shape measurement algorithms for radio interferometric data

Vasileios Angelopoulos

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 ...

EPFL2021

Celsius: 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 ...

2020

Out-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 ...

2020

Smart Contract With Secret Parameters

Serge Vaudenay

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

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.