Zobrazeno 1 - 10
of 91
pro vyhledávání: '"Cleary, John G."'
Autor:
Lu, Lunjin, Cleary, John G.
A method for extracting positive information from negative goals is proposed. It makes use of typed existence properties between arguments of a predicate to rewrite negative goals in a logic program. A typed existence property is a generalization of
Externí odkaz:
http://arxiv.org/abs/1009.2178
Autor:
Lu, Lunjin, Cleary, John G.
An algorithm to decide the emptiness of a regular type expression with set operators given a set of parameterised type definitions is presented. The algorithm can also be used to decide the equivalence of two regular type expressions and the inclusio
Externí odkaz:
http://arxiv.org/abs/cs/9811015
Autor:
Lu, Lunjin, Cleary, John G.
This paper answers open questions about the correctness and the completeness of Dart-Zobel algorithm for testing the inclusion relation between two regular types. We show that the algorithm is incorrect for regular types. We also prove that the algor
Externí odkaz:
http://arxiv.org/abs/cs/9810001
Publikováno v:
In Parallel Computing February 2014 40(2):35-50
Real Time Genomics has developed high performance tools for quantitative analysis of metagenomic experiments on the Illumina, Ion Torrent and Roche 454 platforms. The search algorithms and processing pipeline were created around requirements for anal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmc_________::2f17f89d9e75442f667fe170292dec7c
https://europepmc.org/articles/PMC3635423/
https://europepmc.org/articles/PMC3635423/
The precipitous fall in the cost of sequencing spurred by innovations in high-throughout sequencing (HTS) is bringing the use of genome sequencing closer to the clinic. An important question yet to be answered is whether current HTS protocols provide
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmc_________::d5b532e757adc9f50980d5c3eb4c06d7
https://europepmc.org/articles/PMC3635404/
https://europepmc.org/articles/PMC3635404/
Publikováno v:
Communications of the ACM; Jun87, Vol. 30 Issue 6, p520-540, 21p, 12 Diagrams, 4 Charts
Autor:
Unger, Brian W., Cleary, John G.
Publikováno v:
ORSA Journal on Computing. Summer93, Vol. 5 Issue 3, p242. 3p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Symposium Proceedings; 2015, p285-294, 10p