Results 91 to 100 of about 133,366 (251)
Formal Modeling of Connectionism using Concurrency Theory, an Approach Based on Automata and Model Checking [PDF]
, 2006 This paper illustrates a framework for applying formal methods techniques, which are symbolic in nature, to specifying and verifying neural networks, which are sub-symbolic in nature. The paper describes a communicating automata [Bowman & Gomez, 2006]
Su, Li, Wyble, Brad, Bowman, Howard
core
Concavely-priced probabilistic timed automata [PDF]
, 2009 Concavely-priced probabilistic timed automata, an extension of probabilistic timed automata, are introduced. In this paper we consider expected reachability, discounted, and average price problems for concavely-priced probabilistic timed automata for ...
Marta Kwiatkowska +14 more
core +1 more source
Dynamic Data Structures for Timed Automata Acceptance. [PDF]
Algorithmica, 2022 Grez A +4 more
europepmc +1 more source
Predictive Ability of Plasma p‐tau217 for β‐Amyloid Status: A Prospective Multicenter Study
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Plasma tau phosphorylated at threonine 217 (p‐tau217) measured with fully automated platforms has shown high accuracy for Alzheimer's disease (AD) diagnosis, but real‐world multicenter data remain limited. We aimed to validate the diagnostic performance of p‐tau217 for identifying AD pathology in a real‐world multicenter cohort ...
Miquel Massons +33 more
wiley +1 more source
How to stop time stopping (preliminary version) [PDF]
, 2004 Timed automata are a very successful notation for specifying and verifying real-time systems. One problem of the approach though is that timelocks can freely arise.
Su, Li, Gomez, Rodolfo, Bowman, Howard
core
Verifikasi Dua Varian Protokol Ad hoc On demand Distance Vector dengan UPPAAL
IJCCS (Indonesian Journal of Computing and Cybernetics Systems), 2015 Abstrak Mobile Ad-hoc Network (MANET) adalah sekumpulan wireless mobile yang terhubung satu sama lain tanpa infrastruktur yang tetap sehingga perubahan topologi dapat terjadi setiap saat.
Ika Oktavia Suzanti, Reza Pulungan
doaj +1 more source
Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks. [PDF]
Sensors (Basel), 2022 Zbrzezny AM, Zbrzezny A.
europepmc +1 more source
Memory and Resting‐State Connectivity in Acute Transient Global Amnesia: A Case–Control fMRI Study
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background and Objectives Transient global amnesia (TGA) is a striking model of isolated amnesia. While hippocampal lesions are well described, the network‐level mechanisms and the precise neuropsychological profile remain debated. Our objective was thus to characterize functional and neuropsychological correlates of acute TGA and their ...
Elias El Otmani +10 more
wiley +1 more source
A tool for the syntactic detection of zeno-timelocks in timed automata [PDF]
, 2005 Timed automata are a very successful notation for specifying and verifying real-time systems, but timelocks can freely arise. These are counter-intuitive situations in which a specifier's description of a component automaton can inadvertently prevent ...
Su, Li +3 more
core +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Collaterals are crucial factors that influence the infarct growth rate (IGR). We aimed to determine whether a comprehensive multimodal collateral score (MCS), incorporating collateral assessment at the arterial, tissue, and venous levels, is associated with functional independence and provides incremental prognostic value over ...
Giorgio Busto +12 more
wiley +1 more source