SOFSEM 2008: Theory and Practice of Computer Science

34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Proceedings

AvVilliam Geffert,Juhani Karhumäki

Häftad, Engelska, 2008

Del i serien Lecture Notes in Computer Science

1 136 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the refereed proceedings of the 34th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2008, held in Slovakia, in 2008. The 57 revised full papers, presented together with 10 invited contributions, were carefully reviewed and selected from 162 submissions. The contributions are segmented into four topical sections on foundations of computer science; computing by nature; networks, security, and cryptography; and Web technologies.

Produktinformation

Utgivningsdatum:2008-01-11
Mått:155 x 235 x undefined mm
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:796
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540775652

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Innehållsförteckning

Invited Talks.- Quantum Random Walks – New Method for Designing Quantum Algorithms.- Social Information Access: The Other Side of the Social Web.- Designing Adaptive Web Applications.- Best of Both: Using Semantic Web Technologies to Enrich User Interaction with the Web and Vice Versa.- On the Hardness of Reoptimization.- Describing Self-assembly of Nanostructures.- On the Undecidability of the Tiling Problem.- Remote Entrusting by Run-Time Software Authentication.- Trusted Computing — Special Aspects and Challenges.- Optimizing Winning Strategies in Regular Infinite Games.- Foundations of Computer Science.- Recursive Domain Equations of Filter Models.- Algorithmic Problems for Metrics on Permutation Groups.- Periodic and Infinite Traces in Matrix Semigroups.- From Asynchronous to Synchronous Specifications for Distributed Program Synthesis.- Exact OBDD Bounds for Some Fundamental Functions.- Clustering-Based Similarity Search in Metric Spaces with Sparse Spatial Centers.- A Useful Bounded Resource Functional Language.- On Reachability Games of Ordinal Length.- An Algorithm for Computation of the Scene Geometry by the Log-Polar Area Matching Around Salient Points.- The Power of Tokens: Rendezvous and Symmetry Detection for Two Mobile Agents in a Ring.- How Much Information about the Future Is Needed?.- On Compiling Structured Interactive Programs with Registers and Voices.- Optimal Orientation On-Line.- Some Tractable Instances of Interval Data Minmax Regret Problems: Bounded Distance from Triviality.- Assisted Problem Solving and Decompositions of Finite Automata.- Energy-Efficient Windows Scheduling.- A New Model to Solve the Swap Matching Problem and Efficient Algorithms for Short Patterns.- Certification of Proving Termination of Term Rewriting by MatrixInterpretations.- Extension of Rescheduling Based on Minimal Graph Cut.- Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets.- Computing Longest Common Substring and All Palindromes from Compressed Strings.- Basic Sets in the Digital Plane.- Algebraic Optimization of Relational Queries with Various Kinds of Preferences.- Mortality Problem for 2×2 Integer Matrices.- Element Distinctness and Sorting on One-Tape Off-Line Turing Machines.- Improved Bounds for Range Mode and Range Median Queries.- An Automata Theoretic Approach to Rational Tree Relations.- Slicing Petri Nets with an Application to Workflow Verification.- Lower Bound for the Length of Synchronizing Words in Partially-Synchronizing Automata.- Verifying Parameterized taDOM+ Lock Managers.- Untangling a Planar Graph.- Computing by Nature.- Quantum Walks with Multiple or Moving Marked Locations.- Parallel Immune System for Graph Coloring.- The Quantum Complexity of Group Testing.- Quantum Walks: A Markovian Perspective.- A Memetic Algorithm for Global Induction of Decision Trees.- Geometric Rates of Approximation by Neural Networks.- A Sensitive Metaheuristic for Solving a Large Optimization Problem.- Networks, Security, and Cryptography.- Domain Name System as a Memory and Communication Medium.- Strong Authentication over Lock-Keeper.- Short Ballot Assumption and Threeballot Voting Protocol.- Practical Deniable Encryption.- Taming of Pict.- Classification, Formalization and Verification of Security Functional Requirements.- ONN the Use of Neural Networks for Data Privacy.- Threshold Privacy Preserving Keyword Searches.- Web Technologies.- 3D_XML: A Three-Dimensional XML-Based Model.- Visual Exploration of RDF Data.- Creation, Population and Preprocessing of Experimental Data Sets forEvaluation of Applications for the Semantic Web.- Algorithm for Intelligent Prediction of Requests in Business Systems.- Mining Personal Social Features in the Community of Email Users.- Proofs of Communication and Its Application for Fighting Spam.- Web Pages Reordering and Clustering Based on Web Patterns.- Compression of Concatenated Web Pages Using XBW.- The Dynamic Web Presentations with a Generality Model on the News Domain.- A Highly Efficient XML Compression Scheme for the Web.- Improving Semantic Search Via Integrated Personalized Faceted and Visual Graph Navigation.

Mer från samma författare

SOFSEM 2008: Theory and Practice of Computer Science

Maria Bielikova, Pavol Navrat, Bart Preneel, Alberto Bertoni, Juhani Karhumaki, Villiam Geffert

E-bok

2008

1 470 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

555 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

933 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

572 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott - Biomimetic and Biohybrid Systems, Häftad

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

572 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 024 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

933 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Du kanske också är intresserad av

10% rabatt på allt

Exit Adventskalender - Julens magi (SE)

Exit

499 kr

SOFSEM 2008: Theory and Practice of Computer Science

Maria Bielikova, Pavol Navrat, Bart Preneel, Alberto Bertoni, Juhani Karhumaki, Villiam Geffert

E-bok

2008

1 470 kr

Advances in Databases and Information Systems

Yannis Manolopoulos, Pavol Navrat

Häftad, 2002

571 kr

Advances in Databases and Information Systems

Pavol Navrat, Yannis Manolopoulos

