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.
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 | ||
| ||
Pattern Recognition in Bioinformatics [[electronic resource] ] : International Workshop, PRIB 2006, Hong Kong, China, August 20, 2006, Proceedings / / edited by Jagath C. Rajapakse, Limsoon Wong, Raj Acharya
| Pattern Recognition in Bioinformatics [[electronic resource] ] : International Workshop, PRIB 2006, Hong Kong, China, August 20, 2006, Proceedings / / edited by Jagath C. Rajapakse, Limsoon Wong, Raj Acharya |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XII, 186 p.) |
| Disciplina | 570.285 |
| Collana | Lecture Notes in Bioinformatics |
| Soggetto topico |
Bioinformatics
Pattern recognition Database management Artificial intelligence Information storage and retrieval Computational Biology/Bioinformatics Pattern Recognition Database Management Artificial Intelligence Information Storage and Retrieval |
| ISBN | 3-540-37447-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Pattern Recognition in Bioinformatics: An Introduction -- Pattern Recognition in Bioinformatics: An Introduction -- 1: Signal and Motif Detection; Gene Selection -- Machine Learning Prediction of Amino Acid Patterns in Protein N-myristoylation -- A Profile HMM for Recognition of Hormone Response Elements -- Graphical Approach to Weak Motif Recognition in Noisy Data Sets -- Comparative Gene Prediction Based on Gene Structure Conservation -- Computational Identification of Short Initial Exons -- Pareto-Gamma Statistic Reveals Global Rescaling in Transcriptomes of Low and High Aggressive Breast Cancer Phenotypes -- Investigating the Class-Specific Relevance of Predictor Sets Obtained from DDP-Based Feature Selection Technique -- A New Maximum-Relevance Criterion for Significant Gene Selection -- 2: Models of DNA, RNA, and Protein Structures -- Spectral Graph Partitioning Analysis of In Vitro Synthesized RNA Structural Folding -- Predicting Secondary Structure of All-Helical Proteins Using Hidden Markov Support Vector Machines -- Prediction of Protein Subcellular Localizations Using Moment Descriptors and Support Vector Machine -- Using Permutation Patterns for Content-Based Phylogeny -- 3: Biological Databases and Imaging -- The Immune Epitope Database and Analysis Resource -- Intelligent Extraction Versus Advanced Query: Recognize Transcription Factors from Databases -- Incremental Maintenance of Biological Databases Using Association Rule Mining -- Blind Separation of Multichannel Biomedical Image Patterns by Non-negative Least-Correlated Component Analysis -- Image and Fractal Information Processing for Large-Scale Chemoinformatics, Genomics Analyses and Pattern Discovery -- Hybridization of Independent Component Analysis, Rough Sets, and Multi-Objective Evolutionary Algorithms for Classificatory Decomposition of Cortical Evoked Potentials. |
| Record Nr. | UNISA-996466006703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Research in Computational Molecular Biology [[electronic resource] ] : 12th Annual International Conference, RECOMB 2008, Singapore, March 30 - April 2, 2008, Proceedings / / edited by Martin Vingron, Limsoon Wong
| Research in Computational Molecular Biology [[electronic resource] ] : 12th Annual International Conference, RECOMB 2008, Singapore, March 30 - April 2, 2008, Proceedings / / edited by Martin Vingron, Limsoon Wong |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XVI, 480 p.) |
| Disciplina | 572.80285 |
| Collana | Lecture Notes in Bioinformatics |
| Soggetto topico |
Algorithms
Data structures (Computer science) Computer science—Mathematics Database management Artificial intelligence Bioinformatics Algorithm Analysis and Problem Complexity Data Structures Discrete Mathematics in Computer Science Database Management Artificial Intelligence Computational Biology/Bioinformatics |
| ISBN | 3-540-78839-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Computational Biology: Its Challenges Past, Present, and Future -- Bootstrapping the Interactome: Unsupervised Identification of Protein Complexes in Yeast -- CompostBin: A DNA Composition-Based Algorithm for Binning Environmental Shotgun Reads -- Reconstructing the Evolutionary History of Complex Human Gene Clusters -- Ab Initio Whole Genome Shotgun Assembly with Mated Short Reads -- Orchestration of DNA Methylation -- BayCis: A Bayesian Hierarchical HMM for Cis-Regulatory Module Decoding in Metazoan Genomes -- A Combined Expression-Interaction Model for Inferring the Temporal Activity of Transcription Factors -- A Fast, Alignment-Free, Conservation-Based Method for Transcription Factor Binding Site Discovery -- The Statistical Power of Phylogenetic Motif Models -- Transcriptional Regulation and Cancer Genomics -- Automatic Recognition of Cells (ARC) for 3D Images of C. elegans -- Spectrum Fusion: Using Multiple Mass Spectra for De Novo Peptide Sequencing -- A Fragmentation Event Model for Peptide Identification by Mass Spectrometry -- A Bayesian Approach to Protein Inference Problem in Shotgun Proteomics -- De Novo Sequencing of Nonribosomal Peptides -- Systems Metabolic Engineering -- Protein Function Prediction Based on Patterns in Biological Networks -- Automatic Parameter Learning for Multiple Network Alignment -- An Integrative Network Approach to Map the Transcriptome to the Phenome -- Fast and Accurate Alignment of Multiple Protein Networks -- High-Resolution Modeling of Cellular Signaling Networks -- At the Origin of Life: How Did Folded Proteins Evolve? -- Locating Multiple Gene Duplications through Reconciled Trees -- Rapid and Accurate Protein Side Chain Prediction with Local Backbone Information -- Algorithms for Joint Optimization of Stability and Diversity in Planning Combinatorial Libraries of Chimeric Proteins -- DLIGHT – Lateral Gene Transfer Detection Using Pairwise Evolutionary Distances in a Statistical Framework -- Computation of Median Gene Clusters -- BCL-2: From Translocation to Therapy -- Detecting Disease-Specific Dysregulated Pathways Via Analysis of Clinical Expression Profiles -- Constructing Treatment Portfolios Using Affinity Propagation -- Bubbles: Alternative Splicing Events of Arbitrary Dimension in Splicing Graphs -- More Efficient Algorithms for Closest String and Substring Problems -- Disruption of a Transcriptional Regulatory Pathway Contributes to Phenotypes in Carriers of Ataxia Telangiectasia -- Accounting for Non-genetic Factors Improves the Power of eQTL Studies -- Effects of Genetic Divergence in Identifying Ancestral Origin Using HAPAA -- On the Inference of Ancestries in Admixed Populations -- Increasing Power in Association Studies by Using Linkage Disequilibrium Structure and Molecular Function as Prior Information -- Panel Construction for Mapping in Admixed Populations Via Expected Mutual Information -- Constructing Level-2 Phylogenetic Networks from Triplets -- Accurate Computation of Likelihoods in the Coalescent with Recombination Via Parsimony. |
| Record Nr. | UNISA-996465499603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||