Publications related to Beyond Good and Evil

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

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Beyond Good and Evil

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

Chat with Graph Search

Void Lensing in Cubic Galileon Gravity

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

Integrating Shape Analysis into the Model Checker BLAST

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

Lazy Shape Analysis

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