Learn More
The Zebrafish Information Network (ZFIN; http://zfin.org) is a web based community resource that implements the curation of zebrafish genetic, genomic and developmental data. ZFIN provides an integrated representation of mutants, genes, genetic markers, mapping panels, publications and community resources such as meeting announcements and contact(More)
The Zebrafish Information Network (ZFIN) is a web based community resource that serves as a centralized location for the curation and integration of zebrafish genetic, genomic and developmental data. ZFIN is publicly accessible at http://zfin.org. ZFIN provides an integrated representation of mutants, genes, genetic markers, mapping panels, publications and(More)
BACKGROUND The pronephros, the simplest form of a vertebrate excretory organ, has recently become an important model of vertebrate kidney organogenesis. Here, we elucidated the nephron organization of the Xenopus pronephros and determined the similarities in segmentation with the metanephros, the adult kidney of mammals. RESULTS We performed large-scale(More)
1 SUMMARY A key problem in providing \enterprise-wide" information is integrating databases developed independently. An important requirement is to accommodate heterogeneity and maintain autonomy of component databases. Myriad is a federated database prototype under development, whose goal is to provide a testbed for investigating alternatives in(More)
Linking phenotypic with genotypic diversity has become a major requirement for basic and applied genome-centric biological research. To meet this need, a comprehensive database backend for efficiently storing, querying and analyzing large experimental data sets is necessary. Chado, a generic, modular, community-based database schema is widely used in the(More)
Biology is generating more data than ever. As a result, there is an ever increasing number of publicly available databases that analyse, integrate and summarize the available data, providing an invaluable resource for the biological community. As this trend continues, there is a pressing need to organize, catalogue and rate these resources, so that the(More)
High-throughput data production technologies, particularly 'next-generation' DNA sequencing, have ushered in widespread and disruptive changes to biomedical research. Making sense of the large datasets produced by these technologies requires sophisticated statistical and computational methods, as well as substantial computational power. This has led to an(More)
permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Xenopus pronephros organisation <p>Gene expression mapping reveals 8 functionally distinct domains in the Xenopus pronephros. Interestingly, no structure equivalent to the mammalian collecting duct is identified.</p> Abstract Background: The(More)
  • Andrew J Parkes, Andrew Baker, Tania Bedrax-Weiss, Dave Clements, James Crawford, Heidi Dixon +9 others
  • 1999
There are several powerful solvers for satissability (SAT), such as wsat, Davis-Putnam, and relsat. However, in practice, the SAT encodings often have so many clauses that we exceed physical memory resources on attempting to solve them. This excessive size often arises because conversion to SAT, from a more natural encoding using quantiica-tions over(More)