Publications related to .NET Framework

A Practical Unification of Multi-stage Programming and Macros

Martin Odersky, Nicolas Alexander Stucki

Program generation is indispensable. We propose a novel unification of two existing metaprogramming techniques: multi-stage programming and hygienic generative macros. The former supports runtime code generation and execution in a type-safe manner while th ...

2018

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

USSR: An UltraSound Sparse Regularization framework

Jean-Philippe Thiran, Yves Wiaux, Dimitris Perdios, Marcel Arditi, Adrien Georges Jean Besson, Florian Martinez

Ultrafast ultrasound (US) imaging uses unfocused waves to insonify the whole medium of interest at once, allowing pulse-echo US imaging to achieve very high frame rates, at the cost of a lower image quality. In this paper, we present USSR, an UltraSound Sp ...

Ieee2017

A General Framework for Sensor Placement in Source Localization

Patrick Thiran, Laura Elisa Celis, Brunella Marta Spinelli

When an epidemic spreads in a given network of individuals or communities, can we detect its source using only the information provided by a small set of nodes? We propose a general framework that incorporates two dimensions. First, we can either rely excl ...

2017

Machine learning unifies the modeling of materials and molecules

Michele Ceriotti, Sandip De

Determining the stability ofmolecules and condensed phases is the cornerstone of atomisticmodeling, underpinning our understanding of chemical andmaterials properties and transformations. We show that amachine-learningmodel, based on a local description of ...

Amer Assoc Advancement Science2017

Non-ablative femtosecond laser exposure of fused silica in the sub-50 fs regime (Conference Presentation)

Yves Bellouard, Erica Kathleen Block

In the non-ablative regime, femtosecond laser pulse duration is known to affect the nature of the modification induced in the microstructure of fused silica. It has been demonstrated than below 200 fs, two different regimes are found, one at low energy, le ...

Spie-Int Soc Optical Engineering2017

Learning Complex Sequential Tasks from Demonstration: A Pizza Dough Rolling Case Study

Aude Billard, Nadia Barbara Figueroa Fernandez, Ana-Lucia Ureche

This paper introduces a hierarchical framework that is capable of learning complex sequential tasks from human demonstrations through kinesthetic teaching, with minimal human intervention. Via an automatic task segmentation and action primitive discovery a ...

Ieee2016

Learning Complex Sequential Tasks from Demonstration: A Pizza Dough Rolling Case Study

Aude Billard, Nadia Barbara Figueroa Fernandez, Ana-Lucia Ureche

Assoc Computing Machinery2016

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

.NET Framework

A Practical Unification of Multi-stage Programming and Macros

A Formally Verified NAT Stack

A Formally Verified NAT Stack

USSR: An UltraSound Sparse Regularization framework

A General Framework for Sensor Placement in Source Localization

Algorithmic Verification of Component-based Systems

Machine learning unifies the modeling of materials and molecules

Non-ablative femtosecond laser exposure of fused silica in the sub-50 fs regime (Conference Presentation)

Learning Complex Sequential Tasks from Demonstration: A Pizza Dough Rolling Case Study

Learning Complex Sequential Tasks from Demonstration: A Pizza Dough Rolling Case Study

Graph Chatbot

Chat with Graph Search

A General Framework for Sensor Placement in Source Localization

Algorithmic Verification of Component-based Systems

A Formally Verified NAT Stack

A Practical Unification of Multi-stage Programming and Macros

Learning Complex Sequential Tasks from Demonstration: A Pizza Dough Rolling Case Study

Machine learning unifies the modeling of materials and molecules

Learning Complex Sequential Tasks from Demonstration: A Pizza Dough Rolling Case Study

Non-ablative femtosecond laser exposure of fused silica in the sub-50 fs regime (Conference Presentation)

A Formally Verified NAT Stack

USSR: An UltraSound Sparse Regularization framework