Startup

Regenosca

Related publications (24)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

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

Mario Paolone, Willem Lambrichts

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

2024

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

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

2018

Implementation of a patient specific model for the calculation of glenohumeral subluxation

Introduction: Total Shoulder Arthroplasty is a well-established surgery for restoring comfort and function to the arthritic shoulder. Among the different surgical options this procedure appears to provide the most rapid and complete reestablishment of the ...

2018

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

Roger Gassert, Olivier Lambercy

Wearable robots can assist motor-impaired individuals in activities of daily living, but weight is paramount for usability. Proximally placed actuators and remote actuation systems (RAS) minimize weight on users' extremities. State-of-the-art RAS employ pn ...

2018

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