Publication

Formal Semantics for Property-Property Relations in SEAM Visual Language: Towards Simulation and Analysis of Visual Specifications

Publications associées (27)

Simulating supercontinua from mixed and cascaded nonlinearities

Luis Guillermo Villanueva Torrijo, Tobias Herr, Victor Brasch, Thibault Voumard, Furkan Ayhan

Nonlinear optical frequency conversion is of fundamental importance in photonics and underpins countless of its applications: Sum- and difference-frequency generation in media with quadratic nonlinearity permits reaching otherwise inaccessible wavelength r ...

AIP Publishing2023

Simulated Learners in Educational Technology: A Systematic Literature Review and a Turing-like Test

Tanja Christina Käser Jacober

Simulation is a powerful approach that plays a significant role in science and technology. Computational models that simulate learner interactions and data hold great promise for educational technology as well. Amongst others, simulated learners can be use ...

SPRINGER2023

Generalizing Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations

Christoph Koch, Val Tannen, Zilu Tian, Peter Lindner

We generalize the bulk-synchronous parallel (BSP) processing model to make it better support agent-based simulations. Such simulations frequently exhibit hierarchical structure in their communication patterns which can be exploited to improve performance. ...

2023

Functional data analysis with rough sample paths?

Victor Panaretos, Neda Mohammadi Jouzdani

Functional data are typically modeled as sample paths of smooth stochastic processes in order to mitigate the fact that they are often observed discretely and noisily, occasionally irregularly and sparsely. The smoothness assumption is imposed to allow for ...

TAYLOR & FRANCIS LTD2024

lifex-ep: a robust and efficient software for cardiac electrophysiology simulations

Alfio Quarteroni, Francesco Regazzoni, Marco Fedele, Stefano Pagani

Background: Simulating the cardiac function requires the numerical solution of multi-physics and multi-scale mathematical models. This underscores the need for streamlined, accurate, and high-performance computational tools. Despite the dedicated endeavors ...

BMC2023

Euclid preparation XXIV. Calibration of the halo mass function in λ(ν)CDM cosmologies

Slobodan Ilic, Georges Meylan, Frédéric Courbin, Fabio Finelli, Maurizio Martinelli, Gianluca Castignani, Marcello Farina, Austin Chandler Peel, Yi Wang

Euclid's photometric galaxy cluster survey has the potential to be a very competitive cosmological probe. The main cosmological probe with observations of clusters is their number count, within which the halo mass function (HMF) is a key theoretical quanti ...

EDP SCIENCES S A2023

RaFSIP: Parameterizing ice multiplication in models using a machine learning approach

Athanasios Nenes, Paraskevi Georgakaki

Accurately representing mixed-phase clouds (MPCs) in global climate models (GCMs) is critical for capturing climate sensitivity and Arctic amplification. Secondary ice production (SIP), can significantly increase ice crystal number concentration (ICNC) in ...

2024