• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 153
Next 10 →

Space Efficient Reachability Analysis Through Use of Pseudo-Root States

by Atanas N. Parashkevov, Jay Yantchev - 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

by Andrey Rybalchenko, Rishabh Singh - 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.

by Manuel Castells , Anthony Giddens , Alain Touraine , Anthony Smith , Benjamin Barber , Peter Hall , Roger-Pol Droit , Sophie Watson , Frank Webster , Krishan Kumar , David Lyon , Craig Calhoun , Jeffrey Henderson , Ramon Ramos , Jose E Rodrigues-Ibanez , Jose F Tezanos , Mary Kaldor , Stephen Jones , Christopher Freeman - 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

by Neal Lesh, Michael Mitzenmacher, Sue Whitesides
"... 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

by Committee Member Jonathan W Pinkston , Thomas L Evenson , Mark Wardell , Bailey Devine , An
"... 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

by Of The Usb Backchannel, Pablo E. Guerrero, Iliya Gurov, Ro Buchmann, Technische Universität Darmstadt, Kristof Van Laerhoven, Technische Universität Darmstadt
"... 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

by Bernt Schnettler
"... 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

by Stanislav Bulygin
"... 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

by unknown authors
"... 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):

by Gordon Mccabe, I ×r Σ , 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
Next 10 →
Results 1 - 10 of 153
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University