skip to content
SOFSEM 2015 : theory and practice of computer science : 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings Preview this item
ClosePreview this item
Checking...

SOFSEM 2015 : theory and practice of computer science : 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings

Author: Giuseppe F Italiano
Publisher: Heidelberg : Springer, 2015.
Series: Lecture notes in computer science, 8939.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:
This book constitutes the proceedings of the 41st International Conference on Current Trends in Theory and Practice of Computer Science held in Pec pod Sněžkou, Czech Republic, during January 24-29, 2015. The book features 8 invited talks and 42 regular papers which were carefully reviewed and selected from 101 submissions. The papers are organized in topical sections named: foundations of computer science;  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Printed edition:
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Giuseppe F Italiano
ISBN: 9783662460788 3662460785
OCLC Number: 902623965
Notes: International conference proceedings.
Includes author index.
Description: 1 online resource (xvi, 616 pages) : illustrations.
Contents: Keynote Talk --
What is Computation: An Epistemic Approach --
Foundations of Computer Science --
Progress (and Lack Thereof) for Graph Coloring Approximation Problems --
Recent Results in Scalable Multi-Party Computation --
Online Bipartite Matching in Offline Time (Abstract) --
Software & Web Engineering --
Quo Vadis Explicit-State Model Checking --
The Dos and Dont?s of Crowdsourcing Software Development --
Data, Information and Knowledge Engineering --
Adaptively Approximate Techniques in Distributed Architectures --
Back to the Future ? Should SQL Surrender to SPARQL? --
Foundations of Computer Science --
Balancing Energy Consumption for the Establishment of Multi-interface Networks --
The Maximum k-Differential Coloring Problem --
Exact Algorithms for 2-clustering with Size Constraints in the Euclidean Plane --
Local Routing in Convex Subdivisions --
Nondeterministic Modal Interfaces --
Group Search on the Line --
Online Makespan Scheduling with Sublinear Advice --
Deterministic Rendezvous in Restricted Graphs --
Fastest, Average and Quantile Schedule --
Machine Characterizations for Parameterized Complexity Classes Beyond Para-NP --
Maximally Permissive Controlled System Synthesis for Modal Logic --
Approximation Hardness of the Cross-Species Conserved Active Modules Detection Problem --
Finding Highly Connected Subgraphs --
Fixing Improper Colorings of Graphs --
Efficient Online Strategies for Renting Servers in the Cloud --
Palk is Linear Recognizable Online --
Two Grammatical Equivalents of Flip-Pushdown Automata --
On the Hierarchy Classes of Finite Ultrametric Automata --
Nash-Williams-type and Chvat ́al-type Conditions in One-Conflict Graphs. -Optimal State Reductions of Automata with Partially Specified Behaviors. -Quantum Pushdown Automata with a Garbage Tape --
Towards a Characterization of Leaf Powers by Clique Arrangements --
Filling Logarithmic Gaps in Distributed Complexity for Global Problems --
On Visibly Pushdown Trace Languages --
Dominating an s-t-Cut in a Network --
Lower Bounds for Linear Decision Trees with Bounded Weights --
Software & Web Engineering --
A Model-Driven Approach to Generate External DSLs from Object-Oriented APIs --
Function Based Requirements Engineering and Design ? Towards Efficient and Transparent Plant Engineering --
Software Developer Activity as a Source for Identifying Hidden Source Code Dependencies --
Discovering Motifs in Real-World Social Networks --
Data, Information, and Knowledge Engineering --
Exploiting Semantic Activity Labels to Facilitate Consistent Specialization of Abstract Process Activities --
Efficient Similarity Search by Combining Indexing and Caching Strategies --
Retrieving Documents Related to Database Queries --
Advantages of Dependency Parsing for Free Word Order Natural Languages --
Detecting Identical Entities in the Semantic Web Data --
Conducting a Web Browsing Behaviour Study ? An Educational Scenario --
A Uniform Programmning Language for Implementing XML Standards --
OntoSDM: An Approach to Improve Quality on Spatial Data Mining Algorithms --
Cryptography, Security, and Verification --
Attribute-Based Encryption Optimized for Cloud Computing --
Trustworthy Virtualization of the ARMv7 Memory Subsystem --
True Random Number Generators Secure in a Changing Environment: Improved Security Bounds --
Java Loops Are Mainly Polynomial.
Series Title: Lecture notes in computer science, 8939.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Responsibility: Giuseppe F. Italiano, Tiziana Margaria-Steffen, Jaroslav Pokorný, Jean-Jacques Quisquater, Roger Wattenhofer (eds.).

