Catégorie
Compilateur
Publications associées (1 000)
Hearing structure in music: An empirical inquiry into listening as representation and processing
As a universal expression of human creativity, music is capable of conveying great subtlety and complexity. Crucially, this complexity is not encoded in the score or in the sounds, but is rather construed in the mind of the listener in the form of nuanced ...
EPFL2024Decoding 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 Publishing2024Mesh-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 ...
Springer2024Automated 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 ...
EPFL2024Scala 3 syntax rewriting
We present syntax rewriting rules that translate Scala 2 code into Scala 3. Two major syntactic changes are introduced: new control structure syntax and significant indentation. We describe the design and the implementation of these rules and evaluate thei ...
2024SOMOphilic 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-Institut2024Modeling and optimization of PCB coils for inductive power transfer systems
The auxiliary power supply for medium voltage converters requires high insulation capability between the source and the load. Inductive power transfer technology, with an air gap between the primary and secondary coil, offers such high insulation capabilit ...
EPFL2024Energy-Efficient Frequency Selection Method for Bio-Signal Acquisition in AI/ML Wearables
David Atienza Alonso, Miguel Peon Quiros, José Angel Miranda Calero, Hossein Taji
In wearable sensors, energy efficiency is crucial, particularly during phases where devices are not processing, but rather acquiring biosignals for subsequent analysis. This study focuses on improving the power consumption of wearables during these acquisi ...
2024Scalable constrained optimization
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 ...
EPFL2024SAT-based Exact Modulo Scheduling Mapping for Resource-Constrained CGRAs
David Atienza Alonso, Giovanni Ansaloni, José Angel Miranda Calero, Rubén Rodríguez Álvarez, Juan Pablo Sapriza Araujo, Benoît Walter Denkinger
Coarse-Grain Reconfigurable Arrays (CGRAs) represent emerging low-power architectures designed to accelerate Compute-Intensive Loops (CILs). The effectiveness of CGRAs in providing acceleration relies on the quality of mapping: how efficiently the CIL is c ...
2024