Zobrazeno 1 - 10
of 64
pro vyhledávání: '"Raclet P"'
Autor:
Reach G, Benarbia L, Benhamou PY, Delemer B, Dubois S, Gouet D, Guerci B, Jeandidier N, Lachgar K, Le Pape G, Leroy R, Masgnaux JH, Raclet P, Reznik Y, Riveline JP, Schaepelynck P, Vambergue A, Vergès B
Publikováno v:
Patient Preference and Adherence, Vol Volume 16, Pp 1333-1350 (2022)
Gérard Reach,1 Laurent Benarbia,2 Pierre-Yves Benhamou,3 Brigitte Delemer,4 Séverine Dubois,5 Didier Gouet,6 Bruno Guerci,7 Nathalie Jeandidier,8 Karim Lachgar,9 Gilles Le Pape,10 Rémy Leroy,11 Jean-Hugues Masgnaux,12 Philippe Raclet,13 Yves Rezni
Externí odkaz:
https://doaj.org/article/95f679704f194453a42364c7a9d89a16
Graphical models in probability and statistics are a core concept in the area of probabilistic reasoning and probabilistic programming-graphical models include Bayesian networks and factor graphs. In this paper we develop a new model of mixed (nondet
Externí odkaz:
http://arxiv.org/abs/2201.07474
Interface theories are powerful frameworks supporting incremental and compositional design of systems through refinements and constructs for conjunction, and parallel composition. In this report we present a first Interface Theor -- |Modal Mixed Inte
Externí odkaz:
http://arxiv.org/abs/2011.09435
We define a new subclass of nondeterministic finite automata for prefix-closed languages called Flanked Finite Automata (FFA). We show that this class enjoys good complexity properties while preserving the succinctness of nondeterministic automata. I
Externí odkaz:
http://arxiv.org/abs/1509.06501
The quotient operation, which is dual to the composition, is crucial in specification theories as it allows the synthesis of missing specifications and thus enables incremental design. In this paper, we consider a specification theory based on marked
Externí odkaz:
http://arxiv.org/abs/1411.6463
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
EPTCS 87, 2012
This volume contains the proceedings of the 4th workshop on Foundations of Interface Technologies (FIT 2012) which was collocated with ETAPS 2012 in Tallinn, Estonia, and took place on March 25, 2012. The aim of this workshop is to bring together res
Externí odkaz:
http://arxiv.org/abs/1207.3485
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.