Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Jeremy Wazny"'
Publikováno v:
PeerJ Computer Science, Vol 2, p e71 (2016)
While traditional methods for calling variants across whole genome sequence data rely on alignment to an appropriate reference sequence, alternative techniques are needed when a suitable reference does not exist. We present a novel alignment and asse
Externí odkaz:
https://doaj.org/article/c7d054ac7b144fb7b3195ad6192583e3
Publikováno v:
PeerJ Computer Science, Vol 2, p e71 (2016)
While traditional methods for calling variants across whole genome sequence data rely on alignment to an appropriate reference sequence, alternative techniques are needed when a suitable reference does not exist. We present a novel alignment and asse
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f8b0468837516442ad2e1d6e50834571
https://peerj.com/articles/cs-71/
https://peerj.com/articles/cs-71/
Autor:
Dhanya Sooraj, Martin Tymms, Jeremy Wazny, Elizabeth D. Williams, Andrew J. Bromage, Thomas C. Conway, Bryan Beresford-Smith
Publikováno v:
Bioinformatics
Motivation: Shotgun sequence read data derived from xenograft material contains a mixture of reads arising from the host and reads arising from the graft. Classifying the read mixture to separate the two allows for more precise analysis to be perform
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::51492e19cb99e4ec42db933ddca7564e
https://doi.org/10.1093/bioinformatics/bts236
https://doi.org/10.1093/bioinformatics/bts236
Autor:
Jeremy Wazny
Publikováno v:
ICFP
C-Rules is a business rules management system developed by Constraint Technologies International (www.constrainttechnologies.com) that is designed for use in transport, travel and logistics problems. Individual businesses within these industries ofte
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::06468d7f48dd3da2596e57ffef3437fe
https://doi.org/10.1145/1291151.1291158
https://doi.org/10.1145/1291151.1291158
Publikováno v:
Functional and Logic Programming ISBN: 9783540334385
FLOPS
FLOPS
There are a number of extended forms of algebraic data types such as type classes with existential types and generalized algebraic data types. Such extensions are highly useful but their interaction has not been studied formally so far. Here, we pres
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::23f95fc702efed84bb0f16febad96e99
https://doi.org/10.1007/11737414_5
https://doi.org/10.1007/11737414_5
Publikováno v:
Programming Languages and Systems ISBN: 9783540489375
APLAS
APLAS
Herbrand constraint solving or unification has long been understood as an efficient mechanism for type checking and inference for programs using Hindley/Milner types. If we step back from the particular solving mechanisms used for Hindley/Milner type
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::39c241ca94535d108a7ce29bc48d935a
https://doi.org/10.1007/11924661_1
https://doi.org/10.1007/11924661_1
Publikováno v:
Haskell
We present a number of methods for providing improved type error reports in the Haskell and Chameleon programming languages. We build upon our previous work [19] where we first introduced the idea of discovering type errors by translating the typing
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::68e934d1f6c0a9504b1544cd5c9193fa
https://doi.org/10.1145/1017472.1017486
https://doi.org/10.1145/1017472.1017486
Publikováno v:
Haskell
In this paper we illustrate the facilities for type debugging of Haskell programs in the Chameleon programming environment. Chameleon provides an extension to Haskell supporting advanced and programmable type extensions. Chameleon maps the typing pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a638293b3c24c0146e8f09a55681b6d1
https://doi.org/10.1145/871895.871903
https://doi.org/10.1145/871895.871903
Publikováno v:
Bioinformatics. 28:1937-1938
Motivation: The de novo assembly of short read high-throughput sequencing data poses significant computational challenges. The volume of data is huge; the reads are tiny compared to the underlying sequence, and there are significant numbers of sequen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a6b4f47231b66d764076d2e36a4c3891
https://doi.org/10.1093/bioinformatics/bts297
https://doi.org/10.1093/bioinformatics/bts297
Publikováno v:
Scopus-Elsevier
PPDP
PPDP
An unsatisfiable set of constraints is minimal if all its (strict) subsets aresatisfiable.A number of forms of error diagnosis, including circuit error diagnosis and type error diagnosis, require finding all minimal unsatisfiable subsets of a given s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::37888b347f2e923ab95993066a55c83e
http://www.scopus.com/inward/record.url?eid=2-s2.0-1242287835&partnerID=MN8TOARS
http://www.scopus.com/inward/record.url?eid=2-s2.0-1242287835&partnerID=MN8TOARS