SOFSEM 2015: Theory and Practice of Computer Science - neues Buch

EAN (ISBN-13): 9783662460788
Erscheinungsjahr: 2015
Herausgeber: Springer Berlin Heidelberg

Buch in der Datenbank seit 2017-01-07T10:27:23+01:00 (Berlin)
Detailseite zuletzt geändert am 2021-10-06T22:36:52+02:00 (Berlin)
ISBN/EAN: 9783662460788

ISBN - alternative Schreibweisen:
978-3-662-46078-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: pokorny
Titel des Buches: 2015

---

Daten vom Verlag:

Autor/in: Giuseppe Italiano; Tiziana Margaria-Steffen; Jaroslav Pokorný; Jean-Jacques Quisquater; Roger Wattenhofer
Titel: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; 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
Verlag: Springer; Springer Berlin
616 Seiten
Erscheinungsjahr: 2015-01-14
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XVI, 616 p. 116 illus.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Mathematik für Informatiker; Verstehen; Web of data; XML transformations; access control; approximation algorithms; big data; data mining; graph theory; knowledge discovery; machine learning; multi-party computation; ontology; programming languages; quality of service; query processing; secret sharing; semantic Web; social networks; software component; software development; storage in clouds; C; Discrete Mathematics in Computer Science; Algorithms; Information Storage and Retrieval; Software Engineering; Artificial Intelligence; Cryptology; Computer Science; Diskrete Mathematik; Algorithmen und Datenstrukturen; Informationsrückgewinnung, Information Retrieval; Data Warehousing; Software Engineering; Künstliche Intelligenz; Kodierungstheorie und Verschlüsselung (Kryptologie); Kryptografie, Verschlüsselungstechnologie; BC

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.- LowerBounds 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.