Publications associées à Colour simplex coding for brillouin distributed sensors

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

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 ...

2023

Time-Varying Components for Enhancing Wireless Transfer of Power and Information

Romain Christophe Rémy Fleury, Mohammad Sajjad Mirmoosa, Xuchen Wang

Temporal modulation of components of electromagnetic systems provides an exceptional opportunity to engineer the response of those systems in a desired fashion, both in the time and frequency domains. For engineering time-modulated systems, one needs to th ...

2021

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

Diego Ghezzi, Laura Ferlauto, Paola Vagni, 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 comment on performance guarantees of a greedy algorithm for minimizing a supermodular set function on comatroid

Maryam Kamgarpour, Baiwei Guo, Orcun Karaca

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

Entering the plasma agriculture field: An attempt to standardize protocols for plasma treatment of seeds

Ivo Furno, Alan Howling, Fabio Avino, Alexandra Waskow

Plasma treatments are currently being assessed as a seed processing technology for agricultural purposes. There is sufficient information as a proof-of-concept, but a lack of standardization in the methodology prevents a convincing evaluation of plasma tre ...

WILEY-V C H VERLAG GMBH2021

Dual-Band Circularly Polarized Transmitarray Antenna for Satellite Communications at (20 to 30) GHz

Juan Ramon Mosig, Maria Garcia Vigueras, Joana Rita Alves dos Santos Silva, Santiago Capdevila Cascante, Hamed Hasani

A novel dual-band polarization-independent transmitarray is introduced in this paper for communication systems in Ka-band. Thanks to its unit-cell topology, the transmitarray antenna demonstrates almost complete independent performance at two design freque ...

2019

Innovative methods to release fine sediments from seasonal reservoirs

Anton Schleiss, Giovanni De Cesare, Pedro Filipe De Almeida Manso, Azin Amini, Sabine Chamoun, Sebastián Guillén Ludeña

The papers present three innovative solutions for fine sediment manage- ments in seasonal reservoirs, which are at different stages of maturity. Operational reservoir stirring using jet-like inflows may facilitate sediment routing, at no addi- tional cost ...

CRC Press/Balkema2018

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Colour simplex coding for brillouin distributed sensors

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

LISA – A Modern Proof System

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

Time-Varying Components for Enhancing Wireless Transfer of Power and Information

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

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

Entering the plasma agriculture field: An attempt to standardize protocols for plasma treatment of seeds

Dual-Band Circularly Polarized Transmitarray Antenna for Satellite Communications at (20 to 30) GHz

Design and Evaluation of a Bowden-Cable-Based Remote Actuation System for Wearable Robotics

Innovative methods to release fine sediments from seasonal reservoirs

Graph Chatbot

Chattez avec Graph Search

LISA – A Modern Proof System

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

Time-Varying Components for Enhancing Wireless Transfer of Power and Information

Entering the plasma agriculture field: An attempt to standardize protocols for plasma treatment of seeds

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

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

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

Design and Evaluation of a Bowden-Cable-Based Remote Actuation System for Wearable Robotics

Dual-Band Circularly Polarized Transmitarray Antenna for Satellite Communications at (20 to 30) GHz

Innovative methods to release fine sediments from seasonal reservoirs