Publications associées à Erreur de segmentation

Modular segmentation, spatial analysis and visualization of volume electron microscopy datasets

Volume electron microscopy is the method of choice for the in situ interrogation of cellular ultrastructure at the nanometer scale, and with the increase in large raw image datasets generated, improving computational strategies for image segmentation and s ...

Nature Portfolio2024

Crystallization of FAPbI3: Polytypes and stacking faults

Paramvir Ahlawat

Molecular dynamics simulations are performed to study the crystallization of formamidinium lead iodide. From all-atom simulations of the crystal growth process and the delta-alpha-phase transitions, we try to reveal the formation of various stack-faulted i ...

Aip Publishing2023

Object Priors for Volumetric Image Segmentation

Pamuditha Udaranga Wickramasinghe

Large training datasets have played a vital role in the success of modern deep learning methods in computer vision. But, obtaining sufficient amount of training data is challenging, specially when annotating volumetric images. This is because fully annotat ...

EPFL2022

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

Rethinking Software Runtimes for Disaggregated Memory

Sanidhya Kashyap, Ivan Puddu

Disaggregated memory can address resource provisioning inefficiencies in current datacenters. Multiple software runtimes for disaggregated memory have been proposed in an attempt to make disaggregated memory practical. These systems rely on the virtual mem ...

ASSOC COMPUTING MACHINERY2021

Rational Agreement in the Presence of Crash Faults

Vincent Gramoli, Alejandro Ranchal Pedrosa

Blockchain systems need to solve consensus despite the presence of rational users and failures. The notion of (k, t)-robustness is key to derive impossibility results with k rational players and t faulty players. However, these t faulty players are always ...

IEEE2021

Bifurcations at the Stability Transition of Earthquake Faulting

Carolina Giorgetti

Tectonic faults typically break in a single rupture mode within the range of styles from slow slip to dynamic earthquake failure. However, in increasingly well-documented instances, the same fault segment fails in both slow and fast modes within a short pe ...

AMER GEOPHYSICAL UNION2020

Celsius: A Model for Safe Initialization of Objects

Martin Odersky, Fengyun Liu, Paolo Giosuè Giarrusso

Accessing uninitialized data during object initialization is a common and subtle programming error. This error is either not prevented by mainstream languages, like in Java, C++, Scala, or it is prevented by greatly restricting initialization patterns, lik ...

2020

mu RAI: Securing Embedded Systems with Return Address Integrity

Mathias Josef Payer

Embedded systems are deployed in security critical environments and have become a prominent target for remote attacks. Microcontroller-based systems (MCUS) are particularly vulnerable due to a combination of limited resources and low level programming whic ...

INTERNET SOC2020

Electromagnetic Time Reversal Similarity Characteristics and its Application to Locating Faults in Power Networks

Mario Paolone, Farhad Rachidi-Haeri, Zhaoyang Wang, Reza Razzaghi

The existing Electromagnetic Time Reversal (EMTR)-based fault location methods generally leverage the features of the signals simulated in the EMTR reversed-time stage (relative to the direct-time stage wherein a fault occurs and its originated transient s ...

2020

Probabilistic Atlases to Enforce Topological Constraints

Pascal Fua, Graham Knott, Pamuditha Udaranga Wickramasinghe

Probabilistic atlases (PAs) have long been used in standard segmentation approaches and, more recently, in conjunction with Convolutional Neural Networks (CNNs). However, their use has been restricted to relatively standardized structures such as the brain ...

2019

Automated CT bone segmentation using statistical shape modelling and local template matching

Alexandre Terrier, Alain Farron, Elham Taghizadeh, Philippe Büchler

Accurate CT bone segmentation is essential to develop chair-side manufacturing of implants based on additive manufacturing. We herewith present an automated method able to accurately segment challenging bone regions, while simultaneously providing anatomic ...

2019

Axo: Detection and Recovery for Delay and Crash Faults in Real-Time Control Systems

Jean-Yves Le Boudec, Simon Bliudze, Wajeb Saab

Real-time control systems use controllers that compute and issue setpoints within stringent delay constraints. Failure to do so, due to a crash or delay as a result of software and/or hardware faults, can cause failure of the controlled resources. Recently ...

2018

Using the Neurorobotics platform to explain global processing in visual crowding

Michael Herzog, Gregory Francis, Alban Bornet

The Neurorobotics Platform of the Human Brain Project hosts many different large-scale models that can easily be connected with each other. Here, we linked a deep neural network for saliency computation to a spiking cortical model for visual segmentation ( ...

2018

Crowding asymmetries explained by a model of image segmentation

Michael Herzog, Gregory Francis, Adrien Christophe Doerig, Alban Bornet

In crowding, perception of a target deteriorates when neighboring flankers are presented. Flankers close to the fovea deteriorate performance less strongly than flankers presented peripherally, the well-known crowding asymmetries. For example, we presented ...

2017

General Surface Energy for Spinal Cord and Aorta Segmentation

Michaël Unser, Daniel Andreas Schmitter, Virginie Sophie Uhlmann, Harshit Gupta

We present a new surface energy potential for the segmentation of cylindrical objects in 3D medical imaging using parametric spline active contours (a.k.a. spline-snakes). Our energy formulation is based on an optimal steerable surface detector. Thus, we c ...

IEEE2017

Fast Simulation of Electromagnetic Transients in Power Systems : Numerical Solvers and their Coupling with the Electromagnetic Time Reversal Process

Reza Razzaghi

The development of modern and future power systems is associated with the definition of new approaches for their simulation, control, and protection. To give an example, the increasing connection of massive renewable energy conversion systems is justifying ...

EPFL2016

Object segmentation and ground truth in 3D embryonic imaging

Andrew Charles Oates

Many questions in developmental biology depend on measuring the position and movement of individual cells within developing embryos. Yet, tools that provide this data are often challenged by high cell density and their accuracy is difficult to measure. Her ...

2016

Buffer overlow vulnerabilities in CUDA: a preliminary analysis

Andrea Miele

We present a preliminary study of buffer overflow vulnerabilities in CUDA software running on GPUs. We show how an attacker can overrun a buffer to corrupt sensitive data or steer the execution flow by overwriting function pointers, e.g., manipulating the ...

Springer France2015

Asynchronous memory access chaining

Babak Falsafi, Boris Robert Grot, Yusuf Onur Koçberber

In-memory databases rely on pointer-intensive data structures to quickly locate data in memory. A single lookup operation in such data structures often exhibits long-latency memory stalls due to dependent pointer dereferences. Hiding the memory latency by ...

2015