Publications related to A new analysis approach for T-2 relaxometry myelin water quantification: Orthogonal Matching Pursuit

Finite Particle Flow Simulation of Free Jet Deviation by Rotating Pelton Buckets

The prediction of hydraulic machines performances is of high interest to manufacturers in today's highly competitive market for new development or refurbishment of hydraulic power plant. An accurate prediction of the machines performances by numerical simu ...

EPFL2015

Counterexample-Guided Quantifier Instantiation for Synthesis in SMT, Computer Aided Verification

Viktor Kuncak, Andrew Joseph Reynolds

We introduce the first program synthesis engine implemented inside an SMT solver. We present an approach that extracts solution functions from unsatisfiability proofs of the negated form of synthesis conjectures. We also discuss novel counterexample-guided ...

2015

Compute-and-Forward: Finding the Best Equation

Michael Christoph Gastpar, Saeid Sahraei

Compute-and-Forward is an emerging technique to deal with interference. It allows the receiver to decode a suitably chosen integer linear combination of the transmitted messages. The integer coefficients should be adapted to the channel fading state. Optim ...

2014

The effects on biomechanics of walking and balance recovery in a novel pelvis exoskeleton during zero-torque control

Silvestro Micera

Fall-related accidents are among the most serious concerns in elderly people, amputees and subjects with neurological disorders. The aim of this paper was to investigate the behaviour of healthy subjects wearing a novel light-weight pelvis exoskeleton cont ...

Cambridge University Press2014

The Squares of Montchoisy. Notes for a History of the Open Form in Geneva

Elena Cogato Lanza

This paper deals with the ambivalent character of the neighborhood «Squares Montchoisy» built in Geneva between 1929 and 1957. According to visual representations (photographs and drawings) disseminated by the architect Maurice Braillard, the project embod ...

2014

A Fast TCAD-based Methodology for Variation Analysis of Emerging Nano-Devices

Giovanni De Micheli, Pierre-Emmanuel Julien Marc Gaillardon, Majid Yazdani, Hassan Ghasemzadeh Mohammadi

Variability analysis of nanoscale transistors and circuits is emerging as a necessity at advanced technology nodes. Technology Computer Aided Design (TCAD) tools are powerful ways to get an accurate insight of Process Variations (PV). However ...

2013

Phenomenological and physiological approaches in the study of cardiac alternans: Theoretical background, mathematical modeling and numerical simulations

This project presents the theoretical background in electrophysiology that is used as a basis in the development of numerical methods for the simulation of heart’s electrical activity. We discuss the mathematical models currently used in cardiac electrophy ...

2013

Coding schemes for broadcast erasure channels with feedback: the two multicast case

Christina Fragouli, Efe Onaran

We consider the single hop broadcast packet erasure channel (BPEC) with two multicast sessions (each of them destined to a different group of

N

users) and regularly available instantaneous receiver ACK/NACK feedback. Using the insight gained from recent ...

2013

On Self-interference Suppression Methods for Low-complexity Full-duplex MIMO

Andreas Peter Burg, Alexios Konstantinos Balatsoukas Stimming, Pavle Belanovic, Konstantinos Alexandris

Full-duplex wireless communication offers improved spectral efﬁciency, as well as more efﬁcient relaying and medium access, but requires suppression of self-interference. In this paper we analyze the existing methods for active RF suppression and use the ” ...

2013

A 3D architecture platform dedicated to high-speed computation for power system

Maher Kayal, Laurent Fabre, Ira Nagel, Theodoros Kyriakidis, Guillaume Olivier Lanz, Denis Sallin

This paper presents an innovative 3D hardware architecture for power system dynamic and transient stability. Based on an intrinsic parallel architecture by means of mixedsignal circuits (analog and digital) it overcomes the speed of numerical simulators fo ...

2013

A new analysis approach for T-2 relaxometry myelin water quantification: Orthogonal Matching Pursuit

Graph Chatbot

Chat with Graph Search

Finite Particle Flow Simulation of Free Jet Deviation by Rotating Pelton Buckets

Counterexample-Guided Quantifier Instantiation for Synthesis in SMT, Computer Aided Verification

Compute-and-Forward: Finding the Best Equation

The effects on biomechanics of walking and balance recovery in a novel pelvis exoskeleton during zero-torque control

The Squares of Montchoisy. Notes for a History of the Open Form in Geneva

A Fast TCAD-based Methodology for Variation Analysis of Emerging Nano-Devices

Phenomenological and physiological approaches in the study of cardiac alternans: Theoretical background, mathematical modeling and numerical simulations

Coding schemes for broadcast erasure channels with feedback: the two multicast case

On Self-interference Suppression Methods for Low-complexity Full-duplex MIMO

A 3D architecture platform dedicated to high-speed computation for power system

On Self-interference Suppression Methods for Low-complexity Full-duplex MIMO

The effects on biomechanics of walking and balance recovery in a novel pelvis exoskeleton during zero-torque control

Compute-and-Forward: Finding the Best Equation

Finite Particle Flow Simulation of Free Jet Deviation by Rotating Pelton Buckets

Coding schemes for broadcast erasure channels with feedback: the two multicast case

A Fast TCAD-based Methodology for Variation Analysis of Emerging Nano-Devices

Phenomenological and physiological approaches in the study of cardiac alternans: Theoretical background, mathematical modeling and numerical simulations

Counterexample-Guided Quantifier Instantiation for Synthesis in SMT, Computer Aided Verification

The Squares of Montchoisy. Notes for a History of the Open Form in Geneva

A 3D architecture platform dedicated to high-speed computation for power system