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.
Combinatorial Algorithms [[electronic resource] ] : 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23–25, 2019, Proceedings / / edited by Charles J. Colbourn, Roberto Grossi, Nadia Pisanti
| Combinatorial Algorithms [[electronic resource] ] : 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23–25, 2019, Proceedings / / edited by Charles J. Colbourn, Roberto Grossi, Nadia Pisanti |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XIX, 456 p. 335 illus., 47 illus. in color.) |
| Disciplina | 511.6 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science—Mathematics
Discrete mathematics Algorithms Artificial intelligence—Data processing Computer arithmetic and logic units Computer graphics Discrete Mathematics in Computer Science Data Science Arithmetic and Logic Structures Computer Graphics |
| ISBN | 3-030-25005-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A note on handicap incomplete tournaments -- Computing the k-Crossing Visibility Region of a Point in a Polygon -- An Improved Scheme in the Two Query Adaptive Bitprobe Model -- On Erdős‒Szekeres-type problems for k-convex point sets -- Algorithms and Hardness results on Liar's Dominating Set and k-tuple Dominating Set -- Fixed-parameter tractability of (n-k) List Coloring -- Finding Periods in Cartesian Tree Matching -- Parameterized Complexity of Min-Power Asymmetric Connectivity -- Solving Group Interval Scheduling Efficiently -- Call Admission on Trees with Advice (Extended Abstract) -- Power Edge Set and Zero Forcing Set remain difficult in cubic graphs -- Towards a Complexity Dichotomy for Colourful Components Problems on k-caterpillars and Small-Degree Planar Graphs -- Maximal irredundant set enumeration in bounded-degeneracy and bounded-degree hypergraphs -- Dual Domination -- Reaching 3-Connectivity via Edge-edge Additions -- Cops and robber on some families of oriented graphs -- Disjoint clustering in combinatorial circuits -- The hull number in the convexity of induced paths of order 3 -- Supermagic graphs with many odd degrees -- Incremental algorithm for minimum cut and edge connectivity in Hypergraph -- A General Algorithmic Scheme for Modular Decompositions of Hypergraphs and Applications -- Shortest-Path-Preserving Rounding -- Complexity and Algorithms for Semipaired Domination in Graphs -- Computing the Rooted Triplet Distance between Phylogenetic Networks -- Parameterized Algorithms for Graph Burning Problem -- Extension and its price for the connected vertex cover problem -- An Improved Fixed-Parameter Algorithm for Max-Cut Parameterized by Crossing Number -- An Efficient Algorithm for Enumerating Chordal Bipartite Induced Subgraphs in Sparse Graphs -- Complexity of fall coloring for restricted graph classes -- Succinct Representation of Linear Extensions via MDDs and Its Application to Scheduling under Precedence Constraints -- Maximum clique exhaustive search in circulant k-hypergraphs -- Burrows-Wheeler transform of words defined by morphisms -- Stable Noncrossing Matchings -- On the Average Case of MergeInsertion -- Shortest Unique Palindromic Substring Queries on Run-Length Encoded Strings -- A Partition Approach to Lower Bounds for Zero-Visibility Cops and Robber. |
| Record Nr. | UNISA-996466364503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Combinatorial Algorithms : 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23–25, 2019, Proceedings / / edited by Charles J. Colbourn, Roberto Grossi, Nadia Pisanti
| Combinatorial Algorithms : 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23–25, 2019, Proceedings / / edited by Charles J. Colbourn, Roberto Grossi, Nadia Pisanti |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XIX, 456 p. 335 illus., 47 illus. in color.) |
| Disciplina |
511.6
004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science—Mathematics
Discrete mathematics Algorithms Artificial intelligence—Data processing Computer arithmetic and logic units Computer graphics Discrete Mathematics in Computer Science Data Science Arithmetic and Logic Structures Computer Graphics |
| ISBN | 3-030-25005-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A note on handicap incomplete tournaments -- Computing the k-Crossing Visibility Region of a Point in a Polygon -- An Improved Scheme in the Two Query Adaptive Bitprobe Model -- On Erdős‒Szekeres-type problems for k-convex point sets -- Algorithms and Hardness results on Liar's Dominating Set and k-tuple Dominating Set -- Fixed-parameter tractability of (n-k) List Coloring -- Finding Periods in Cartesian Tree Matching -- Parameterized Complexity of Min-Power Asymmetric Connectivity -- Solving Group Interval Scheduling Efficiently -- Call Admission on Trees with Advice (Extended Abstract) -- Power Edge Set and Zero Forcing Set remain difficult in cubic graphs -- Towards a Complexity Dichotomy for Colourful Components Problems on k-caterpillars and Small-Degree Planar Graphs -- Maximal irredundant set enumeration in bounded-degeneracy and bounded-degree hypergraphs -- Dual Domination -- Reaching 3-Connectivity via Edge-edge Additions -- Cops and robber on some families of oriented graphs -- Disjoint clustering in combinatorial circuits -- The hull number in the convexity of induced paths of order 3 -- Supermagic graphs with many odd degrees -- Incremental algorithm for minimum cut and edge connectivity in Hypergraph -- A General Algorithmic Scheme for Modular Decompositions of Hypergraphs and Applications -- Shortest-Path-Preserving Rounding -- Complexity and Algorithms for Semipaired Domination in Graphs -- Computing the Rooted Triplet Distance between Phylogenetic Networks -- Parameterized Algorithms for Graph Burning Problem -- Extension and its price for the connected vertex cover problem -- An Improved Fixed-Parameter Algorithm for Max-Cut Parameterized by Crossing Number -- An Efficient Algorithm for Enumerating Chordal Bipartite Induced Subgraphs in Sparse Graphs -- Complexity of fall coloring for restricted graph classes -- Succinct Representation of Linear Extensions via MDDs and Its Application to Scheduling under Precedence Constraints -- Maximum clique exhaustive search in circulant k-hypergraphs -- Burrows-Wheeler transform of words defined by morphisms -- Stable Noncrossing Matchings -- On the Average Case of MergeInsertion -- Shortest Unique Palindromic Substring Queries on Run-Length Encoded Strings -- A Partition Approach to Lower Bounds for Zero-Visibility Cops and Robber. |
| Record Nr. | UNINA-9910349314303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Information Technology in Bio- and Medical Informatics [[electronic resource] ] : Second International Conference, ITBAM 2011, Toulouse, France, August 31 - September 1, 2011, Proceedings / / edited by Christian Böhm, Sami Khuri, Lenka Lhotská, Nadia Pisanti
| Information Technology in Bio- and Medical Informatics [[electronic resource] ] : Second International Conference, ITBAM 2011, Toulouse, France, August 31 - September 1, 2011, Proceedings / / edited by Christian Böhm, Sami Khuri, Lenka Lhotská, Nadia Pisanti |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XII, 188 p. 65 illus., 42 illus. in color.) |
| Disciplina | 025.04 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Information storage and retrieval
Data mining Database management Application software Bioinformatics Information Storage and Retrieval Data Mining and Knowledge Discovery Database Management Information Systems Applications (incl. Internet) Computational Biology/Bioinformatics |
| ISBN | 3-642-23208-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466071003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Information technology in bio- and medical informatics, ITBAM 2010 : First International Conference, Bilbao, Spain, September 1-2, 2010 : proceedings / / [edited by] Sami Khuri, Lenka Lhotska, Nadia Pisanti
| Information technology in bio- and medical informatics, ITBAM 2010 : First International Conference, Bilbao, Spain, September 1-2, 2010 : proceedings / / [edited by] Sami Khuri, Lenka Lhotska, Nadia Pisanti |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | New York, : Springer, 2010 |
| Descrizione fisica | 1 online resource (XII, 236 p. 85 illus.) |
| Disciplina | 005.7 |
| Altri autori (Persone) |
KhuriSami
LhotskaLenka PisantiNadia |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Medical informatics
Biotechnology |
| ISBN | 3-642-15020-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Workflow Management and Database -- e-BioFlow: Improving Practical Use of Workflow Systems in Bioinformatics -- MEDCollector: Multisource Epidemic Data Collector -- Epidemic Marketplace: An Information Management System for Epidemiological Data -- Decision Support and Data Management in Biomedicine -- DCM Data Management Framework: A Data Warehousing Approach -- Automatic Classification of Intrapartal Fetal Heart-Rate Recordings – Can It Compete with Experts? -- Clinical Informatics to Diagnose Cardiac Diseases Based on Data Mining -- Decision Support in Biomedicine (Short Papers) -- The Case-Based Software System for Physician’s Decision Support -- SASAgent: An Agent Based Architecture for Search, Retrieval and Composition of e-Science Models and Tools -- Clustering of Protein Substructures for Discovery of a Novel Class of Sequence-Structure Fragments -- A Comorbidity Network Approach to Predict Disease Risk -- Mining and Post-processing of Association Rules in the Atherosclerosis Risk Domain -- Medical Data Modeling and Information Retrieval -- Optimized Column-Oriented Model: A Storage and Search Efficient Representation of Medical Data -- A Semantic Query Interface for the OGO Platform -- BioMedical Information Retrieval: The BioTracer Approach -- Data Mining in Bioinformatics -- A Self-organizing State Space Approach to Inferring Time-Varying Causalities between Regulatory Proteins -- Knowledge Representation and Data Management in Bioinformatics -- Retrieving Samples from Biobanks -- Logical Knowledge Representation of Regulatory Relations in Biomedical Pathways -- Smooth Introduction of Semantic Tagging in Genotyping Procedures -- Biological Data and Signal Processing -- Laboratory Kit for Oscillometry Measurement of Blood Pressure -- Initial Analysis of the EEG Signal Processing Methods for Studying Correlations between Muscle and Brain Activity -- Highlighting the Current Issues with Pride Suggestions for Improving the Performance of Real Time Cardiac Health Monitoring. |
| Record Nr. | UNINA-9910484638703321 |
| New York, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Information, Technology in Bio- and Medical Informatics, ITBAM 2010 [[electronic resource] ] : First International Conference, Bilbao, Spain, September 1-2, 2010, Proceedings / / edited by Sami Khuri, Lenka Lhotská, Nadia Pisanti
| Information, Technology in Bio- and Medical Informatics, ITBAM 2010 [[electronic resource] ] : First International Conference, Bilbao, Spain, September 1-2, 2010, Proceedings / / edited by Sami Khuri, Lenka Lhotská, Nadia Pisanti |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XII, 236 p. 85 illus.) |
| Disciplina | 005.7 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
User interfaces (Computer systems) Optical data processing Information storage and retrieval Database management Computer communication systems Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction Image Processing and Computer Vision Information Storage and Retrieval Database Management Computer Communication Networks |
| ISBN | 3-642-15020-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Workflow Management and Database -- e-BioFlow: Improving Practical Use of Workflow Systems in Bioinformatics -- MEDCollector: Multisource Epidemic Data Collector -- Epidemic Marketplace: An Information Management System for Epidemiological Data -- Decision Support and Data Management in Biomedicine -- DCM Data Management Framework: A Data Warehousing Approach -- Automatic Classification of Intrapartal Fetal Heart-Rate Recordings – Can It Compete with Experts? -- Clinical Informatics to Diagnose Cardiac Diseases Based on Data Mining -- Decision Support in Biomedicine (Short Papers) -- The Case-Based Software System for Physician’s Decision Support -- SASAgent: An Agent Based Architecture for Search, Retrieval and Composition of e-Science Models and Tools -- Clustering of Protein Substructures for Discovery of a Novel Class of Sequence-Structure Fragments -- A Comorbidity Network Approach to Predict Disease Risk -- Mining and Post-processing of Association Rules in the Atherosclerosis Risk Domain -- Medical Data Modeling and Information Retrieval -- Optimized Column-Oriented Model: A Storage and Search Efficient Representation of Medical Data -- A Semantic Query Interface for the OGO Platform -- BioMedical Information Retrieval: The BioTracer Approach -- Data Mining in Bioinformatics -- A Self-organizing State Space Approach to Inferring Time-Varying Causalities between Regulatory Proteins -- Knowledge Representation and Data Management in Bioinformatics -- Retrieving Samples from Biobanks -- Logical Knowledge Representation of Regulatory Relations in Biomedical Pathways -- Smooth Introduction of Semantic Tagging in Genotyping Procedures -- Biological Data and Signal Processing -- Laboratory Kit for Oscillometry Measurement of Blood Pressure -- Initial Analysis of the EEG Signal Processing Methods for Studying Correlations between Muscle and Brain Activity -- Highlighting the Current Issues with Pride Suggestions for Improving the Performance of Real Time Cardiac Health Monitoring. |
| Record Nr. | UNISA-996465996003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
String Processing and Information Retrieval : 30th International Symposium, SPIRE 2023, Pisa, Italy, September 26-28, 2023, Proceedings
| String Processing and Information Retrieval : 30th International Symposium, SPIRE 2023, Pisa, Italy, September 26-28, 2023, Proceedings |
| Autore | Nardini Franco Maria |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Cham : , : Springer, , 2023 |
| Descrizione fisica | 1 online resource (409 pages) |
| Altri autori (Persone) |
PisantiNadia
VenturiniRossano |
| Collana | Lecture Notes in Computer Science Series |
| ISBN | 3-031-43980-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996550554703316 |
Nardini Franco Maria
|
||
| Cham : , : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
String Processing and Information Retrieval : 30th International Symposium, SPIRE 2023, Pisa, Italy, September 26-28, 2023, Proceedings
| String Processing and Information Retrieval : 30th International Symposium, SPIRE 2023, Pisa, Italy, September 26-28, 2023, Proceedings |
| Autore | Nardini Franco Maria |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Cham : , : Springer, , 2023 |
| Descrizione fisica | 1 online resource (409 pages) |
| Altri autori (Persone) |
PisantiNadia
VenturiniRossano |
| Collana | Lecture Notes in Computer Science Series |
| Soggetto topico |
Text processing (Computer science)
Information retrieval |
| ISBN | 3-031-43980-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Organization -- Abstracts of Invited Talks -- Information Retrieval Needs More Theoreticians -- Regular Expression Matching -- Recent Results on the Longest Common Substring Problem -- Contents -- Longest Common Prefix Arrays for Succinct k-Spectra -- 1 Introduction -- 2 Preliminaries -- 3 Basic O(nk)-Time LCS Array Construction -- 4 Faster Construction via Super-Alphabet Techniques -- 5 Construction in Linear Time -- 5.1 Correctness -- 6 Experimental Evaluation -- 7 Concluding Remarks -- References -- On Suffix Tree Detection -- 1 Introduction -- 2 Preliminaries -- 3 Periodic Strings Suffix Tree Detection -- 4 Necessary Conditions on a Binary String Suffix Tree -- 5 Conclusion and Open Problems -- References -- Optimally Computing Compressed Indexing Arrays Based on the Compact Directed Acyclic Word Graph -- 1 Introduction -- 2 Preliminaries -- 3 Techniques -- 4 Computing Run-Length BWT -- 5 Computing Irreducible GLPF Arrays |
| Record Nr. | UNINA-9910746292503321 |
|
Nardini Franco Maria
|
||
| Cham : , : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||