Publications associées à Towards Proving Optimistic Multicore Schedulers

Publications associées (27)

Secure Interface Design Leveraging Hardware/Software Support

Computer systems rely heavily on abstraction to manage the exponential growth of complexity across hardware and software. Due to practical considerations of compatibility between components of these complex systems across generations, developers have favou ...

EPFL2024

Tandem catalysis enables chlorine-containing waste as chlorination reagents

Paul Joseph Dyson, Xinbang Wu, Mingyang Liu

Chlorinated compounds are ubiquitous. However, accumulation of chlorine-containing waste has a negative impact on human health and the environment due to the inapplicability of common disposal methods, such as landfill and incineration. Here we report a su ...

Nature Portfolio2024

A FEM modelling workflow to simulate THM effects in the rock around nuclear waste packages

Matthias Timothee Stanislas Wojnarowicz

High-level waste, stemming from nuclear electricity generation poses significant environmental and safety concerns. Currently, high-level wastes are stored in interim facilities needing constant monitoring and waiting for a definitive solution. Deep geolog ...

EPFL2024

The Current State of the OBI DICT Project: A Bilingual e-Dictionary of Oracle-Bone Inscriptions with AI Image Recognition

Shuo Wen

This article reports on the current state of the OBI DICT project, a bilingual e-dictionary of oracle-bone inscriptions (OBI), incorporating artificial intelligence (AI) image recognition technology. It first provides a brief overview of the development of ...

Buro Van Die Wat2024

Automated Formal Verification of Software Network Functions

Solal Vincenzo Pirelli

Formally verifying the correctness of software is necessary to merit the trust people put in software systems. Currently, formal verification requires human effort to prove that a piece of code matches its specification and code changes to improve verifiab ...

EPFL2024

Thermo-hydro-mechanical behaviour of the Callovo-Oxfordian claystone under thermal changes

Héloïse Manon Fuselier

Underground storage of radioactive waste is consensually recognised as the safest storage solution by European and worldwide countries relying mainly or partially on nuclear energy production. Over twenty years of research led by the French national agency ...

EPFL2024

Printed degradable piezoelectric microsystems: From ink formulation to device fabrication and characterization

Morgan Mc Kay Monroe

As the world moves further and further into the semiconductor era, the amount of waste generated from electronics ("e-waste") is increasing rapidly and unsustainably. Of particular note, alternatives to lead-based piezoelectric materials must be establishe ...

EPFL2023

Decision support methodology for waste-to-value process integration

Rafael Amorim Leandro De Castro Amoedo

Waste treatment is a complex procedure that comprises multidimensional aspects. The challenges posed by the energy transition and international protocols emphasize the role of waste in its material and energy dimension. With an increasing population and li ...

EPFL2023

Renewable Energy Integration and Waste Heat Recovery for the Production of Sustainable Jet Fuel and Decarbonization of Industrial Heating Applications

François Maréchal, Daniel Alexander Florez Orrego, Meire Ellen Gorete Ribeiro Domingos

The process synthesis and optimization methods used in this work include simulation of biomass gasification, hydrogen and synthetic natural gas production, and jet fuel production via a Fisher Tropsch unit. An energy integration approach, carried out by th ...

American Institute of Chemical Engineering2023

Advances in hydration and thermodynamics of cementitious systems

Karen Scrivener, Aslam Kunhi Mohamed, Fabien Jacques Michel Georget

Optimising the hydration of cementitious materials is crucial to leverage their full potential and avoid wasting resources, embodied energy and CO2. Understanding the fundamental mechanisms is key to reach these objectives. In this paper, we review progres ...

Pergamon-Elsevier Science Ltd2023

On the role of system integration in plastic waste management

François Maréchal, Ivan Daniel Kantor, Julia Granacher

The management of plastic waste is a growing concern that can harm wildlife and ecosystems, and its end-of-life policies are key to mitigating plastic environmental impact. This work presents a decision-making methodology for the thermal and material valor ...

Elsevier2023

Lignin, from biomass waste to sustainable materials for food packaging, antiviral coatings and agriculture

Alice Boarino

Our planet has been challenged for years by our reckless use of fossil fuels, which has led to the ongoing climate change and energy crisis. The transition to the use of renewable alternative sources has now became urgent and inevitable. The valorization o ...

EPFL2023

Adapting Haptic Feedback for Guided Meditation

Nicolas Henchoz, Cédric Duchene, Andreas Sonderegger, Emily Clare Groves, Romain Simon Collaud, Yoann Pierre Douillet

Technology supporting meditation is a multimillion-dollar market that continues to grow. There is also strong academic interest to understand and improve the impact technology can have for the user experience of practitioners. However, little work investig ...

2023

Prompting Large Language Models to Power Educational Chatbots

Fanny Kim-Lan Lasne, Denis Gillet, Juan Carlos Farah, Sandy Ingram, Basile Maurice Pierre Spaenlehauer

The recent rise in both popularity and performance of large language models has garnered considerable interest regarding their applicability to education. Technologies like ChatGPT, which can engage in human-like dialog, have already disrupted educational ...

Springer2023

Selection and Optimal Use of Nanoporous Materials for Adsorption Energy Technologies

Emanuele Piccoli

Due to the large waste of heat in the power and industrial sectors, our use of energy is inefficient. Moreover, it relies on rapidly depleting and greenhouse-gas-emitting sources such as fossil fuels. While the scarcity of energy resources is a relevant so ...

EPFL2023

A systemic study for enhanced waste heat recovery and renewable energy integration towards decarbonizing the aluminium industry

François Maréchal, Daniel Alexander Florez Orrego

The aluminium remelting industry relies on natural gas to transform recycled aluminium into aluminium feedstock, entailing significant atmospheric emissions. Hydric resources are also affected as they are used as sinks of waste heat from the casting proces ...

2023

impresso Text Reuse at Scale. An interface for the exploration of text reuse data in semantically enriched historical newspapers

Maud Ehrmann, Matteo Romanello

Text Reuse reveals meaningful reiterations of text in large corpora. Humanities researchers use text reuse to study, e.g., the posterior reception of influential texts or to reveal evolving publication practices of historical media. This research is often ...

2023

Encoding and Decoding Narratives: Datafication and Alternative Access Models for Audiovisual Archives

Yuchen Yang

Situated in the intersection of audiovisual archives, computational methods, and immersive interactions, this work probes the increasingly important accessibility issues from a two-fold approach. Firstly, the work proposes an ontological data model to hand ...

ACM2023

Sensitivity to user mischaracterizations in electric vehicle charging

Nils Gustav Nilsson

In this paper, we consider electric vehicle charging facilities that offer various levels of service, i.e., charging rates, for varying prices such that rational users choose a level of service that minimizes the total cost to themselves including an oppor ...

ELSEVIER2023

Automated music composition and generation system and method

Florian François Colombo

An automated music composition and generation system for automatically harmonizing digital pieces of music using an automated music composition and generation engine for multi-voice music harmonization, including a system-user interface configured to input ...

2023