Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Variable (informatique)

Publications associées (28)

Gaia Data Release 3 Summary of the variability processing and analysis

Mária Süveges

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

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

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

320 GHz Analog-to-Digital Converter Exploiting Kerr Soliton Combs and Photonic-Electronic Spectral Stitching

Tobias Kippenberg, Junqiu Liu, Rui Ning Wang, Anton Lukashchuk, Viacheslav Snigirev, Grigorii Likhachev

We demonstrate a photonic-electronic analog-to-digital converter (ADC) offering a record-high acquisition bandwidth of 320 GHz. The system combines a high-speed electro-optic modulator with a Kerr comb for spectrally sliced coherent detection and is used f ...

IEEE2021

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

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, Angelos Bimpoudis

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

Basil Duval, Jean-Marc Moret, Holger Reimerdes, Christian Gabriel Theiler, Matthieu Toussaint, 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 ...

Elsevier2019

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

Dario Vaccaro

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

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