Publication

Spiral in Scala: Towards the Systematic Construction of Generators for Performance Libraries

Publications associées (32)

Automated Formal Verification of Software Network Functions

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

Mesh-based topology, shape and sizing optimization of ribbed plates

In this paper, we present a new parameterization and optimization procedure for minimizing the weight of ribbed plates. The primary goal is to reduce embodied CO2 in concrete floors as part of the effort to diminish the carbon footprint of the construction ...

Springer2024

Study of flexible operating conditions in variable-speed hydraulic turbines : advanced models and experimental validation

Martin Seydoux

The global imperative to transition from fossil fuel-based energy sources to renewable alternatives has become increasingly urgent in the pursuit of sustainable and renewable power generation. This paradigm shift necessitates innovative approaches to manag ...

EPFL2024

SOMOphilic alkyne vs radical-polar crossover approaches: The full story of the azido-alkynylation of alkenes

Jérôme Waser, Julien Aymeric Borrel

We report the detailed background for the discovery and development of the synthesis of homopropargylic azides by the azidoalkynylation of alkenes. Initially, a strategy involving SOMOphilic alkynes was adopted, but only resulted in a 29% yield of the desi ...

Beilstein-Institut2024

Scalable constrained optimization

Maria-Luiza Vladarean

Modern optimization is tasked with handling applications of increasingly large scale, chiefly due to the massive amounts of widely available data and the ever-growing reach of Machine Learning. Consequently, this area of research is under steady pressure t ...

EPFL2024

Maintenance and optimization of the TCV power supply

Damien Fasel, Ugo Siravo, Jérémie Dubray

The TCV tokamak is powered by a flywheel generator to supply the magnetic coils and the auxiliary heating systems. The generator has just undergone its fourth major overhaul to make it ready for the next ten years, after more than thirty years of almost tr ...

Elsevier Science Sa2024

Decoding electroencephalographic responses to visual stimuli compatible with electrical stimulation

Silvestro Micera, Simone Romeni, Laura Toni, Fiorenzo Artoni

Electrical stimulation of the visual nervous system could improve the quality of life of patients affected by acquired blindness by restoring some visual sensations, but requires careful optimization of stimulation parameters to produce useful perceptions. ...

Aip Publishing2024

Scalable Logic Rewriting Using Don’t Cares

Giovanni De Micheli, Alessandro Tempia Calvino

Logic rewriting is a powerful optimization technique that replaces small sections of a Boolean network with better implementations. Typically, exact synthesis is used to compute optimum replacement on-the-fly, with possible support for Boolean don't cares. ...

2024

A method and system for optimizing design, implantation, and stimulation protocols of electrodes stimulating the nervous system

Silvestro Micera, Simone Romeni

A method for optimizing at least one of a geometry, an implantation procedure, and/or stimulation protocol of one or more electrodes for an electrical stimulation of a target structure in a nervous system of a living being by a computer device, the method ...

2024

Spiral in Scala: Towards the Systematic Construction of Generators for Performance Libraries

Automated Formal Verification of Software Network Functions

Mesh-based topology, shape and sizing optimization of ribbed plates

Study of flexible operating conditions in variable-speed hydraulic turbines : advanced models and experimental validation

SOMOphilic alkyne vs radical-polar crossover approaches: The full story of the azido-alkynylation of alkenes

Scalable constrained optimization

Maintenance and optimization of the TCV power supply

Decoding electroencephalographic responses to visual stimuli compatible with electrical stimulation

Scalable Logic Rewriting Using Don’t Cares

A method and system for optimizing design, implantation, and stimulation protocols of electrodes stimulating the nervous system

Graph Chatbot

Automated Formal Verification of Software Network Functions

Mesh-based topology, shape and sizing optimization of ribbed plates

Study of flexible operating conditions in variable-speed hydraulic turbines : advanced models and experimental validation

SOMOphilic alkyne vs radical-polar crossover approaches: The full story of the azido-alkynylation of alkenes

Scalable constrained optimization

Maintenance and optimization of the TCV power supply

Decoding electroencephalographic responses to visual stimuli compatible with electrical stimulation

Scalable Logic Rewriting Using Don’t Cares

A method and system for optimizing design, implantation, and stimulation protocols of electrodes stimulating the nervous system

Contemporary Logic Synthesis: with an Application to AQFP Circuit Optimization

Contemporary Logic Synthesis: with an Application to AQFP Circuit Optimization