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.
Computational Intelligence Methods for Bioinformatics and Biostatistics [[electronic resource] ] : 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers / / edited by Massimo Bartoletti, Annalisa Barla, Andrea Bracciali, Gunnar W. Klau, Leif Peterson, Alberto Policriti, Roberto Tagliaferri
| Computational Intelligence Methods for Bioinformatics and Biostatistics [[electronic resource] ] : 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers / / edited by Massimo Bartoletti, Annalisa Barla, Andrea Bracciali, Gunnar W. Klau, Leif Peterson, Alberto Policriti, Roberto Tagliaferri |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (X, 213 p. 70 illus., 43 illus. in color.) |
| Disciplina | 570.285 |
| Collana | Lecture Notes in Bioinformatics |
| Soggetto topico |
Bioinformatics
Artificial intelligence Mathematical logic Algorithms Computers Computational Biology/Bioinformatics Artificial Intelligence Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Computing Milieux |
| ISBN | 3-030-14160-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | An open-source tool for managing time-evolving variant annotation -- Extracting few representative reconciliations with host-switches -- A quantitative and qualitative characterization of k-mer based alignment-free phylogeny construction -- Cancer mutational signatures identification with sparse dictionary learning -- Icing: Large-scale inference of immunoglobulin clonotypes -- Adenine: a HPC-oriented tool for biological data exploration -- Disease-genes must guide fata dource integration in the gen prioritization process -- Ensembling fescendant term classifiers to improve gene – Abnormal phenotype predictions -- GP-based grammatical inference for classification of amyloidogenic sequences -- Estimation of kinetic reaction constants: Exploiting reboot strategies to improve PSO's performance -- Haplotype and repeat separation in long reads -- Tumor subclonal progression model for cancer hallmark acquisition -- GIMLET: Identifying biological modulators in context-specific gene regulation using local energy statistics -- Structural features of a DPPG liposome layer adsorbed on a rough surface -- Chemical exchanges and actuation in liposome-based synthetic cells: Interaction with biological cells -- A nano communication system for CTC detection in blood vessels -- Experimental evidences suggest high between-vesicle diversity of articial vesicle populations: Results, models and implications -- Towards the synthesis of photo-autotrophic protocells -- Hierarchical block matrix approach for multi-view clustering. |
| Record Nr. | UNISA-996466461703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Intelligence Methods for Bioinformatics and Biostatistics : 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers / / edited by Massimo Bartoletti, Annalisa Barla, Andrea Bracciali, Gunnar W. Klau, Leif Peterson, Alberto Policriti, Roberto Tagliaferri
| Computational Intelligence Methods for Bioinformatics and Biostatistics : 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers / / edited by Massimo Bartoletti, Annalisa Barla, Andrea Bracciali, Gunnar W. Klau, Leif Peterson, Alberto Policriti, Roberto Tagliaferri |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (X, 213 p. 70 illus., 43 illus. in color.) |
| Disciplina | 570.285 |
| Collana | Lecture Notes in Bioinformatics |
| Soggetto topico |
Bioinformatics
Artificial intelligence Mathematical logic Algorithms Computers Computational Biology/Bioinformatics Artificial Intelligence Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Computing Milieux |
| ISBN | 3-030-14160-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | An open-source tool for managing time-evolving variant annotation -- Extracting few representative reconciliations with host-switches -- A quantitative and qualitative characterization of k-mer based alignment-free phylogeny construction -- Cancer mutational signatures identification with sparse dictionary learning -- Icing: Large-scale inference of immunoglobulin clonotypes -- Adenine: a HPC-oriented tool for biological data exploration -- Disease-genes must guide fata dource integration in the gen prioritization process -- Ensembling fescendant term classifiers to improve gene – Abnormal phenotype predictions -- GP-based grammatical inference for classification of amyloidogenic sequences -- Estimation of kinetic reaction constants: Exploiting reboot strategies to improve PSO's performance -- Haplotype and repeat separation in long reads -- Tumor subclonal progression model for cancer hallmark acquisition -- GIMLET: Identifying biological modulators in context-specific gene regulation using local energy statistics -- Structural features of a DPPG liposome layer adsorbed on a rough surface -- Chemical exchanges and actuation in liposome-based synthetic cells: Interaction with biological cells -- A nano communication system for CTC detection in blood vessels -- Experimental evidences suggest high between-vesicle diversity of articial vesicle populations: Results, models and implications -- Towards the synthesis of photo-autotrophic protocells -- Hierarchical block matrix approach for multi-view clustering. |
| Record Nr. | UNINA-9910337572403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Martin Davis on computability, computational logic, and mathematical foundations / / edited by Eugenio G. Omodeo, Alberto Policriti
| Martin Davis on computability, computational logic, and mathematical foundations / / edited by Eugenio G. Omodeo, Alberto Policriti |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (453 pages) : illustrations |
| Disciplina | 925.1 |
| Collana | Outstanding Contributions to Logic |
| Soggetto topico |
Logic
Mathematical logic Mathematical Logic and Foundations |
| ISBN | 3-319-41842-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. My Life as a Logician (Martin Davis) -- Chapter 2. Martin Davis and Hilbert’s Tenth Problem (Yuri Matiyasevich) -- Chapter 3. Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory (Alexandra Shlapentokh) -- Chapter 4. A Story of Hilbert’s Tenth Problem (Laura Elena Morales Guerrero) -- Chapter 5. Hyperarithmetical Sets (Yiannis N. Moschovakis) -- Chapter 6. Honest Computability and Complexity (Udi Boker and Nachum Dershowitz) -- Chapter 7. Why Post Did [Not] Have Turing’s Thesis (Wilfried Sieg) -- Chapter 8. On Quantum Computation, Anyons, and Categories (Andreas Blass). |
| Record Nr. | UNINA-9910163026803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
On Sets and Graphs : Perspectives on Logic and Combinatorics / / by Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu
| On Sets and Graphs : Perspectives on Logic and Combinatorics / / by Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu |
| Autore | Omodeo Eugenio G |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIX, 275 p. 150 illus.) |
| Disciplina | 511.5 |
| Soggetto topico |
Computer logic
Algorithms Graph theory Combinatorics Logics and Meanings of Programs Algorithm Analysis and Problem Complexity Graph Theory |
| ISBN | 3-319-54981-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Part I: Basics -- Membership and Edge Relations -- Sets, Graphs, and Set Universes -- Part II: Graphs as Sets -- The Undirected Structure Underlying Sets -- Graphs as Transitive Sets -- Part III: Sets as Graphs -- Counting and Encoding Sets -- Random Generation of Sets -- Infinite Sets and Finite Combinatorics -- Appendix: Excerpts from a Referee-Checked Proof-Script. |
| Record Nr. | UNINA-9910254817403321 |
Omodeo Eugenio G
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||