Publications associées à Polymer Coiled-Coil Conjugates: Potential for Development as a New Class of Therapeutic “Molecular Switch”

Non-planarity of Markoff graphs mod p

We prove the non-planarity of a family of 3-regular graphs constructed from the solutions to the Markoff equation x2 + y2 + z2 = xyz modulo prime numbers greater than 7. The proof uses Euler characteristic and an enumeration of the short cycles in these gr ...

European Mathematical Soc-Ems2024

Quantification of Native Lignin Structural Features with Gel-Phase 2D-HSQC0 Reveals Lignin Structural Changes During Extraction

Jeremy Luterbacher, Stefania Bertella

Our ability to study and valorize the lignin fraction of biomass is hampered by the fundamental and still unmet challenge of precisely quantifying native lignin's structural features. Here, we developed a rapid elevated-temperature H-1-C-13 Heteronuclear S ...

Wiley-VCH Verlag GmbH2024

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

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

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

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

Tailor-made Piezoelectric Elastomer Materials

Francis Owusu

Recent advancements in miniature devices with higher computational capabilities and ultralow power consumption have accelerated the development of wearable sensors, actuators, and energy harvesters everywhere. The ultimate aim of such a technological revol ...

EPFL2023

Wide-scale identification of novel/eliminated genes responsible for evolutionary transformations

Daria Korotkova

BackgroundIt is generally accepted that most evolutionary transformations at the phenotype level are associated either with rearrangements of genomic regulatory elements, which control the activity of gene networks, or with changes in the amino acid conten ...

2023

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

Rational design of protein switches: applications in synthetic biology and cancer immunotherapy

Sailan Shui

Synthetic biology aims to engineer cells as miniature biological devices to sense, process, and respond to exogenous stimuli. Protein switches are designed to sense and respond to various molecular queues in a fast and specific manner, which fits the requi ...

EPFL2022

Gradient flow dynamics of shallow ReLU networks for square loss and orthogonal inputs

Nicolas Henri Bernard Flammarion, Loucas Pillaud-Vivien, Etienne Patrice Boursier

The training of neural networks by gradient descent methods is a cornerstone of the deep learning revolution. Yet, despite some recent progress, a complete theory explaining its success is still missing. This article presents, for orthogonal input vectors, ...

NeurIPS2022

Engineering of chitosan-based derivatives for non-viral gene delivery

Laura Camille Louise Nicolle

Gene therapy offers the possibility to treat or even cure diseases originating from genetic defects by introducing a therapeutic gene in target cells or correcting the initial defective gene. Amongst different options, non-viral vectors rely on the deliver ...

EPFL2022

Control and Characterization of the Compactness of Single-Chain Nanoparticles

Francesco Stellacci, Luciano Andres Abriata, Lixia Wei, Suiyang Liao

Polymers when self-cross-linked into single-chain nanoparticles bear some resemblance to folded proteins; yet proteins have clear energy landscapes that determine precisely folded structures, while single-chain polymer nanoparticles (SCNPs) have more undef ...

American Chemical Society2021

A comment on performance guarantees of a greedy algorithm for minimizing a supermodular set function on comatroid

Orcun Karaca, Baiwei Guo, Maryam Kamgarpour

We provide a counterexample to the performance guarantee obtained in the paper "Il'ev, V., Linker, N., 2006. Performance guarantees of a greedy algorithm for minimizing a supermodular set function on comatroid", which was published in Volume 171 of the Eur ...

ELSEVIER2021

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

Diego Ghezzi, Paola Vagni, Laura Ferlauto, Adele Fanelli, Elodie Geneviève Zollinger

Transient bioelectronics has grown fast, opening possibilities never thought before. In medicine, transient implantable devices are interesting because they could eliminate the risks related to surgical retrieval and reduce the chronic foreign body reactio ...

2021

A dependence of the cost of fast controls for the heat equation on the support of initial datum

Hoài-Minh Nguyên

The controllability cost for the heat equation as the control time

T

goes to 0 is well-known of the order

e^{C/T}

for some positive constant

C

, depending on the controlled domain and for all initial datum. In this paper, we prove that the constant $C ...

2021

Critical role of H-aggregation for high-efficiency photoinduced charge generation in pristine pentamethine cyanine salts

Jacques-Edouard Moser, Frank Nüesch, George Cameron Fish, Juan Manuel Moreno Naranjo

The mechanism of photoinduced symmetry-breaking charge separation in solid cyanine salts at the base of organic photovoltaic and optoelectronic devices is still debated. Here, we employ femtosecond transient absorption spectroscopy (TAS) to monitor the cha ...

2021

Computation of Al-Salam Carlitz and Askey-Wilson moments using Motzkin paths

Gaspard Ohlmann

In this paper we study the moments of polynomials from the Askey scheme, and we focus on Askey-Wilson polynomials. More precisely, we give a combinatorial proof for the case where d = 0. Their values have already been computed by Kim and Stanton in 2015, h ...

ELECTRONIC JOURNAL OF COMBINATORICS2021

Mechanical Activation of Chemical Bonds at Polymer Interfaces

Julian Nicolas Bleich

Polymer brushes are a specific class of polymer thin films in which each chain is tethered to the underlying substrate via one chain end. In sufficiently densely grafted assemblies, the individual polymer chains are forced into an extended chain conformati ...

EPFL2021

Structural and Photophysical Templating of Conjugated Polyelectrolytes with Single-Stranded DNA

Ursula Röthlisberger, Polydefkis Diamantis, Natalie Renuka Banerji

A promising approach to influence and control the photophysical properties of conjugated polymers is directing their molecular conformation by templating. We explore here the templating effect of single-stranded DNA oligomers (ssDNAs) on cationic polythiop ...

AMER CHEMICAL SOC2020