Publications associées à Multilevel Design Understanding: From Specification to Logic Invited Paper

Publications associées (30)

A Spectral Ansatz for The Long-Time Homogenization of The Wave Equation

Consider the wave equation with heterogeneous coefficients in the homogenization regime. At large times, the wave interacts in a nontrivial way with the heterogeneities, giving rise to effective dispersive effects. The main achievement of the present wor ...

Ecole Polytechnique2024

Secure and Efficient Cryptographic Algorithms in a Quantum World

Since the advent of internet and mass communication, two public-key cryptographic algorithms have shared the monopoly of data encryption and authentication: Diffie-Hellman and RSA. However, in the last few years, progress made in quantum physics -- and mo ...

EPFL2024

Re-design of EU DEMO with a low aspect ratio

Xabier Sarasola Martin

The design point that had been chosen for EU DEMO in 2016 is reviewed here and a modification is proposed with a lower aspect ratio. Previously the same aspect ratio, A, was chosen for EU DEMO as in major tokamak experiments including ITER (A = 3.1), and, ...

Elsevier2024

Soft Robotics: A Route to Equality, Diversity, and Inclusivity in Robotics

Josephine Anna Eleanor Hughes

Robotics is entering our daily lives. The discipline is increasingly crucial in fields such as agriculture, medicine, and rescue operations, impacting our food, health, and planet. At the same time, it is becoming evident that robotic research must embrace ...

Mary Ann Liebert, Inc2024

Untangling the influence of Antarctic and Southern Ocean life on clouds

Julia Schmale, Hélène Paule Angot, Markus Frey

Polar environments are among the fastest changing regions on the planet. It is a crucial time to make significant improvements in our understanding of how ocean and ice biogeochemical processes are linked with the atmosphere. This is especially true over A ...

2023

Single-cell biology: what does the future hold?

Bart Deplancke

In this Editorial, our Chief Editor and members of our Advisory Editorial Board discuss recent breakthroughs, current challenges, and emerging opportunities in single-cell biology and share their vision of "where the field is headed." ...

WILEY2023

Creating the conditions for Western European petroculture: The Marshall Plan, the politics of the OEEC, and the transition from coal to oil

Nicolas Christophe Chachereau

In the postwar years, petroleum products pervaded more and more aspects of Western European life. In this article, we study the origins of this pervasive petroculture through the lens of the Marshall Plan/European Recovery Program (ERP), its Refinery Expan ...

2023

Tri-axial H-Field Sensor with Frequency-shaped Response in the band 400 MHz - 6 GHz

German Augusto Ramirez Arroyave

This contribution presents an isotropic field probe to assess human exposition to broadband magnetic fields in the 400 MHz to 6 GHz band according to the ICNIRP 2020 guidelines. This device complements the current practice in this band, based on the measur ...

IEEE2023

Quality-Constrained Encoding Optimization for Omnidirectional Video Streaming

Pascal Frossard, Roberto Gerson De Albuquerque Azevedo

Omnidirectional video streaming is usually implemented based on the representations of tiles, where the tiles are obtained by splitting the video frame into several rectangular areas and each tile is converted into multiple representations with different r ...

Ieee-Inst Electrical Electronics Engineers Inc2023

Electromagnetic Forces and Torques: From Dielectrophoresis to Optical Tweezers

Olivier Martin, Marco Riccardi

Electromagnetic forces and torques enable many key technologies, including optical tweezers or dielectrophoresis. Interestingly, both techniques rely on the same physical process: the interaction of an oscillating electric field with a particle of matter. ...

AMER CHEMICAL SOC2023

Security in the Presence of Quantum Adversaries

Khashayar Barooti

With the looming threat of large-scale quantum computers, a fair portion of recent cryptographic research has focused on examining cryptographic primitives from the perspective of a quantum adversary. Shor's 1994 result revealed that quantum computers can ...

EPFL2023

Voltage-driven Reactivity of Liquid Ga and CuGa Nanoparticles for Electrocatalytic CO2 Reduction and Synthesis

Valery Okatenko

The rising atmospheric level of carbon dioxide, CO2, contributes to climate change and poses urgent need to find scalable solutions both to decrease its emissions and to be able to recycle it, if the goals of Paris Agreement to limit the temperature rise a ...

EPFL2023

Making Classical (Threshold) Signatures Post-quantum for Single Use on a Public Ledger

Serge Vaudenay, Laurane Chloé Angélina Marco, Abdullah Talayhan

The Bitcoin architecture heavily relies on the ECDSA signature scheme which is broken by quantum adversaries as the secret key can be computed from the public key in quantum polynomial time. To mitigate this attack, bitcoins can be paid to the hash of a pu ...

2023

Revealing the Structure of Tryptophan in Microhydrated Complexes by Cold Ion Spectroscopy

Oleg Boyarkine, Natalia Nagornova, Manuel Dömer, Andrei Zviagin, Ruslan Yamaletdinov

The geometry of biomolecules isolated in the gas phaseusuallydiffers substantially from their native structures in aqueous solution,which are the only ones truly relevant to life science. To connectthe high resolution of cold ion spectroscopy that can be a ...

2023

Analytic Approximation of In-Body Path Loss for Implanted Antennas

Anja Skrivervik, Mingxiang Gao

Implantable bioelectronic devices predominantly use wireless links for communication and/or power transfer. When considering transmitting implanted antennas, electromagnetic radiation through biological media is highly attenuated, and previous work has sho ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2023

Appropriations and Uses of Travel Time

Ludy Juliana González Villamizar

Time has always been a central factor in understanding the challenges of daily mobility. For a long time, and still today, methods of economic evaluation of transport projects have monetized time savings so that they can be included in the cost–benefit ana ...

ISTE Wiley2023

NORM TORI OF ETALE ALGEBRAS AND UNRAMIFIED BRAUER GROUPS

Eva Bayer Fluckiger, Ting-Yu Lee

Let k be a field, and let L be an etale k-algebra of finite rank. If a is an element of k(x), let X-a be the affine variety defined by N-L/k(x) = a. Assuming that L has at least one factor that is a cyclic field extension of k, we give a combinatorial desc ...

Hebrew Univ Magnes Press2023

Berry curvature dipole generation and helicity-to-spin conversion at symmetry-mismatched heterointerfaces

Peng Chen, Xupeng Yang

The Berry curvature dipole (BCD) is a key parameter that describes the geometric nature of energy bands in solids. It defines the dipole-like distribution of Berry curvature in the band structure and plays a key role in emergent nonlinear phenomena. The th ...

Nature Portfolio2023

ETFE and its Role in the Fabrication of Lightweight c-Si Solar Modules

Christophe Ballif, Fabiana Lisco

Glass-free, lightweight, photovoltaic modules have the potential to enable new uses of solar in building integrated and vehicle integrated applications. Glass-free modules have the advantages of reduced weight, lower-cost mounting solutions, and reduced tr ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2023

Confirming the high pressure phase diagram of the Shastry-Sutherland model

Henrik Moodysson Rønnow, Martin Mansson

A Muon Spin Rotation (mu+SR) study was conducted to investigate the magnetic properties of SrCu2(BO3)(2) (SCBO) as a function of temperature/pressure. Measurements in zero field and transverse field confirm the absence of long range magnetic order at high ...

IOP PUBLISHING LTD2023