Publications associées à Art abstrait

Scalable Metaprogramming in Scala 3

A metaprogrammer should be able to reason about the semantics of the generated code. Multi-stage programming introduced an elegant and powerful solution to this problem. It follows a semantically driven approach to code generation, where semantics are full ...

EPFL2023

Historical Newspaper Content Mining: Revisiting the impresso Project's Challenges in Text and Image Processing, Design and Historical Scholarship

Frédéric Kaplan, Maud Ehrmann, Matteo Romanello

Long abstract for a presentation at DH2020 (online). ...

ADHO2020

Lactate enhancing compounds and uses thereof

Pierre Magistretti, Sylvain Eric Lengacher, Charles Léonard Finsterwald

Abstract of the invention: The present invention relates to new agents useful for stimulating release of lactate by astrocytes. The invention further relates to methods of preparation, formulations and therapeutic uses of those agents, notably for the prev ...

2020

Multi-Armed Bandit in Action: Optimizing Performance in Dynamic Hybrid Networks

Patrick Thiran, Sébastien Christophe Henri, Christina Vlachou

Today's home networks are often composed of several technologies such as Wi-Fi or power-line communication (PLC). Yet, current network protocols rarely fully harness this diversity and use each technology for a specific, pre-defined role, for example, wire ...

2018

Towards Norm Realization in Institutions Mediating Human-Robot Societies

Alcherio Martinoli, Stevan Tomic, Alicja Barbara Roelofsen

Social norms are the understandings that govern the behavior of members of a society. As such, they regulate communication, cooperation and other social interactions. Robots capable of reasoning about social norms are more likely to be recognized as an ext ...

2018

Altitude: architecture et environnement de haute montagne

Estelle Lépine

At the centre of the research is the preservation of the countryside which is highlighted and studied through an architectural approach which focuses on cabins in the high mountains. The projects must reflect upon territorial, global and sustainable aspect ...

EPFL2016

Aggregation of Power Capabilities of Heterogeneous Resources for Real-Time Control of Power Grids

Jean-Yves Le Boudec, Mario Paolone, Lorenzo Enrique Reyes Chamorro, Wajeb Saab, Andrey Bernstein

Aggregation of electric resources is a fundamental function for the operation of power grids at different time scales. In the context of a recently proposed framework for the real-time control of microgrids with explicit power setpoints, we define and form ...

Università degli Studi di Genova, Italy2016

Animation-Based Service Specification, Verification and Validation

Biljana Bajic-Bizumic

[Context] With the expansion of services and service science, service systems have become an important abstraction for the service revolution. Service is defined as the application of resources (including competences, skills, and knowledge) to make changes ...

EPFL2015

Verification of Component-based Systems via Predicate Abstraction and Simultaneous Set Reduction

Simon Bliudze, Qiang Wang

This paper presents a novel safety property verification approach for component-based systems modelled in BIP (Behaviour, Interaction and Priority), encompassing multiparty synchronisation with data transfer and priority. Our contributions consist of: (1 ...

Springer2015

Simplified non-linear seismic displacement demand prediction for low period structures

Pierino Lestuzzi, Clotaire Michel

The prediction of non-linear seismic demand using linear elastic behavior for the determination of peak non-linear response is widely used for seismic design as well as for vulnerability assessment. Existing methods use either linear response based on init ...

Springer Verlag2014