Publications related to Nondeterministic finite automaton

Anomalous dissipation and other non-smooth phenomena in fluids

The thesis is dedicated to the study of two main partial differential equations (PDEs) in fluid dynamics: the Navier-Stokes equations, which describe the motion of incompressible fluids, and the transport equation with divergence-free velocity fields, whic ...

EPFL2024

Distributed Lossy Computation with Structured Codes: From Discrete to Continuous Sources

Michael Christoph Gastpar, Sung Hoon Lim, Adriano Pastore, Chen Feng

This paper considers the problem of distributed lossy compression where the goal is to recover one or more linear combinations of the sources at the decoder, subject to distortion constraints. For certain configurations, it is known that codes with algebra ...

2023

Novel Design and Implementation of a Neuromuscular Controller on a Hip Exoskeleton for Partial Gait Assistance

Auke Ijspeert, Mohamed Bouri, Ali Reza Manzoori, Andrea Di Russo, Sara Messara

Exoskeletons intended for partial assistance of walking should be able to follow the gait pattern of their users, via online adaptive control strategies rather than imposing predefined kinetic or kinematic profiles. NeuroMuscular Controllers (NMCs) are ada ...

2023

Phenomenological theory of variational quantum ground-state preparation

Ivano Tavernelli, Giuseppe Carleo

The variational approach is a cornerstone of computational physics, considering both conventional and quantum computing computational platforms. The variational quantum eigensolver algorithm aims to prepare the ground state of a Hamiltonian exploiting para ...

College Pk2023

Investigating the neuromechanical control of healthy gait modulation and pathological gaits observed in cerebral palsy using neuromuscular simulations

Andrea Di Russo

Locomotion is based on a sophisticated interaction among the environment, the musculoskeletal system, the spinal cord, and the brain locomotor areas. Quality of life is strongly related to the proper capability of this movement. However, many pathologies, ...

EPFL2023

Lower Bounds for Unambiguous Automata via Communication Complexity

Mika Tapani Göös, Weiqiang Yuan

We use results from communication complexity, both new and old ones, to prove lower bounds for unambiguous finite automata (UFAs). We show three results. 1) Complement: There is a language L recognised by an n-state UFA such that the complement language ...

Schloss Dagstuhl - Leibniz-Zentrum für Informatik2022

A PCP Theorem for Interactive Proofs and Applications

Alessandro Chiesa

The celebrated PCP Theorem states that any language in NP can be decided via a verifier that reads O(1) bits from a polynomially long proof. Interactive oracle proofs (IOP), a generalization of PCPs, allow the verifier to interact with the prover for multi ...

SPRINGER INTERNATIONAL PUBLISHING AG2022

Digital Design with Implicit State Machines

Martin Odersky, Aleksandar Prokopec, Fengyun Liu

Claude Shannon, in his famous thesis (1938), revolutionized circuit design by showing that Boolean algebra subsumes all ad-hoc methods that are used in designing switching circuits, or combinational circuits as they are commonly known today. But what is ...

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

2020

Uniform distribution in nilmanifolds along functions from a Hardy field

Florian Karl Richter

We study equidistribution properties of translations on nilmanifolds along functions of polynomial growth from a Hardy field. More precisely, if

X=G/\Gamma

is a nilmanifold,

a_1,\ldots,a_k\in G

are commuting nilrotations, and

f_1,\ldots,f_k

are funct ...

2020

Nondeterministic finite automaton

Graph Chatbot

Chat with Graph Search

Anomalous dissipation and other non-smooth phenomena in fluids

Distributed Lossy Computation with Structured Codes: From Discrete to Continuous Sources

Novel Design and Implementation of a Neuromuscular Controller on a Hip Exoskeleton for Partial Gait Assistance

Phenomenological theory of variational quantum ground-state preparation

Investigating the neuromechanical control of healthy gait modulation and pathological gaits observed in cerebral palsy using neuromuscular simulations

Lower Bounds for Unambiguous Automata via Communication Complexity

A PCP Theorem for Interactive Proofs and Applications

Digital Design with Implicit State Machines

Dynamical collapse of cylindrical symmetric Dipolar Bose-Einstein condensates

Uniform distribution in nilmanifolds along functions from a Hardy field

Anomalous dissipation and other non-smooth phenomena in fluids

Novel Design and Implementation of a Neuromuscular Controller on a Hip Exoskeleton for Partial Gait Assistance

Distributed Lossy Computation with Structured Codes: From Discrete to Continuous Sources

Investigating the neuromechanical control of healthy gait modulation and pathological gaits observed in cerebral palsy using neuromuscular simulations

Digital Design with Implicit State Machines

Uniform distribution in nilmanifolds along functions from a Hardy field

Dynamical collapse of cylindrical symmetric Dipolar Bose-Einstein condensates

Phenomenological theory of variational quantum ground-state preparation

Lower Bounds for Unambiguous Automata via Communication Complexity

A PCP Theorem for Interactive Proofs and Applications