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.
2002 IEEE Computer Society Bioinformatics Conference (CSB 2002)
| 2002 IEEE Computer Society Bioinformatics Conference (CSB 2002) |
| Pubbl/distr/stampa | [Place of publication not identified], : I E E E Imprint, 2002 |
| Disciplina | 572.8/0285 |
| Soggetto topico |
Biology
Health & Biological Sciences Biology - General |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996200678503316 |
| [Place of publication not identified], : I E E E Imprint, 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2nd IEEE Computer Society Bioinformatics Conference (CSB 2003)
| 2nd IEEE Computer Society Bioinformatics Conference (CSB 2003) |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 2003 |
| Disciplina | 572.8/0285 |
| Soggetto topico |
Biology
Health & Biological Sciences Biology - General |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996210892303316 |
| [Place of publication not identified], : IEEE Computer Society Press, 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algorithms in Bioinformatics [[electronic resource] ] : Third International Workshop, WABI 2003, Budapest, Hungary, September 15-20, 2003, Proceedings / / edited by Gary Benson, Roderic Page
| Algorithms in Bioinformatics [[electronic resource] ] : Third International Workshop, WABI 2003, Budapest, Hungary, September 15-20, 2003, Proceedings / / edited by Gary Benson, Roderic Page |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (X, 534 p.) |
| Disciplina | 572.8/0285 |
| Collana | Lecture Notes in Bioinformatics |
| Soggetto topico |
Life sciences
Computer programming Algorithms Data structures (Computer science) Computers Computer science—Mathematics Life Sciences, general Programming Techniques Algorithm Analysis and Problem Complexity Data Structures Computation by Abstract Devices Mathematics of Computing |
| ISBN | 3-540-39763-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Comparative Genomics -- A Local Chaining Algorithm and Its Applications in Comparative Genomics -- Common Intervals of Two Sequences -- A Systematic Statistical Analysis of Ion Trap Tandem Mass Spectra in View of Peptide Scoring -- Vector Seeds: An Extension to Spaced Seeds Allows Substantial Improvements in Sensitivity and Specificity -- Gene Finding and Expression -- A Stochastic Approach to Count RNA Molecules Using DNA Sequencing Methods -- A Method to Detect Gene Structure and Alternative Splice Sites by Agreeing ESTs to a Genomic Sequence -- Optimal DNA Signal Recognition Models with a Fixed Amount of Intrasignal Dependency -- Genome Mapping -- New Algorithm for the Simplified Partial Digest Problem -- Noisy Data Make the Partial Digest Problem NP-hard -- Pattern and Motif Discovery -- Pattern Discovery Allowing Wild-Cards, Substitution Matrices, and Multiple Score Functions -- A Combinatorial Approach to Automatic Discovery of Cluster-Patterns -- Dynamic Programming Algorithms for Two Statistical Problems in Computational Biology -- Phylogenetic Analysis -- Consensus Networks: A Method for Visualising Incompatibilities in Collections of Trees -- Efficient Generation of Uniform Samples from Phylogenetic Trees -- New Efficient Algorithm for Detection of Horizontal Gene Transfer Events -- Ancestral Maximum Likelihood of Evolutionary Trees Is Hard -- A Linear-Time Majority Tree Algorithm -- Bayesian Phylogenetic Inference under a Statistical Insertion-Deletion Model -- Better Hill-Climbing Searches for Parsimony -- Computing Refined Buneman Trees in Cubic Time -- Distance Corrections on Recombinant Sequences -- Parsimonious Reconstruction of Sequence Evolution and Haplotype Blocks -- Polymorphism -- Identifying Blocks and Sub-populations in Noisy SNP Data -- Designing Optimally Multiplexed SNP Genotyping Assays -- Minimum Recombinant Haplotype Configuration on Tree Pedigrees -- Protein Structure -- Efficient Energy Computation for Monte Carlo Simulation of Proteins -- Speedup LP Approach to Protein Threading via Graph Reduction -- Homology Modeling of Proteins Using Multiple Models and Consensus Sequence Alignment -- Side-Chain Structure Prediction Based on Dead-End Elimination: Single Split DEE-criterion Implementation and Elimination Power -- Sequence Alignment -- A Large Version of the Small Parsimony Problem -- Optimal Multiple Parsimony Alignment with Affine Gap Cost Using a Phylogenetic Tree -- Composition Alignment -- String Algorithms -- Match Chaining Algorithms for cDNA Mapping -- Sequencing from Compomers: Using Mass Spectrometry for DNA De-Novo Sequencing of 200+ nt -- Bounds for Resequencing by Hybridization -- Selecting Degenerate Multiplex PCR Primers. |
| Record Nr. | UNISA-996465958003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algorithms in Bioinformatics [[electronic resource] ] : Third International Workshop, WABI 2003, Budapest, Hungary, September 15-20, 2003, Proceedings / / edited by Gary Benson, Roderic Page
| Algorithms in Bioinformatics [[electronic resource] ] : Third International Workshop, WABI 2003, Budapest, Hungary, September 15-20, 2003, Proceedings / / edited by Gary Benson, Roderic Page |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (X, 534 p.) |
| Disciplina | 572.8/0285 |
| Collana | Lecture Notes in Bioinformatics |
| Soggetto topico |
Life sciences
Computer programming Algorithms Data structures (Computer science) Computers Computer science—Mathematics Life Sciences, general Programming Techniques Algorithm Analysis and Problem Complexity Data Structures Computation by Abstract Devices Mathematics of Computing |
| ISBN | 3-540-39763-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Comparative Genomics -- A Local Chaining Algorithm and Its Applications in Comparative Genomics -- Common Intervals of Two Sequences -- A Systematic Statistical Analysis of Ion Trap Tandem Mass Spectra in View of Peptide Scoring -- Vector Seeds: An Extension to Spaced Seeds Allows Substantial Improvements in Sensitivity and Specificity -- Gene Finding and Expression -- A Stochastic Approach to Count RNA Molecules Using DNA Sequencing Methods -- A Method to Detect Gene Structure and Alternative Splice Sites by Agreeing ESTs to a Genomic Sequence -- Optimal DNA Signal Recognition Models with a Fixed Amount of Intrasignal Dependency -- Genome Mapping -- New Algorithm for the Simplified Partial Digest Problem -- Noisy Data Make the Partial Digest Problem NP-hard -- Pattern and Motif Discovery -- Pattern Discovery Allowing Wild-Cards, Substitution Matrices, and Multiple Score Functions -- A Combinatorial Approach to Automatic Discovery of Cluster-Patterns -- Dynamic Programming Algorithms for Two Statistical Problems in Computational Biology -- Phylogenetic Analysis -- Consensus Networks: A Method for Visualising Incompatibilities in Collections of Trees -- Efficient Generation of Uniform Samples from Phylogenetic Trees -- New Efficient Algorithm for Detection of Horizontal Gene Transfer Events -- Ancestral Maximum Likelihood of Evolutionary Trees Is Hard -- A Linear-Time Majority Tree Algorithm -- Bayesian Phylogenetic Inference under a Statistical Insertion-Deletion Model -- Better Hill-Climbing Searches for Parsimony -- Computing Refined Buneman Trees in Cubic Time -- Distance Corrections on Recombinant Sequences -- Parsimonious Reconstruction of Sequence Evolution and Haplotype Blocks -- Polymorphism -- Identifying Blocks and Sub-populations in Noisy SNP Data -- Designing Optimally Multiplexed SNP Genotyping Assays -- Minimum Recombinant Haplotype Configuration on Tree Pedigrees -- Protein Structure -- Efficient Energy Computation for Monte Carlo Simulation of Proteins -- Speedup LP Approach to Protein Threading via Graph Reduction -- Homology Modeling of Proteins Using Multiple Models and Consensus Sequence Alignment -- Side-Chain Structure Prediction Based on Dead-End Elimination: Single Split DEE-criterion Implementation and Elimination Power -- Sequence Alignment -- A Large Version of the Small Parsimony Problem -- Optimal Multiple Parsimony Alignment with Affine Gap Cost Using a Phylogenetic Tree -- Composition Alignment -- String Algorithms -- Match Chaining Algorithms for cDNA Mapping -- Sequencing from Compomers: Using Mass Spectrometry for DNA De-Novo Sequencing of 200+ nt -- Bounds for Resequencing by Hybridization -- Selecting Degenerate Multiplex PCR Primers. |
| Record Nr. | UNINA-9910768455703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Bioinformatics [[electronic resource] ] : German Conference on Bioinformatics, GCB' 96, Leipzig, Germany, September 30 - October 2, 1996. Selected Papers / / edited by Ralf Hofestädt, Thomas Lengauer, Markus Löffler, Dietmar Schomburg
| Bioinformatics [[electronic resource] ] : German Conference on Bioinformatics, GCB' 96, Leipzig, Germany, September 30 - October 2, 1996. Selected Papers / / edited by Ralf Hofestädt, Thomas Lengauer, Markus Löffler, Dietmar Schomburg |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XI, 228 p.) |
| Disciplina | 572.8/0285 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer simulation
Life sciences Computers Bioinformatics Computational biology Molecular biology Simulation and Modeling Life Sciences, general Theory of Computation Computer Appl. in Life Sciences Molecular Medicine |
| ISBN | 3-540-69524-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Molecular computing: From conformational pattern recognition to complex processing networks -- A look at the visual modeling of plants using L-systems -- Bioinformatics and cheminformatics in the drug discovery cycle -- New developments in linking of biological databases and computer-generation of annotation: SWISS-PROT and its computer-annotated supplement TREMBL -- EpoDB: An erythropoiesis gene expression database in progress -- Recent advances in molecular distance geometry -- Three models of gene regulation in E. coli -- A new method to develop highly specific models for regulatory DNA regions -- Towards an object-oriented framework for the modeling of integrated metabolic processes -- TRRD and COMPEL databases on transcription linked to TRANSFACAS as tools for analysis and recognition of regulatory sequences -- Integrating heterogeneous datasets in genomic mapping: Radiation hybrids, YACs, genes and STS markers over the entire human chromosome X -- A clustering approach to Generalized Tree Alignment with application to Alu repeats -- Simple folding model for HP lattice proteins -- Fast protein fold recognition and accurate sequence-structure alignment -- Carbohydrates: Second-class citizens in biomedicine and in bioinformatics? -- Structural constraints and neutrality in RNA -- A systematic approach to finding new lead structures having biological activity -- Visualization and analysis of the complete yeast genome -- Virtual reality modeling for structural biology -- Evolutionary grammars: A grammatical model for genome evolution -- From DNA recombination to DNA computing via formal languages. |
| Record Nr. | UNINA-9910144920303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Bioinformatics [[electronic resource] ] : German Conference on Bioinformatics, GCB' 96, Leipzig, Germany, September 30 - October 2, 1996. Selected Papers / / edited by Ralf Hofestädt, Thomas Lengauer, Markus Löffler, Dietmar Schomburg
| Bioinformatics [[electronic resource] ] : German Conference on Bioinformatics, GCB' 96, Leipzig, Germany, September 30 - October 2, 1996. Selected Papers / / edited by Ralf Hofestädt, Thomas Lengauer, Markus Löffler, Dietmar Schomburg |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XI, 228 p.) |
| Disciplina | 572.8/0285 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer simulation
Life sciences Computers Bioinformatics Computational biology Molecular biology Simulation and Modeling Life Sciences, general Theory of Computation Computer Appl. in Life Sciences Molecular Medicine |
| ISBN | 3-540-69524-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Molecular computing: From conformational pattern recognition to complex processing networks -- A look at the visual modeling of plants using L-systems -- Bioinformatics and cheminformatics in the drug discovery cycle -- New developments in linking of biological databases and computer-generation of annotation: SWISS-PROT and its computer-annotated supplement TREMBL -- EpoDB: An erythropoiesis gene expression database in progress -- Recent advances in molecular distance geometry -- Three models of gene regulation in E. coli -- A new method to develop highly specific models for regulatory DNA regions -- Towards an object-oriented framework for the modeling of integrated metabolic processes -- TRRD and COMPEL databases on transcription linked to TRANSFACAS as tools for analysis and recognition of regulatory sequences -- Integrating heterogeneous datasets in genomic mapping: Radiation hybrids, YACs, genes and STS markers over the entire human chromosome X -- A clustering approach to Generalized Tree Alignment with application to Alu repeats -- Simple folding model for HP lattice proteins -- Fast protein fold recognition and accurate sequence-structure alignment -- Carbohydrates: Second-class citizens in biomedicine and in bioinformatics? -- Structural constraints and neutrality in RNA -- A systematic approach to finding new lead structures having biological activity -- Visualization and analysis of the complete yeast genome -- Virtual reality modeling for structural biology -- Evolutionary grammars: A grammatical model for genome evolution -- From DNA recombination to DNA computing via formal languages. |
| Record Nr. | UNISA-996465507903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Bioinformatics software engineering [[electronic resource] ] : delivering effective applications / / Paul Weston
| Bioinformatics software engineering [[electronic resource] ] : delivering effective applications / / Paul Weston |
| Autore | Weston Paul, HGMP |
| Pubbl/distr/stampa | Chichester, West Sussex, England ; ; Hoboken, NJ, : John Wiley & Sons Ltd., c2004 |
| Descrizione fisica | 1 online resource (141 p.) |
| Disciplina |
005.102457
570.285 572.8/0285 |
| Soggetto topico |
Bioinformatics
Software engineering |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-280-23874-7
9786610238743 0-470-03014-3 0-470-85834-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | What you need to know -- What is software engineering? -- Project definition -- Requirements capture -- Separating function, interface, and implementation -- Implementation considerations -- Proof of concept, prototyping, and buy-in -- Data in, data out, and data transformation -- Where to start? -- Functional, then optimized -- Coding style -- Writing the friendly manual -- Testing - what and when -- Rollout and delivery -- Support and feedback -- Planned and unplanned enhancements -- Project signoff. |
| Record Nr. | UNINA-9910143748703321 |
Weston Paul, HGMP
|
||
| Chichester, West Sussex, England ; ; Hoboken, NJ, : John Wiley & Sons Ltd., c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Bioinformatics software engineering [[electronic resource] ] : delivering effective applications / / Paul Weston
| Bioinformatics software engineering [[electronic resource] ] : delivering effective applications / / Paul Weston |
| Autore | Weston Paul, HGMP |
| Pubbl/distr/stampa | Chichester, West Sussex, England ; ; Hoboken, NJ, : John Wiley & Sons Ltd., c2004 |
| Descrizione fisica | 1 online resource (141 p.) |
| Disciplina |
005.102457
570.285 572.8/0285 |
| Soggetto topico |
Bioinformatics
Software engineering |
| ISBN |
1-280-23874-7
9786610238743 0-470-03014-3 0-470-85834-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | What you need to know -- What is software engineering? -- Project definition -- Requirements capture -- Separating function, interface, and implementation -- Implementation considerations -- Proof of concept, prototyping, and buy-in -- Data in, data out, and data transformation -- Where to start? -- Functional, then optimized -- Coding style -- Writing the friendly manual -- Testing - what and when -- Rollout and delivery -- Support and feedback -- Planned and unplanned enhancements -- Project signoff. |
| Record Nr. | UNINA-9910830168303321 |
|
Weston Paul, HGMP
|
||
| Chichester, West Sussex, England ; ; Hoboken, NJ, : John Wiley & Sons Ltd., c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Bioinformatics software engineering [[electronic resource] ] : delivering effective applications / / Paul Weston
| Bioinformatics software engineering [[electronic resource] ] : delivering effective applications / / Paul Weston |
| Autore | Weston Paul, HGMP |
| Pubbl/distr/stampa | Chichester, West Sussex, England ; ; Hoboken, NJ, : John Wiley & Sons Ltd., c2004 |
| Descrizione fisica | 1 online resource (141 p.) |
| Disciplina |
005.102457
570.285 572.8/0285 |
| Soggetto topico |
Bioinformatics
Software engineering |
| ISBN |
1-280-23874-7
9786610238743 0-470-03014-3 0-470-85834-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | What you need to know -- What is software engineering? -- Project definition -- Requirements capture -- Separating function, interface, and implementation -- Implementation considerations -- Proof of concept, prototyping, and buy-in -- Data in, data out, and data transformation -- Where to start? -- Functional, then optimized -- Coding style -- Writing the friendly manual -- Testing - what and when -- Rollout and delivery -- Support and feedback -- Planned and unplanned enhancements -- Project signoff. |
| Record Nr. | UNINA-9910841547203321 |
|
Weston Paul, HGMP
|
||
| Chichester, West Sussex, England ; ; Hoboken, NJ, : John Wiley & Sons Ltd., c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Methods in Systems Biology [[electronic resource] ] : First International Workshop, CMSB 2003, Roverto, Italy, February 24–26, 2003 / / edited by Corrado Priami
| Computational Methods in Systems Biology [[electronic resource] ] : First International Workshop, CMSB 2003, Roverto, Italy, February 24–26, 2003 / / edited by Corrado Priami |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (IX, 214 p.) |
| Disciplina | 572.8/0285 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Life sciences
Computers Algorithms Mathematical logic Computer simulation Bioinformatics Life Sciences, general Computation by Abstract Devices Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Simulation and Modeling |
| ISBN | 3-540-36481-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Cells as Computation -- Formal Modeling of C. elegans Development: A Scenario-Based Approach -- Regular Papers -- Causal ?-Calculus for Biochemical Modelling -- Graphs for Core Molecular Biology -- Contribution of Computational Tree Logic to Biological Regulatory Networks: Example from Pseudomonas Aeruginosa -- Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing -- Multiscale Modeling of Alternative Splicing Regulation -- A Method for Estimating Metabolic Fluxes from Incomplete Isotopomer Information -- Dynamic Bayesian Network and Nonparametric Regression for Nonlinear Modeling of Gene Networks from Time Series Gene Expression Data -- Discrete Event Simulation for a Better Understanding of Metabolite Channeling - A System Theoretic Approach -- Mathematical Modeling of the Influence of RKIP on the ERK Signaling Pathway -- A Method to Identify Essential Enzymes in the Metabolism: Application to Escherichia Coli -- Symbolic Model Checking of Biochemical Networks -- Presentation Abstracts -- Coupled Oscillator Models for a Set of Communicating Cells -- Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude -- A Core Modeling Language for the Working Molecular Biologist (Abstract) -- Integrating Simulation Packages via Systems Biology Mark-Up Language -- Recreating Biopathway Databases towards Simulation -- How to Synthesize an Optimized Genetic ?-Switching System? A System-Theoretic Approach Based on SQP -- Simulation Sudy of the TNF? Mediated NF-?B Signaling Pathway -- Detection and Analysis of Unexpected State Components in Biological Systems -- Model Validation of Biological Pathways Using Petri Nets - Demonstrated for Apoptosis -- An Overview of Data Models for the Analysis of Biochemical Pathways -- Discrete Event Systems and Client-Server Model for Signaling Mechanisms -- Position Papers -- Enhanced Operational Semantics in Systems Biology -- Issues in Computational Methods for Functional Genomics and Systems Biology -- Integrating Biological Process Modelling with Gene Expression Data and Ontologies for Functional Genomics (Position Paper) -- Computer Simulation of Protocells -- How to Solve Semantic Puzzles of Systems Biology -- Evolution as Design Engineer -- Inference, Modeling and Simulation of Gene Networks. |
| Record Nr. | UNINA-9910143879403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
