Home

Publication

-Overify: Optimizing Programs for Fast Verification

Related publications (31)

About
Privacy
Disclaimer

Graph Chatbot

Computational conceptual design — typological exploration of spatial truss systems through optimization

Corentin Jean Dominique Fivet, Jonas Warmuth, Pierluigi D'Acunto

Exploring a wide range of design options is crucial for every sound conceptual design process. In the conventional structural design workflow, optimization techniques are generally employed to generate well-performing design options. However, focusing only ...

International Association for Shell and Spatial Structures (IASS)2023

Scalable Metaprogramming in Scala 3

Nicolas Alexander Stucki

A metaprogrammer should be able to reason about the semantics of the generated code. Multi-stage programming introduced an elegant and powerful solution to this problem. It follows a semantically driven approach to code generation, where semantics are full ...

EPFL2023

Power Transformer Fault Diagnosis Using Neural Network Optimization Techniques

Dimitrios Kaminaris

Artificial Intelligence (AI) techniques are considered the most advanced approaches for diagnosing faults in power transformers. Dissolved Gas Analysis (DGA) is the conventional approach widely adopted for diagnosing incipient faults in power transformers. ...

MDPI2023

Digital Intervention for Collaborative and Human-Centered Activities in Design-Based Learning Scenarios

Denis Gillet, Isabelle Barbara Marie-Hélène Cardia

Training science and engineering students to become responsible citizens and professionals requires novel and creative pedagogical approaches, such as design thinking. This concept relies on processes and tools to develop creativity and problem-solving ski ...

IEEE2023

Efficient Concurrent Analytical Query Processing using Data and Workload-conscious Sharing

Panagiotis Sioulas

Analytical workloads are evolving as the number of users surges and applications that submit queries in batches become popular. However, traditional analytical databases that optimize-then-execute each query individually struggle to provide timely response ...

EPFL2023

A combined genetic algorithm and active learning approach to build and test surrogate models in Process Systems Engineering

François Maréchal, Julia Granacher

In Process Systems Engineering, computationally-demanding models are frequent and plentiful. Handling such complexity in an optimization framework in a fast and reliable way is essential, not only for generating meaningful solutions but also for providing ...

Pergamon-Elsevier Science Ltd2023

Quantum mixed state compiling

Zoë Holmes

The task of learning a quantum circuit to prepare a given mixed state is a fundamental quantum subroutine. We present a variational quantum algorithm (VQA) to learn mixed states which is suitable for near-term hardware. Our algorithm represents a generaliz ...

IOP Publishing Ltd2023

Numerical tools for burning plasmas

Jonathan Graves, Laurent Villard, Emmanuel Lanti, Baruch Rofman, Alberto Bottino, Ben McMillan, Xiao Wang, Emanuele Poli

The software stack under development within a European coordinated effort on tools for burning plasma modelling is presented. The project is organised as a Task (TSVV Task 10) under the new E-TASC initiative (Litaudon et al 2022 Plasma Phys. Control. Fusio ...

IOP Publishing Ltd2023

A comprehensive review of digital twin-part 2: roles of uncertainty quantification and optimization, a battery digital twin, and perspectives

Olga Fink, Chao Hu, Sayan Ghosh

As an emerging technology in the era of Industry 4.0, digital twin is gaining unprecedented attention because of its promise to further optimize process design, quality control, health monitoring, decision- and policy-making, and more, by comprehensively m ...

SPRINGER2023

ROSMOSE: A Web-based Optimization Tool to Aid Decision-making for the Design and Operation of Industrial and Urban Energy Systems

François Maréchal, Daniel Alexander Florez Orrego, Meire Ellen Gorete Ribeiro Domingos, Cédric Terrier, Michel Lopez

Energy efficiency is crucial for the sustainable operation of all industrial and urban sectors. However, practicing engineers have seldom access to open-source tools that can readily evaluate and compare scenarios in terms of energy consumption, cost, and ...

2023

Page 3 of 4

A combined genetic algorithm and active learning approach to build and test surrogate models in Process Systems Engineering

François Maréchal, Julia Granacher

Pergamon-Elsevier Science Ltd2023

Quantum mixed state compiling

Zoë Holmes

IOP Publishing Ltd2023

Numerical tools for burning plasmas

Jonathan Graves, Laurent Villard, Emmanuel Lanti, Baruch Rofman, Alberto Bottino, Ben McMillan, Xiao Wang, Emanuele Poli

IOP Publishing Ltd2023

A comprehensive review of digital twin-part 2: roles of uncertainty quantification and optimization, a battery digital twin, and perspectives

Olga Fink, Chao Hu, Sayan Ghosh

SPRINGER2023

ROSMOSE: A Web-based Optimization Tool to Aid Decision-making for the Design and Operation of Industrial and Urban Energy Systems

François Maréchal, Daniel Alexander Florez Orrego, Meire Ellen Gorete Ribeiro Domingos, Cédric Terrier, Michel Lopez

2023