Variable (informatique)

Science formelle
Informatique théorique
Théorie des langages de pro...
Langage de programmation de...

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (27)

On verifying causal consistency

Rachid Guerraoui, Jad Hamza

Causal consistency is one of the most adopted consistency criteria for distributed implementations of data structures. It ensures that operations are executed at all sites according to their causal precedence. We address the issue of verifying automaticall ...

Conditional expanding bounds for two-variable functions over finite valuation rings

Van Thang Pham

In this paper, we use methods from spectral graph theory to obtain some results on the sum-product problem over finite valuation rings R of order q(r) which generalize recent results given by Hegyvari and Hennecart (2013). More precisely, we prove that, fo ...

Academic Press Ltd- Elsevier Science Ltd2017

Sloan Digital Sky Survey IV: Mapping the Milky Way, Nearby Galaxies, and the Distant Universe

Jean-Paul Richard Kneib, Anand Stéphane Raichoor, Timothée Guy Olivier Delubac, Zheng Zheng, Johan Comparat, David Schlegel, John Wilson, Chao Liu, Yuting Wang, Amy Jones, Hongyu Li, Cheng Li, Guillaume Blanc, Jiayi Sun, Meng Yang

We describe the Sloan Digital Sky Survey IV (SDSS-IV), a project encompassing three major spectroscopic programs. The Apache Point Observatory Galactic Evolution Experiment 2 (APOGEE-2) is observing hundreds of thousands of Milky Way stars at high resoluti ...

2017

Generalized Incremental Model Identification for Chemical Reaction Systems

Dominique Bonvin, Julien Léo Billeter, Diogo Filipe Mateus Rodrigues, Adrien Oulevey

Identification of kinetic models and estimation of kinetic parameters in chemical reaction systems can be done using Incremental Model Identification (IMI). By using IMI, it is possible to separate the effect of the different reactions and thus investigate ...

2017

Dependent Object Types

Nada Amin

A scalable programming language is one in which the same concepts can describe small as well as large parts. Towards this goal, Scala unifies concepts from object and module systems. In particular, objects can contain type members, which can be selected as ...

EPFL2016

Behaviorally Driven Train Timetable Design

Tomas Robenek

The focus of this thesis is to include the passengers and their behavior inside the train timetable design. This is done through three main objectives: timetable design based on passenger satisfaction, exploitation of hybrid cyclicity and choice based reve ...

EPFL2016

Spatial fringe analysis techniques for multiple phase and phase derivative estimation

Rishikesh Dilip Kulkarni

Analysis of fringe patterns for the accurate estimation of phase and phase derivatives is of crucial importance in optical interferometry as these quantities provide important information on the physical parameters under study. A wide range of applications ...

EPFL2016

Page 2 sur 2