Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Interface (informatique)

Publications associées (28)

Energy efficiency as an example of cross-discipline collaboration in chemical engineering

François Maréchal

This paper summarizes the round-table discussion that was held during the European Congress of Chemical Engineering (ECCE) in Nice, France, in October 2015 on this topic. The panellists come from different fields of chemical engineering and have thus broug ...

2017

Verification by Reduction to Functional Programs

Régis William Blanc

In this thesis, we explore techniques for the development and verification of programs in a high-level, expressive, and safe programming language. Our programs can express problems over unbounded domains and over recursive and mutable data structures. We p ...

EPFL2017

Electrovariable gold nanoparticle films at liquid–liquid interfaces: from redox electrocatalysis to Marangoni-shutters

Hubert Girault, Pekka Eero Peljo, Evgeny Smirnov, Grégoire Clément Gschwend

Control over the physical properties of nanoparticle assemblies at a liquid–liquid interface is a key technological advancement to realize the dream of smart electrovariable nanosystems. Electrified interfaces, such as the interface between two immiscible ...

Royal Society of Chemistry2017

Compilation Techniques for Incremental Collection Processing

Daniel Lupei

Many map-reduce frameworks as well as NoSQL systems rely on collection programming as their interface of choice due to its rich semantics along with an easily parallelizable set of primitives. Unfortunately, the potential of collection programming is not ...

EPFL2017

Optical prism for creating multiple views of an image

Theo Lasser, Marcel Leutenegger

Optical prism comprising two external parallel and reflecting surfaces, one internal interface, parallel to said surfaces and acting as light splitter; said prism furthermore comprising an entrance side forming an angle β with respect to said interface and ...

2016

Sound reasoning about integral data types with a reusable SMT solver interface

Viktor Kuncak, Régis William Blanc

We extend the Leon verification system for Scala with support for bit-vector reasoning, thus addressing one of its fundamental soundness limitation with respect to the treatment of integers primitives. We leverage significant progresses recently achieved i ...

ACM Press2015

Improving Scalability of Symbolic Execution for Software with Complex Environment Interfaces

Stefan Bucur

Manual software testing is laborious and prone to human error. Yet, among practitioners, it is the most popular method for quality assurance. Automating the test case generation promises better effectiveness, especially for exposing corner-case bugs. Symbo ...

EPFL2015

Do we need "more research" or better implementation through knowledge brokering?

Janet Gordon Hering

More research is needed is an iconic catchphrase used by scientists worldwide. Yet policy and management decisions are continually being made with variable levels of reliance on scientific knowledge. Funding agencies have provided incentives for knowledge ...

Springer2015