Publication

Towards Proving Optimistic Multicore Schedulers

Publications associées (27)

Discriminating physiological from non‐physiological interfaces in structures of protein complexes: A community‐wide study

Anthony Marchand, Bruno Emanuel Ferreira De Sousa Correia, Emmanuel Doram Levy, Xiao Wang

Reliably scoring and ranking candidate models of protein complexes and assigning their oligomeric state from the structure of the crystal lattice represent outstanding challenges. A community-wide effort was launched to tackle these challenges. The latest ...

2023

Automated neuron tracking inside moving and deforming C. elegans using deep learning and targeted augmentation

Sahand Jamal Rahi, Kseniia Korchagina

Reading out neuronal activity from three-dimensional (3D) functional imaging requires segmenting and tracking individual neurons. This is challenging in behaving animals if the brain moves and deforms. The traditional approach is to train a convolutional n ...

Nature Portfolio2023

Latency Interfaces for Systems Code

Rishabh Ramesh Iyer

This thesis demonstrates that it is feasible for systems code to expose a latency interface that describes its latency and related side effects for all inputs, just like the code's semantic interface describes its functionality and related side effects. S ...

EPFL2023

Efficient and Stable Perovskite Solar Cells by Tailoring of Interfaces

Mohammad Khaja Nazeeruddin, Muhammad Sohail, Jianxing Xia

The interface tailoring is crucial for the efficiency and stability of Perovskite Solar Cells (PSCs). The reported interface engineering primarily focuses on the energy level turning and trap state passivation to improve the photovoltaic performance of PSC ...

Wiley-V C H Verlag Gmbh2023

Why Do Companies Need Operational Flexibility to Achieve Sustainability at Source?

Ralf Seifert, Isik Bicer, Yara Kayyali El Alem

We analyze the environmental benefits of operational flexibility that emerge in the form of less product waste during the sourcing process by reducing overproduction. We consider three different options for operational flexibility: (1) lead-time reduction, ...

2022

Trends in mitigation of industrial waste: Global health hazards, environmental implications and waste derived economy for environmental sustainability

Edgard Gnansounou

Majority of industries, in order to meet the technological development and consumer demands generate waste. The untreated waste spreads out toxic and harmful substances in the environment which serves as a breeding ground for pathogenic microorganisms thus ...

ELSEVIER2022

Mechanical reinforcement of granular hydrogels

Alvaro Lino Boris Charlet, Esther Amstad, Francesca Bono

Granular hydrogels are composed of hydrogel-based microparticles, so-called microgels, that are densely packed to form an ink that can be 3D printed, injected or cast into macroscopic structures. They are frequently used as tissue engineering scaffolds bec ...

ROYAL SOC CHEMISTRY2022