[PDF] Top 20 Reasoning about systems with evolving structure
Has 10000 "Reasoning about systems with evolving structure" found on our website. Below are the top 20 most common "Reasoning about systems with evolving structure".
Reasoning about systems with evolving structure
... In addition, the thesis contains a study of the notion of determinacy and confluence in the mobile setting, with emphasis on the development of results and techniques regarding these and[r] ... See full document
256
LTL with Arithmetic and its Applications in Reasoning about Hierarchical Systems
... hierarchical systems that avoids their ...Recursive systems A recursive system is a hierarchical system that allows unbounded nesting of ...recursive systems is tightly related to reasoning ... See full document
20
Reasoning formally about quantum systems : an overview
... Mateus and Sernadas have used the exogenous approach to design a logic for reasoning about quantum systems. This means that they have kept intact the classical model of proposi- tional logic as the ... See full document
17
Modelling And Reasoning About Trust Relationships In The Development Of Trustworthy Information Systems
... technical systems that the technical system under development is going to interact ...goal structure for each ...questions about the goals and requirements already avail- able (Van Lamsweerde, ... See full document
190
Reasoning About Legal Text Evolution for Regulatory Compliance in Software Systems.
... queries about access control and the right of notice, the interactions between organizations, ...for reasoning about the relationships between different types of legal concepts) to capture a broader ... See full document
139
Reasoning About the Reliability of Multi-version, Diverse Real-Time Systems
... real-time systems for use in high integrity ...general systems) by investigating a two channel system in which one channel, A, is produced to a high level of reliability ...real-time systems and ... See full document
10
Taxonomies for Reasoning About Cyber-physical Attacks in IoT-based Manufacturing Systems
... • There is a tradeoff between quality inspection measure coverage and the costs. Enforcing more quality inspection measures can examine more aspects of the products, but with a higher cost. Our taxonomies can help ... See full document
10
Reasoning about bounds in weighted transition systems
... transition systems, although in the more general setting of synchronization trees with weights in an arbitrary monoid or ...additive structure of a ...additive structure. Thus, the semiring ... See full document
32
<p>The Characteristics of Moral Judgment of Psychopaths: The Mediating Effect of the Deontological Tendency</p>
... and reasoning are two separate psychological ...and reasoning processing systems drive the deontological and the utilitarian inclinations, ...processing systems or two ... See full document
10
Reasoning About Willingness in Networks of Agents
... agent about a dependum expresses its intrinsic readiness to actually fulfil the ...dependee about the dependum; and the reciprocity (R°) with the ...reputation-based systems or systems with a ... See full document
16
Reasoning about Dynamic Epistemic Logic
... The standard approach to information flow in a multi-agent system has been presented in [8] but it does not present a formal description of epistemic programs and their updates. The first attempts to formalize such ... See full document
10
A logic for reasoning about knowledge of unawareness
... In this paper we consider several logical languages L . We define the meaning of each of these by defining the concept of a formula φ ∈ L being true (or satisfied) in the context of the combination of a model M ∈ M in ... See full document
22
Reasoning about complementary intrusion evidence
... monitored systems, properties of security tools, and observed events ...reason about information provided by multiple ...sons about the relevance of alerts by fusing alerts with the targets’ topology ... See full document
22
Non-interference for deterministic interactive programs
... something about the values input by Alice so Alice clearly can send messages to Bob, hence (by contraposition) 2 implies ...nothing about what Alice has input, surely she cannot send him a ...this ... See full document
15
Potentials of Evolving Linear Models in Tracking Control Design for Nonlinear Variable Structure Systems
... an evolving model, the structure can evolve through the time based on observing samples of input and output ...The structure of a nonlinear evolving model often can be described as an ... See full document
17
Structure evolving systems and control in integrated design
... Such a procedure is iterative and it is the result of the technological complexity of the engineering task that requires specialisation. The process synthesis – global instrumentation - control design stages have a ... See full document
30
Structure evolving systems and control in integrated design
... Permanent repository link: http://openaccess.city.ac.uk/14045/ Link to published version: http://dx.doi.org/10.1016/j.arcontrol.2008.07.004 Copyright and reuse: City Research Online aims[r] ... See full document
6
Flexible Models with Evolving Structure
... The learning of the eNN is based on the procedure for on-line identification of the eTS models [15]. When the training data are collected continuously, some of them will reinforce and confirm the information contained in ... See full document
14
Some dimensions of commonsense reasoning about the physical world : an empirical study of the structure of students' conceptualisations
... Studies in the History and Philosophy of Science will make it possible to relate commonsense reasoning about entities in Science to the ways in which the scient[r] ... See full document
393
Evolving fuzzy systems from data streams in real time
... 2006 International Symposium on Evolving Fuzzy Systems, September, 2006.[r] ... See full document
7
Related subjects