| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910451085603321 |
|
|
Titolo |
Proceedings of the 3rd Asia-Pacific Bioinformatics Conference [[electronic resource] ] : Institute for Infocomm Research (Singapore), 17-21 January 2005 / / editors, Yi-Ping Phoebe Chen, Limsoon Wong |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London, : Imperial College Press |
|
Hackensack, NJ, : distributed by World Scientific, c2005 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-281-86682-2 |
9786611866822 |
1-86094-732-8 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (401 p.) |
|
|
|
|
|
|
Collana |
|
Series on advances in bioinformatics and computational biology ; ; v. 1 |
|
|
|
|
|
|
Altri autori (Persone) |
|
ChenYi-Ping Phoebe |
WongLimsoon <1965-> |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Bioinformatics |
Biology - Data processing |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Preface; APBC 2005 Organization; CONTENTS; Contributed Papers; Keynote Papers; Invited Paper; Author Index |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
High-throughput sequencing and functional genomics technologies have given us a draft human genome sequence and have enabled large-scale genotyping and gene expression profiling of human populations. Databases containing large number of sequences, polymorphisms, and gene expression profiles of normal and diseased tissues in different clinical states are rapidly being generated for human and model organisms. Bioinformatics is thus rapidly growing in importance in the annotation of genomic sequences, in the understanding of the interplay between genes and proteins, in the analysis the genetic va |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996199681403316 |
|
|
Titolo |
Model-Based Safety and Assessment [[electronic resource] ] : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings / / edited by Frank Ortmeier, Antoine Rauzy |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2014.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 209 p. 91 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 8822 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer logic |
Software engineering |
Mathematical logic |
Programming languages (Electronic computers) |
Algorithms |
Logics and Meanings of Programs |
Software Engineering |
Mathematical Logic and Formal Languages |
Programming Languages, Compilers, Interpreters |
Algorithm Analysis and Problem Complexity |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Modeling Paradigms -- Validation and Testing -- Fault Detection and Handling -- Safety Assessment in the Automotive Domain -- Case Studies. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 4th International Symposium on Model-Based Safety and Assessment, IMBSA 2014, held in Munich, Germany, in October 2014. The 15 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on modeling paradigms, validation and testing, fault detection and handling, safety assessment in the automotive domain, and case studies. |
|
|
|
|
|
|
|
| |