Publications associées à A Simulation-Guided Paradigm for Logic Synthesis and Verification

Publications associées (13)

Integer traffic assignment problem: Algorithms and insights on random graphs

Rayan Harfouche, Lenka Zdeborová, Giovanni Piccioli

Path optimization is a fundamental concern across various real-world scenarios, ranging from traffic congestion issues to efficient data routing over the Internet. The traffic assignment problem (TAP) is a classic continuous optimization problem in this fi ...

2025

Reconfigurable SPAD sensors for time-resolved imaging

Tommaso Milanese

SPADs have become the sensors of choice in many applications ranging from Time-of-Flight to low-light imaging. From their development in custom technologies, their introduction in standard CMOS processes has paved the way to their integration in mass produ ...

EPFL2025

Finding Consensus on Trust in AI in Health Care: Recommendations From a Panel of International Experts

Marcello Ienca, Georg Michael Joachim Starke, Alberto Termine

Background: The integration of artificial intelligence (AI) into health care has become a crucial element in the digital transformation of health systems worldwide. Despite the potential benefits across diverse medical domains, a significant barrier to the ...

JMIR PUBLICATIONS, INC2025

On the Synthesis of High-performance Homomorphic Boolean Circuits

Giovanni De Micheli, Alessandro Tempia Calvino, Mingfei Yu

The rapid growth of cloud computing has intensified the need for secure data outsourcing solutions. Fully homomorphic encryption (FHE) offers a promising approach by enabling computations on encrypted data without exposing the plaintext. This paper advance ...

Association for Computing Machinery, Inc2024

Can you Teach Cell Biology using Computer Simulations?

Julian Charles Shillcock

Computational modelling is important in the life sciences, but students may not be greatly exposed to it in typical curricula.This paper describes an innovative, one-semester Master's level course in cell biology that uses computer simulations as the prima ...

European Society for Engineering Education (SEFI)2024

ScoreNet: Learning Non-Uniform Attention and Augmentation for Transformer-Based Histopathological Image Classification

Jean-Philippe Thiran, Seyedbehzad Bozorgtabar, Thomas Grégoire Stegmüller, Antoine Jérôme Spahr

Progress in digital pathology is hindered by high-resolution images and the prohibitive cost of exhaustive localized annotations. The commonly used paradigm to categorize pathology images is patch-based processing, which often incorporates multiple instanc ...

IEEE COMPUTER SOC2023

A multi-objective planning method for multi-energy complementary distributed energy system: Tackling thermal integration and process synergy

François Maréchal, Hangyu Yu

This study proposes a multi-objective optimization methodology for planning multi-energy complementary distributed energy systems considering process synergy and thermal integration. The process integration tech-nique is integrated into the Energy Hub mode ...

ELSEVIER SCI LTD2023

The Structure of Free Polyphony

Christoph Finkensiep

The human ability to perceive and understand music is remarkable. From an unstructured stream of acoustic input it creates a wide range of experiences, from psycho-acoustic effects to emotional and aesthetic responses. One such set of phenomena is the expe ...

EPFL2023

A Lagrangian decomposition scheme for choice-based optimization

Michel Bierlaire, Meritxell Pacheco Paneque

Choice-based optimization problems are the family of optimization problems that incorporate the stochasticity of individual preferences according to discrete choice models to make planning decisions. This integration brings non-convexity and nonlinearity t ...

PERGAMON-ELSEVIER SCIENCE LTD2022

Deploying Decentralized, Privacy-Preserving Proximity Tracing

Jean-Pierre Hubaux, Mathias Josef Payer, James Richard Larus, Marcel Salathé, Edouard Bugnion, Carmela González Troncoso, Apostolos Pyrgelis, Wouter Lueks, Sylvain Chatel, Theresa Stadler

2022

Influence of dynamic congestion with scheduling preferences on carpooling matching with heterogeneous users

Nikolaos Geroliminis, Patrick Stefan Adriaan Stokkink

Carpooling is an efficient measure to fight car ownership and reduce vehicle kilometres travelled. By individuals sharing their commutes, vehicle occupancy increases and congestion is reduced. We develop a dynamic ADL (Arnott, de Palma, Lindsey)-Vickrey ap ...

PERGAMON-ELSEVIER SCIENCE LTD2022

A computational modeling approach to study the neuromechanics of terrestrial locomotion

Shravan Tata Ramalingasetty

The main theme of my thesis will be to use neuro-muscular modeling techniques to study locomotion of terrestrial mammals. Locomotion is the ability of animals to interact with the environment to propel themselves in space. It involves co-ordination and pre ...

EPFL2022

Editorial

Daniel Thalmann

WILEY2020