Application software

Applied sciences
Computer engineering
Software engineering
Topics in software engineering

About
Privacy
Disclaimer

Graph Chatbot

Related publications (30)

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, Alessandro Francesco Aldo Virtuani, Nicolas Würsch, Hugo James André Quest, Fabian Heymann, Laure-Emmanuelle Perret Aebi, Christian Rod, Marine Dominique Cauz

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, Solal Vincenzo Pirelli, Aikaterini Argyraki

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

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

OPTIMADE, an API for exchanging materials data

Nicola Marzari, Giovanni Pizzi, Martin Uhrin, Boris Kozinsky, Christoph Leopold Talirz, Snehal Pramod Kumbhar, Andrius Merkys, Casper Welzel Andersen, Gian-Marco Rignanese, Matthias Scheffler

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

Page 2 of 2