Publications associées à Moteur à combustion et explosion

Estimating the non-dimensional energy of vortex rings by modelling their roll-up

Karen Ann J Mulleners, Guillaume de Guyon-Crozier

The non-dimensional energy of starting vortex rings typically converges to values around 0.33 when they are created by a piston-cylinder or a bluff body translating at a constant speed. To explore the limits of the universality of this value and to analyse ...

Cambridge University Press2022

Acoustic emission techniques for the detection of simulated failures in historical vehicles engines

Stefano Mischler, Alejandro Roda Buch, Laura Brambilla

Technical and industrial heritage artefacts are characterized by the presence of mechanisms. The possibility to activate, or reactivate, these mechanisms is an integral part of the cultural values of this kind of patrimony. The artefacts' functionality, ho ...

SPRINGER HEIDELBERG2021

Adaptive HTAP through Elastic Resource Scheduling

Anastasia Ailamaki, Syed Mohammad Aunn Raza, Periklis Chrysogelos, Angelos Christos Anadiotis

Modern Hybrid Transactional/Analytical Processing (HTAP) systems use an integrated data processing engine that performs analytics on fresh data, which are ingested from a transactional engine. HTAP systems typically consider data freshness at design time, ...

2020

Adaptive HTAP through Elastic Resource Scheduling

Anastasia Ailamaki, Syed Mohammad Aunn Raza, Periklis Chrysogelos, Angelos Christos Anadiotis

Modern Hybrid Transactional/Analytical Processing (HTAP) systems use an integrated data processing engine that performs analytics on fresh data, which are ingested from a transactional engine. HTAP systems typically consider data freshness at design time, ...

ASSOC COMPUTING MACHINERY2020

A Product Engine for Energy-Efficient Execution of Binary Neural Networks Using Resistive Memories

David Atienza Alonso, Marina Zapater Sancho, Pierre-Emmanuel Julien Marc Gaillardon, Yasir Mahmood Qureshi, Xifan Tang, Edouard Giacomin, João Miguel Morgado Pereira Vieira

The need for running complex Machine Learning (ML) algorithms, such as Convolutional Neural Networks (CNNs), in edge devices, which are highly constrained in terms of computing power and energy, makes it important to execute such applications efficiently. ...

2019

Carbon Dioxide Capture From Internal Combustion Engine Exhaust Using Temperature Swing Adsorption

François Maréchal, Shivom Sharma

In order to reduce the CO2 emissions in the transportation sector, one can electrify the vehicle, switch to biofuel, or capture and store CO2 on board. In this study, integration of an on board CO2 capture and storage unit with an internal combustion engin ...

2019

Building Virtualization Engine: a Novel Approach Based on Discrete Event Simulation

Maher Kayal, Georgios Lilis, Olivier Valentin Henri Van Cutsem

This paper proposes and validates a Discrete Event Simulation (DES) engine for the Smart-Building (SB). It strives to virtualize the common elements found within it and integrates them transparently to an existing Building Management System (BMS), along wi ...

Ieee2016

A Scala Library for Testing Student Assignments on Concurrent Programming

Mikaël Mayer, Ravichandhran Kandhadai Madhavan

We present a lightweight library for testing concurrent Scala programs by systematically exploring multiple interleavings between user-specified operations on shared objects. Our library is targeted at beginners of concurrent programming in Scala, runs on ...

Assoc Computing Machinery2016

Linear response to a heat-driven spin torque

Jean-Philippe Ansermet, Haiming Yu, Francesco Antonio Vetrò, Christian Caspers, Lucas Fitoussi

The existence of a heat-driven spin torque is demonstrated using Co/Cu/Co spin valves embedded in metallic nanowires. Heat currents flowing in one direction or its opposite were obtained by heating optically one end or the other of the nanowires. The spin ...

Amer Inst Physics2015

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