5-list-coloring planar graphs with distant precolored vertices [PDF]
, 2016 We answer positively the question of Albertson asking whether every planar graph can be $5$-list-colored even if it contains precolored vertices, as long as they are sufficiently far apart from each other.
Albertson +19 more
core +4 more sources
Proviola: A Tool for Proof Re-animation [PDF]
, 2010 To improve on existing models of interaction with a proof assistant (PA), in particular for storage and replay of proofs, we in- troduce three related concepts, those of: a proof movie, consisting of frames which record both user input and the ...
Autexier, S. +4 more
core +7 more sources
The Owlet Moths of Ohio, Order Lepidoptera Family Noctuidae, by Roy W. Rings, Eric Metzler, Fred J. Arnold, and David H. Harris. 1992. Published by College of Biological Sciences, The Ohio State University, in Cooperation with Ohio Department of Natural Resources, Division of Wildlife and the Ohio Lepidopterists, Columbus, Ohio 43210. VI + 219 pp., 9 text figures, 8 color plates, 8 black and white plates. Soft cover, 8.5 x 11 in.(21.6 x 27.9 cm), ISSN 0078-3994, $20.00 U.S. [PDF]
, 2017 (excerpt) The authors are to be commended for producing an extremely useful and thoroughly complete compilation of this fascinating but frequently ignored group of Lepidoptera.
Nielsen, Mogens
core +3 more sources
The Reproducibility of Lists of Differentially Expressed Genes in Microarray Studies [PDF]
, 2007 Reproducibility is a fundamental requirement in scientific experiments and clinical contexts. Recent publications raise concerns about the reliability of microarray technology because of the apparent lack of agreement between lists of differentially ...
Brett Thorn +49 more
core +2 more sources
More than Decisions: Reviews of American Law Reports in the Pre-West Era [PDF]
, 2015 In the early nineteenth century, both general literary periodicals and the first American legal journals often featured reviews of new volumes of U.S.
Danner, Richard A.
core +3 more sources
Addressing the evidence to practice gap for complex interventions in primary care : a systematic review of reviews protocol [PDF]
, 2014 Published by the BMJ Publishing Group Limited. For permission to use (where not already granted under a licence) please go to http://group.bmj.com/group/rights-licensing/permissions.Peer reviewedPublisher ...
Addington +17 more
core +3 more sources
The DLESE Community Review System: Gathering, Aggregating, and Disseminating User Feedback about the Effectiveness of Web-based Educational Resources [PDF]
, 2005 NOTE: This is a large file, 8 mb in size! The Community Review System (CRS) of the Digital Library for Earth System Education (DLESE) is intended to help educators seeking high-quality digital resources and resource creators who are seeking recognition ...
Kim Kastens
core +1 more source
Describing Papers and Reviewers' Competences by Taxonomy of Keywords
, 2012 This article focuses on the importance of the precise calculation of similarity factors between papers and reviewers for performing a fair and accurate automatic assignment of reviewers to papers. It suggests that papers and reviewers' competences should
Kalmukov, Yordan
core +1 more source
What proportion of adult allergy referrals to secondary care could be dealt with in primary care by a GP with special interest? [PDF]
, 2016 Background: The concept of a General Practitioner with Special Interest (GPwSI) was first proposed in the 2000 National Health Service Plan, as a way of providing specialised treatment closer to the patient’s home and reducing hospital waiting times ...
A Bowling +8 more
core +1 more source