Concept

Variable (informatique)

Publications associées (84)

Formalizing GADT constraint reasoning in Scala

Generalized algebraic data types (GADTs) are a powerful tool allowing to express invariants leveraging the type system. Scala 3 considerably improves the support of GADTs with respect to its predecessor Scala 2. A unique feature of Scala 3, compared to lan ...

2021

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

Design space exploration through force-based grammar rule

Corentin Jean Dominique Fivet, Ioannis Mirtsopoulos

Design exploration frames the process of understanding design as a challenge and helps taming its complexity. It is a creative, but also paramount, process, that flourishes diversity, emergence and variability. The approaches used during this exploration s ...

2020

SOLPS-ITER simulations of the TCV divertor upgrade

Basil Duval, Holger Reimerdes, Christian Gabriel Theiler, Artur Perek, Marco Wischmeier, Davide Galassi, Kevin Henricus Annemarie Verhaegh, Mirko Wensing

The effect of the upcoming TCV divertor upgrade on the distribution of neutrals and the onset of detachment is studied using 2D transport code simulations. The divertor upgrade is centered around the installation of a gas baffle to form a divertor chamber ...

2019

Assessing the compressive strength of concrete under sustained actions: From refined models to simple design expressions

Aurelio Muttoni, Miguel Fernández Ruiz, Darko Tasevski

The detrimental influence of high levels of sustained load on the compressive strength of concrete has been acknowledged and investigated since the 1950s. Despite the potential significance of this phenomenon in many situations, current design codes still ...

2019

Thermal, electromagnetic and structural analysis of gas baffles for the TCV divertor upgrade

Dario Vaccaro

As part of an ongoing divertor upgrade of the TCV tokamak it is planned to add gas baffles to form a divertor chamber of variable closure. The baffles promise to increase the compression of neutral particles in the divertor and, thereby, extend the researc ...

2019

Thermal, electromagnetic and structural analysis of gas baffles for the TCV divertor upgrade

Basil Duval, Jean-Marc Moret, Holger Reimerdes, Christian Gabriel Theiler, Matthieu Toussaint, Dario Vaccaro

2019

Unifying Analytic and Statically-Typed Quasiquotes

Christoph Koch, Amir Shaikhha, Lionel Emile Vincent Parreaux

Metaprograms are programs that manipulate (generate, analyze and evaluate) other programs. These tasks are greatly facilitated by quasiquotation, a technique to construct and deconstruct program fragments using quoted code templates expressed in the syntax ...

2018

Gaia Data Release 2 Summary of the variability processing and analysis results

Stephan Morgenthaler

Context. The Gaia Data Release 2 (DR2) contains more than half a million sources that are identified as variable stars. Aims. We summarise the processing and results of the identification of variable source candidates of RR Lyrae stars, Cepheids, long-peri ...

EDP SCIENCES S A2018

Fast-SSC-Flip Decoding of Polar Codes

Andreas Peter Burg, Pascal Giard

Polar codes are widely considered as one of the most exciting recent discoveries in channel coding. For short to moderate block lengths, their error-correction performance under list decoding can outperform that of other modern error-correcting codes. Howe ...

2018

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search