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

On the Use of CFRP Sheets for the Seismic Retrofitting of Masonry Walls and the Influence of Mechanical Anchorage

Pierino Lestuzzi, Patrick Bischof

This work reports the outcomes of an extensive experimental campaign on the retrofitting of masonry walls by means of carbon fiber reinforced polymer (CFRP) sheets, carried out at University of Applied Sciences (UAS) Fribourg. In the first stage, static-cy ...

Mdpi Ag2014

Extended Reverse Convex Programming: An Active-Set Approach to Global Optimization

Gene Bunin

Reverse convex programming (RCP) represents an important class of global optimization problems consisting of concave cost and inequality constraint functions. While useful in many practical scenarios due to the frequent appearance of concave models, a more ...

Springer Verlag2016

Designing Augmented Reality for the Classroom

Pierre Dillenbourg, Sébastien Cuendet, Quentin Bonnard

Augmented reality (AR) has recently received a lot of attention in education. Multiple AR systems for learning have been developed and tested through empirical studies often conducted in lab settings. While lab studies can be insightful, they leave out the ...

Elsevier2013

La question du Readymade et son appropriation architecturale

Sung-Taeg Nam

En architecture, l’invention peut être un objectif, mais l’utilisation d’éléments déjà fabriqués est permanente et inévitable. Il semble plausible d’avancer que certains architectes s’intéressent de près aux objets ready-made, orientant leurs réflexions et ...

EPFL2012

Integrated Kernel Partitioning and Scheduling for Coarse-Grained Reconfigurable Arrays

Giovanni Ansaloni

Coarse-grained reconfigurable arrays (CGRAs) are a promising class of architectures conjugating flexibility and efficiency. Devising effective methodologies to map applications onto CGRAs is a challenging task, due to their parallel execution paradigm and ...

Institute of Electrical and Electronics Engineers2012

Quantification of fundamental frequency drop for unreinforced masonry buildings from dynamic tests

Pierino Lestuzzi, Clotaire Michel

The knowledge of fundamental frequency and damping ratio of structures is of uppermost importance in earthquake engineering, especially to estimate the seismic demand. However, elastic and plastic frequency drops and damping variations make their estimatio ...

Wiley-Blackwell2011

Optimization of Portable Parallel Signal Processing Applications by Design Space Exploration of Dataflow Programs

Marco Mattavelli, Christophe Lucarz

This paper describes a methodology for the optimization of portable parallel signal processing applications specified by dataflow programs. The use of dataflow as a programming model for signal processing applications targeting parallel platforms provides ...

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2011

The Failure Detector Abstraction

Rachid Guerraoui

A failure detector is a fundamental abstraction in distributed computing. This paper surveys this abstraction through two dimensions. First we study failure detectors as building blocks to simplify the design of reliable distributed algorithms. In particul ...

2011

On-line learning and modulation of periodic movements with nonlinear dynamical systems

Auke Ijspeert

The paper presents a two-layered system for (1) learning and encoding a periodic signal without any knowledge on its frequency and waveform, and (2) modulating the learned periodic trajectory in response to external events. The system is used to learn peri ...

2009

Pultruded GFRP posts for railway noise barriers

Thomas Keller, Till Vallée, Florian Riebel

142 (abstract), paper on CD-ROM ...

2008