Concept

Automate fini non déterministe

Publications associées (118)

The nature and role of advection in advection-diffusion equations used for modelling bed load transport

The advection-diffusion equation arises quite often in the context of sediment transport, e.g., for describing time and space variations in the particle activity (the solid volume of particles in motion per unit streambed area). Stochastic models can also ...

2016

On the Dispersions of the Gel'fand-Pinsker Channel and Dirty Paper Coding

Jonathan Mark Scarlett

This paper studies the second-order coding rates for memoryless channels with a state sequence known non-causally at the encoder. In the case of finite alphabets, an achievability result is obtained using constant-composition random coding, and by using a ...

Institute of Electrical and Electronics Engineers2015

Measuring and Synthesizing Systems in Probabilistic Environments

Barbara Jobstmann, Rishabh Singh

The traditional synthesis question given a specification asks for the automatic construction of a system that satisfies the specification, whereas often there exists a preference order among the different systems that satisfy the given specification. Under ...

Assoc Computing Machinery2015

Asymptotically Optimal Matching of Multiple Sequences to Source Distributions and Training Sequences

Jayakrishnan Unnikrishnan

Consider a finite set of sources, each producing independent identically distributed observations that follow a unique probability distribution on a finite alphabet. We study the problem of matching a finite set of observed sequences to the set of sources ...

Institute of Electrical and Electronics Engineers2015

High-Frequency Electromagnetic Coupling to Multiconductor Transmission Lines of Finite Length

Marcos Rubinstein, Gaspard Lugrin

This paper presents a theory and an efficient solution approach for the problem of electromagnetic field coupling to a long multiconductor line with arbitrary terminations. The theory is applicable for a high-frequency plane wave electromagnetic field exci ...

Ieee-Inst Electrical Electronics Engineers Inc2015

Formal verification of infinite-state BIP models

Simon Bliudze, Wajeb Saab

We propose two expressive and complementary techniques for the verification of safety properties of infinite-state BIP models. Both our techniques deal with the full BIP specification, while the existing approaches impose con- siderable restrictions: they ...

Springer2015

To Share or Not to Share: Adjustment Dynamics in Sharing Markets

Thomas Alois Weber, Maryam Razeghian Jahromi

To aid in the description and estimation of the tremendous recent growth in the collaborative economy, we provide a model for the dynamic sharing, subject to ﬁxed costs. The sharing economy comprises a set of inﬁnitely lived, heterogeneous suppliers, who t ...

2015

The Fluid Joint: The Soft Spot of Micro- and Nanosystems

Massimo Mastrangeli

Fluid bridges are ubiquitous soft structures of finite size that conform to and link the surfaces of neighboring objects. Fluid joints, the specific type of fluid bridge with at least one extremity constrained laterally, display even more pronounced reacti ...

2015

Formalization, Implementation, and Modeling of Institutional Controllers for Distributed Robotic Systems

Alcherio Martinoli, José Nuno Ferreira Maia Pereira

The work described is part of a long term program of introducing institutional robotics, a novel framework for the coordination of robot teams that stems from institutional economics concepts. Under the framework, institutions are cumulative sets of persis ...

Mit Press2014

Nonexistence of smooth solutions for a full viscous isentropic liquid crystal system in three dimensions

Tudor Ratiu

We prove that the smooth solutions to the Cauchy problem for a full isentropic three-dimensional liquid crystal nematodynamic equations with conserved mass, linear momentum, and dissipating total energy, can lose classical smoothness within a finite time. ...

Elsevier2014

Graph Chatbot

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.

Connectez-vous pour utiliser Chat avec Graph Search