top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Advances in Databases and Information Systems [[electronic resource] ] : 20th East European Conference, ADBIS 2016, Prague, Czech Republic, August 28-31, 2016, Proceedings / / edited by Jaroslav Pokorný, Mirjana Ivanović, Bernhard Thalheim, Petr Šaloun
Advances in Databases and Information Systems [[electronic resource] ] : 20th East European Conference, ADBIS 2016, Prague, Czech Republic, August 28-31, 2016, Proceedings / / edited by Jaroslav Pokorný, Mirjana Ivanović, Bernhard Thalheim, Petr Šaloun
Edizione [1st ed. 2016.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Descrizione fisica 1 online resource (XV, 354 p. 123 illus.)
Disciplina 005.74
Collana Information Systems and Applications, incl. Internet/Web, and HCI
Soggetto topico Database management
Application software
Data mining
Information storage and retrieval
Database Management
Information Systems Applications (incl. Internet)
Data Mining and Knowledge Discovery
Information Storage and Retrieval
ISBN 3-319-44039-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Keynote papers -- Data quality, mining, analysis and clustering -- Model-driven engineering, conceptual modeling -- Data warehouse and multidimensional modeling, recommender systems -- Spatial and temporal data processing -- Distributed and parallel data processing -- Internet of things and sensor networks.
Record Nr. UNINA-9910485030903321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Advances in Databases and Information Systems [[electronic resource] ] : 20th East European Conference, ADBIS 2016, Prague, Czech Republic, August 28-31, 2016, Proceedings / / edited by Jaroslav Pokorný, Mirjana Ivanović, Bernhard Thalheim, Petr Šaloun
Advances in Databases and Information Systems [[electronic resource] ] : 20th East European Conference, ADBIS 2016, Prague, Czech Republic, August 28-31, 2016, Proceedings / / edited by Jaroslav Pokorný, Mirjana Ivanović, Bernhard Thalheim, Petr Šaloun
Edizione [1st ed. 2016.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Descrizione fisica 1 online resource (XV, 354 p. 123 illus.)
Disciplina 005.74
Collana Information Systems and Applications, incl. Internet/Web, and HCI
Soggetto topico Database management
Application software
Data mining
Information storage and retrieval
Database Management
Information Systems Applications (incl. Internet)
Data Mining and Knowledge Discovery
Information Storage and Retrieval
ISBN 3-319-44039-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Keynote papers -- Data quality, mining, analysis and clustering -- Model-driven engineering, conceptual modeling -- Data warehouse and multidimensional modeling, recommender systems -- Spatial and temporal data processing -- Distributed and parallel data processing -- Internet of things and sensor networks.
Record Nr. UNISA-996465324003316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Advances in Databases and Information Systems [[electronic resource] ] : 10th East European Conference, ADBIS 2006, Thessaloniki, Greece, September 3-7, 2006, Proceedings / / edited by Yannis Manolopoulos, Jaroslav Pokorný, Timos Sellis
Advances in Databases and Information Systems [[electronic resource] ] : 10th East European Conference, ADBIS 2006, Thessaloniki, Greece, September 3-7, 2006, Proceedings / / edited by Yannis Manolopoulos, Jaroslav Pokorný, Timos Sellis
Edizione [1st ed. 2006.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006
Descrizione fisica 1 online resource (XVI, 456 p.)
Disciplina 005.74
Collana Information Systems and Applications, incl. Internet/Web, and HCI
Soggetto topico Database management
Information storage and retrieval
Application software
Multimedia information systems
Information technology
Business—Data processing
Database Management
Information Storage and Retrieval
Information Systems Applications (incl. Internet)
Multimedia Information Systems
IT in Business
ISBN 3-540-37900-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Papers -- Data Ring: Let Us Turn the Net into a Database! -- Future Data Management: “It’s Nothing Business; It’s Just Personal.” -- Scalable Similarity Search in Computer Networks -- XML Databases and Semantic Web -- An XML Algebra for XQuery -- Satisfiability-Test, Rewriting and Refinement of Users’ XPath Queries According to XML Schema Definitions -- X-Warehousing: An XML-Based Approach for Warehousing Complex Data -- SDQNET: Semantic Distributed Querying in Loosely Coupled Data Sources -- Materialized Views -- Multi-source Materialized Views Maintenance: Multi-level Views -- Clustering-Based Materialized View Selection in Data Warehouses -- Non-blocking Materialized View Creation and Transformation of Schemas -- Database Modelling -- Relationship Design Using Spreadsheet Reasoning for Sets of Functional Dependencies -- Modeling and Storing Context-Aware Preferences -- An Integrated Framework for Meta Modeling -- Implementation of UNIDOOR, a Deductive Object-Oriented Database System -- Web Information Systems and Middleware -- Preloading Browsers for Optimizing Automatic Access to Hidden Web: A Ranking-Based Repository Solution -- A Middleware-Based Approach to Database Caching -- Integrating Caching Techniques on a Content Distribution Network -- Interactive Discovery and Composition of Complex Web Services -- Query Processing and Indexing -- Efficient Processing SAPE Queries Using the Dynamic Labelling Structural Indexes -- ICB-Index: A New Indexing Technique for Continuous Time Sequences -- Multiple k Nearest Neighbor Query Processing in Spatial Network Databases -- Searching for Similar Trajectories on Road Networks Using Spatio-temporal Similarity -- Efficient and Coordinated Checkpointing for Reliable Distributed Data Stream Management -- Data Mining and Clustering -- Towards Automatic Eps Calculation in Density-Based Clustering -- Symbolic Music Genre Classification Based on Note Pitch and Duration -- PPPA: Push and Pull Pedigree Analyzer for Large and Complex Pedigree Databases -- Discovering Emerging Topics in Unlabelled Text Collections -- Modelling and Design Issues -- Computational Database Technology Applied to Option Pricing Via Finite Differences -- A Framework for Merging, Repairing and Querying Inconsistent Databases -- An On-Line Reorganization Framework for SAN File Systems -- Towards Multimedia Fragmentation -- Content Is Capricious: A Case for Dynamic System Generation.
Record Nr. UNINA-9910483083303321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Advances in Databases and Information Systems [[electronic resource] ] : 10th East European Conference, ADBIS 2006, Thessaloniki, Greece, September 3-7, 2006, Proceedings / / edited by Yannis Manolopoulos, Jaroslav Pokorný, Timos Sellis
Advances in Databases and Information Systems [[electronic resource] ] : 10th East European Conference, ADBIS 2006, Thessaloniki, Greece, September 3-7, 2006, Proceedings / / edited by Yannis Manolopoulos, Jaroslav Pokorný, Timos Sellis
Edizione [1st ed. 2006.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006
Descrizione fisica 1 online resource (XVI, 456 p.)
Disciplina 005.74
Collana Information Systems and Applications, incl. Internet/Web, and HCI
Soggetto topico Database management
Information storage and retrieval
Application software
Multimedia information systems
Information technology
Business—Data processing
Database Management
Information Storage and Retrieval
Information Systems Applications (incl. Internet)
Multimedia Information Systems
IT in Business
ISBN 3-540-37900-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Papers -- Data Ring: Let Us Turn the Net into a Database! -- Future Data Management: “It’s Nothing Business; It’s Just Personal.” -- Scalable Similarity Search in Computer Networks -- XML Databases and Semantic Web -- An XML Algebra for XQuery -- Satisfiability-Test, Rewriting and Refinement of Users’ XPath Queries According to XML Schema Definitions -- X-Warehousing: An XML-Based Approach for Warehousing Complex Data -- SDQNET: Semantic Distributed Querying in Loosely Coupled Data Sources -- Materialized Views -- Multi-source Materialized Views Maintenance: Multi-level Views -- Clustering-Based Materialized View Selection in Data Warehouses -- Non-blocking Materialized View Creation and Transformation of Schemas -- Database Modelling -- Relationship Design Using Spreadsheet Reasoning for Sets of Functional Dependencies -- Modeling and Storing Context-Aware Preferences -- An Integrated Framework for Meta Modeling -- Implementation of UNIDOOR, a Deductive Object-Oriented Database System -- Web Information Systems and Middleware -- Preloading Browsers for Optimizing Automatic Access to Hidden Web: A Ranking-Based Repository Solution -- A Middleware-Based Approach to Database Caching -- Integrating Caching Techniques on a Content Distribution Network -- Interactive Discovery and Composition of Complex Web Services -- Query Processing and Indexing -- Efficient Processing SAPE Queries Using the Dynamic Labelling Structural Indexes -- ICB-Index: A New Indexing Technique for Continuous Time Sequences -- Multiple k Nearest Neighbor Query Processing in Spatial Network Databases -- Searching for Similar Trajectories on Road Networks Using Spatio-temporal Similarity -- Efficient and Coordinated Checkpointing for Reliable Distributed Data Stream Management -- Data Mining and Clustering -- Towards Automatic Eps Calculation in Density-Based Clustering -- Symbolic Music Genre Classification Based on Note Pitch and Duration -- PPPA: Push and Pull Pedigree Analyzer for Large and Complex Pedigree Databases -- Discovering Emerging Topics in Unlabelled Text Collections -- Modelling and Design Issues -- Computational Database Technology Applied to Option Pricing Via Finite Differences -- A Framework for Merging, Repairing and Querying Inconsistent Databases -- An On-Line Reorganization Framework for SAN File Systems -- Towards Multimedia Fragmentation -- Content Is Capricious: A Case for Dynamic System Generation.
Record Nr. UNISA-996465883303316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Proceedings of the Third International Conference on Intelligent Human Computer Interaction (IHCI 2011), Prague, Czech Republic, August, 2011 [[electronic resource] /] / edited by Miloš Kudělka, Jaroslav Pokorný, Václav Snášel, Ajith Abraham
Proceedings of the Third International Conference on Intelligent Human Computer Interaction (IHCI 2011), Prague, Czech Republic, August, 2011 [[electronic resource] /] / edited by Miloš Kudělka, Jaroslav Pokorný, Václav Snášel, Ajith Abraham
Edizione [1st ed. 2013.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Descrizione fisica 1 online resource (300 p.)
Disciplina 006.3 2
Collana Advances in Intelligent Systems and Computing
Soggetto topico Computational intelligence
User interfaces (Computer systems)
Computational Intelligence
User Interfaces and Human Computer Interaction
ISBN 1-283-63143-1
9786613943880
3-642-31603-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Part I User interface & interaction -- Part II Knowledge discovery I -- Part III Applications -- Part IV Technological & theoretical background -- Part V Knowledge discovery II.
Record Nr. UNINA-9910437767203321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
SOFSEM 2006: Theory and Practice of Computer Science [[electronic resource] ] : 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006, Proceedings / / edited by Jirí Wiedermann, Gerard Tel, Jaroslav Pokorný, Mária Bieliková, Július Štuller
SOFSEM 2006: Theory and Practice of Computer Science [[electronic resource] ] : 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006, Proceedings / / edited by Jirí Wiedermann, Gerard Tel, Jaroslav Pokorný, Mária Bieliková, Július Štuller
Edizione [1st ed. 2006.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006
Descrizione fisica 1 online resource (XVI, 580 p.)
Disciplina 005.1
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Computer networks
Software engineering
Database management
Information storage and retrieval systems
Application software
Theory of Computation
Computer Communication Networks
Software Engineering
Database Management
Information Storage and Retrieval
Computer and Information Systems Applications
ISBN 3-540-32217-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talks -- How Can Nature Help Us Compute? -- Evolving Ontology Evolution -- A Formal Comparison of Visual Web Wrapper Generators -- Beyond the Horizon: Planning Future European ICT R&D -- Selfish Routing in Networks -- New Physics and Hypercomputation -- Models and Algorithms for Wireless Sensor Networks (Smart Dust) -- SomeWhere in the Semantic Web -- Mobility in Wireless Networks -- Group Communication: From Practice to Theory -- Regular Papers -- A General Data Reduction Scheme for Domination in Graphs -- Incremental Method for XML View Maintenance in Case of Non Monitored Data Sources -- Non-intersecting Complexity -- Constructing Interference-Minimal Networks -- Matching Points with Rectangles and Squares -- Searching Paths of Constant Bandwidth -- Graph Searching and Search Time -- Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic -- Simple Algorithm for Sorting the Fibonacci String Rotations -- Oriented Coloring: Complexity and Approximation -- nonblocker: Parameterized Algorithmics for minimum dominating set -- Quantum Finite Automata and Logics -- FDSI-Tree: A Fully Distributed Spatial Index Tree for Efficient & Power-Aware Range Queries in Sensor Networks -- Roman Domination: A Parameterized Perspective -- Sedna: A Native XML DBMS -- Optimal Memory Rendezvous of Anonymous Mobile Agents in a Unidirectional Ring -- The Knowledge Cartography – A New Approach to Reasoning over Description Logics Ontologies -- Complexity and Exact Algorithms for Multicut -- Using Extensible Heterogeneous Database Transformers -- P-Selectivity, Immunity, and the Power of One Bit -- Transparent Migration of Database Services -- Merging and Merge-Sort in a Single Hop Radio Network -- On Optimal and Efficient in Place Merging -- A Personalized Recommendation System Based on PRML for E-Commerce -- An Efficient Index Scheme for XML Databases -- On Separating Constant from Polynomial Ambiguity of Finite Automata -- Reliable Broadcasting Without Collision Detection -- Semi-strong Static Type Checking of Object-Oriented Query Languages -- Building a Fuzzy Transformation System -- News Generating Via Fuzzy Summarization of Databases -- Improving Web Sites with Web Usage Mining, Web Content Mining, and Semantic Analysis -- Automatic Distribution of Sequential Code Using JavaSymphony Middleware -- Unifying Framework for Message Passing -- Heuristics on the Definition of UML Refinement Patterns -- The Complexity of Problems on Implicitly Represented Inputs -- How Many Dots Are Really Needed for Head-Driven Chart Parsing? -- Ontology Acquisition for Automatic Building of Scientific Portals -- Improved ROCK for Text Clustering Using Asymmetric Proximity -- Compact Encodings for All Local Path Information in Web Taxonomies with Application to WordNet -- Computational Complexity of Relay Placement in Sensor Networks -- On the NP-Completeness of Some Graph Cluster Measures -- A Flexible Policy Architecture for Mobile Agents -- An Improved Digital Signature with Message Recovery Using Self-certified Public Keys Without Trustworthy System Authority -- Small Independent Edge Dominating Sets in Graphs of Maximum Degree Three -- The Best Student Paper -- Level-of-Detail in Behaviour of Virtual Humans.
Record Nr. UNISA-996465594103316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
SOFSEM 2006: Theory and Practice of Computer Science [[electronic resource] ] : 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006, Proceedings / / edited by Jirí Wiedermann, Gerard Tel, Jaroslav Pokorný, Mária Bieliková, Július Štuller
SOFSEM 2006: Theory and Practice of Computer Science [[electronic resource] ] : 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006, Proceedings / / edited by Jirí Wiedermann, Gerard Tel, Jaroslav Pokorný, Mária Bieliková, Július Štuller
Edizione [1st ed. 2006.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006
Descrizione fisica 1 online resource (XVI, 580 p.)
Disciplina 005.1
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Computer networks
Software engineering
Database management
Information storage and retrieval systems
Application software
Theory of Computation
Computer Communication Networks
Software Engineering
Database Management
Information Storage and Retrieval
Computer and Information Systems Applications
ISBN 3-540-32217-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talks -- How Can Nature Help Us Compute? -- Evolving Ontology Evolution -- A Formal Comparison of Visual Web Wrapper Generators -- Beyond the Horizon: Planning Future European ICT R&D -- Selfish Routing in Networks -- New Physics and Hypercomputation -- Models and Algorithms for Wireless Sensor Networks (Smart Dust) -- SomeWhere in the Semantic Web -- Mobility in Wireless Networks -- Group Communication: From Practice to Theory -- Regular Papers -- A General Data Reduction Scheme for Domination in Graphs -- Incremental Method for XML View Maintenance in Case of Non Monitored Data Sources -- Non-intersecting Complexity -- Constructing Interference-Minimal Networks -- Matching Points with Rectangles and Squares -- Searching Paths of Constant Bandwidth -- Graph Searching and Search Time -- Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic -- Simple Algorithm for Sorting the Fibonacci String Rotations -- Oriented Coloring: Complexity and Approximation -- nonblocker: Parameterized Algorithmics for minimum dominating set -- Quantum Finite Automata and Logics -- FDSI-Tree: A Fully Distributed Spatial Index Tree for Efficient & Power-Aware Range Queries in Sensor Networks -- Roman Domination: A Parameterized Perspective -- Sedna: A Native XML DBMS -- Optimal Memory Rendezvous of Anonymous Mobile Agents in a Unidirectional Ring -- The Knowledge Cartography – A New Approach to Reasoning over Description Logics Ontologies -- Complexity and Exact Algorithms for Multicut -- Using Extensible Heterogeneous Database Transformers -- P-Selectivity, Immunity, and the Power of One Bit -- Transparent Migration of Database Services -- Merging and Merge-Sort in a Single Hop Radio Network -- On Optimal and Efficient in Place Merging -- A Personalized Recommendation System Based on PRML for E-Commerce -- An Efficient Index Scheme for XML Databases -- On Separating Constant from Polynomial Ambiguity of Finite Automata -- Reliable Broadcasting Without Collision Detection -- Semi-strong Static Type Checking of Object-Oriented Query Languages -- Building a Fuzzy Transformation System -- News Generating Via Fuzzy Summarization of Databases -- Improving Web Sites with Web Usage Mining, Web Content Mining, and Semantic Analysis -- Automatic Distribution of Sequential Code Using JavaSymphony Middleware -- Unifying Framework for Message Passing -- Heuristics on the Definition of UML Refinement Patterns -- The Complexity of Problems on Implicitly Represented Inputs -- How Many Dots Are Really Needed for Head-Driven Chart Parsing? -- Ontology Acquisition for Automatic Building of Scientific Portals -- Improved ROCK for Text Clustering Using Asymmetric Proximity -- Compact Encodings for All Local Path Information in Web Taxonomies with Application to WordNet -- Computational Complexity of Relay Placement in Sensor Networks -- On the NP-Completeness of Some Graph Cluster Measures -- A Flexible Policy Architecture for Mobile Agents -- An Improved Digital Signature with Message Recovery Using Self-certified Public Keys Without Trustworthy System Authority -- Small Independent Edge Dominating Sets in Graphs of Maximum Degree Three -- The Best Student Paper -- Level-of-Detail in Behaviour of Virtual Humans.
Record Nr. UNINA-9910767508403321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
SOFSEM 2015: Theory and Practice of Computer Science [[electronic resource] ] : 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings / / edited by Giuseppe Italiano, Tiziana Margaria-Steffen, Jaroslav Pokorný, Jean-Jacques Quisquater, Roger Wattenhofer
SOFSEM 2015: Theory and Practice of Computer Science [[electronic resource] ] : 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings / / edited by Giuseppe Italiano, Tiziana Margaria-Steffen, Jaroslav Pokorný, Jean-Jacques Quisquater, Roger Wattenhofer
Edizione [1st ed. 2015.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015
Descrizione fisica 1 online resource (XVI, 616 p. 116 illus.) : online resource
Disciplina 004.015113
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science—Mathematics
Discrete mathematics
Algorithms
Information storage and retrieval systems
Software engineering
Artificial intelligence
Cryptography
Data encryption (Computer science)
Discrete Mathematics in Computer Science
Information Storage and Retrieval
Software Engineering
Artificial Intelligence
Cryptology
ISBN 3-662-46078-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 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.
Record Nr. UNISA-996198829903316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
SOFSEM 2015: Theory and Practice of Computer Science [[electronic resource] ] : 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings / / edited by Giuseppe Italiano, Tiziana Margaria-Steffen, Jaroslav Pokorný, Jean-Jacques Quisquater, Roger Wattenhofer
SOFSEM 2015: Theory and Practice of Computer Science [[electronic resource] ] : 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings / / edited by Giuseppe Italiano, Tiziana Margaria-Steffen, Jaroslav Pokorný, Jean-Jacques Quisquater, Roger Wattenhofer
Edizione [1st ed. 2015.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015
Descrizione fisica 1 online resource (XVI, 616 p. 116 illus.) : online resource
Disciplina 004.015113
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science—Mathematics
Discrete mathematics
Algorithms
Information storage and retrieval systems
Software engineering
Artificial intelligence
Cryptography
Data encryption (Computer science)
Discrete Mathematics in Computer Science
Information Storage and Retrieval
Software Engineering
Artificial Intelligence
Cryptology
ISBN 3-662-46078-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 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.
Record Nr. UNINA-9910483550203321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Transactions on Large-Scale Data- and Knowledge-Centered Systems XV [[electronic resource] ] : Selected Papers from ADBIS 2013 Satellite Events / / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Barbara Catania, Giovanna Guerrini, Themis Palpanas, Jaroslav Pokorný, Athena Vakali
Transactions on Large-Scale Data- and Knowledge-Centered Systems XV [[electronic resource] ] : Selected Papers from ADBIS 2013 Satellite Events / / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Barbara Catania, Giovanna Guerrini, Themis Palpanas, Jaroslav Pokorný, Athena Vakali
Edizione [1st ed. 2014.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014
Descrizione fisica 1 online resource (IX, 125 p. 49 illus.)
Disciplina 005.74
Collana Transactions on Large-Scale Data- and Knowledge-Centered Systems
Soggetto topico Database management
Data mining
Database Management
Data Mining and Knowledge Discovery
ISBN 3-662-45761-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto GPU-Accelerated Database Systems: Survey and Open Challenges -- Compression Planner for Time Series Database with GPU Support -- A Global Paradigm for Designing Parallel Relational Data Warehouses in Distributed Environments -- Improving Clustering-Based Schema Matching Using Latent Semantic Indexing.
Record Nr. UNINA-9910485146703321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui