Publications associées à All-polymeric transient neural probe for prolonged in-vivo electrophysiological recordings

Process-Induced Structures of Injection-Molded High-Density Polyethylene-Combining X-ray Scattering and Finite Element Modeling

The success of plastics heavily relies on fast melt processing methods used for large-scale industrial manufacturing, including injection molding. The hierarchical structure of the solid polymer depends on material selection combined with processing condit ...

Amer Chemical Soc2024

Orthologic with Axioms

Viktor Kuncak, Simon Guilloud

We study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having polyno ...

Association for Computing Machinery2024

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus

Simon Guilloud

Motivated by the transfer of proofs between proof systems, and in particular from first order automated theorem provers (ATPs) to interactive theorem provers (ITPs), we specify an extension of the TPTP derivation text format to describe proofs in first-ord ...

2024

A Gapless Post-quantum Hash Proof System in the Hamming Metric

Serge Vaudenay, Bénédikt Minh Dang Tran

A hash proof system (HPS) is a form of implicit proof of membership to a language. Out of the very few existing post-quantum HPS, most are based on languages of ciphertexts of code-based or lattice-based cryptosystems and inherently suffer from a gap cause ...

2023

Biocompatible and Biodegradable 3D Printing from Bioplastics: A Review

Sandro Carrara

There has been a lot of interest in developing and producing biodegradable polymers to address the current environmental problem caused by the continued usage of synthetic polymers derived from petroleum products. Bioplastics have been identified as a poss ...

MDPI2023

LISA – A Modern Proof System

Viktor Kuncak, Simon Guilloud, Sankalp Gambhir

We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof checker for first-order logic with equality and schematic predicate and fun ...

Dagstuhl, Germany, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik2023

Acetal-Stabilized Carbohydrates as Novel Platform Molecules for Renewable Polymer Production

Lorenz Perry Manker

To address the rising demand for plastics, it is essential to create new types of polymers that are both highly recyclable and emit minimal amounts of greenhouse gases. These plastics should be derived from readily available, renewable feedstocks. Such eff ...

EPFL2023

Additive and digital manufacturing of transient sensors and bioelectronics

Nicolas Francis Fumeaux

Transient electronics have emerged as a promising class of devices, capable of breaking down without harmful side effects to their environment. They have tremendous potential as bioresorbable electronics for temporary applications in the human body, and as ...

EPFL2023

Effects of Electrode Design on the Melt Electrowriting of Sinusoidal Structures

Biranche Tandon

Melt electrowriting is a microscale manufacturing technique that uses polymer-based melts to create fibrous structures. An electric field is used to stabilize a continuous molten jet, which is then written onto a substrate as a microscale fiber. Herein, it ...

WILEY-V C H VERLAG GMBH2023

Bayes Security: A Not So Average Metric

Carmela González Troncoso, Giovanni Cherubin

Security system designers favor worst-case security metrics, such as those derived from differential privacy (DP), due to the strong guarantees they provide. On the downside, these guarantees result in a high penalty on the system's performance. In this pa ...

IEEE2023

Lignin, from biomass waste to sustainable materials for food packaging, antiviral coatings and agriculture

Alice Boarino

Our planet has been challenged for years by our reckless use of fossil fuels, which has led to the ongoing climate change and energy crisis. The transition to the use of renewable alternative sources has now became urgent and inevitable. The valorization o ...

EPFL2023

Cortical alterations after very preterm birth and the association with socio-emotional abilities from childhood to early adolescence

Jean-Philippe Thiran, Elda Fischi Gomez, Vanessa Siffredi

Very preterm birth (VPT;

2023

A Sprayable Electrically Conductive Edible Coating for Piezoresistive Strain Sensing

Dario Floreano, Pietro Rossi, Bokeon Kwak

Edible electronics leverages the electronic properties of food-derived materials to deliver safer technologies that can be degraded (or digested) in the environment (or body) at the end-of-life. Sensors will be central to future smart edible robots, and ed ...

2024

Choreography Controlled (ChoCo) brain MRI artifact generation for labeled motion-corrupted datasets

Bastien Chopard, Michel Kocher, François Lazeyras, Sébastien Courvoisier, Julien Songeon

MRI is a non-invasive medical imaging modality that is sensitive to patient motion, which constitutes a major limitation in most clinical applications. Solutions may arise from the reduction of acquisition times or from motion-correction techniques, either ...

ELSEVIER SCI LTD2022

Learning from the Ethics of AI-A Research Proposal on Soft Law and Ethics of AI

Johan Robert Rochel

This contribution outlines a research proposal combining ethical guidelines on AI and a law-as-data approach. Building upon the definitions of soft law discussed in legal scholarship, it proposes a way of structuring the regulatory landscape on AI and of a ...

UBIQUITY PRESS LTD2022

Technology Strategy in Dynamic Environments: A Computational Analysis of the Automation of Routines, the Organization of AI, and the Evaluation of Technology Risk

Maximilian Wieland Hofer

In this dissertation, I develop theory and evidence to argue that new technologies are central to how firms organize to create and capture value. I use computational methods such as reinforcement learning and probabilistic topic modeling to investigate thr ...

EPFL2022

Crash test-based assessment of injury risks for adults and children when colliding with personal mobility devices and service robots

Aude Billard, Diego Felipe Paez Granados

Autonomous mobility devices such as transport, cleaning, and delivery robots, hold a massive economic and social benefit. However, their deployment should not endanger bystanders, particularly vulnerable populations such as children and older adults who ar ...

Nature Publishing Group2022

Toward Mobile Distributed Ledgers

Boi Faltings, Sujit Prakash Gujar, Dimitrios Chatzopoulos, Anurag Jain

Advances in mobile computing have paved the way for new types of distributed applications that can be executed solely by mobile devices on Device-to-Device (D2D) ecosystems (e.g., crowdsensing). Sophisticated applications, like cryptocurrencies, need distr ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2022

Large-scale brain network dynamics in very preterm children and relationship with socio-emotional outcomes: an exploratory study

Dimitri Nestor Alice Van De Ville, Daniel Mourad Alfy Ramzy Tadros, Lorena Gonçalves de Alcântara e Freitas Krikler, Younes Farouj, Vanessa Siffredi

Background Children born very preterm (VPT;

SPRINGERNATURE2022

Using stratospheric aerosol injection to alleviate global warming: when?

Marie-Valentine Renée Agnès Florin

Stratospheric aerosol injection (SAI), a type of solar radiation modification (SRM), has the potential to reduce global warming caused by excessive greenhouse gases in the atmosphere. However, there is currently widespread opposition to it, because deployi ...

EPFL International Risk Governance Center (IRGC).2021