Darpa striata

 
National Institutes of Health

Topic mentions per year

Topic mentions per year

1992-2017
012319922017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
  • 2017
We thank our anonymous reviewers for their helpful feedback. This research was supported by the NSF under award DGE-1500084, CNS… (More)
  • figure 1
  • table 1
Is this relevant?
2013
2013
The operational semantics of functional programming languages is frequently presented using inference rules within simple meta… (More)
  • figure 1
Is this relevant?
2006
2006
This paper describes a novel autonomously adaptive networked radio system that provides a broadband tactical mobile backbone to… (More)
  • figure 1
  • figure 3
  • table 1
  • figure 4
  • figure 5
Is this relevant?
2002
2002
In this paper, we present a predictive neural network called Neural Predictive Coding (NPC). This model is used for non linear… (More)
  • figure 1
  • table 1
  • figure 4
  • figure 2
  • figure 3
Is this relevant?
2002
2002
Higher-order hereditary Harrop formulas, the underlying logical foundation of λProlog [20], are more expressive than first-order… (More)
Is this relevant?
1999
1999
DARPA and the NSF are encouraging research on active router networks. By applying these concepts to telephony we: — create a… (More)
Is this relevant?
1995
1995
1 Abstract This paper describes a tool to help in the analysis of MUC-6 performance. MUC-6 (Message Understanding Conference) is… (More)
Is this relevant?
1993
1993
We construct multi-prover proof systems for NP which use only a constant number of provers to simultaneously achieve low error… (More)
  • figure 1
Is this relevant?
Review
1992
Review
1992
Higher-order hereditary Harrop formulas, the underlying logical foundation of Prolog [NM88], are more expressive than rst-order… (More)
Is this relevant?