Abstract:

This book constitutes the proceedings of the 41st International Conference on Current Trends in Theory and Practice of Computer Science held in Pec pod Snezkou, Czech Republic, during January 24-29,  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/902623965> # SOFSEM 2015 : theory and practice of computer science : 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
   library:oclcnum "902623965" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/2250042330#Topic/computer_science> ; # Computer science
   schema:about <http://experiment.worldcat.org/entity/work/data/2250042330#Topic/software_engineering> ; # Software engineering
   schema:about <http://dewey.info/class/004/e23/> ;
   schema:bookFormat schema:EBook ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/2250042330#Meeting/sofsem_conference_41st_2015_pec_pod_snezkou_czech_republic> ; # SOFSEM (Conference) (41st : 2015 : Pec pod Sněžkou, Czech Republic)
   schema:datePublished "2015" ;
   schema:description "This book constitutes the proceedings of the 41st International Conference on Current Trends in Theory and Practice of Computer Science held in Pec pod Sněžkou, Czech Republic, during January 24-29, 2015. The book features 8 invited talks and 42 regular papers which were carefully reviewed and selected from 101 submissions. The papers are organized in topical sections named: foundations of computer science; software and Web engineering; data, information, and knowledge engineering; and cryptography, security, and verification."@en ;
   schema:description "Keynote Talk -- What is Computation: An Epistemic Approach -- Foundations of Computer Science -- Progress (and Lack Thereof) for Graph Coloring Approximation Problems -- Recent Results in Scalable Multi-Party Computation -- Online Bipartite Matching in Offline Time (Abstract) -- Software & Web Engineering -- Quo Vadis Explicit-State Model Checking -- The Dos and Dont?s of Crowdsourcing Software Development -- Data, Information and Knowledge Engineering -- Adaptively Approximate Techniques in Distributed Architectures -- Back to the Future ? Should SQL Surrender to SPARQL? -- Foundations of Computer Science -- Balancing Energy Consumption for the Establishment of Multi-interface Networks -- The Maximum k-Differential Coloring Problem -- Exact Algorithms for 2-clustering with Size Constraints in the Euclidean Plane -- Local Routing in Convex Subdivisions -- Nondeterministic Modal Interfaces -- Group Search on the Line -- Online Makespan Scheduling with Sublinear Advice -- Deterministic Rendezvous in Restricted Graphs -- Fastest, Average and Quantile Schedule -- Machine Characterizations for Parameterized Complexity Classes Beyond Para-NP -- Maximally Permissive Controlled System Synthesis for Modal Logic -- Approximation Hardness of the Cross-Species Conserved Active Modules Detection Problem -- Finding Highly Connected Subgraphs -- Fixing Improper Colorings of Graphs -- Efficient Online Strategies for Renting Servers in the Cloud -- Palk is Linear Recognizable Online -- Two Grammatical Equivalents of Flip-Pushdown Automata -- On the Hierarchy Classes of Finite Ultrametric Automata -- Nash-Williams-type and Chvat ́al-type Conditions in One-Conflict Graphs. -Optimal State Reductions of Automata with Partially Specified Behaviors. -Quantum Pushdown Automata with a Garbage Tape -- Towards a Characterization of Leaf Powers by Clique Arrangements -- Filling Logarithmic Gaps in Distributed Complexity for Global Problems -- On Visibly Pushdown Trace Languages -- Dominating an s-t-Cut in a Network -- Lower Bounds for Linear Decision Trees with Bounded Weights -- Software & Web Engineering -- A Model-Driven Approach to Generate External DSLs from Object-Oriented APIs -- Function Based Requirements Engineering and Design ? Towards Efficient and Transparent Plant Engineering -- Software Developer Activity as a Source for Identifying Hidden Source Code Dependencies -- Discovering Motifs in Real-World Social Networks -- Data, Information, and Knowledge Engineering -- Exploiting Semantic Activity Labels to Facilitate Consistent Specialization of Abstract Process Activities -- Efficient Similarity Search by Combining Indexing and Caching Strategies -- Retrieving Documents Related to Database Queries -- Advantages of Dependency Parsing for Free Word Order Natural Languages -- Detecting Identical Entities in the Semantic Web Data -- Conducting a Web Browsing Behaviour Study ? An Educational Scenario -- A Uniform Programmning Language for Implementing XML Standards -- OntoSDM: An Approach to Improve Quality on Spatial Data Mining Algorithms -- Cryptography, Security, and Verification -- Attribute-Based Encryption Optimized for Cloud Computing -- Trustworthy Virtualization of the ARMv7 Memory Subsystem -- True Random Number Generators Secure in a Changing Environment: Improved Security Bounds -- Java Loops Are Mainly Polynomial."@en ;
   schema:editor <http://experiment.worldcat.org/entity/work/data/2250042330#Person/italiano_giuseppe_f> ; # Giuseppe F. Italiano
   schema:exampleOfWork <http://worldcat.org/entity/work/id/2250042330> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2250042330#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> ; # LNCS sublibrary. SL 1, Theoretical computer science and general issues
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2250042330#Series/lncs_sublibrary> ; # LNCS sublibrary.
   schema:isSimilarTo <http://worldcat.org/entity/work/data/2250042330#CreativeWork/> ;
   schema:name "SOFSEM 2015 : theory and practice of computer science : 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings"@en ;
   schema:productID "902623965" ;
   schema:url <http://link.springer.com/10.1007/978-3-662-46078-8> ;
   schema:url <http://dx.doi.org/10.1007/978-3-662-46078-8> ;
   schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://link.springer.com/10.1007/978-3-662-46078-8> ;
   schema:workExample <http://worldcat.org/isbn/9783662460788> ;
   schema:workExample <http://dx.doi.org/10.1007/978-3-662-46078-8> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/902623965> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2250042330#Meeting/sofsem_conference_41st_2015_pec_pod_snezkou_czech_republic> # SOFSEM (Conference) (41st : 2015 : Pec pod Sněžkou, Czech Republic)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/2250042330#Place/pec_pod_snezkou_czech_republic> ; # Pec pod Sněžkou, Czech Republic)
   schema:name "SOFSEM (Conference) (41st : 2015 : Pec pod Sněžkou, Czech Republic)" ;
    .

