Publications associées à Mach (noyau)

Inferring free-energy barriers and kinetic rates from molecular dynamics via underdamped Langevin models

Sara Bonella, Fabio Pietrucci, David Daniel Girardier

Rare events include many of the most interesting transformation processes in condensed matter, from phase transitions to biomolecular conformational changes to chemical reactions. Access to the corresponding mechanisms, free-energy landscapes and kinetic r ...

Melville2023

LISA – A Modern Proof System

Viktor Kuncak, Simon Guilloud, Sankalp Gambhir

We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof checker for first-order logic with equality and schematic predicate and fun ...

2023

Kernel Memory Networks: A Unifying Framework for Memory Modeling

Wulfram Gerstner, Johanni Michael Brea, Georgios Iatropoulos

We consider the problem of training a neural network to store a set of patterns with maximal noise robustness. A solution, in terms of optimal weights and state update rules, is derived by training each individual neuron to perform either kernel classifica ...

2022

Midas: Systematic Kernel TOCTTOU Protection

Mathias Josef Payer, Atri Bhattacharyya, Uros Tesic

Double-fetch bugs are a plague across all major operating system kernels. They occur when data is fetched twice across the user/kernel trust boundary while allowing concurrent modification. Such bugs enable an attacker to illegally access memory, cause den ...

2022

Learnable filter-banks for CNN-based audio applications

Nicolas Aspert, Benjamin Ricaud, Helena Peic Tukuljac, Laurent Colbois

We investigate the design of a convolutional layer where kernels are parameterized functions. This layer aims at being the input layer of convolutional neural networks for audio applications or applications involving time-series. The kernels are defined as ...

2022

Dr.Jit: A Just-In-Time Compiler for Differentiable Rendering

Wenzel Alban Jakob, Nicolas Julien Roussel, Delio Aleardo Vicini, Sébastien Nicolas Speierer

Dr.Jit is a new just-in-time compiler for physically based rendering and its derivative. Dr.Jit expedites research on these topics in two ways: first, it traces high-level simulation code (e.g., written in Python) and aggressively simplifies and specialize ...

ASSOC COMPUTING MACHINERY2022

NrOS: Effective Replication and Sharing in an Operating System

Sanidhya Kashyap, Ankit Bhardwaj

Writing a correct operating system kernel is notoriously hard. Kernel code requires manual memory management and type-unsafe code and must efficiently handle complex, asynchronous events. In addition, increasing CPU core counts further complicate kernel de ...

USENIX ASSOC2021

Motion Prediction Using Temporal Inception Module

Pascal Fua, Mathieu Salzmann, Wei Wang, Sena Kiciroglu

Human motion prediction is a necessary component for many applications in robotics and autonomous driving. Recent methods propose using sequence-to-sequence deep learning models to tackle this problem. However, they do not focus on exploiting different tem ...

Springer, Cham2020

Synthesis of Flexible Accelerators for Early Adoption of Ring-LWE Post-quantum Cryptography

Francesco Regazzoni, Subhadeep Banik, Hamid Nejatollahi

The advent of the quantum computer makes current public-key infrastructure insecure. Cryptography community is addressing this problem by designing, efficiently implementing, and evaluating novel public-key algorithms capable of withstanding quantum comput ...

ASSOC COMPUTING MACHINERY2020

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.

Mach (noyau)

Inferring free-energy barriers and kinetic rates from molecular dynamics via underdamped Langevin models

Exploring brain-inspired multi-core heterogeneous hardware templates for low-power biomedical embedded systems

LISA – A Modern Proof System

Kernel Memory Networks: A Unifying Framework for Memory Modeling

Midas: Systematic Kernel TOCTTOU Protection

Learnable filter-banks for CNN-based audio applications

Dr.Jit: A Just-In-Time Compiler for Differentiable Rendering

NrOS: Effective Replication and Sharing in an Operating System

Motion Prediction Using Temporal Inception Module

Synthesis of Flexible Accelerators for Early Adoption of Ring-LWE Post-quantum Cryptography

Graph Chatbot

Chattez avec Graph Search

Midas: Systematic Kernel TOCTTOU Protection

Inferring free-energy barriers and kinetic rates from molecular dynamics via underdamped Langevin models

Exploring brain-inspired multi-core heterogeneous hardware templates for low-power biomedical embedded systems

Dr.Jit: A Just-In-Time Compiler for Differentiable Rendering

Kernel Memory Networks: A Unifying Framework for Memory Modeling

Learnable filter-banks for CNN-based audio applications

NrOS: Effective Replication and Sharing in an Operating System

Synthesis of Flexible Accelerators for Early Adoption of Ring-LWE Post-quantum Cryptography

LISA – A Modern Proof System

Motion Prediction Using Temporal Inception Module