Results 101 to 110 of about 10,043,883 (249)

Publication rates of abstracts presented across 6 major spine specialty conferences

open access: yesNorth American Spine Society Journal, 2023
Background: Although scientific researchers aim to present their projects at academic conferences as a step toward publication, not all projects mature to become a peer-reviewed manuscript.
Tariq Z. Issa, BA   +10 more
doaj  

Meeting Cereal Demand While Protecting Natural Resources and Improving Environmental Quality

open access: yes, 2003
▪ Abstract Agriculture is a resource-intensive enterprise. The manner in which food production systems utilize resources has a large influence on environmental quality. To evaluate prospects for conserving natural resources while meeting increased demand
K. Cassman   +3 more
semanticscholar   +1 more source

A Review of Marcus Borg\u27s Meeting Jesus Again for the First Time [PDF]

open access: yes, 2007
In lieu of an abstract, below is the essay\u27s first paragraph. Meeting Jesus Again for the First Time was written by Marcus J. Borg and was first published in 1994.
Connors, Sean P.
core   +1 more source

A New Numerical Abstract Domain Based on Difference-Bound Matrices [PDF]

open access: yesProgram As Data Objects II (PADOII) (05/2001) 155-172, 2007
This paper presents a new numerical abstract domain for static analysis by abstract interpretation. This domain allows us to represent invariants of the form (x-y<=c) and (+/-x<=c), where x and y are variables values and c is an integer or real constant.
arxiv  

Mechanically Verified Calculational Abstract Interpretation [PDF]

open access: yesarXiv, 2015
Calculational abstract interpretation, long advocated by Cousot, is a technique for deriving correct-by-construction abstract interpreters from the formal semantics of programming languages. This paper addresses the problem of deriving correct-by-verified-construction abstract interpreters with the use of a proof assistant.
arxiv  

Assessing the Accuracy and Quality of Medication History Collection: Effect of Implementation of Electronic Health Record [PDF]

open access: yes, 2013
from 2013 ACCP Annual Meeting, Alburquerque, New ...
Antonopoulos, Anthony   +6 more
core   +1 more source

Home - About - Disclaimer - Privacy