Publications associées à Regenosca

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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Regenosca

Chattez avec Graph Search

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

Orthologic with Axioms

LISA – A Modern Proof System

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

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

Integration of hybrid material systems in conformable neural interfaces

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

Fiber density of collagen grafts impacts rabbit urethral regeneration

Some Proofs of Conditional and Joint Biases in RC4 Stream Cipher

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

Innovative methods to release fine sediments from seasonal reservoirs

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

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

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

Superlensing using complementary media

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

Colour simplex coding for brillouin distributed sensors

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

Speculative Linearizability

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