Results 11 to 20 of about 74,253 (260)
Deterministic thinning of finite Poisson processes [PDF]
Proceedings of the American Mathematical Society, 2011 16 pages; 1 ...
Angel, Omer +2 more
openaire +4 more sources
Value passing for Communicating Piecewise Deterministic Markov Processes [PDF]
, 2006 In this paper we extend the CPDP model, which is used for compositional specification of PDP-type stochastic hybrid systems, to the value passing CPDP model.
Strubbe, Stefan +12 more
core +1 more source
Deterministic blind identification in antenna array processing [PDF]
2014 IEEE 8th Sensor Array and Multichannel Signal Processing Workshop (SAM), 2014 The estimation of directions of arrival is formulated as the decomposition of a 3-way array into a sum of rank- one terms. However, a low-rank tensor approximation does not always exist. We propose an optimization technique based on differentiable angular constraints on the factors, ensuring the existence of the low-rank tensor decomposition.
Sahnoun, Souleymen, Comon, Pierre
openaire +2 more sources
On the Voting Time of the Deterministic Majority Process
CoRR, 2015 In the deterministic binary majority process we are given a simple graph where each node has one out of two initial opinions. In every round, every node adopts the majority opinion among its neighbors. By using a potential argument first discovered by Goles and Olivos (1980), it is known that this process always converges in $O(|E|)$ rounds to a two ...
Kaaser, Dominik +2 more
openaire +6 more sources
Deterministic process logic is elementary
Information and Control, 1982 Propositional process logic (PL) was introduced by \textit{D. Harel, D. Kozen} and \textit{R. Parikh} [J. Comput. Syst. Sci. 25, 144-170 (1982; Zbl 0494.03016), following the suggestion of \textit{H. Nishimura} [Acta Inf. 14, 359-369 (1980; Zbl 0423.68005)] that dynamic logic introduced by Pratt and temporal logic used by Pnueli and others should be ...
openaire +1 more source
An algebra of concurrent non-deterministic processes
Theoretical Computer Science, 1991 An algebra of finite processes (\(\text{AFP}_ 1\)) is introduced. The semantics of a process is defined as a set of partial orders. Besides two relations between process elements (i.e. precedence and concurrency) the relation of alternative is implicitly represented by an alphabet of ''non-actions'' (reflecting the fact the action was not chosen due to
Ludmila Cherkasova, Vadim E. Kotov
openaire +2 more sources
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To delineate specific in vivo white matter pathology in neuronal intranuclear inclusion disease (NIID) using diffusion spectrum imaging (DSI) and define its clinical relevance. Methods DSI was performed on 42 NIID patients and 38 matched controls.
Kaiyan Jiang +10 more
wiley +1 more source
Processing XML Streams with Deterministic Automata [PDF]
, 2002 We consider the problem of evaluating a large number of XPath expressions on an XML stream. Our main contribution consists in showing that Deterministic Finite Automata (DFA) can be used effectively for this problem: in our experiments we achieve a throughput of about 5.4MB/s, independent of the number of XPath expressions (up to 1,000,000 in our tests)
Todd J. Green +3 more
openaire +2 more sources
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective In multiple sclerosis, the optimal time for deploying a therapeutic intervention is before the central nervous system is damaged; given the success of trials treating the earliest stage of MS, the radiologically isolated syndrome, developing primary prevention strategies is an important next challenge.
Amy W. Laitinen +7 more
wiley +1 more source
Piecewise deterministic Markov process — recent results [PDF]
ESAIM: Proceedings, 2014 We give a short overview of recent results on a specific class of Markov process: the Piecewise Deterministic Markov Processes (PDMPs). We first recall the definition of these processes and give some general results. On more specific cases such as the TCP model or a model of switched vector fields, better results can be proved, especially as regards ...
Azaïs, Romain +4 more
openaire +4 more sources