Algebraic Biology [[electronic resource] ] : Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings / / edited by Hirokazu Anai, Katsuhisa Horimoto, Temur Kutsia |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
Descrizione fisica | 1 online resource (XIII, 379 p.) |
Disciplina | 574.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Machine theory Computer science—Mathematics Bioinformatics Software engineering Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Symbolic and Algebraic Manipulation Computational and Systems Biology Software Engineering |
ISBN | 3-540-73433-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Algebraic Systems Biology: Theses and Hypotheses -- Discrete Models of Biochemical Networks: The Toric Variety of Nested Canalyzing Functions -- Membrane Computing as a Framework for Bio-modeling (An Informal Glimpse) -- Relating Attractors and Singular Steady States in the Logical Analysis of Bioregulatory Networks -- Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction -- On Proving the Absence of Oscillations in Models of Genetic Circuits -- Attenuation Regulation as a Term Rewriting System -- Glucose-Insulin Control of Type1 Diabetic Patients in H2/H??? Space Via Computer Algebra -- Exact Parameter Determination for Parkinson’s Disease Diagnosis with PET Using an Algebraic Approach -- Efficient Haplotype Inference with Pseudo-boolean Optimization -- An Algebraic Algorithm for the Identification of Glass Networks with Periodic Orbits Along Cyclic Attractors -- Analyzing Pathways Using SAT-Based Approaches -- Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks -- Cascaded Games -- On Differential Algebraic Decision Methods for the Estimation of Anaerobic Digestion Models -- Protein Structure Prediction Using Residual Dipolar Couplings -- A Stochastic Pi Calculus for Concurrent Objects -- Modeling Static Biological Compartments with Beta-binders -- Deducing Interactions in Partially Unspecified Biological Systems -- Reduction of Algebraic Parametric Systems by Rectification of Their Affine Expanded Lie Symmetries -- Prefix Reversals on Binary and Ternary Strings -- Toric Ideals of Phylogenetic Invariants for the General Group-Based Model on Claw Trees K 1,n -- Inference of Protein-Protein Interactions by Using Co-evolutionary Information -- A Short Survey of Automated Reasoning -- Inference of Complex Regulatory Network for the Cell Cycle System in Saccharomyces Cerevisiae -- Manifestation and Exploitation of Invariants in Bioinformatics. |
Record Nr. | UNISA-996465406403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algebraic Biology [[electronic resource] ] : Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings / / edited by Hirokazu Anai, Katsuhisa Horimoto, Temur Kutsia |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
Descrizione fisica | 1 online resource (XIII, 379 p.) |
Disciplina | 574.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Machine theory Computer science—Mathematics Bioinformatics Software engineering Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Symbolic and Algebraic Manipulation Computational and Systems Biology Software Engineering |
ISBN | 3-540-73433-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Algebraic Systems Biology: Theses and Hypotheses -- Discrete Models of Biochemical Networks: The Toric Variety of Nested Canalyzing Functions -- Membrane Computing as a Framework for Bio-modeling (An Informal Glimpse) -- Relating Attractors and Singular Steady States in the Logical Analysis of Bioregulatory Networks -- Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction -- On Proving the Absence of Oscillations in Models of Genetic Circuits -- Attenuation Regulation as a Term Rewriting System -- Glucose-Insulin Control of Type1 Diabetic Patients in H2/H??? Space Via Computer Algebra -- Exact Parameter Determination for Parkinson’s Disease Diagnosis with PET Using an Algebraic Approach -- Efficient Haplotype Inference with Pseudo-boolean Optimization -- An Algebraic Algorithm for the Identification of Glass Networks with Periodic Orbits Along Cyclic Attractors -- Analyzing Pathways Using SAT-Based Approaches -- Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks -- Cascaded Games -- On Differential Algebraic Decision Methods for the Estimation of Anaerobic Digestion Models -- Protein Structure Prediction Using Residual Dipolar Couplings -- A Stochastic Pi Calculus for Concurrent Objects -- Modeling Static Biological Compartments with Beta-binders -- Deducing Interactions in Partially Unspecified Biological Systems -- Reduction of Algebraic Parametric Systems by Rectification of Their Affine Expanded Lie Symmetries -- Prefix Reversals on Binary and Ternary Strings -- Toric Ideals of Phylogenetic Invariants for the General Group-Based Model on Claw Trees K 1,n -- Inference of Protein-Protein Interactions by Using Co-evolutionary Information -- A Short Survey of Automated Reasoning -- Inference of Complex Regulatory Network for the Cell Cycle System in Saccharomyces Cerevisiae -- Manifestation and Exploitation of Invariants in Bioinformatics. |
Record Nr. | UNINA-9910484838203321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Biocomputing 2011 : Proceedings of the Pacific Symposium |
Autore | Altman Russ |
Pubbl/distr/stampa | Singapore, : World Scientific Publishing Company, 2010 |
Descrizione fisica | 1 online resource (500 p.) |
Disciplina | 574.0151 |
Altri autori (Persone) |
DunkerA. Keith <1943-> (Alan Keith)
HunterLawrence <1961-> |
Soggetto topico |
Biology -- Computer simulation -- Congresses
Biology -- Mathematical models -- Congresses Molecular biology -- Computer simulation -- Congresses Molecular biology -- Mathematical models -- Congresses |
Soggetto non controllato |
Protein Interactions
Metabolomics Biocomputing Computational Genetics Ontology Computational Proteomics Bioinformatics |
ISBN |
1-283-14526-X
9786613145260 981-4335-05-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
PREFACE; CONTENTS; INTEGRATIVE -OMICS FOR TRANSLATIONAL SCIENCE; TOWARDS INTEGRATIVE GENE PRIORITIZATION IN ALZHEIMER'S DISEASE; SYSTEMS BIOLOGY ANALYSES OF GENE EXPRESSION AND GENOME WIDEASSOCIATION STUDY DATA IN OBSTRUCTIVE SLEEP APNEA; FINDING MOST LIKELY HAPLOTYPES IN GENERAL PEDIGREESTHROUGH PARALLEL SEARCH WITH DYNAMIC LOAD BALANCING; DYNAMIC, MULTI-LEVEL NETWORK MODELS OF CLINICAL TRIALS; MINING FUNCTIONALLY RELEVANT GENE SETS FOR ANALYZINGPHYSIOLOGICALLY NOVEL CLINICAL EXPRESSION DATA; GENOTYPE PHENOTYPE MAPPING IN RNA VIRUSES - DISJUNCTIVENORMAL FORM LEARNING
GENOME-WIDE ASSOCIATION MAPPING AND RARE ALLELES: FROMPOPULATION GENOMICS TO PERSONALIZED MEDICINEAN APPLICATION AND EMPIRICAL COMPARISON OF STATISTICAL ANALYSISMETHODS FOR ASSOCIATING RARE VARIANTS TO A COMPLEX PHENOTYPE; HAPLOTYPE PHASING BY MULTI-ASSEMBLY OF SHAREDHAPLOTYPES: PHASE-DEPENDENT INTERACTIONS BETWEEN RARE VARIANTS; AN EVALUATION OF POWER TO DETECT LOW-FREQUENCY VARIANTASSOCIATIONS USING ALLELE-MATCHING TESTS THAT ACCOUNTFOR UNCERTAINTY; PENALIZED REGRESSION FOR GENOME-WIDE ASSOCIATIONSCREENING OF SEQUENCE DATA; MICROBIOME STUDIES: PSB 2011 SPECIAL SESSION INTRODUCTION ESTIMATING THE NUMBER OF SPECIES WITH CATCHALLA FRAMEWORK FOR ANALYSIS OF METAGENOMIC SEQUENCING DATA; VISUALIZATION AND STATISTICAL COMPARISONS OF MICROBIALCOMMUNITIES USING R PACKAGES ON PHYLOCHIP DATA; HUMAN MICROBIOME VISUALIZATION USING 3D TECHNOLOGY; COMPARING BACTERIAL COMMUNITIES INFERRED FROM 16S rRNA GENE SEQUENCING AND SHOTGUN METAGENOMICS; MULTI-SCALE MODELLING OF BIOSYSTEMS: FROM MOLECULAR TOMESOCALE; COMPUTATIONAL GENERATION INHIBITOR-BOUND CONFORMERS OF P38 MAPKINASE AND COMPARISON WITH EXPERIMENTS MOLECULAR DYNAMICS SIMULATIONS OF THE FULL TRIPLE HELICALREGION OF COLLAGEN TYPE I PROVIDE AN ATOMIC SCALE VIEW OF THEPROTEIN'S REGIONAL HETEROGENEITYSTRUCTURAL INSIGHTS INTO PRE-TRANSLOCATION RIBOSOME MOTIONS; NEW CONFORMATIONAL SEARCH METHOD USING GENETICALGORITHM AND KNOT THEORY FOR PROTEINS; PERSONAL GENOMICS; THE REFERENCE HUMAN GENOME DEMONSTRATES HIGH RISK OF TYPE 1DIABETES AND OTHER DISORDERS; MATCHING CANCER GENOMES TO ESTABLISHED CELL LINESFOR PERSONALIZED ONCOLOGY USE OF BIOLOGICAL KNOWLEDGE TO INFORM THE ANALYSIS OF GENE-GENEINTERACTIONS INVOLVED IN MODULATING VIROLOGIC FAILURE WITHEFAVIRENZ-CONTAINING TREATMENT REGIMENS IN ART-NAÏVE ACTG CLINICALTRIALS PARTICVISUAL INTEGRATION OF RESULTS FROM A LARGE DNA BIOBANK (BIOVU)USING SYNTHESIS-VIEW; MULTIVARIATE ANALYSIS OF REGULATORY SNPS: EMPOWERING PERSONALGENOMICS BY CONSIDERING CIS-EPISTASIS AND HETEROGENEITY; HAPLOTYPE INFERENCE FROM SHORT SEQUENCE READS USING APOPULATION GENEALOGICAL HISTORY MODEL; REVERSE ENGINEERING AND SYNTHESIS OF BIOMOLECULAR SYSTEMS; BINARY COUNTING WITH CHEMICAL REACTIONS DEFINING THE PLAYERS IN HIGHER-ORDER NETWORKS: PREDICTIVE MODELINGFOR REVERSE ENGINEERING FUNCTIONAL INFLUENCE NETWORKS |
Record Nr. | UNINA-9910346695803321 |
Altman Russ
![]() |
||
Singapore, : World Scientific Publishing Company, 2010 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Biomathématiques / Yves Cherruault |
Autore | Cherruault, Yves |
Edizione | [1. ed.] |
Pubbl/distr/stampa | Paris : Presses Universitaires de France, 1983 |
Descrizione fisica | 127 p. : fig. ; 17 cm |
Disciplina | 574.0151 |
Collana | Que sais-je? |
Soggetto non controllato | BIOMATEMATICA |
ISBN | 2-13-037657-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990003784730403321 |
Cherruault, Yves
![]() |
||
Paris : Presses Universitaires de France, 1983 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
CELLULAR system / edited by Robert Rosen |
Pubbl/distr/stampa | New York [etc.] : Academic Press, 1972 |
Disciplina | 574.0151 |
Soggetto non controllato | Biomatematica - Sistemi cellulari |
ISBN | 0-12597202-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001310350403321 |
New York [etc.] : Academic Press, 1972 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Che forma ha un fiocco di neve ? / Ian Stewart |
Autore | STEWART, Ian |
Pubbl/distr/stampa | Torino : Bollati Boringhieri, 2003 |
Descrizione fisica | 224 p. : ill. ; 24 cm. |
Disciplina | 574.0151 |
Collana | Saggi, Scienze |
Soggetto topico | Biomatematica |
ISBN | 88-339-1456-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISA-990002798160203316 |
STEWART, Ian
![]() |
||
Torino : Bollati Boringhieri, 2003 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Elements of mathematical biology / Alfred J. Lotka |
Autore | Lotka, Alfred James <1880-1949> |
Pubbl/distr/stampa | New York : Dover Publications, Inc, 1956 |
Descrizione fisica | XXX, 465 p. ; 20 cm |
Disciplina | 574.0151 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990000841640403321 |
Lotka, Alfred James <1880-1949>
![]() |
||
New York : Dover Publications, Inc, 1956 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Foundations of mathematical biology / edited by Robert Rosen ; contributors D. Agin...[et al.] |
Autore | Rosen, Robert |
Pubbl/distr/stampa | New York : Academic Press, 1972-73 |
Descrizione fisica | 3 v. : ill. ; 24 cm. |
Disciplina | 574.0151 |
Altri autori (Persone) | Agin, D. P. |
Soggetto topico |
Biology and behavioral sciences
Biomathematics |
ISBN |
0125972016 (v.1)
0125972024 (v.2) |
Classificazione |
AMS 92-XX
QH323.5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000906069707536 |
Rosen, Robert
![]() |
||
New York : Academic Press, 1972-73 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
FOUNDATIONS of mathematical biology / edited by Robert Rosen |
Pubbl/distr/stampa | New York [etc.] : Academic Press, 1972-73 |
Disciplina | 574.0151 |
Soggetto non controllato | Biomatematica - Congressi |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001291140403321 |
New York [etc.] : Academic Press, 1972-73 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Frontiers in mathematical biology / S. A. Levin editor |
Pubbl/distr/stampa | Berlin : Springer-Verlag, c1994 |
Descrizione fisica | x, 633 p. : ill. ; 25 cm |
Disciplina | 574.0151 |
Soggetto non controllato |
Biomatematica
Reti neuronali Genetica Dinamica delle popolazioni Ecologia |
ISBN | 3-540-58466-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001334340403321 |
Berlin : Springer-Verlag, c1994 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|