Results 1 - 10
of
153
Space Efficient Reachability Analysis Through Use of Pseudo-Root States
- Proceedings of Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS’97
, 1997
"... . This paper presents a novel reachability analysis technique which, while still maintaining a set of reached states, significantly reduces the size of this set through excluding a specific subset of those states, referred to as pseudo-root states. Pseudo-root states are states which are not reachab ..."
Abstract
-
Cited by 6 (0 self)
- Add to MetaCart
. This paper presents a novel reachability analysis technique which, while still maintaining a set of reached states, significantly reduces the size of this set through excluding a specific subset of those states, referred to as pseudo-root states. Pseudo-root states are states which
Subsumer-first: Steering symbolic reachability analysis
- In Proc. of the Int. SPIN Workshop on Model Checking Software
, 2009
"... Abstract. Symbolic reachability analysis provides a basis for the veri-fication of software systems by offering algorithmic support for the ex-ploration of the program state space when searching for proofs or coun-terexamples. The choice of exploration strategy employed by the anal-ysis has direct i ..."
Abstract
-
Cited by 2 (0 self)
- Add to MetaCart
Abstract. Symbolic reachability analysis provides a basis for the veri-fication of software systems by offering algorithmic support for the ex-ploration of the program state space when searching for proofs or coun-terexamples. The choice of exploration strategy employed by the anal-ysis has direct
Materials for an exploratory theory of the network society.
- The British Journal of Sociology
, 2000
"... ABSTRACT This article aims at proposing some elements for a grounded theor y of the network society. The network society is the social structure characteristic of the Information Age, as tentatively identi ed by empirical, cross-cultural investigation. It permeates most societies in the world, in v ..."
Abstract
-
Cited by 122 (0 self)
- Add to MetaCart
expression of power relationships. Outside the direct sphere of the state, the exercise of power within production organizations or in apparatuses of experience (such as the family) ultimately relied on the ability of these apparatuses to call upon the state (or para-states, such as the Church) to enforce
General Terms
"... We present new lowest energy configurations for several large benchmark problems for the two-dimensional hydrophobichydrophilic model. We found these solutions with a generic implementation of tabu search using an apparently novel set of transformations that we call pull moves. Our experiments show ..."
Abstract
- Add to MetaCart
that our algorithm can find these best solutions in 3 to 14 hours, on average. Pull moves appear quite effective and may also be useful for other local search algorithms for the problem. Additionally, we prove that pull moves are complete; that is, any pair of valid configurations are mutually reachable
Analysis of the Value-Altering Effect of Motivating Operations
"... Motivating operations (MOs) may affect behavior in two ways; A) an MO momentarily alters the frequency of behavior for which a particular consequence has served as reinforcement (evocative-effect) and B) an MO momentarily alters the behavioral effects of the relevant consequence (value-altering eff ..."
Abstract
- Add to MetaCart
demonstrates a preference for that square. In order to further evaluate Ellen's preference between the colored squares, red and blue squares of paper were presented to her following completion of the final probe session. She was asked which one she preferred, and she pointed to the blue paper and stated
Diagnosing the Weakest Link in WSN Testbeds: A Reliability and Cost Analysis
"... Abstract—This paper highlights and characterizes the main obstacle to deploying a robust wireless sensor network testbed: the USB connections that link each of the nodes via ethernet gateways to the central server. Unfortunately, these connections are also the components that, when properly installe ..."
Abstract
- Add to MetaCart
Abstract—This paper highlights and characterizes the main obstacle to deploying a robust wireless sensor network testbed: the USB connections that link each of the nodes via ethernet gateways to the central server. Unfortunately, these connections are also the components that, when properly installed, can reduce testbed costs by attaching multiple nodes per gateway. After illustrating how unreliable current solutions can become (regardless of the used sensor nodes, USB cabling, or gateway setup), a set of experiments led to a list of dos and don’ts in testbed deployment. Furthermore, a simple and cost-effective suggestion is presented that allows to bypass current USB backchannel issues, leading to a more robust testbed that avoids manual maintenance of individual nodes. Index Terms—experimentation; testbeds; testbed reliability; sensor node reprogramming; universal serial bus I.
Vision and Performance. The Sociolinguistic Analysis of Genres and Its Application to Focussed Ethnographic Data
"... Qu ua al li it ta at ti iv ve e S So oc ci io ol lo og gy y R Re ev vi ie ew w V Vo ol lu um me e I IV V I Is ss su ue e 3 3 w ww ww w. .q qu ua al li it ta at ti iv ve es so oc ci io ol lo og gy yr re ev vi ie ew w. .o or rg g 5 59 9 Q Qu ua al li it ta at ti iv ve e S So oc ci io ol lo og gy y R ..."
Abstract
- Add to MetaCart
comprehends, for example, reducing three-dimensional space into two-dimensional flat plane, eliminating perspectives and all non-acoustic and nonvisual sensual qualities of the situation. In short, video combines mimetic and constructive elements. Although it easily preserves important aspects of a past
unknown title
"... Algebraic cryptanalysis of the round-reduced and side channel analysis of the full PRINTCipher-48 ..."
Abstract
- Add to MetaCart
Algebraic cryptanalysis of the round-reduced and side channel analysis of the full PRINTCipher-48
Title of Document: QUANTUM MECHANICS AND QUANTUM INFORMATION THEORY
"... The principle aim of this dissertation is to investigate the philosophical application of quantum information theory to interpretational issues regarding the theory of quantum mechanics. Recently, quantum information theory has emerged as a potential source for such an interpretation. The main quest ..."
Abstract
- Add to MetaCart
The principle aim of this dissertation is to investigate the philosophical application of quantum information theory to interpretational issues regarding the theory of quantum mechanics. Recently, quantum information theory has emerged as a potential source for such an interpretation. The main question with which this dissertation will be concerned is whether or not an information-theoretic interpretation can serve as a conceptually acceptable interpretation of quantum mechanics. It will be argued that some of the more obvious approaches – that quantum information theory shows us that ultimately the world is made of information, and quantum Bayesianism – fail as philosophical interpretations of quantum mechanics. However, the information-theoretic approach of Clifton, Bub, and Halvorson introduces Einstein’s distinction between principle theories and constructive theories, arguing that quantum mechanics is best understood as an information-theoretic principle theory. While I argue that this particular approach fails, it does offer a viable new philosophical role for information theory. Specifically, an investigation of interpretationally successful principle theories such as Newtonian mechanics, special relativity, and general
[2], Chapter 6):
, 2003
"... The purpose of this paper is to review, clarify, and critically analyse modern mathematical cosmology. The emphasis is upon the mathemati-cal structures involved, rather than numerical computations. The opening section reviews and clarifies the Friedmann-Robertson-Walker models of General Relativist ..."
Abstract
- Add to MetaCart
analysis of Inflationary Cosmology and Quan-tum Cosmology, with particular attention to the claims made that these theories can explain the creation of the universe. 1 The Friedmann-Robertson-Walker models Let us review and clarify the topological and geometrical aspects of the Friedmann
Results 1 - 10
of
153