04760nam 22007335 450 99646586190331620230406033648.03-540-32024-53-540-29106-710.1007/11560586(CKB)1000000000213282(SSID)ssj0000320366(PQKBManifestationID)11233631(PQKBTitleCode)TC0000320366(PQKBWorkID)10249167(PQKB)11450672(DE-He213)978-3-540-32024-1(MiAaPQ)EBC3067727(PPN)123097819(EXLCZ)99100000000021328220100317d2005 u| 0engurnn|008mamaatxtccrTheoretical Computer Science[electronic resource] 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings /edited by Mario Coppo, Elena Lodi, G. Michele Pinna1st ed. 2005.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2005.1 online resource (XI, 411 p.) Theoretical Computer Science and General Issues,2512-2029 ;3701"9th Italian Conference on Theoretical Computer Science"--Pref.Printed edition: 9783540291060 Includes bibliographical references and index.Invited Contributions -- Semantic Subtyping: Challenges, Perspectives, and Open Problems -- Biological Systems as Reactive Systems -- Mobile Agents Computing: Security Issues and Algorithmic Solutions -- Technical Contributions -- Efficient Algorithms for Detecting Regular Point Configurations -- Pickup and Delivery for Moving Objects on Broken Lines -- A Static Analysis of PKI-Based Systems -- Subtyping Object and Recursive Types Logically -- The Language ?: Circuits, Computations and Classical Logic -- Checking Risky Events Is Enough for Local Policies -- The Graph Rewriting Calculus: Confluence and Expressiveness -- Safe Object Composition in the Presence of Subtyping -- Reachability Analysis in Boxed Ambients -- Error Mining for Regular Expression Patterns -- Reconstructing an Alternate Periodical Binary Matrix from Its Orthogonal Projections -- Inapproximability Results for the Lateral Gene Transfer Problem -- Faster Deterministic Wakeup in Multiple Access Channels -- Weighted Coloring: Further Complexity and Approximability Results -- Quantum Algorithms for a Set of Group Theoretic Problems -- On the Computational Complexity of the L (2,1)-Labeling Problem for Regular Graphs -- A Polymerase Based Algorithm for SAT -- Laxity Helps in Broadcast Scheduling -- Enforcing and Defying Associativity, Commutativity, Totality, and Strong Noninvertibility for One-Way Functions in Complexity Theory -- Synthesis from Temporal Specifications Using Preferred Answer Set Programming -- Model Checking Strategic Abilities of Agents Under Incomplete Information -- Improved Algorithms for Polynomial-Time Decay and Time-Decay with Additive Error -- A Theoretical Analysis of Alignment and Edit Problems for Trees -- A Complete Formulation of Generalized Affine Equivalence -- A New Combinatorial Approach to Sequence Comparison -- A Typed Assembly Language for Non-interference -- Improved Exact Exponential Algorithms for Vertex Bipartization and Other Problems -- A Typed Semantics of Higher-Order Store and Subtyping -- Two Variables Are Not Enough.Theoretical Computer Science and General Issues,2512-2029 ;3701Computer scienceArtificial intelligence—Data processingAlgorithmsMachine theoryTheory of ComputationData ScienceAlgorithmsComputer Science Logic and Foundations of ProgrammingFormal Languages and Automata TheoryComputer science.Artificial intelligence—Data processing.Algorithms.Machine theory.Theory of Computation.Data Science.Algorithms.Computer Science Logic and Foundations of Programming.Formal Languages and Automata Theory.00454.10bclCoppo Marioedthttp://id.loc.gov/vocabulary/relators/edtLodi Elenaedthttp://id.loc.gov/vocabulary/relators/edtPinna G. Micheleedthttp://id.loc.gov/vocabulary/relators/edtItalian Conference on Theoretical Computer ScienceBOOK996465861903316Theoretical computer science104541UNISA