Publications associées à Regenosca

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

Fiber density of collagen grafts impacts rabbit urethral regeneration

Peter Frey, Jeffrey Alan Hubbell, Hans Mattias Larsson, Elif Vardar, Kalitha Pinnagoda, Ganesh Vythilingam

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