Concept

Cas pathologique

Publications associées (8)

Enforcing Connectivity of 3D Linear Structures Using Their 2D Projections

Pascal Fua, Doruk Oner, Mateusz Kozinski, Hussein Fadl Hassan Hassan Osman

Many biological and medical tasks require the delineation of 3D curvilinear structures such as blood vessels and neurites from image volumes. This is typically done using neural networks trained by minimizing voxel-wise loss functions that do not capture t ...

SPRINGER INTERNATIONAL PUBLISHING AG2022

Almost impossible E_8 and Leech lattices

Maryna Viazovska

We start this short note by introducing two remarkable mathematical objects: the E8E8 root lattice Lambda8Lambda8 in 8-dimensional Euclidean space and the Leech lattice Lambda24Lambda24 in 24-dimensional space. These two lattices stand out among their lat ...

2021

Topology classification with deep learning to improve real-time event selection at the LHC

Roberto Castello

We show how an event topology classification based on deep learning could be used to improve the purity of data samples selected in real-time at the Large Hadron Collider. We consider different data representations, on which different kinds of multi-class ...

2019

Alpha-synuclein Post-translational Modifications as Potential Biomarkers for Parkinson Disease and Other Synucleinopathies

Hilal Lashuel, Marc Moniatte, Bruno Claude Daniel Fauvet, Adrian Schmid

The development of novel therapies against neurodegenerative disorders requires the ability to detect their early, presymptomatic manifestations in order to enable treatment before irreversible cellular damage occurs. Precocious signs indicative of neurode ...

Amer Soc Biochemistry Molecular Biology Inc2013

Decay Properties of Riesz Transforms and Steerable Wavelets

Michaël Unser, John Paul Ward, Kunal Narayan Chaudhury

The Riesz transform is a natural multidimensional extension of the Hilbert transform, and it has been the object of study for many years due to its nice mathematical properties. More recently, the Riesz transform and its variants have been used to construc ...

Siam Publications2013

Synthesis Modulo Recursive Functions

Viktor Kuncak, Etienne Kneuss, Ivan Kuraj, Philippe Paul Henri Suter

We describe techniques for synthesis and verification of recursive functional programs over unbounded domains. Our techniques build on top of an algorithm for satisfiability modulo recursive functions, a framework for deductive synthesis, and complete synt ...

2013

On Integrating Deductive Synthesis and Verification Systems

Viktor Kuncak, Etienne Kneuss, Ivan Kuraj, Philippe Paul Henri Suter

2013

High performance VLSI architectures implementing strong cryptographic primitives

Feth Allah Cherigui

The main topic of this thesis is related to the state of the art in designing cryptographic primitives from a hardware point of view. A special emphasis is dedicated to low-power/low-energy CMOS design. A set of solutions is proposed including an LFSR base ...

EPFL2002

Graph Chatbot

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.

Connectez-vous pour utiliser Chat avec Graph Search