Publish in OALib Journal

ISSN: 2333-9721

APC: Only $99


Any time

2018 ( 9 )

2017 ( 15 )

2016 ( 17 )

2015 ( 347 )

Custom range...

Search Results: 1 - 10 of 6752 matches for " Tom Hayman "
All listed articles are free for downloading (OA Articles)
Page 1 /6752
Display every page Item
RGD: A comparative genomics platform
Mary Shimoyama, Jennifer R Smith, Tom Hayman, Stan Laulederkind, Tim Lowry, Rajni Nigam, Victoria Petri, Shur-Jen Wang, Melinda Dwinell, Howard Jacob, RGD Team
Human Genomics , 2011, DOI: 10.1186/1479-7364-5-2-124
Abstract: The Rat Genome Database (RGD) (http://rgd.mcw.edu webcite) is recognised as the premier resource for genetic, genomic and phenotype data for the laboratory rat, Rattus norvegicus. Since 1999, RGD has provided a comprehensive catalogue of genes, quantitative trait loci (QTL) and strains, along with software tools to retrieve and display data of interest to investigators using this organism. The disease focus of these researchers often results in the use of multiple model organisms, in addition to clinical studies, in their efforts to elucidate the mechanisms and underlying genetic factors involved in human disease. To meet the needs of such users, RGD focuses its manual curation efforts on the functional, phenotype and pathway data related to specific disease areas and has integrated human and mouse data to create a comprehensive platform for comparative genomics and genetics. Several of these components are highlighted here.The wealth of data at RGD includes genes and QTLs for rat, human and mouse, as well as polymorphic markers for rat and human (Table 1). Information on inbred, outbred, mutant, congenic, consomic and other types of rat strains is also provided. A team of scientific curators validates the identity of genomic elements, provides official nomenclature and annotates these elements with functional data from published literature [1]. With more than 1.3 million published rat research papers, prioritising data for curation is a vital task, and a project approach has proved effective. Such projects revolve around gene families, molecular pathways, ultra-conserved gene sets and diseases.The disease portals (http://rgd.mcw.edu/wg/portals/ webcite) create a structure for prioritising rat data curation and integrating rat, human and mouse information, and provide a platform for researchers easily to access multiple data types related to a particular disease area (Table 2). RGD currently has portals for cardiovascular and neurological diseases, cancer, diabetes
Independence and concurrent separation logic
Jonathan Hayman,Glynn Winskel
Computer Science , 2008, DOI: 10.2168/LMCS-4(1:6)2008
Abstract: A compositional Petri net-based semantics is given to a simple language allowing pointer manipulation and parallelism. The model is then applied to give a notion of validity to the judgements made by concurrent separation logic that emphasizes the process-environment duality inherent in such rely-guarantee reasoning. Soundness of the rules of concurrent separation logic with respect to this definition of validity is shown. The independence information retained by the Petri net model is then exploited to characterize the independence of parallel processes enforced by the logic. This is shown to permit a refinement operation capable of changing the granularity of atomic actions.
科学通报 , 1980,
Abstract: 1.设函数f(z)在角域S=S(α,β)={z|α≤2rgz≤β,|z|>0}内全纯,并且对于某正数λ,f(z~λ)在z=0处是全纯的。又设S′=S(α′,β′) (α<α′<β′<β)。记n(r,a,S)为角域S(r)={z|z∈S,|z|
On the length of lemniscates
Alexandre Eremenko aand Walter Hayman
Mathematics , 2008,
Abstract: We show that for a monic polynomial p of degree d, the length of the level set {z: |p(z)|=1} is at most 9.2 d, which improves an earlier estimate due to P. Borwein. For d=2 we show that the extremal level set is the Bernoullis' Lemniscate. One ingredient of our proofs is the fact that for an extremal polynomial this level set is connected.
Deadly Partners: Interdependence of Alcohol and Trauma in the Clinical Setting
Amanda V. Hayman,Marie L. Crandall
International Journal of Environmental Research and Public Health , 2009, DOI: 10.3390/ijerph6123097
Abstract: Trauma is the leading cause of death for Americans aged 1 to 45. Over a third of all fatal motor vehicle collisions and nearly eighty percent of completed suicides involve alcohol. Alcohol can be both a cause of traumatic injury as well as a confounding factor in the diagnosis and treatment of the injured patient. Fortunately, brief interventions after alcohol-related traumatic events have been shown to decrease both trauma recidivism and long-term alcohol use. This review will address the epidemiology of alcohol-related trauma, the influence of alcohol on mortality and other outcomes, and the role of prevention in alcohol-related trauma, within the confines of the clinical setting.
Measuring Noise Temperatures of Phased-Array Antennas for Astronomy at CSIRO
Aaron Chippendale,Douglas Hayman,Stuart Hay
Physics , 2014, DOI: 10.1017/pasa.2014.11
Abstract: We describe the development of a noise-temperature testing capability for phased-array antennas operating in receive mode from 0.7 GHz to 1.8 GHz. Sampled voltages from each array port were recorded digitally as the zenith-pointing array under test was presented with three scenes: (1) a large microwave absorber at ambient temperature, (2) the unobstructed radio sky, and (3) broadband noise transmitted from a reference antenna centred over and pointed at the array under test. The recorded voltages were processed in software to calculate the beam equivalent noise temperature for a maximum signal-to-noise ratio beam steered at the zenith. We introduced the reference-antenna measurement to make noise measurements with reproducible, well-defined beams directed at the zenith and thereby at the centre of the absorber target. We applied a detailed model of cosmic and atmospheric contributions to the radio sky emission that we used as a noise-temperature reference. We also present a comprehensive analysis of measurement uncertainty including random and systematic effects. The key systematic effect was due to uncertainty in the beamformed antenna pattern and how efficiently it illuminates the absorber load. We achieved a combined uncertainty as low as 4 K for a 40 K measurement of beam equivalent noise temperature. The measurement and analysis techniques described in this paper were pursued to support noise-performance verification of prototype phased-array feeds for the Australian Square Kilometre Array Pathfinder telescope.
科学通报 , 1980,
What’s Wrong with Requirements Specification? An Analysis of the Fundamental Failings of Conventional Thinking about Software Requirements, and Some Suggestions for Getting it Right  [PDF]
Tom Gilb
Journal of Software Engineering and Applications (JSEA) , 2010, DOI: 10.4236/jsea.2010.39096
Abstract: We know many of our IT projects fail and disappoint. The poor state of requirements methods and practice is frequently stated as a factor for IT project failure. In this paper, I discuss what I believe is the fundamental cause: we think like programmers, not engineers and managers. We do not concentrate on value delivery, but instead on functions, on use-cases and on code delivery. Further, management is not taking its responsibility to make things better. In this paper, ten practical key principles are proposed, which aim to improve the quality of requirements specification.
Internal Resource Audit for Strategists—A Proposal  [PDF]
Tom Connor
iBusiness (IB) , 2011, DOI: 10.4236/ib.2011.33038
Abstract: It is the purpose of this article to suggest a structured approach to internal resource audit, which, whilst of necessity general-purpose in design, would be capable of adaptation to particular company cases. Consequently this paper does not aim at theory development, but to make a conceptual contribution to the art and practice of management. It will, however, offer some criticism of current theory from a management perspective.
Fever of Unknown Origin: An Unusual Case
R. A. Bansal,G. R. Hayman,A. S. Bansal
Case Reports in Infectious Diseases , 2011, DOI: 10.1155/2011/271808
Abstract: Recurrent episodic fever of unknown origin (FUO) arising from tumour of the gastrointestinal tract is rare. We report an otherwise healthy 62-year-old man with recurrent circumscribed bouts of fever and raised CRP for 3 years who has remained well and fever-free 2 years after the removal of a well-differentiated adenocarcinoma of the colon. Occult colonic neoplasm should be considered and sought when routine investigations for FUO are negative.
Page 1 /6752
Display every page Item

Copyright © 2008-2017 Open Access Library. All rights reserved.