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
The History and Horizons of Microscale Neural Interfaces
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
Using uncertainty to link and rank evidence from biomedical literature for model curation
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
DARPA Emerging Technologies
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
EXPERIMENTAL DEMONSTRATION OF ULTRASHORT μ J-CLASS PULSES IN THE TERAHERTZ REGIME FROM A LASER WAKEFIELD ACCELERATOR ∗
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
A Proposal for Modules in λ Prolog : Preliminary Draft
Higher-order hereditary Harrop formulas, the underlying logical foundation of λProlog [20], are more expressive than first-order… Expand
Is this relevant?
2002
2002
EFFECTS-BASED OPERATIONS : NOT SIMPLE , BUT NECESSARY By / par Lieutenant-Colonel
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
A Multiple-conclusion Meta-logic a Multiple-conclusion Meta-logic
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
A Proposal for Modules in Lambda-Prolog
Higher-order hereditary Harrop formulas, the underlying logical foundation of λProlog [NM88], are more expressive than first… Expand
Is this relevant?
1992
1992
Acoustics 1991: Active structural acoustic control
Sound fields radiated by vibrating elastic structures often create important noise problems. Previous active control solutions… Expand
Is this relevant?
1990
1990
From operational semantics to abstract machines: preliminary results
The operational semantics of functional programming languages is frequently presented using inference rules within simple meta… Expand
  • figure 1
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE