Results 31 to 40 of about 11,242,110 (313)
Unbounded Non-determinism in CSP [PDF]
Journal of Logic and Computation, 1993 Summary: We show how the standard failures/divergences model for CSP can be extended by adding to each process' representation the set of all infinite traces it can perform. This allows a full and compositional treatment of unboundedly non-deterministic constructs such as \(\sqcap S\) and \(P\backslash X\) for infinite \(S\) and \(X\).
openaire +2 more sources
Daniel Dennett’s and Sam Harris’ Confrontation on the Problem of Free Will [PDF]
Pizhūhish/hā-yi Falsafī- Kalāmī, 2020 This paper seeks to explain and evaluate, by an analytic method, the conflict between determinism and free will from the viewpoint of two physicalist reductionist philosophers, namely, Daniel Dennett and Sam Harris. Dennett is a compatibilist philosopher
zahra khazaei +2 more
doaj +1 more source
A probabilistic extension of UML statecharts: specification and verification [PDF]
, 2002 This paper is the extended technical report that corresponds to a published paper [14]. This paper introduces means to specify system randomness within UML statecharts, and to verify probabilistic temporal properties over such enhanced statecharts which ...
Hermanns, Holger +2 more
core +17 more sources
The Overlooked Don't-Care Notion in Algorithmic Problem Solving
Informatics in Education, 2009 The notion of ''don't care'', that encapsulates the unimportance of which of several scenarios will occur, is a fundamental notion in computer science. It is the core of non-determinism; it is essential in various computational models; it is central in ...
David GINAT
doaj +1 more source
Statistical determinism in non-Lipschitz dynamical systems [PDF]
Ergodic Theory and Dynamical Systems, 2020 We study a class of ordinary differential equations with a non-Lipschitz point singularity that admits non-unique solutions through this point. As a selection criterion, we introduce stochastic regularizations depending on a parameter $\nu $ : the ...
Theodore D. Drivas +2 more
semanticscholar +1 more source
Non-determinism in Functional Languages [PDF]
The Computer Journal, 1992 The introduction of a non-deterministic operator in even a very simple functional programming language gives rise to a plethora of semantic questions. These questions are not only concerned with the choice operator itself. A surprisingly large number of different parameter passing mechanisms are made possible by the introduction of bounded non ...
Søndergaard, H., Sestoft, Peter
openaire +1 more source
Morphological diversity and the roles of contingency, chance and determinism in african cichlid radiations. [PDF]
PLoS ONE, 2009 BACKGROUND:Deterministic evolution, phylogenetic contingency and evolutionary chance each can influence patterns of morphological diversification during adaptive radiation.
Kyle A Young, Jos Snoeks, Ole Seehausen
doaj +1 more source
Evaluating load balancing policies for performance and energy-efficiency [PDF]
, 2016 Nowadays, more and more increasingly hard computations are performed in challenging fields like weather forecasting, oil and gas exploration, and cryptanalysis.
Berg, Freek van den +2 more
core +6 more sources
Polish Maritime Research, 2017 Aiming at the problem of inaccurate and time-consuming of the fault diagnosis method for large-scale ship engine, an intelligent diagnosis method for large-scale ship engine fault in non-deterministic environment based on neural network is proposed ...
Feng Donghua, Li Yahong
doaj +1 more source
Distributing probability over non-determinism [PDF]
Mathematical Structures in Computer Science, 2006 We study the combination of probability and non-determinism from a categorical point of view. In category theory, non-determinism and probability are represented by suitable monads. However, these two monads do not combine well as they are. To overcome this problem, we introduce the notion of indexed valuations.
DANIELE VARACCA, GLYNN WINSKEL
openaire +1 more source