Results 21 to 30 of about 24,451 (299)

A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm

IEEE Access, 2019
Probabilistic assume-guarantee reasoning is a theoretically feasible way to alleviate the state space explosion problem in stochastic model checking. The key to probabilistic assume-guarantee reasoning is how to generate the assumption.
Yan Ma, Zining Cao, Yang Liu
doaj   +1 more source

Quantitative multi-objective verification for probabilistic systems [PDF]

, 2011
We present a verification framework for analysing multiple quantitative objectives of systems that exhibit both nondeterministic and stochastic behaviour.
Marta Kwiatkowska, Parker, D., Qu, H., Hongyang Qu, Forejt, Vojtech, Norman, G., Norman, G, Forejt, V., Vojtěch Forejt, Parker, D, Kwiatkowska, MZ, Kwiatkowska, M., David Parker, Leino, KRM, Qu, H, Gethin Norman, Forejt, V, Abdulla, PA   +17 more
core   +1 more source

IDENTIFIKASI KEMAMPUAN PENALARAN ILMIAH SISWA SMA PADA MATERI SUHU DAN KALOR

Jurnal Pendidikan: Teori, Penelitian, dan Pengembangan, 2017
Scientific reasoning skills help students to explain concepts and argumentations, which is it’s beneficial for student. This article aims to identification pattern of scientific reasoning student that used to solving problems in heat and temperature ...
Ety Rimadani, Parno Parno, Markus Diantoro   +2 more
doaj   +1 more source

Approximate reasoning for real-time probabilistic processes [PDF]

Logical Methods in Computer Science, 2006
We develop a pseudo-metric analogue of bisimulation for generalized semi-Markov processes. The kernel of this pseudo-metric corresponds to bisimulation; thus we have extended bisimulation for continuous-time probabilistic processes to a much broader ...
Vineet Gupta, Radha Jagadeesan, Prakash Panangaden   +2 more
doaj   +1 more source

PACE Technique to Error Categories: Its Effectiveness in Improving Word Problem Performance in Mathematics among the 7th Grade Students

Qubahan Academic Journal, 2023
This research determined the effectiveness of the PACE (Present the error, Analyze the error, Correct the Error, Explain the error) technique in improving the mathematics performance in solving word problems among 7th Grade students in Harnett Central ...
Roghene A. Coloma, Florante P. Ibarra, Amirul Mukminin, Lenny Marzulina, Herri Mulyono, Kasinyo Harto   +5 more
doaj   +1 more source

Identifikasi Kemampuan Berpikir Logis Mahasiswa Calon Guru Fisika Menggunakan Instrument TOLT

JPFT (Jurnal Pendidikan Fisika dan Teknologi), 2021
This study aimed to identify the type of reasoning and the level of prospective physics teacher students’ logical thinking ability. This type of research was a field study with a quantitative descriptive method.
Rahmawati Rahmawati, Edy Kurniawan, A. Muafiah Nur   +2 more
doaj   +1 more source

Activation of midbrain and ventral striatal regions implicates salience processing during a modified beads task. [PDF]

PLoS ONE, 2013
IntroductionMetacognition, i.e. critically reflecting on and monitoring one's own reasoning, has been linked behaviorally to the emergence of delusions and is a focus of cognitive therapy in patients with schizophrenia. However, little is known about the
Christine Esslinger, Urs Braun, Frederike Schirmbeck, Andreia Santos, Andreas Meyer-Lindenberg, Mathias Zink, Peter Kirsch   +6 more
doaj   +1 more source

Probabilistic Inference and Probabilistic Reasoning [PDF]

Philosophical Topics, 1990
Uncertainty enters into human reasoning and inference in at least two ways. It is reasonable to suppose that there will be roles for these distinct uses of uncertainty also in automated reasoning.
openaire   +3 more sources

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes [PDF]

, 2012
One of the most studied extensions of testing theory to nondeterministic and probabilistic processes yields unrealistic probabilities estimations that give rise to two anomalies. First, probabilistic testing equivalence does not imply probabilistic trace
Nicola Michele Loreti, Rocco Nicola, De Nicola, Rocco, Marco Bernardo, Rocco De, Loreti, Michele, Rocco De Nicola, Michele Loreti, Bernardo, Marco, De Nicola, R   +9 more
core   +1 more source

ByNowLife: A Novel Framework for OWL and Bayesian Network Integration

Information, 2019
An ontology-based system can currently logically reason through the Web Ontology Language Description Logic (OWL DL). To perform probabilistic reasoning, the system must use a separate knowledge base, separate processing, or third-party applications ...
Foni A. Setiawan, Eko K. Budiardjo, Wahyu C. Wibowo   +2 more
doaj   +1 more source