Home

Entities in software development

Applied sciences
Computer engineering
Software development
Entities in software develo...

About
Privacy
Disclaimer

Graph Chatbot

Related publications (28)

Dataset to accompany publication "Quantum-mechanical effects in photoluminescence from thin crystalline gold films"

Giulia Tagliabue, Fateme Kiani Shahvandi, Theodoros Tsoulos, Alan Richard Bowman

This dataset accompanies the publication "Quantum-mechanical effects in photoluminescence from thin crystalline gold films" published in Light: Science & Applications (https://doi.org/10.1038/s41377-024-01408-2). The data can be used to reproduce plots 1-4 ...

Zenodo2024

Quantitative convergence rates for scaling limit of SPDEs with transport noise

Lucio Galeati

We consider on the torus the scaling limit of stochastic 2D (inviscid) fluid dynamics equations with transport noise to deterministic viscous equations. Quantitative estimates on the convergence rates are provided by combining analytic and probabilistic ar ...

Academic Press Inc Elsevier Science2024

MRI characterization of in vitro clots at 3T and 7T: A technical note

François Lazeyras, Lijing Xin

In acute ischemic stroke, the composition of the occlusive clot can be associated with the underlying pathophysiology and the response to treatment. For these reasons, it is important to characterize the clot composition from clinical scans. We examine the ...

Masson Editeur2024

ms3: A parser for MuseScore files, serving as data factory for annotated music corpora

Martin Alois Rohrmeier, Johannes Hentschel

The Python library ms3 makes scores (symbolic representations of music) operational for computational approaches by representing their contents as sets of tabular files. Music scores represent relations between sounding events by graphical means. The Free ...

2023

On algebraic array theories

Viktor Kuncak, Rodrigo Raya

Automatic verification of programs manipulating arrays relies on specialised decision procedures. A methodology to classify the theories handled by these procedures is introduced. It is based on decomposition theorems in the style of Feferman and Vaught. T ...

Elsevier Science Inc2023

Lp-regularity theory for the stochastic reaction-diffusion equation with super-linear multiplicative noise and strong dissipativity

Jaeyun Yi

We study the existence, uniqueness, and regularity of the solution to the stochastic reaction-diffusion equation (SRDE) with colored noise F-center dot:partial derivative(t)u = aijuxixj +biuxi + cu - bu1+beta +xi u1+gamma F-center dot, (t, x) is ...

Academic Press Inc Elsevier Science2023

An adaptive space-time algorithm for the incompressible Navier-Stokes equations

Marco Picasso, Samuel Dubuis

A space-time adaptive algorithm is presented to solve the incompressible Navier-Stokes equations. Time discretization is performed with the BDF2 method while continuous, piecewise linear anisotropic finite elements are used for the space discretization. Th ...

Academic Press Inc Elsevier Science2023

Heteroclinic orbits for a system of amplitude equations for orthogonal domain walls

Boris Buffoni

Using a variational method, we prove the existence of heteroclinic solutions for a 6-dimensional system of ordinary differential equations. We derive this system from the classical Benard-Rayleigh problem near the convective instability threshold. The cons ...

ACADEMIC PRESS INC ELSEVIER SCIENCE2023

As easy as ABC: Optimal (A)ccountable (B)yzantine (C)onsensus is easy!

Rachid Guerraoui, Seth Gilbert, Vincent Gramoli, Jovan Komatovic, Pierre Philippe Civit

In a non-synchronous system with n processes, no t(0)-resilient (deterministic or probabilistic) Byzantine consensus protocol can prevent a disagreement among correct processes if the number of faulty processes is > n - 2t(0). Therefore, the community defi ...

ACADEMIC PRESS INC ELSEVIER SCIENCE2023

QFT without infinities and hierarchy problem

Mikhail Chapochnikov, Sander Johannes Nicolaas Mooij

The standard way to do computations in Quantum Field Theory (QFT) often results in the requirement of dramatic cancellations between contributions induced by a "heavy" sector into the physical observables of the "light" (or low energy) sector - the phenome ...

ELSEVIER2023

Dynamic nuclear polarisation of 1H in Gd-doped In(OH)3

David Lyndon Emsley, Michael Allan Hope, Amrit Venkatesh, Yuxuan Zhang

Dynamic nuclear polarisation (DNP) of solids doped with high-spin metal ions, such as Gd3+, is a useful strategy to enhance the nuclear magnetic resonance (NMR) sensitivity for these samples. Spin diffusion can relay polarisation throughout a sample, which ...

Academic Press Inc - Elsevier Science2023

Efficient Concurrent Analytical Query Processing using Data and Workload-conscious Sharing

Panagiotis Sioulas

Analytical workloads are evolving as the number of users surges and applications that submit queries in batches become popular. However, traditional analytical databases that optimize-then-execute each query individually struggle to provide timely response ...

EPFL2023

Cavitation bubble dynamics and microjet atomization near tissue-mimicking materials

Mohamed Farhat, Armand Baptiste Sieber, Davide Bernardo Preso

In recent years, considerable interest has been devoted to the interactions between cavitation bubbles and tissue-mimicking materials due to their promising applications in medicine and biomedical sciences. The strong fluid-structure interaction between a ...

AIP Publishing2023

Detecting the metabolism of individual yeast mutant strain cells when aged, stressed or treated with antioxidants with diamond magnetometry

Mayeul Sylvain Chipaux

Free radicals play a key role in the ageing process. However, free radicals are small, reactive and short lived and thus challenging to measure. We utilize a new technique called diamond magnetometry for this pur-pose. We make use of nitrogen vacancy cente ...

ELSEVIER SCI LTD2023

Stable parameterization of continuous and piecewise-linear functions

Michaël Unser, Joaquim Gonçalves Garcia Barreto Campos, Alexis Marie Frederic Goujon

Rectified-linear-unit (ReLU) neural networks, which play a prominent role in deep learning, generate continuous and piecewise-linear (CPWL) functions. While they provide a powerful parametric representation, the mapping between the parameter and function s ...

2023

Dataset for the publication "The TACS Model: Understanding Teachers' Adoption of Computer Science Pedagogical Content in Primary School"

Francesco Mondada, Laila Abdelsalam El-Hamamsy, Jessica Elke Dehler Zufferey, Frédérique Michèle Chessel-Lazzarotto, Barbara Bruno

This dataset contains the quantitative teacher data used to analyse an in service teacher training program for Computer Science that took place from September 2019 to March 2020 in the Canton Vaud in Switzerland. Approximately 180 teachers from the the 5th ...

2022

Dataset for: Future water temperature of rivers in Switzerland under climate change investigated with physics-based models

Bettina Schaefli, Michael Lehning, Wolf Hendrik Huwald, Nander Wever, Adrien Michel

This work presents the first extensive study of climate change impacts on rivers temperature in Switzerland. Results show that even for low emissions scenarios, water temperature increase will lead to adverse effect for both ecosystems and socioeconomic se ...

Zenodo2022

Säntis lightning research facility: a summary of the first ten years and future outlook

Farhad Rachidi-Haeri, Marcos Rubinstein

The Säntis Tower was instrumented in May 2010 to measure currents of lightning discharges striking the structure. Since then, the system has been recurrently updated and expanded. Presently, data associated with lightning striking the tower are collected a ...

Springer2022

Invariant integrals on topological groups

Vasco Schiavo

We generalize the fixed-point property for discrete groups acting on convex cones given by Monod in [23] to topological groups. At first, we focus on describing this fixed-point property from a functional point of view, and then we look at the class of gro ...

ACADEMIC PRESS INC ELSEVIER SCIENCE2022

EaRL: An Open-Source Software for Earthquake Risk, Loss and Lifecycle Assessment

Dimitrios Lignos, Ahmed Mohamed Ahmed Elkady

Evaluating earthquake-induced losses, such as structural repair costs, downtime and casualties, is becoming a standard practice within the performance-based earthquake engineering framework. Nonetheless, this evaluation is a demanding task that requires de ...

2021

Page 1 of 2