Publication

Analytic performance modeling and analysis of detailed neuron simulations

Publications associées (30)

Butterfly effects in perceptual development: A review of the 'adaptive initial degradation' hypothesis

Human perceptual development evolves in a stereotyped fashion, with initially limited perceptual capabilities maturing over the months or years following the commencement of sensory experience into robust proficiencies. This review focuses on the functiona ...

Academic Press Inc Elsevier Science2024

Neurobiological and metabolic basis of motivation and effort-based decision-making - A human 1H-MRS, fMRI and machine learning study

Arthur Barakat

Motivation is a multifaceted phenomenon that we explore within the framework of decision-making. Through this cognitive process, actions are directed towards specific goals by performing a trade-off between the cost and benefit of an action. The dorsomedia ...

EPFL2024

Orchestrating chromosome conformation capture analysis with Bioconductor

Cyril Matthey-Doret

Genome-wide chromatin conformation capture assays provide formidable insights into the spatial organization of genomes. However, due to the complexity of the data structure, their integration in multi-omics workflows remains challenging. We present data st ...

Nature Research2024

A method and system for optimizing design, implantation, and stimulation protocols of electrodes stimulating the nervous system

Silvestro Micera, Simone Romeni

A method for optimizing at least one of a geometry, an implantation procedure, and/or stimulation protocol of one or more electrodes for an electrical stimulation of a target structure in a nervous system of a living being by a computer device, the method ...

2024

X-Attack 2.0: The Risk of Power Wasters and Satisfiability Don’t-Care Hardware Trojans to Shared Cloud FPGAs

Mirjana Stojilovic, Wei Hu, Dina Gamaleldin Ahmed Shawky Mahmoud, Beatrice Shokry Samir Shokry

Cloud computing environments increasingly provision field-programmable gate arrays (FPGAs) for their programmability and hardware-level parallelism. While FPGAs are typically used by one tenant at a time, multitenant schemes supporting spatial sharing of c ...

2024

Automated Formal Verification of Software Network Functions

Solal Vincenzo Pirelli

Formally verifying the correctness of software is necessary to merit the trust people put in software systems. Currently, formal verification requires human effort to prove that a piece of code matches its specification and code changes to improve verifiab ...

EPFL2024

Predicting Visual Stimuli From Cortical Response Recorded With Wide-Field Imaging in a Mouse

Silvestro Micera, Daniela De Luca

Neural decoding of the visual system is a subject of research interest, both to understand how the visual system works and to be able to use this knowledge in areas, such as computer vision or brain-computer interfaces. Spike-based decoding is often used, ...

Ieee-Inst Electrical Electronics Engineers Inc2024

Molecular reconstruction and simulation of the Neuron-Glia-Vasculature system

Polina Shichkova

The outstanding information processing capacity of the brain relies on numerous molecular mechanisms. It is an extremely energy-expensive function, which involves specialization and collaboration of different cell types. A common framework to study the com ...

EPFL2023

MOD2IR: High-Performance Code Generation for a Biophysically Detailed Neuronal Simulation DSL

Felix Schürmann, Pramod Shivaji Kumbhar, Snehal Pramod Kumbhar, Omar Awile, Ioannis Magkanaris

Advances in computational capabilities and large volumes of experimental data have established computer simulations of brain tissue models as an important pillar in modern neuroscience. Alongside, a variety of domain specific languages (DSLs) have been dev ...

ACM2023

Modeling and simulation of neocortical micro- and mesocircuitry. Part II: Physiology and experimentation

Henry Markram, Felix Schürmann, James Gonzalo King, Rajnish Ranjan, Srikanth Ramaswamy, Alexis Arnaudon, Eilif Benjamin Muller, Daniel Keller, Michael Reimann, Vishal Sood, Jean-Denis Georges Emile Courcol, Werner Alfons Hilda Van Geit, Giuseppe Chindemi, Michael Emiel Gevaert, Pramod Shivaji Kumbhar, Armando Romani, Christian Andreas Rössert, Judit Planas Carbonell, Genrich Ivaska, András Ecker, Daniela Egas Santander, Natali Barros Zulaica, Alexander Dietz, Omar Awile, Samuel Lieven D. Lapere, Matthias Wolf, Sirio Bolaños Puchet, Thomas Brice Delemontex, Jorge Blanco Alonso, Mustafa Anil Tuncel, Tanguy Pierre Louis Damart, Maria Reva, James Bryden Isbister, Darshan Mandge, Weina Ji, Aleksandra Zuzanna Teska, Polina Litvak, Gianluca Ficarelli, Joni Henrikki Herttuainen, Christoph Pokorny, Elvis Boci

Cortical dynamics underlie many cognitive processes and emerge from complex multi-scale interactions, which are challenging to study in vivo. Large-scale, biophysically detailed models offer a tool which can complement laboratory approaches. We present a m ...

2024