Publications associées (111)

Beyond Local Optimality of Buffer and Splitter Insertion for AQFP Circuits

Giovanni De Micheli, Heinz Riener, Siang-Yun Lee

Adiabatic quantum-flux parametron (AQFP) is an energy-efficient superconducting technology. Buffer and splitter (B/S) cells must be inserted to an AQFP circuit to meet the technology-imposed constraints on path balancing and fanout branching. These cells a ...
ACM2022

Deciding Robustness for Lower SQL Isolation Levels

Christoph Koch, Bas Ketsman

While serializability always guarantees application correctness, lower isolation levels can be chosen to improve transaction throughput at the risk of introducing certain anomalies. A set of transactions is robust against a given isolation level if every p ...
ASSOC COMPUTING MACHINERY2022

Resolving time conflicts in activity-based scheduling

Michel Bierlaire, Timothy Michael Hillel, Janody Pougala

In this paper, we present a novel activity-based scheduling model that combines a continuous optimisation framework for temporal scheduling decisions (i.e. activity timings and durations) with traditional discrete choice models for non-temporal choice dime ...
2021

Resolving time conflicts in activity-based scheduling: A case study of Lausanne

Michel Bierlaire, Timothy Michael Hillel, Janody Pougala

In this paper, we present a novel activity-based scheduling model that combines a continuous optimisation framework for temporal scheduling decisions (i.e. activity timings and durations) with traditional discrete choice models for non-temporal choice dime ...
2021

A dynamic scheduling tool and a methodology for creating digital twin of manufacturing systems for achieving Zero Defect Manufacturing

Foivos Psarommatis Giannakopoulos

Nowadays manufacturing environment is highly volatile and rapidly changing as the need of products is increasing exponentially, due to the fact that Product Life Cycle is shortened and therefore more products are required to be manufactured or remanufactur ...
EPFL2021

A generic methodology and a digital twin for zero defect manufacturing (ZDM) performance mapping towards design for ZDM

Foivos Psarommatis Giannakopoulos

Over recent years, the manufacturing industry has seen constant growth and change. From one side, it has been affected by the fourth industrial revolution (Industry 4.0). From the other side, it has had to enhance its ability to meet higher customer expect ...
2021

Plunge and rebound of a taxi market through COVID-19 lockdown: Lessons learned from Shenzhen, China

Kenan Zhang

This paper traces the plunge and rebound of the taxi market in Shenzhen, China through the COVID-19 lockdown. A four-week taxi GPS trajectory data set is collected in the first quarter of 2020, which covers the period of lockdown and phased reopening in th ...
2021

Exploring causalities between modal habits, activity scheduling, and multi-day locational practices.

Marc-Edouard Baptiste Grégoire Schultheiss

Despite raising awareness of sustainable behavior and considerable investments in the public transport network and active mobility infrastructure, car use remains the main practice for daily mobility in Switzerland. This work postulates that resistances to ...
2021

A Reinforcement Learning Approach to Train Routing and Scheduling

Zora Oswald

Good train scheduling for a big network with many trains is very hard to achieve. As the trains are competing for the tracks with one another, the number of constraints grows rapidly. Trying to take advantage of emerging technologies in the areas of optimi ...
2020

Task scheduling for highly concurrent analytical and transaction workloads

Anastasia Ailamaki, Iraklis Psaroudakis

Systems and method for a task scheduler with dynamic adjustment of concurrency levels and task granularity are disclosed for improved execution of highly concurrent analytical and transactional systems. The task scheduler can avoid both over commitment and ...
2020

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.