Publications associées à Par-delà le bien et le mal

Jiaxi Yu, Cheng Zhao, Huanyuan Shan, Qiao Wang, Jun Zhang

Weak-lensing studies via cosmic voids are a promising probe of modified gravity (MG). The excess surface mass density (ESD) is widely used as a lensing statistic in weak-lensing research. In this paper, we use the ray-tracing method to study the ESD around ...

IOP Publishing Ltd2023

SIMD Parallel Execution on GPU from High-Level Dataflow Synthesis

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

Writing and optimizing application software for heterogeneous platforms including GPU units is a very difficult task that requires designer efforts and resources to consider several key elements to obtain good performance. Dataflow programming has shown to ...

2022

Sampling strategies and post-processing methods for increasing the time resolution of organic aerosol measurements requiring long sample-collection times

Satoshi Takahama, Robin Lewis Modini

The composition and properties of atmospheric organic aerosols (OAs) change on timescales of minutes to hours. However, some important OA characterization techniques typically require greater than a few hours of sample-collection time (e.g., Fourier transf ...

Copernicus GmbH2016

Gamma Oscillations in a Nonlinear Regime: A Minimal Model Approach Using Heterogeneous Integrate-and-Fire Networks

Brice Bathellier

Fast oscillations and in particular gamma-band oscillation (20-80 Hz) are commonly observed during brain function and are at the center of several neural processing theories. In many cases, mathematical analysis of fast oscillations in neural networks has ...

Massachusetts Institute of Technology Press2008

Integrating Shape Analysis into the Model Checker BLAST

Dirk Thilo Beyer, Grégory Théoduloz

Many software model checkers are based on predicate abstraction. Values of variables in branching conditions are represented abstractly using predicates. The strength of this approach is its path-sensitive nature. However, if the control flow depends heavi ...

2006

Lazy Shape Analysis

Dirk Thilo Beyer, Grégory Théoduloz

2005

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Par-delà le bien et le mal

Void Lensing in Cubic Galileon Gravity

SIMD Parallel Execution on GPU from High-Level Dataflow Synthesis

Preferential Enhancement of Sensory and Motor Axon Regeneration by Combining Extracellular Matrix Components with Neurotrophic Factors

Sampling strategies and post-processing methods for increasing the time resolution of organic aerosol measurements requiring long sample-collection times

Gamma Oscillations in a Nonlinear Regime: A Minimal Model Approach Using Heterogeneous Integrate-and-Fire Networks

Integrating Shape Analysis into the Model Checker BLAST

Lazy Shape Analysis

Graph Chatbot

Chattez avec Graph Search

Lazy Shape Analysis

Void Lensing in Cubic Galileon Gravity

Integrating Shape Analysis into the Model Checker BLAST

Preferential Enhancement of Sensory and Motor Axon Regeneration by Combining Extracellular Matrix Components with Neurotrophic Factors

SIMD Parallel Execution on GPU from High-Level Dataflow Synthesis

Sampling strategies and post-processing methods for increasing the time resolution of organic aerosol measurements requiring long sample-collection times

Gamma Oscillations in a Nonlinear Regime: A Minimal Model Approach Using Heterogeneous Integrate-and-Fire Networks