Sciweavers

2763 search results - page 327 / 553
» The Dangerous 'All' in Specifications
Sort
View
BMCBI
2010
93views more  BMCBI 2010»
15 years 6 months ago
JunctionViewer: customizable annotation software for repeat-rich genomic regions
Background: Repeat-rich regions such as centromeres receive less attention than their gene-rich euchromatic counterparts because the former are difficult to assemble and analyze. ...
Thomas K. Wolfgruber, Gernot G. Presting
BMCBI
2007
115views more  BMCBI 2007»
15 years 6 months ago
How accurate and statistically robust are catalytic site predictions based on closeness centrality?
Background: We examine the accuracy of enzyme catalytic residue predictions from a network representation of protein structure. In this model, amino acid α-carbons specify vertic...
Eric Chea, Dennis R. Livesay
CCE
2008
15 years 6 months ago
Simultaneous targeting and design for cooling water systems with multiple cooling water supplies
This paper presents a technique for simultaneous targeting and design in cooling water systems comprising of at least two cooling towers and several cooling water using operations...
Thokozani Majozi, Anand Moodley
COGSCI
2010
93views more  COGSCI 2010»
15 years 6 months ago
The Evolution of Relevance
With human language, the same utterance can have different meanings in different contexts. Nevertheless, listeners almost invariably converge upon the correct intended meaning. Th...
Thomas C. Scott-Phillips
CORR
2010
Springer
99views Education» more  CORR 2010»
15 years 6 months ago
Pure Type Systems without Explicit Contexts
We present an approach to type theory in which the typing judgments do not have explicit contexts. Instead of judgments of the shape A : B, our systems just have judgments of the ...
Herman Geuvers, Robbert Krebbers, James McKinna, F...