Home

Topics in software development

Applied sciences
Computer engineering
Software development
Topics in software development

About
Privacy
Disclaimer

Graph Chatbot

Related publications (28)

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

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

SwissCovid in the Perspective of Its Goals

Martin Vuagnoux, Serge Vaudenay

SwissCovid is the Swiss digital contact tracing app, which was deployed to help fighting against the COVID-19 pandemic. After a year of activity, it is high time to evaluate how effective it has been in its mission. At the highest peak, about 22% of the Sw ...

2022

ShapePipe: A modular weak-lensing processing and analysis pipeline

Jean-Luc Starck, Austin Chandler Peel

We present the first public release of ShapePipe, an open-source and modular weak-lensing measurement, analysis, and validation pipeline written in Python. We describe the design of the software and justify the choices made. We provide a brief description ...

2022

HDTorch: Accelerating Hyperdimensional Computing with GP-GPUs for Design Space Exploration

David Atienza Alonso, William Andrew Simon, Una Pale, Tomas Teijeiro Campo

The HyperDimensional Computing (HDC) Machine Learning (ML) paradigm is highly interesting for applications involving continuous, semi-supervised learning for long-term monitoring. However, its accuracy is not yet on par with other ML approaches, necessitat ...

Association for Computing MachineryNew YorkNYUnited States2022

turboMagnon - A code for the simulation of spin-wave spectra using the Liouville-Lanczos approach to time-dependent density-functional perturbation theory

Iurii Timrov

We introduce turboMagnon, an implementation of the Liouville-Lanczos approach to linearized time-dependent density-functional theory, designed to simulate spin-wave spectra in solid-state materials. The code is based on the noncollinear spin-polarized fram ...

ELSEVIER2022

An Open-Source Whole Slide Image Registration Workflow at Cellular Precision Using Fiji, QuPath and Elastix

Olivier Burri, Jessica Sordet, Arne Seitz, Romain Guiet, Nicolas René Chiaruttini

Image analysis workflows for Histology increasingly require the correlation and combination of measurements across several whole slide images. Indeed, for multiplexing, as well as multimodal imaging, it is indispensable that the same sample is imaged multi ...

FRONTIERS MEDIA SA2022

HP - A code for the calculation of Hubbard parameters using density-functional perturbation theory

Nicola Marzari, Matteo Cococcioni, Iurii Timrov

We introduce HP, an implementation of density-functional perturbation theory, designed to compute Hubbard parameters (on-site U and inter-site V ) in the framework of DFT+U and DFT+U+V. The code does not require the use of computationally expensive superce ...

ELSEVIER2022

Page 2 of 2