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

Concept

Application (informatique)

Publications associées (31)

Simulating time-varying strong lenses

Georgios Vernardos

We present a self-consistent and versatile forward modelling software package that can produce time series and pixel-level simulations of time-varying strongly lensed systems. The time dimension, which needs to take into account different physical mechanis ...

OXFORD UNIV PRESS2022

A 3D indicator for guiding AI applications in the energy sector

Christophe Ballif, Nicolas Würsch, Laure-Emmanuelle Perret Aebi, Alessandro Francesco Aldo Virtuani, Christian Rod, Hugo James André Quest, Marine Dominique Cauz, Fabian Heymann

The utilisation of Artificial Intelligence (AI) applications in the energy sector is gaining momentum, with increasingly intensive search for suitable, high-quality and trustworthy solutions that displayed promising results in research. The growing interes ...

2022

Automated Verification of Network Function Binaries

George Candea, Aikaterini Argyraki, Solal Vincenzo Pirelli

Formally verifying the correctness of software network functions (NFs) is necessary for network reliability, yet existing techniques require full source code and mandate the use of specific data structures. We describe an automated technique to verify NF b ...

USENIX Association2022

UAV in the advent of the twenties: Where we stand and what is next

Jan Skaloud, Davide Antonio Cucci

The use of Unmanned Aerial Vehicles (UAVs) has surged in the last two decades, making them popular instruments for a wide range of applications, and leading to a remarkable number of scientific contributions in geoscience, remote sensing and engineering. H ...

2022

One-Shot Approach for Enforcing Piecewise Linearity on Hybrid Functionals: Application to Band Gap Predictions

Alfredo Pasquarello, Stefano Falletta, Jing Yang

We present an efficient procedure for constructing nonempirical hybrid functionals to accurately predict band gaps of extended systems. We determine mixing parameters by enforcing the generalized Koopmans’ condition on localized electron states, which are ...

2022

A geographical study of (M)over-bar(2)(P-2, 4)(main)

Francesca Carocci

We discuss criteria for a stable map of genus two and degree 4 to the projective plane to be smoothable, as an application of our modular desingularisation of (M) over bar (2,n)(P-r, d)(main) via logarithmic geometry and Gorenstein singularities. ...

WALTER DE GRUYTER GMBH2022

Hardware and Software Support for RPC-Centric Server Architecture

Mark Johnathon Sutherland

Online services have become ubiquitous in technological society, the global demand for which has driven enterprises to construct gigantic datacenters that run their software. Such facilities have also recently become a substrate for third-party organizatio ...

EPFL2022

The application of the finite-difference time-domain (FDTD) technique to lightning studies

Farhad Rachidi-Haeri, Marcos Rubinstein

We have seen in this chapter that the FDTD method for solving Maxwell's equations is accurate and versatile in a very wide variety of applications related to lightning. One can analyze the lightning electromagnetic field propagation over distances ranging ...

IET2022

Performance Estimation of High-Level Dataflow Program on Heterogeneous Platforms

Marco Mattavelli, Simone Casale Brunet, Aurélien François Gilbert Bloch

The performance of programs written in languages following the dataflow model of computation (MoC) largely depends on the configuration (partitioning, mapping, scheduling, buffer dimensioning) chosen during the synthesis stages. Furthermore, this programmi ...

2022

Collaborative TeleNeurology for Remote Diagnosis

Jean-Philippe Thiran, Leila Cammoun, Leila Faiza Ben Hamida Cammoun

This paper presents the TENECI (Collaborative tele- neurology) project which allows practitioners to use telecommunication technologies to provide medical information and services for neurological diseases. Specificities of remote neurology are described a ...

2005

OPTIMADE, an API for exchanging materials data

Nicola Marzari, Giovanni Pizzi, Christoph Leopold Talirz, Martin Uhrin, Gian-Marco Rignanese, Snehal Pramod Kumbhar, Casper Welzel Andersen

The Open Databases Integration for Materials Design (OPTIMADE) consortium has designed a universal application programming interface (API) to make materials databases accessible and interoperable. We outline the first stable release of the specification, v ...

NATURE PORTFOLIO2021