Publications associées à Regenosca

Publications associées (22)

Analytical Computation of the Sensitivity Coefficients in Hybrid AC/DC Networks

In this paper, we present a model for the analytical computation of the power flow sensitivity coefficients (SCs) for hybrid AC/DC networks. The SCs are defined as the partial derivates of the nodal voltages with respect to the active and reactive power in ...

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

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

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

A Review on Finite Element Modeling and Simulation of the Anterior Cruciate Ligament Reconstruction

Dimitar Yuriev Stanev

The anterior cruciate ligament (ACL) constitutes one of the most important stabilizing tissues of the knee joint whose rapture is very prevalent. ACL reconstruction (ACLR) from a graft is a surgery which yields the best outcome. Taking into account the com ...

FRONTIERS MEDIA SA2020

Integration of hybrid material systems in conformable neural interfaces

Florian Dylan Fallegger

Neural interfaces are devices that are implanted into the body and interface electrically with the central (CNS) or peripheral nervous system. They are inserted surgically for short periods of time or chronically to diagnose or treat several neural disease ...

EPFL2020

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

Juan Ramon Mosig, Maria Garcia Vigueras, Santiago Capdevila Cascante, Joana Rita Alves dos Santos Silva, 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

Fiber density of collagen grafts impacts rabbit urethral regeneration

Peter Frey, Jeffrey Alan Hubbell, Hans Mattias Larsson, Elif Vardar

There is a need for efficient and “off-the-shelf” grafts in urethral reconstructive surgery. Currently available surgical techniques require harvesting of grafts from autologous sites, with increased risk of surgical complications and added patient discomf ...

Nature Research2018

Some Proofs of Conditional and Joint Biases in RC4 Stream Cipher

Subhadeep Banik

In this paper we present proofs for the new biases in RC4 which were experimentally found and listed out (without theoretical justifi- cations and proofs) in a paper by Vanhoef et al. in USENIX 2015. Their purpose was to exploit the vulnerabilities of RC4 ...

2018

Theoretical Understanding of Some Conditional and Joint Biases in RC4 Stream Cipher

Subhadeep Banik

In this paper we present proofs for the new biases in RC4 which were experimentally found and listed out (without theoretical justifications and proofs) in a paper by Vanhoef et al. in USENIX 2015. Their purpose was to exploit the vulnerabilities of RC4 in ...

IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG2018

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

Nano Fibrillated Cellulose Based Composite Hydrogels for an Injectable Intervertebral Disc Implant

Azadeh Khoushabi

Replacing the gel-like central part of the intervertebral disc (IVD), so-called nucleus pulposus (NP), via a minimally invasive surgery is one of the most recent approaches in the lower back pain treatments. An appropriate biomaterial for NP replacement (N ...

EPFL2016

Engineered acellular collagen scaffold for endogenous cell guidance, a novel approach in urethral regeneration

Jeffrey Alan Hubbell, Peter Frey, Hans Mattias Larsson, Elif Vardar

The treatment of congenital malformations or injuries of the urethra using existing autologous tissues can be associated with post-operative complications. Using rat-tail collagen, we have engineered an acellular high-density collagen tube. These tubes wer ...

Elsevier Sci Ltd2016

Single-Layer Quad-Band Printed Reflectarray Antenna with Dual Linear Polarization

Anja Skrivervik, Julien Perruisseau-Carrier, Hamed Hasani

A novel single layer, dual linear polarized unit cell is introduced for a quad-band reflectarray antenna in the Ku-band centered around 12, 13, 14, and 15.5 GHz. The unit-cell design is such that the resultant reflectarray antenna can be considered as four ...

2015

Superlensing using complementary media

Hoài-Minh Nguyên

This paper studies magnifying superlens using complementary media. Superlensing using complementary media was suggested by Veselago in [16] and innovated by Nicorovici et al. in [9] and Pendry in [10]. The study of this problem is difficult due to two fact ...

EMS Press2015

Implantable Multi-panel Platform for Continuous Monitoring of Exogenous and Endogenous Metabolites for Applications in Personalized Medicine

Camilla Baj-Rossi

Nowadays, scientific advances are leading to the discovery of newer, better, more targeted treatments that will improve the human health. However, despite the promising results and the major advantages in treatments offered to patients, these personalized ...

EPFL2015

Colour simplex coding for brillouin distributed sensors

Luc Thévenaz, Marcelo Alfonso Soto Hernandez

The possibility to customize Simplex coding for long range Brillouin Optical Time Domain Analysis is demonstrated by “colouring” the sequences in the frequency domain. The coding gain is identical to the traditional intensity-modulated Simplex code, though ...

2013

Design of Dexterous Mechanical Systems for Intuitive Telemanipulation in Minimally Invasive Surgery

Ricardo Daniel Rita Beira

Major progress in abdominal surgery has occurred over the last decades with the introduction of laparoscopic and minimally invasive techniques in the operating room. These innovative procedures attracted much attention due to several advantages: the need f ...

EPFL2013

Speculative Linearizability

Rachid Guerraoui, Viktor Kuncak, Giuliano Losa

Linearizability is a key design methodology for reasoning about implementations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusion that operations execute sequentially and fault-free, despite the a ...

Assoc Computing Machinery2012

Oscillator-based assistance of cyclical movements: model-based and model-free approaches

Auke Ijspeert, Jesse van den Kieboom

In this article, we propose a new method for providing assistance during cyclical movements. This method is trajectory-free, in the sense that it provides user assistance irrespective of the performed movement, and requires no other sensing than the assist ...

Springer-Verlag2011