<http://experiment.worldcat.org/entity/work/data/2250042330#Person/italiano_giuseppe_f> # Giuseppe F. Italiano
    a schema:Person ;
   schema:familyName "Italiano" ;
   schema:givenName "Giuseppe F." ;
   schema:name "Giuseppe F. Italiano" ;
    .

<http://experiment.worldcat.org/entity/work/data/2250042330#Place/pec_pod_snezkou_czech_republic> # Pec pod Sněžkou, Czech Republic)
    a schema:Place ;
   schema:name "Pec pod Sněžkou, Czech Republic)" ;
    .

<http://experiment.worldcat.org/entity/work/data/2250042330#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/902623965> ; # SOFSEM 2015 : theory and practice of computer science : 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings
   schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/2250042330#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/902623965> ; # SOFSEM 2015 : theory and practice of computer science : 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings
   schema:name "LNCS sublibrary. SL 1, Theoretical computer science and general issues" ;
    .

<http://experiment.worldcat.org/entity/work/data/2250042330#Topic/software_engineering> # Software engineering
    a schema:Intangible ;
   schema:name "Software engineering"@en ;
    .

<http://link.springer.com/10.1007/978-3-662-46078-8>
   rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://worldcat.org/entity/work/data/2250042330#CreativeWork/>
    a schema:CreativeWork ;
   schema:description "Printed edition:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/902623965> ; # SOFSEM 2015 : theory and practice of computer science : 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings
    .

<http://worldcat.org/isbn/9783662460788>
    a schema:ProductModel ;
   schema:isbn "3662460785" ;
   schema:isbn "9783662460788" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/902623965> ; # SOFSEM 2015 : theory and practice of computer science : 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture Notes in Computer Science," ;
    .

<http://www.worldcat.org/title/-/oclc/902623965>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/902623965> ; # SOFSEM 2015 : theory and practice of computer science : 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings
   schema:dateModified "2017-09-02" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.