Vous êtes ici : Accueil › Recherche
› RECHERCHER
Titre
Auteur
Mot-clé
Année avant
Année après
Plus d'options

› AFFINER

› RESULTATS DE LA RECHERCHE  
2280 résultats › Tri  › Par 
LCSH_x
Source : DANS

Confluence Reduction for Probabilistic Systems

Timmer, Mark et al. (mars 2011)

This paper presents a novel technique for state space reduction of probabilistic specifications, based on a newly developed notion of confluence for probabilistic automata. We prove that this reduction preserves branching probabilistic bisimulation and can be applied on-the-fly. To support the ...

Voir plus d'informations | Voir la fiche de la ressource

Source : DANS

Integrating environmental component models. Development of a software framework

Schmitz, O. (8 mai 2014)

Integrated models consist of interacting component models that represent various natural and social systems. They are important tools to improve our understanding of environmental systems, to evaluate cause–effect relationships of human–natural interactions, and to forecast the behaviour of ...

Voir plus d'informations | Voir la fiche de la ressource

Source : Archipel

A self paired Hopf algebra on double posets and a Littlewood Richardson rule

Malvenuto, Claudia et al. (2011)

Let D be the set of isomorphism types of finite double partially ordered sets, that is sets endowed with two partial orders. On ZD we define a product and a coproduct, together with an internal product, that is, degree-preserving. With these operations ZD is a Hopf algebra. We define a symmetric ...

Voir plus d'informations | Voir la fiche de la ressource

Source : HAL

Natural Editing of Algebraic Expressions

Nicaud, Jean-François et al. (2008)

Long version of a communication at MathUI workshop, Linz, Austria, June 2007. We call “natural editing of algebraic expressions” the editing of algebraic expressions in their natural representation, the one that is used on paper and blackboard. This is an issue we have investigated in the Aplusix ...

Voir plus d'informations | Voir la fiche de la ressource

Source : Gallica

L'arithmétique en sa perfection , mise en pratique selon l'usage des financiers, banquiers et marchands... avec un traité de géométrie pratique appliquée à l'arpentage et au toisé... et un abrégé d'algèbre... ; par F. Le Gendre,...

Le Gendre, F. (1779)

Appartient à l’ensemble documentaire : HNormand1

Voir plus d'informations | Voir la fiche de la ressource

Source : DANS

Synchronization Control of Scheduled Train Services to Minimize Passenger Waiting Times

Goverde, R.M.P. (15 déc. 1998)

During operation a transportation service may wait on delayed feeder services to secure scheduled transfers. For low-frequent connecting services this has a major positive impact on the transfer waiting times. However, the resulting synchronization control time of the connecting service also affects ...

Voir plus d'informations | Voir la fiche de la ressource

Source : DANS

The standard $H_\infty$-suboptimal control problem for LTI infinite dimensional systems

Iftime, O.V. et al. (2000)

In this paper we provide sufficient conditions for the solvability of the standard $H_{\infty}$-suboptimal control problem for linear, time invariant, infinite-dimensional systems with finite-dimensional input and output spaces. The sufficient conditions are formulated in terms of the existence of ...

Voir plus d'informations | Voir la fiche de la ressource