Concept

Tableau synoptique des systèmes d'exploitation

Publications associées (110)

Preliminary Tests of Soldered and Diffusion-Bonded Splices Between Nb3Sn Rutherford Cables for Graded High-Field Accelerator Magnets

Pierluigi Bruzzone, Davide Uglietti, Mithlesh Kumar, Vincenzo D'Auria

High-field accelerator magnets of the next generation will require coil grading in order to decrease the amount of superconductor and hence the magnet cost. The joints between Nb3Sn conductor grades must have low electrical resistance (

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2019

Numerical and experimental investigation of shedding mechanisms from leading-edge cavitation

Mohamed Farhat, Ali Amini

Leading-edge cavitation is responsible of the generation of transient cavities, usually made of clouds of bubbles. These transient cavities travel downstream to high-pressure regions and collapse violently, leading to noise and vibration as well as erosion ...

PERGAMON-ELSEVIER SCIENCE LTD2019

A Formally Verified NAT Stack

George Candea, Solal Vincenzo Pirelli, Arseniy Zaostrovnykh

Prior work proved a stateful NAT network function to be semantically correct, crash-free, and memory safe. Their toolchain verifies the network function code while assuming the underlying kernel-bypass framework, drivers, operating system, and hardware to ...

2018

A Formally Verified NAT Stack

George Candea, Solal Vincenzo Pirelli, Arseniy Zaostrovnykh

Prior work proved a stateful NAT network function to be, crash-free, memory safe and semantically correct [29]. Their toolchain verifies the network function code while assuming the underlying kernel-bypass framework, drivers, operating system, and hardwar ...

ASSOC COMPUTING MACHINERY2018

The key impact of incorporated Al2O3 barrier layer on W-based ReRAM switching performance

Elmira Shahrabi, Yusuf Leblebici, Jury Sandrini, Cecilia Giovinazzo

In this article, we inspected the bipolar resistive switching behavior of W-based ReRAMs, using HfO2 as switching layer. We have shown that the switching properties can be significantly enhanced by incorporating an Al2O3 layer as a barrier layer. It stabil ...

IEEE2018

Can we link theory to observations in natural flows?

Andrea Cimatoribus

The growth in size and quality of observations of Geophysical Flows enables more detailed comparison between theoretical predictions and the real world. In this presentation, I give two examples where a "statistical look" on a classical problem can offer n ...

2018

Advancing the State of Network Switch ASIC Offloading in the Linux Kernel

Andy Roulin

Modern data-center network operating systems rely on proprietary user-space daemons wrapping SDKs from switch vendors. Linux-based variants of these operating systems have benefited from increasing and simplified dataplane offloading support in recent year ...

2018

DEMO design activity in Europe: Progress and updates

Minh Quang Tran

This paper describes the progress of the DEMO Design Activities in Europe and particularly the work done to address critical design integration issues that affect the machine configuration and performance, the plant concept layout and the selection of syst ...

2018

Can Mutational Analysis Be Used To Assist Structure Determination of Peptides?

Thomas Rizzo, Valeriu Scutelnic, Chiara Masellis, Liudmila Voronina

Mutational analysis is widely used to study the relationship between sequence and structure of proteins and peptides. It is often assumed that substituting a proline with another amino acid "locks" the peptide bond in the trans conformation, allowing only ...

2018

Highly Active Nanoperovskite Catalysts for Oxygen Evolution Reaction: Insights into Activity and Stability of Ba0.5Sr0.5Co0.8Fe0.2O2+delta and PrBaCo2O5+delta

Nicola Marzari, Ivano Eligio Castelli, Xi Cheng

It is shown that producing PrBaCo2O5+delta and Ba0.5Sr0.5Co0.8Fe0.2O2+delta nanoparticle by a scalable synthesis method leads to high mass activities for the oxygen evolution reaction (OER) with outstanding improvements by 10x and 50x, respectively, compar ...

WILEY-V C H VERLAG GMBH2018

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