Idris

 
National Institutes of Health

Topic mentions per year

Topic mentions per year

2004-2013
0120042013

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
This document describes the interaction of the Idris compiler with the editor emacs, to facilitate a lightweight development… (More)
  • figure 2
Is this relevant?
2010
2010
Operations on the airport surface include those at the gates, the ramp areas adjoining the gates, the taxiways, and the runway… (More)
  • figure 1
  • table 1
  • table 2
  • table 3
  • figure 2
Is this relevant?
2010
2010
A portable HPGe spectrometer has been employed to characterised, in-situ gamma activity concentration from the primordial… (More)
  • figure 1
  • table 1
  • table 3
  • figure 2
  • figure 3
Is this relevant?
2009
2009
The Bezier curve representation is frequently utilized in computer-aided design (CAD) and computer-aided geometric design (CAGD… (More)
  • figure 2.1
  • figure 2.2
  • figure 2.3
Is this relevant?
2007
2007
EKER, ABDULAZIZ. Characterization of Context Switch Effects on L2 Cache. (Under the direction of Dr. Yan Solihin.) Multitasking… (More)
  • table 2.1
  • table 2.2
  • figure 2.1
  • figure 2.2
  • figure 3.1
Is this relevant?
Review
2004
Review
2004
Synovigenic parasitoids need nonhost foods such as floral and extrafloral nectar, honeydew, or pollen (Leius, 1960; Powell, 1986… (More)
  • figure 1
  • table I
  • table II
Is this relevant?