Home

Automata theory

Formal sciences
Theoretical computer science
Theory of computation
Automata theory

Related publications (26)

About
Privacy
Disclaimer

Graph Chatbot

Review of control strategies for lower-limb exoskeletons to assist gait

Auke Ijspeert, Mohamed Bouri, Ali Reza Manzoori, Romain Pierre François Baud

Background Many lower-limb exoskeletons have been developed to assist gait, exhibiting a large range of control methods. The goal of this paper is to review and classify these control strategies, that determine how these devices interact with the user. Met ...

BioMed Central2021

Nonlinear reconstruction of bioclimatic outdoor-environment dynamics for the Lower Silesia region (SW Poland)

Paolo Perona

Measured meteorological time series are frequently used to obtain information 8 about climate dynamics. We use time series analysis and nonlinear system identification 9 methods in order to assess outdoor-environment bioclimatic conditions starting from th ...

2021

Positive moments for scattering amplitudes

Riccardo Rattazzi, Francesco Riva, Marc Riembau Saperas, Brando Bellazzini

We find the complete set of conditions satisfied by the forward 2 -> 2 scattering amplitude in unitary and causal theories. These are based on an infinite set of energy dependent quantities (the arcs) which are dispersively expressed as moments of a positi ...

American Physical Society2021

Gramatron: Effective Grammar-Aware Fuzzing

Mathias Josef Payer

Fuzzers aware of the input grammar can explore deeper program states using grammar-aware mutations. Existing grammar-aware fuzzers are ineffective at synthesizing complex bug triggers due to: (i) grammars introducing a sampling bias during input generation ...

ASSOC COMPUTING MACHINERY2021

HovercRaft: Achieving Scalability and Fault-tolerance for microsecond-scale Datacenter Services

Edouard Bugnion, Evangelos Marios Kogias

Cloud platform services must simultaneously be scalable, meet low tail latency service-level objectives, and be resilient to a combination of software, hardware, and network failures. Replication plays a fundamental role in meeting both the scalability and ...

2020

La phénoménotechnique questionnée par la médiation. L'exemple du showroom du Larsim

Yohann Michel Franck Guffroy

The purpose of this article is to present a space of mediation developed by the astrophysicist Vincent Minier and the philosopher Vincent Bontems at the Commissariat à l’Énergie atomique et aux Énergies renouvelables. This room, called “showroom”, promotes ...

2020

Dynamical collapse of cylindrical symmetric Dipolar Bose-Einstein condensates

Luigi Forcella

We study the formation of singularities for cylindrical symmetric solutions to the Gross-Pitaevskii equation describing a Dipolar Bose-Einstein condensate. We prove that solutions arising from initial data with energy below the energy of the Ground State a ...

2021

Finite element modeling of dynamic frictional rupture with rate and state friction

Jean-François Molinari, Fabian Barras, Roozbeh Rezakhani, Michael Ludovic Brun

Numerous laboratory experiments have demonstrated the dependence of the friction coefficient on the interfacial slip rate and the contact history, a behavior generically called rate and state friction. Although numerical models have been widely used for an ...

PERGAMON-ELSEVIER SCIENCE LTD2020

Black hole metamorphosis and stabilization by memory burden

Sebastian Zell

Systems of enhanced memory capacity are subjected to a universal effect of memory burden, which suppresses their decay. In this paper, we study a prototype model to show that memory burden can be overcome by rewriting stored quantum information from one se ...

American Physical Society2020

A Fast-Dynamic Unipolar Switching Control Scheme for Single-Phase Inverters in DC Microgrids

Nicolai Hildebrandt

This paper presents the digital implementation of a boundary controller with unipolar switching characteristic for single-phase voltage source full-bridge inverters. This paper expands the application of a second-order switching surface-based control metho ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2019

Page 2 of 3