Coverart for item
The Resource Theoretical computer science : 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010. proceedings, Cristian S. Calude, Vladimiro Sassone (Eds.)

Theoretical computer science : 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010. proceedings, Cristian S. Calude, Vladimiro Sassone (Eds.)

Label
Theoretical computer science : 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010. proceedings
Title
Theoretical computer science
Title remainder
6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010. proceedings
Statement of responsibility
Cristian S. Calude, Vladimiro Sassone (Eds.)
Title variation
TCS 2010
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the 6th FIP WG 2.2 International Conference, TCS 2010, held as a part of the 21th World Computer Congress, WCC 2010, in Brisbane, Australia, in September 2010. The 23 revised full papers presented, together with 4 invited talks, were carefully reviewed and selected from 39 submissions. TCS 2010 deals with topics focused at but not limited to algorithms, complexity, models of computation, logic, semantics, specification and verification, power-awareness issues in wireless networks, data mining, knowledge discovery, multiprocessor issues as well as AI issues
Member of
Cataloging source
GW5XE
Dewey number
004
Index
index present
LC call number
QA75.5
LC item number
.I35 2010
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2010
http://bibfra.me/vocab/lite/meetingName
IFIP International Conference on Theoretical Computer Science
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
  • 1952-
  • 2010
http://library.link/vocab/relatedWorkOrContributorName
  • Calude, Cristian
  • Sassone, Vladimiro
  • IFIP World Computer Congress
Series statement
IFIP Advances in Information and Communication Technology
Series volume
323
http://library.link/vocab/subjectName
  • Computer science
  • Informatique
  • Computer science
Label
Theoretical computer science : 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010. proceedings, Cristian S. Calude, Vladimiro Sassone (Eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Convexity, Duality and Effects -- A Calculus for Power-Aware Multicast Communications in Ad Hoc Networks -- The Coarsest Precongruences Respecting Safety and Liveness Properties -- Entropy and Attack Models in Information Flow -- Safe Equivalences for Security Properties -- On Probabilistic Alternating Simulations -- Probabilistic Mobility Models for Mobile and Wireless Networks -- On Packing Splittable Items with Cardinality Constraints -- Deterministic Computations in Time-Varying Graphs: Broadcasting under Unstructured Mobility -- Slicing Behavior Tree Models for Verification -- Optimization of the Anisotropic Gaussian Kernel for Text Segmentation and Parameter Extraction -- Online Dictionary Matching for Streams of XML Documents -- The Duality of Computation under Focus -- Polarized Resolution Modulo -- A Logic on Subobjects and Recognizability -- Terminating Tableaux for with Number Restrictions on Transitive Roles -- Proof System for Applied Pi Calculus -- Concurrent Pattern Calculus -- Initial Segment Complexities of Randomness Notions -- Topologies Refining the Cantor Topology on X? -- On Symbolic Representations of Maximum Matchings and (Un)directed Graphs -- Traceable Sets -- Approximating the Non-contiguous Multiple Organization Packing Problem -- Improving the Competitive Ratios of the Seat Reservation Problem -- A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis -- A Game-Theoretic Approach to Routing under Adversarial Conditions -- An Operational Model for Multiprocessors with Caches
Control code
668096047
Dimensions
unknown
Extent
1 online resource (xii, 385 pages).
Form of item
online
Isbn
9783642152405
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-15240-5
http://library.link/vocab/ext/overdrive/overdriveId
978-3-642-15239-9
Specific material designation
remote
System control number
(OCoLC)668096047
Label
Theoretical computer science : 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010. proceedings, Cristian S. Calude, Vladimiro Sassone (Eds.)
Publication
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Convexity, Duality and Effects -- A Calculus for Power-Aware Multicast Communications in Ad Hoc Networks -- The Coarsest Precongruences Respecting Safety and Liveness Properties -- Entropy and Attack Models in Information Flow -- Safe Equivalences for Security Properties -- On Probabilistic Alternating Simulations -- Probabilistic Mobility Models for Mobile and Wireless Networks -- On Packing Splittable Items with Cardinality Constraints -- Deterministic Computations in Time-Varying Graphs: Broadcasting under Unstructured Mobility -- Slicing Behavior Tree Models for Verification -- Optimization of the Anisotropic Gaussian Kernel for Text Segmentation and Parameter Extraction -- Online Dictionary Matching for Streams of XML Documents -- The Duality of Computation under Focus -- Polarized Resolution Modulo -- A Logic on Subobjects and Recognizability -- Terminating Tableaux for with Number Restrictions on Transitive Roles -- Proof System for Applied Pi Calculus -- Concurrent Pattern Calculus -- Initial Segment Complexities of Randomness Notions -- Topologies Refining the Cantor Topology on X? -- On Symbolic Representations of Maximum Matchings and (Un)directed Graphs -- Traceable Sets -- Approximating the Non-contiguous Multiple Organization Packing Problem -- Improving the Competitive Ratios of the Seat Reservation Problem -- A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis -- A Game-Theoretic Approach to Routing under Adversarial Conditions -- An Operational Model for Multiprocessors with Caches
Control code
668096047
Dimensions
unknown
Extent
1 online resource (xii, 385 pages).
Form of item
online
Isbn
9783642152405
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-15240-5
http://library.link/vocab/ext/overdrive/overdriveId
978-3-642-15239-9
Specific material designation
remote
System control number
(OCoLC)668096047

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...