Publications related to Variable (computer science)

Gaia Data Release 3 Summary of the variability processing and analysis

Context. Gaia has been in operations since 2014, and two full data releases (DR) have been delivered so far: DR1 in 2016 and DR2 in 2018. The third Gaia data release expands from the early data release (EDR3) in 2020, which contained the five-parameter ast ...

EDP SCIENCES S A2023

Capturing Types

Martin Odersky, Aleksander Slawomir Boruch-Gruszecki, Ondrej Lhoták

Type systems usually characterize the shape of values but not their free variables. However, many desirable safety properties could be guaranteed if one knew the free variables captured by values. We describe CC

Assoc Computing Machinery2023

Preprocessing Antarctic Weather Station (AWS) data in python

Michael Lehning, Franziska Gerber

There are many sources providing atmospheric weather station data for the Antarctic continent. However, variable naming, timestamps and data types are highly variable between the different sources. The published python code intends to make processing of di ...

Zenodo2022

In-Memory Hardware and Architectural Extensions for Workloads Acceleration

William Andrew Simon

Utilization of edge devices has exploded in the last decade, with such use cases as wearable devices, autonomous driving, and smart homes. As their ubiquity grows, so do expectations of their capabilities. Simultaneously, their formfactor and use cases lim ...

EPFL2022

Scrutinizing thermally stimulated current transients originating from trapped charges in organic semiconductors: A drift-diffusion study

Frank Nüesch, Beat Ruhstaller

Thermally stimulated current (TSC) is a widely used technique to assess trap states and extract their density, energy, and capture rate using analytical expressions. In many cases, the latter are derived from physical models pertaining to inorganic semicon ...

AIP Publishing2022

Simulation and experimental validation of pulsating heat pipes

John Richard Thome, Jackson Braz Marcinichen, Philippe Aubin, Filippo Cataldo

The one-dimensional transient numerical code of JJ Cooling Innovation has been significantly improved to simulate the thermal/hydraulic performance of pulsating heat pipes (PHPs). Using a mechanistic approach, the liquid slug and vapor plug flows and their ...

PERGAMON-ELSEVIER SCIENCE LTD2021

Global Free-Energy Landscapes as a Smoothly Joined Collection of Local Maps

Michele Ceriotti, Gareth Aneurin Tribello, Federico Giberti

Enhanced sampling techniques have become an essential tool in computational chemistry and physics, where they are applied to sample activated processes that occur on a time scale that is inaccessible to conventional simulations. Despite their popularity, i ...

2021

Automated Design: A Journey Across Modelling, Optimization, and Education

Cyril Picard

Machine intelligence greatly impacts almost all domains of our societies. It is profoundly changing the field of mechanical engineering with new technical possibilities and processes. The education of future engineers also needs to adapt in terms of techni ...

EPFL2021

Preventing Use-After-Free Attacks with Fast Forward Allocation

Sanidhya Kashyap, Jungwon Lim

Memory-unsafe languages are widely used to implement critical systems like kernels and browsers, leading to thousands of memory safety issues every year. A use-after-free bug is a temporal memory error where the program accidentally visits a freed memory l ...

USENIX ASSOC2021

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

From Trees to Barcodes and Back Again: Theoretical and Statistical Perspectives

Kathryn Hess Bellwald, Lida Kanari, Adélie Eliane Garin

Methods of topological data analysis have been successfully applied in a wide range of fields to provide useful summaries of the structure of complex data sets in terms of topological descriptors, such as persistence diagrams. While there are many powerful ...

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, Matthieu Toussaint, Jean-Marc Moret, Dario Vaccaro, Holger Reimerdes, Christian Gabriel Theiler

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

Time-dependent strength of concrete in compression and shear

Darko Tasevski

Sustained load actions are permanently present in concrete structures, as for example self-weight and dead loads on bridges or soil pressure on cut-and-cover tunnels. These actions may increase throughout a structure's lifetime, for instance after refurbis ...

EPFL2019

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

Proximity Operators of Discrete Information Divergences

Mireille El Gheche, Giovanni Chierchia

While phi-divergences have been extensively studied in convex analysis, their use in optimization problems often remains challenging. In this regard, one of the main shortcomings of existing methods is that the minimization of phi-divergences is usually pe ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2018

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

Stephan Morgenthaler, Lorenzo Diana, Mária Süveges

Context. The Gaia Data Release 2 (DR2) contains more than half a million sources that are identified as variable stars. ...

EDP SCIENCES S A2018