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.
Data Integration in the Life Sciences [[electronic resource] ] : 4th International Workshop, DILS 2007, Philadelphia, PA, USA, June 27-29, 2007, Proceedings / / edited by Sarah Cohen-Boulakia, Val Tannen
| Data Integration in the Life Sciences [[electronic resource] ] : 4th International Workshop, DILS 2007, Philadelphia, PA, USA, June 27-29, 2007, Proceedings / / edited by Sarah Cohen-Boulakia, Val Tannen |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XI, 284 p.) |
| Disciplina | 570.285 |
| Collana | Lecture Notes in Bioinformatics |
| Soggetto topico |
Data mining
Health informatics Database management Application software Bioinformatics Bioinformatics Computational biology Data Mining and Knowledge Discovery Health Informatics Database Management Information Systems Applications (incl. Internet) Computational Biology/Bioinformatics Computer Appl. in Life Sciences |
| ISBN |
1-280-94448-X
9786610944484 3-540-73255-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Presentations -- Enabling the Molecular Medicine Revolution Through Network-Centric Biomedicine -- Phyl-O’Data (POD) from Tree of Life: Integration Challenges from Yellow Slimy Things to Black Crunchy Stuff -- New Architectures and Experience on Using Systems -- Automatically Constructing a Directory of Molecular Biology Databases -- The Allen Brain Atlas: Delivering Neuroscience to the Web on a Genome Wide Scale -- Toward an Integrated RNA Motif Database -- B-Fabric: A Data and Application Integration Framework for Life Sciences Research -- SWAMI: Integrating Biological Databases and Analysis Tools Within User Friendly Environment -- Grid and UTOPIA: An Integrated Approach to Enacting and Visualising in Silico Experiments in the Life Sciences -- Managing and Designing Scientific Workflows -- A High-Throughput Bioinformatics Platform for Mass Spectrometry-Based Proteomics -- Bioinformatics Service Reconciliation by Heterogeneous Schema Transformation -- A Formal Model of Dataflow Repositories -- Project Histories: Managing Data Provenance Across Collection-Oriented Scientific Workflow Runs -- Mapping and Matching Techniques -- Fast Approximate Duplicate Detection for 2D-NMR Spectra -- Ontology – Supported Machine Learning and Decision Support in Biomedicine -- Instance-Based Matching of Large Life Science Ontologies -- Modeling of Life Science Data -- Data Integration and Pattern-Finding in Biological Sequence with TESS’s Annotation Grammar and Extraction Language (AnGEL) -- Inferring Gene Regulatory Networks from Multiple Data Sources Via a Dynamic Bayesian Network with Structural EM -- Accelerating Disease Gene Identification Through Integrated SNP Data Analysis -- Annotation in Data Integration -- What’s New? What’s Certain? – Scoring Search Results in the Presence of Overlapping Data Sources -- Using Annotations from Controlled Vocabularies to Find Meaningful Associations -- CONANN: An Online Biomedical Concept Annotator. |
| Record Nr. | UNISA-996466254503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Data Integration in the Life Sciences : 4th International Workshop, DILS 2007, Philadelphia, PA, USA, June 27-29, 2007, Proceedings / / edited by Sarah Cohen-Boulakia, Val Tannen
| Data Integration in the Life Sciences : 4th International Workshop, DILS 2007, Philadelphia, PA, USA, June 27-29, 2007, Proceedings / / edited by Sarah Cohen-Boulakia, Val Tannen |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XI, 284 p.) |
| Disciplina | 570.285 |
| Collana | Lecture Notes in Bioinformatics |
| Soggetto topico |
Data mining
Medical informatics Database management Application software Bioinformatics Computational biology Data Mining and Knowledge Discovery Health Informatics Database Management Information Systems Applications (incl. Internet) Computational Biology/Bioinformatics Computer Appl. in Life Sciences |
| ISBN |
1-280-94448-X
9786610944484 3-540-73255-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Presentations -- Enabling the Molecular Medicine Revolution Through Network-Centric Biomedicine -- Phyl-O’Data (POD) from Tree of Life: Integration Challenges from Yellow Slimy Things to Black Crunchy Stuff -- New Architectures and Experience on Using Systems -- Automatically Constructing a Directory of Molecular Biology Databases -- The Allen Brain Atlas: Delivering Neuroscience to the Web on a Genome Wide Scale -- Toward an Integrated RNA Motif Database -- B-Fabric: A Data and Application Integration Framework for Life Sciences Research -- SWAMI: Integrating Biological Databases and Analysis Tools Within User Friendly Environment -- Grid and UTOPIA: An Integrated Approach to Enacting and Visualising in Silico Experiments in the Life Sciences -- Managing and Designing Scientific Workflows -- A High-Throughput Bioinformatics Platform for Mass Spectrometry-Based Proteomics -- Bioinformatics Service Reconciliation by Heterogeneous Schema Transformation -- A Formal Model of Dataflow Repositories -- Project Histories: Managing Data Provenance Across Collection-Oriented Scientific Workflow Runs -- Mapping and Matching Techniques -- Fast Approximate Duplicate Detection for 2D-NMR Spectra -- Ontology – Supported Machine Learning and Decision Support in Biomedicine -- Instance-Based Matching of Large Life Science Ontologies -- Modeling of Life Science Data -- Data Integration and Pattern-Finding in Biological Sequence with TESS’s Annotation Grammar and Extraction Language (AnGEL) -- Inferring Gene Regulatory Networks from Multiple Data Sources Via a Dynamic Bayesian Network with Structural EM -- Accelerating Disease Gene Identification Through Integrated SNP Data Analysis -- Annotation in Data Integration -- What’s New? What’s Certain? – Scoring Search Results in the Presence of Overlapping Data Sources -- Using Annotations from Controlled Vocabularies to Find Meaningful Associations -- CONANN: An Online Biomedical Concept Annotator. |
| Record Nr. | UNINA-9910768196203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
In Search of Elegance in the Theory and Practice of Computation [[electronic resource] ] : Essays dedicated to Peter Buneman / / edited by Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang-Chiew Tan, Michael Fourman
| In Search of Elegance in the Theory and Practice of Computation [[electronic resource] ] : Essays dedicated to Peter Buneman / / edited by Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang-Chiew Tan, Michael Fourman |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 569 p. 121 illus.) |
| Disciplina | 005.74 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Database management
Compilers (Computer programs) Computer science Database Management Compilers and Interpreters Computer Science Logic and Foundations of Programming |
| ISBN | 3-642-41660-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Models for Data-Centric Workflows -- Relational Databases and Bell’s Theorem -- High-Level Rules for Integration and Analysis of Data: New Challenges -- A New Framework for Designing Schema Mappings -- User Trust and Judgments in a Curated Database with Explicit Provenance -- An Abstract, Reusable, and Extensible Programming Language Design Architecture -- A Discussion on Pricing Relational Data -- Tractable Reasoning in Description Logics with Functionality Constraints -- Toward a Theory of Self-explaining Computation -- To Show or Not to Show in Workflow Provenance -- Provenance-Directed Chase and Backchase -- Data Quality Problems beyond Consistency and Deduplication -- Hitting Buneman Circles -- Looking at the World Thru Colored Glasses -- Static Analysis and Query Answering for Incomplete Data Trees with Constraints -- Using SQL for Efficient Generation and Querying of Provenance Information -- Bounds and Algorithms for Joins via Fractional Edge Covers -- Incremental Data Fusion Based on Provenance Information -- Provenance for Linked Data -- First-Order Provenance Games -- Querying an Integrated Complex-Object Dataflow Database -- Types, Functional Programming and Atomic Transactions in Hardware Design -- Record Polymorphism: Its Development and Applications -- A Calculus of Chemical Systems -- Schemaless Semistructured Data Revisited - Reinventing Peter Buneman’s Deterministic Semistructured Data Model -- Provenance Propagation in Complex Queries -- Well-Defined NRC Queries Can Be Typed -- Nine Years with Peter Buneman -- Modal Logic for Preference Based on Reasons -- The Dichotomous Intensional Expressive Power of the Nested Relational Calculus with Powerset -- Provenance in a Modifiable Data Set. |
| Record Nr. | UNISA-996465410003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
In Search of Elegance in the Theory and Practice of Computation : Essays dedicated to Peter Buneman / / edited by Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang-Chiew Tan, Michael Fourman
| In Search of Elegance in the Theory and Practice of Computation : Essays dedicated to Peter Buneman / / edited by Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang-Chiew Tan, Michael Fourman |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 569 p. 121 illus.) |
| Disciplina | 005.74 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Database management
Compilers (Computer programs) Computer science Database Management Compilers and Interpreters Computer Science Logic and Foundations of Programming |
| ISBN | 3-642-41660-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Models for Data-Centric Workflows -- Relational Databases and Bell’s Theorem -- High-Level Rules for Integration and Analysis of Data: New Challenges -- A New Framework for Designing Schema Mappings -- User Trust and Judgments in a Curated Database with Explicit Provenance -- An Abstract, Reusable, and Extensible Programming Language Design Architecture -- A Discussion on Pricing Relational Data -- Tractable Reasoning in Description Logics with Functionality Constraints -- Toward a Theory of Self-explaining Computation -- To Show or Not to Show in Workflow Provenance -- Provenance-Directed Chase and Backchase -- Data Quality Problems beyond Consistency and Deduplication -- Hitting Buneman Circles -- Looking at the World Thru Colored Glasses -- Static Analysis and Query Answering for Incomplete Data Trees with Constraints -- Using SQL for Efficient Generation and Querying of Provenance Information -- Bounds and Algorithms for Joins via Fractional Edge Covers -- Incremental Data Fusion Based on Provenance Information -- Provenance for Linked Data -- First-Order Provenance Games -- Querying an Integrated Complex-Object Dataflow Database -- Types, Functional Programming and Atomic Transactions in Hardware Design -- Record Polymorphism: Its Development and Applications -- A Calculus of Chemical Systems -- Schemaless Semistructured Data Revisited - Reinventing Peter Buneman’s Deterministic Semistructured Data Model -- Provenance Propagation in Complex Queries -- Well-Defined NRC Queries Can Be Typed -- Nine Years with Peter Buneman -- Modal Logic for Preference Based on Reasons -- The Dichotomous Intensional Expressive Power of the Nested Relational Calculus with Powerset -- Provenance in a Modifiable Data Set. |
| Record Nr. | UNINA-9910484913303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Semantic Web and Databases [[electronic resource] ] : Second International Workshop, SWDB 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers / / edited by Christoph Bussler, Val Tannen, Irini Fundulaki
| Semantic Web and Databases [[electronic resource] ] : Second International Workshop, SWDB 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers / / edited by Christoph Bussler, Val Tannen, Irini Fundulaki |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (X, 227 p.) |
| Disciplina | 025.04 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Computer science
Database management Artificial intelligence Information storage and retrieval Application software Computer Science, general Popular Computer Science Database Management Artificial Intelligence Information Storage and Retrieval Information Systems Applications (incl. Internet) |
| Soggetto non controllato |
SWDB
Databases |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Service Oriented Computing: Opportunities and Challenges -- Data Semantics Revisited -- Dynamic Agent Composition from Semantic Web Services -- Ontology-Extended Component-Based Workflows : A Framework for Constructing Complex Workflows from Semantically Heterogeneous Software Components -- Data Procurement for Enabling Scientific Workflows: On Exploring Inter-ant Parasitism -- XSDL: Making XML Semantics Explicit -- Refining Semantic Mappings from Relational Tables to Ontologies -- Triadic Relations: An Algebra for the Semantic Web -- Semantically Unlocking Database Content Through Ontology-Based Mediation -- Representation and Reasoning About Changing Semantics in Heterogeneous Data Sources -- Context Mediation in the Semantic Web: Handling OWL Ontology and Data Disparity Through Context Interchange -- HCOME: A Tool-Supported Methodology for Engineering Living Ontologies -- Query Answering by Rewriting in GLAV Data Integration Systems Under Constraints -- Utilizing Resource Importance for Ranking Semantic Web Query Results -- Querying Faceted Databases -- Constructing and Querying Peer-to-Peer Warehouses of XML Resources. |
| Record Nr. | UNISA-996465953103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||