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.
Algorithms for Computational Biology [[electronic resource] ] : Second International Conference, AlCoB 2015, Mexico City, Mexico, August 4-5, 2015, Proceedings / / edited by Adrian-Horia Dediu, Francisco Hernández-Quiroz, Carlos Martín-Vide, David A. Rosenblueth
| Algorithms for Computational Biology [[electronic resource] ] : Second International Conference, AlCoB 2015, Mexico City, Mexico, August 4-5, 2015, Proceedings / / edited by Adrian-Horia Dediu, Francisco Hernández-Quiroz, Carlos Martín-Vide, David A. Rosenblueth |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (X, 155 p. 49 illus., 2 illus. in color.) |
| Disciplina | 004 |
| Collana | Lecture Notes in Bioinformatics |
| Soggetto topico |
User interfaces (Computer systems)
Information storage and retrieval Application software User Interfaces and Human Computer Interaction Information Storage and Retrieval Information Systems Applications (incl. Internet) |
| ISBN | 3-319-21233-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Genetic Processing -- Generalized Hultman Numbers and the Distribution of Multi-break Distances -- Implicit Transpositions in Shortest DCJ Scenarios -- Constraint-Based Genetic -- Compilation -- Molecular Recognition/Prediction P2RANK: Knowledge-Based Ligand Binding Site Prediction Using Aggregated Local Features -- StreaM - A Stream-Based Algorithm for Counting Motifs in Dynamic Graphs -- Convolutional LSTM Networks for Subcellular Localization of Proteins -- Phylogenetics -- Hybrid Genetic Algorithm and Lasso Test Approach for Inferring Well Supported Phylogenetic Trees Based on Subsets of Chloroplastic Core Genes -- Constructing and Employing Tree Alignment Graphs for Phylogenetic Synthesis -- A More Practical Algorithm for the Rooted Triplet Distance -- Likelihood-Based Inference of Phylogenetic Networks from Sequence Data by PhyloDAG -- Constructing Parsimonious Hybridization Networks from Multiple Phylogenetic Trees Using a SAT-Solver. . |
| Record Nr. | UNISA-996204582403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algorithms for Computational Biology : Second International Conference, AlCoB 2015, Mexico City, Mexico, August 4-5, 2015, Proceedings / / edited by Adrian-Horia Dediu, Francisco Hernández-Quiroz, Carlos Martín-Vide, David A. Rosenblueth
| Algorithms for Computational Biology : Second International Conference, AlCoB 2015, Mexico City, Mexico, August 4-5, 2015, Proceedings / / edited by Adrian-Horia Dediu, Francisco Hernández-Quiroz, Carlos Martín-Vide, David A. Rosenblueth |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (X, 155 p. 49 illus., 2 illus. in color.) |
| Disciplina | 004 |
| Collana | Lecture Notes in Bioinformatics |
| Soggetto topico |
User interfaces (Computer systems)
Information storage and retrieval Application software User Interfaces and Human Computer Interaction Information Storage and Retrieval Information Systems Applications (incl. Internet) |
| ISBN | 3-319-21233-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Genetic Processing -- Generalized Hultman Numbers and the Distribution of Multi-break Distances -- Implicit Transpositions in Shortest DCJ Scenarios -- Constraint-Based Genetic -- Compilation -- Molecular Recognition/Prediction P2RANK: Knowledge-Based Ligand Binding Site Prediction Using Aggregated Local Features -- StreaM - A Stream-Based Algorithm for Counting Motifs in Dynamic Graphs -- Convolutional LSTM Networks for Subcellular Localization of Proteins -- Phylogenetics -- Hybrid Genetic Algorithm and Lasso Test Approach for Inferring Well Supported Phylogenetic Trees Based on Subsets of Chloroplastic Core Genes -- Constructing and Employing Tree Alignment Graphs for Phylogenetic Synthesis -- A More Practical Algorithm for the Rooted Triplet Distance -- Likelihood-Based Inference of Phylogenetic Networks from Sequence Data by PhyloDAG -- Constructing Parsimonious Hybridization Networks from Multiple Phylogenetic Trees Using a SAT-Solver. . |
| Record Nr. | UNINA-9910483106603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algorithms for Computational Biology [[electronic resource] ] : First International Conference, AlCoB 2014, Tarragona, Spain, July 1-3, 2014, Proceedings / / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe
| Algorithms for Computational Biology [[electronic resource] ] : First International Conference, AlCoB 2014, Tarragona, Spain, July 1-3, 2014, Proceedings / / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XIV, 275 p. 76 illus.) |
| Disciplina | 570.285 |
| Collana | Lecture Notes in Bioinformatics |
| Soggetto topico |
Bioinformatics
Algorithms Computer science—Mathematics Data mining Biomathematics Computational Biology/Bioinformatics Algorithm Analysis and Problem Complexity Discrete Mathematics in Computer Science Data Mining and Knowledge Discovery Mathematical and Computational Biology |
| ISBN | 3-319-07953-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996199995303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algorithms for Computational Biology : First International Conference, AlCoB 2014, Tarragona, Spain, July 1-3, 2014, Proceedings / / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe
| Algorithms for Computational Biology : First International Conference, AlCoB 2014, Tarragona, Spain, July 1-3, 2014, Proceedings / / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XIV, 275 p. 76 illus.) |
| Disciplina | 570.285 |
| Collana | Lecture Notes in Bioinformatics |
| Soggetto topico |
Bioinformatics
Algorithms Computer science—Mathematics Data mining Biomathematics Computational Biology/Bioinformatics Algorithm Analysis and Problem Complexity Discrete Mathematics in Computer Science Data Mining and Knowledge Discovery Mathematical and Computational Biology |
| ISBN | 3-319-07953-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910483690103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Language and Automata Theory and Applications [[electronic resource] ] : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings / / edited by Adrian-Horia Dediu, Jan Janoušek, Carlos Martín-Vide, Bianca Truthe
| Language and Automata Theory and Applications [[electronic resource] ] : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings / / edited by Adrian-Horia Dediu, Jan Janoušek, Carlos Martín-Vide, Bianca Truthe |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXII, 618 p. 75 illus. in color.) |
| Disciplina | 001.64201 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Artificial intelligence
Computer science Machine theory Algorithms Computer science—Mathematics Discrete mathematics Artificial Intelligence Theory of Computation Formal Languages and Automata Theory Symbolic and Algebraic Manipulation Discrete Mathematics in Computer Science |
| ISBN | 3-319-30000-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466014203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Language and Automata Theory and Applications : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings / / edited by Adrian-Horia Dediu, Jan Janoušek, Carlos Martín-Vide, Bianca Truthe
| Language and Automata Theory and Applications : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings / / edited by Adrian-Horia Dediu, Jan Janoušek, Carlos Martín-Vide, Bianca Truthe |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXII, 618 p. 75 illus. in color.) |
| Disciplina | 001.64201 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Artificial intelligence
Computer science Machine theory Algorithms Computer science—Mathematics Discrete mathematics Artificial Intelligence Theory of Computation Formal Languages and Automata Theory Symbolic and Algebraic Manipulation Discrete Mathematics in Computer Science |
| ISBN | 3-319-30000-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910484302803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Language and Automata Theory and Applications [[electronic resource] ] : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings / / edited by Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe
| Language and Automata Theory and Applications [[electronic resource] ] : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings / / edited by Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XV, 754 p. 140 illus.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Algorithms Computer science—Mathematics Discrete mathematics Artificial intelligence Theory of Computation Formal Languages and Automata Theory Symbolic and Algebraic Manipulation Discrete Mathematics in Computer Science Artificial Intelligence |
| ISBN | 3-319-15579-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Algorithms -- Automata, Logic, and Concurrency -- Codes, Semigroups, and Symbolic Dynamics -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching, and Model Checking -- Graphs, Term Rewriting, and Networks -- Transducers, Tree Automata, and Weighted Automata. |
| Record Nr. | UNISA-996198744203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Language and Automata Theory and Applications : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings / / edited by Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe
| Language and Automata Theory and Applications : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings / / edited by Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XV, 754 p. 140 illus.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Algorithms Computer science—Mathematics Discrete mathematics Artificial intelligence Theory of Computation Formal Languages and Automata Theory Symbolic and Algebraic Manipulation Discrete Mathematics in Computer Science Artificial Intelligence |
| ISBN | 3-319-15579-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Algorithms -- Automata, Logic, and Concurrency -- Codes, Semigroups, and Symbolic Dynamics -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching, and Model Checking -- Graphs, Term Rewriting, and Networks -- Transducers, Tree Automata, and Weighted Automata. |
| Record Nr. | UNINA-9910483856203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Language and Automata Theory and Applications [[electronic resource] ] : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings / / edited by Adrian-Horia Dediu, Carlos Martín-Vide, José-Luis Sierra-Rodríguez, Bianca Truthe
| Language and Automata Theory and Applications [[electronic resource] ] : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings / / edited by Adrian-Horia Dediu, Carlos Martín-Vide, José-Luis Sierra-Rodríguez, Bianca Truthe |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XIV, 614 p. 108 illus.) |
| Disciplina | 001.64201 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer science—Mathematics Discrete mathematics Machine theory Algorithms Artificial intelligence Theory of Computation Symbolic and Algebraic Manipulation Discrete Mathematics in Computer Science Formal Languages and Automata Theory Artificial Intelligence |
| ISBN | 3-319-04921-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996205177203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Language and Automata Theory and Applications : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings / / edited by Adrian-Horia Dediu, Carlos Martín-Vide, José-Luis Sierra-Rodríguez, Bianca Truthe
| Language and Automata Theory and Applications : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings / / edited by Adrian-Horia Dediu, Carlos Martín-Vide, José-Luis Sierra-Rodríguez, Bianca Truthe |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XIV, 614 p. 108 illus.) |
| Disciplina | 001.64201 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer science—Mathematics Discrete mathematics Machine theory Algorithms Artificial intelligence Theory of Computation Symbolic and Algebraic Manipulation Discrete Mathematics in Computer Science Formal Languages and Automata Theory Artificial Intelligence |
| ISBN | 3-319-04921-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910484481103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
