A Simulation-Guided Paradigm for Logic Synthesis and Verification

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

A Simulation-Guided Paradigm for Logic Synthesis and Verification

Chat with Graph Search

Integer traffic assignment problem: Algorithms and insights on random graphs

Reconfigurable SPAD sensors for time-resolved imaging

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

On the Synthesis of High-performance Homomorphic Boolean Circuits

Can you Teach Cell Biology using Computer Simulations?

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

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

The Structure of Free Polyphony

A Lagrangian decomposition scheme for choice-based optimization

Deploying Decentralized, Privacy-Preserving Proximity Tracing

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

A computational modeling approach to study the neuromechanics of terrestrial locomotion

Editorial