Publication

All-polymeric transient neural probe for prolonged in-vivo electrophysiological recordings

Publications associées (28)

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