X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (119) 119
Conference Proceeding (48) 48
Publication (25) 25
Book Chapter (6) 6
Book / eBook (3) 3
Dissertation (2) 2
Web Resource (2) 2
Book Review (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
computer science (24) 24
computer science, theory & methods (17) 17
set theory (17) 17
algorithms (15) 15
logic (15) 15
mathematics (14) 14
index medicus (13) 13
bioinformatics (11) 11
biotechnology & applied microbiology (11) 11
mathematics, applied (11) 11
software (11) 11
humans (10) 10
analysis (9) 9
bisimulation (9) 9
genomics (9) 9
biochemical research methods (8) 8
computer science, artificial intelligence (8) 8
mathematical & computational biology (8) 8
research (8) 8
artificial intelligence (7) 7
computer science - data structures and algorithms (7) 7
hybrid automata (7) 7
infinity (7) 7
mathematical set theory (7) 7
model checking (7) 7
vitis - genetics (7) 7
axioms (6) 6
biochemistry (6) 6
computer science applications (6) 6
grapes (6) 6
graph theory (6) 6
mathematical logic and formal languages (6) 6
simulation (6) 6
theoretical computer science (6) 6
biotechnology (5) 5
cardinality (5) 5
computable set theory (5) 5
computer simulation (5) 5
decidability (5) 5
genetic aspects (5) 5
genome (5) 5
genome, human (5) 5
genomes (5) 5
life sciences (5) 5
mathematical logic and foundations (5) 5
mathematical sets (5) 5
molecular biology (5) 5
satisfiability (5) 5
sequence analysis, dna - methods (5) 5
stochastic concurrent constraint programming (5) 5
systems (5) 5
algorithm analysis and problem complexity (4) 4
arabidopsis-thaliana (4) 4
biology (4) 4
computational systems biology (4) 4
computer science - logic in computer science (4) 4
computer science, software engineering (4) 4
data structures (4) 4
extensional digraph (4) 4
genetics & heredity (4) 4
logics and meanings of programs (4) 4
mathematical analysis (4) 4
mathematical logic (4) 4
ngs (4) 4
non-well-founded sets (4) 4
philosophy (4) 4
robustness (4) 4
semantics (4) 4
stochastic process algebras (4) 4
symbolic and algebraic manipulation (4) 4
translation methods (4) 4
usage (4) 4
verification (4) 4
aggregates (3) 3
algorithm (3) 3
animals (3) 3
assembly (3) 3
biological modeling (3) 3
biological systems (3) 3
bwt (3) 3
chromosome mapping (3) 3
combinatorial analysis (3) 3
combinatorics (3) 3
computation (3) 3
computational biology (3) 3
computational biology - methods (3) 3
computer science, interdisciplinary applications (3) 3
decision procedures (3) 3
equivalence relation (3) 3
genetics (3) 3
graph data structures (3) 3
high-throughput nucleotide sequencing (3) 3
identification (3) 3
infinite sets (3) 3
micrornas - genetics (3) 3
modal logic (3) 3
models, genetic (3) 3
molecular sequence data (3) 3
ordered binary decision diagrams (3) 3
pipelines (3) 3
more...
Library Location Library Location
Language Language
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


2016, Outstanding Contributions to Logic, ISBN 9783319418414, Volume 10
Web Resource
Nature, ISSN 0028-0836, 09/2007, Volume 449, Issue 7161, pp. 463 - 467
Journal Article
Nature Genetics, ISSN 1061-4036, 05/2013, Volume 45, Issue 5, pp. 487 - 494
Journal Article
2017, ISBN 9783319549804
This unique treatise presents an integrated perspective on the relationship and interplay of set theory and graph theory, providing an extensive selection of... 
Computer science | Algorithms | Computer logic | Graph theory | Combinatorics
Web Resource
05/2017, ISBN 9783319549804, 283
eBook
Algorithmica, ISSN 0178-4617, 07/2018, Volume 80, Issue 7, pp. 1986 - 2011
Computing the LZ77 factorization is a fundamental task in text compression and indexing, being the size z of this compressed representation closely related to... 
Lempel–Ziv factorization | Repetition-aware data structures | Repetitive text collections | Run-length encoded BWT | COMPUTER SCIENCE, SOFTWARE ENGINEERING | MATHEMATICS, APPLIED | GRAMMAR-BASED COMPRESSION | Lempel-Ziv factorization | Algorithms
Journal Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2019, Volume 11468, pp. 387 - 398
Conference Proceeding
Journal Article
BMC Genomics, ISSN 1471-2164, 02/2010, Volume 11, Issue 1, pp. 109 - 109
The version of this article published in BMC Genomics 2009, 10:558, contains data in Table 1 which are now known to be unreliable, and an illustration, in... 
RNA Splicing | MicroRNAs - genetics | Sequence Analysis, RNA | RNA, Plant - genetics | Vitis - genetics | Grapes | RNA | Analysis
Journal Article
BMC bioinformatics, ISSN 1471-2105, 2015, Volume 16, Issue 9, p. S4
Background: The high throughput of modern NGS sequencers coupled with the huge sizes of genomes currently analysed, poses always higher algorithmic challenges... 
Hashing | Complexity analysis | Succinct indexing | BWT | De Bruijn property | SHORT READ ALIGNMENT | BIOTECHNOLOGY & APPLIED MICROBIOLOGY | GENOME | ULTRAFAST | BIOCHEMICAL RESEARCH METHODS | MATHEMATICAL & COMPUTATIONAL BIOLOGY | Algorithms | Computer Simulation | Humans | Genome, Plant | Genome, Human | Sequence Analysis, DNA - methods | Vitis - genetics
Journal Article
01/2017, Outstanding Contributions to Logic, ISBN 9783319418414, Volume 10, 454
This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic,... 
Logic, Symbolic and mathematical | Logic | Philosophy | Mathematical Logic and Foundations | Computable functions
eBook
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2015, Volume 9309, pp. 13 - 20
Conference Proceeding