Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Darpa striata

 
National Institutes of Health

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Microscale neural technologies interface with the nervous system to record and stimulate brain tissue with high spatial and… Expand
  • figure 1
  • figure 2
Is this relevant?
2017
2017
Abstract Motivation In recent years, there has been great progress in the field of automated curation of biomedical networks and… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
2016
2016
Abstract : Current research at the Defense Advanced Research Projects Agency(DARPA) investigates the realm of the possible and… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 4
Is this relevant?
2008
2008
We demonstrate generation of ultrashort high peak electric field THz pulses of few μJ using laser wakefield accelerators (LWFA… Expand
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
2002
2002
Higher-order hereditary Harrop formulas, the underlying logical foundation of λProlog [20], are more expressive than first-order… Expand
Is this relevant?
2002
2002
Related to current views of fundamental transformation or ‘revolution in military affairs’ (RMA), the concept of effects-based… Expand
  • figure 1.34
Is this relevant?
1994
1994
The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages… Expand
Is this relevant?
1993
1993
Higher-order hereditary Harrop formulas, the underlying logical foundation of λProlog [NM88], are more expressive than first… Expand
Is this relevant?
1992
1992
Sound fields radiated by vibrating elastic structures often create important noise problems. Previous active control solutions… Expand
Is this relevant?
1990
1990
The operational semantics of functional programming languages is frequently presented using inference rules within simple meta… Expand
  • figure 1
Is this relevant?