E-bok

2003

739 kr

Theory Is Forever

Juhani Karhumäki, Hermann Maurer, Gheorghe Paun, Grzegorz Rozenberg

Häftad, 2004

571 kr

Developments in Language Theory

Tero Harju, Juhani Karhumäki, Arto Lepistö

Häftad, 2007

555 kr

Computer Science -- Theory and Applications

Edward Hirsch, Juhani Karhumäki, Arto Lepistö, Michail Prilutskii

Häftad, 2012

555 kr

Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008

Giorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri, Luke Ong

Inbunden, 2008

1 652 kr

Combinatorics on Words

Juhani Karhumäki, Arto Lepistö, Luca Zamboni

Häftad, 2013

512 kr

Formal and Natural Computing

Wilfried Brauer, Hartmut Ehrig, Juhani Karhumäki, Arto K. Salomaa

Häftad, 2002

571 kr

SOFSEM 2008: Theory and Practice of Computer Science

34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Proceedings

AvVilliam Geffert,Juhani Karhumäki

Häftad, Engelska, 2008

Del i serien Lecture Notes in Computer Science

1 136 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

Produktinformation

Utgivningsdatum:2008-01-11
Mått:155 x 235 x undefined mm
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:796
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540775652

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Innehållsförteckning

Invited Talks.- Quantum Random Walks – New Method for Designing Quantum Algorithms.- Social Information Access: The Other Side of the Social Web.- Designing Adaptive Web Applications.- Best of Both: Using Semantic Web Technologies to Enrich User Interaction with the Web and Vice Versa.- On the Hardness of Reoptimization.- Describing Self-assembly of Nanostructures.- On the Undecidability of the Tiling Problem.- Remote Entrusting by Run-Time Software Authentication.- Trusted Computing — Special Aspects and Challenges.- Optimizing Winning Strategies in Regular Infinite Games.- Foundations of Computer Science.- Recursive Domain Equations of Filter Models.- Algorithmic Problems for Metrics on Permutation Groups.- Periodic and Infinite Traces in Matrix Semigroups.- From Asynchronous to Synchronous Specifications for Distributed Program Synthesis.- Exact OBDD Bounds for Some Fundamental Functions.- Clustering-Based Similarity Search in Metric Spaces with Sparse Spatial Centers.- A Useful Bounded Resource Functional Language.- On Reachability Games of Ordinal Length.- An Algorithm for Computation of the Scene Geometry by the Log-Polar Area Matching Around Salient Points.- The Power of Tokens: Rendezvous and Symmetry Detection for Two Mobile Agents in a Ring.- How Much Information about the Future Is Needed?.- On Compiling Structured Interactive Programs with Registers and Voices.- Optimal Orientation On-Line.- Some Tractable Instances of Interval Data Minmax Regret Problems: Bounded Distance from Triviality.- Assisted Problem Solving and Decompositions of Finite Automata.- Energy-Efficient Windows Scheduling.- A New Model to Solve the Swap Matching Problem and Efficient Algorithms for Short Patterns.- Certification of Proving Termination of Term Rewriting by MatrixInterpretations.- Extension of Rescheduling Based on Minimal Graph Cut.- Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets.- Computing Longest Common Substring and All Palindromes from Compressed Strings.- Basic Sets in the Digital Plane.- Algebraic Optimization of Relational Queries with Various Kinds of Preferences.- Mortality Problem for 2×2 Integer Matrices.- Element Distinctness and Sorting on One-Tape Off-Line Turing Machines.- Improved Bounds for Range Mode and Range Median Queries.- An Automata Theoretic Approach to Rational Tree Relations.- Slicing Petri Nets with an Application to Workflow Verification.- Lower Bound for the Length of Synchronizing Words in Partially-Synchronizing Automata.- Verifying Parameterized taDOM+ Lock Managers.- Untangling a Planar Graph.- Computing by Nature.- Quantum Walks with Multiple or Moving Marked Locations.- Parallel Immune System for Graph Coloring.- The Quantum Complexity of Group Testing.- Quantum Walks: A Markovian Perspective.- A Memetic Algorithm for Global Induction of Decision Trees.- Geometric Rates of Approximation by Neural Networks.- A Sensitive Metaheuristic for Solving a Large Optimization Problem.- Networks, Security, and Cryptography.- Domain Name System as a Memory and Communication Medium.- Strong Authentication over Lock-Keeper.- Short Ballot Assumption and Threeballot Voting Protocol.- Practical Deniable Encryption.- Taming of Pict.- Classification, Formalization and Verification of Security Functional Requirements.- ONN the Use of Neural Networks for Data Privacy.- Threshold Privacy Preserving Keyword Searches.- Web Technologies.- 3D_XML: A Three-Dimensional XML-Based Model.- Visual Exploration of RDF Data.- Creation, Population and Preprocessing of Experimental Data Sets forEvaluation of Applications for the Semantic Web.- Algorithm for Intelligent Prediction of Requests in Business Systems.- Mining Personal Social Features in the Community of Email Users.- Proofs of Communication and Its Application for Fighting Spam.- Web Pages Reordering and Clustering Based on Web Patterns.- Compression of Concatenated Web Pages Using XBW.- The Dynamic Web Presentations with a Generality Model on the News Domain.- A Highly Efficient XML Compression Scheme for the Web.- Improving Semantic Search Via Integrated Personalized Faceted and Visual Graph Navigation.

Mer från samma författare

SOFSEM 2008: Theory and Practice of Computer Science

Maria Bielikova, Pavol Navrat, Bart Preneel, Alberto Bertoni, Juhani Karhumaki, Villiam Geffert

E-bok

2008

1 470 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

555 kr

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

933 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

572 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

572 kr

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 024 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

933 kr

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr