Results 61 to 70 of about 14,132 (263)
Probabilistic regular graphs [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 Deterministic graph grammars generate regular graphs, that form a structural extension of configuration graphs of pushdown systems. In this paper, we study a probabilistic extension of regular graphs obtained by labelling the terminal arcs of the graph ...
Christophe Morvan, Nathalie Bertrand
doaj +1 more source
Probabilistic logic programming
Information and Computation, 1992 The logic programming language for expressing a probabilistic information is proposed. \(P\)-programs are finite sets of clauses of a special kind: the head of a clause is an atomic formula loaded by a closed interval \([a,b]\), and the body is a set of formulae (not only atomic) which are loaded by closed intervals too. The formula \(F:[a,b]\) denotes
Ng, Raymond, Subrahmanian, V.S.
openaire +2 more sources
Advanced Materials, EarlyView.Electrochemical CO2RR is a key technology for converting CO2 into chemicals, but there remains a gap between “laboratory science” and “engineering practice” in current research. This review establishes a multi‐scale research framework, encompassing atomic‐level characterization, microenvironment regulation, external field‐assisted optimization, and AI ...
Ping Hong +3 more
wiley +1 more source
Model Checking Probabilistic Timed Automata with One or Two Clocks [PDF]
Logical Methods in Computer Science, 2008 Probabilistic timed automata are an extension of timed automata with discrete probability distributions. We consider model-checking algorithms for the subclasses of probabilistic timed automata which have one or two clocks.
Marcin Jurdzinski +2 more
doaj +1 more source
, 2002 Recently, it has been shown that probabilistic entailment under coherence is weaker than model-theoretic probabilistic entailment. Moreover, probabilistic entailment under coherence is a generalization of default entailment in System P. In this paper, we continue this line of research by presenting probabilistic generalizations of more sophisticated ...
openaire +2 more sources
Weak nonmonotonic probabilistic logics
Artificial Intelligence, 2005 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +4 more sources
Advanced Materials Technologies, EarlyView.An in situ electroplating approach for MEX 3D printing is proposed, enabling copper deposition during the fabrication of conductive polymers. The method combines a printer‐integrated plating head, ML‐based g‐code control, and stop‐and‐go printing, achieving near‐bulk copper conductivity and enabling fully embedded, assembly‐free electronic components ...
Gianluca Percoco +5 more
wiley +1 more source
Semantic Probabilistic Inference of Predictions
Известия Иркутского государственного университета: Серия "Математика", 2017 Prediction is one of the most important concepts in science. Predictions obtained from probabilistic knowledge, are described by an inductive-statistical inference (I-S inference).
E. E. Vityaev
doaj +1 more source
Logical Characterization of Trace Metrics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 In this paper we continue our research line on logical characterizations of behavioral metrics obtained from the definition of a metric over the set of logical properties of interest.
Valentina Castiglioni, Simone Tini
doaj +1 more source
Expressive probabilistic description logics
Artificial Intelligence, 2008 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources