Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.
Darpa striata
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
Review
2017
Review
2017
The endurance of memories of emotionally arousing events serves the adaptive role of minimizing future exposure to danger and… Expand
2017
2017
Abstract Motivation In recent years, there has been great progress in the field of automated curation of biomedical networks and… Expand
2016
2016
Abstract : Current research at the Defense Advanced Research Projects Agency(DARPA) investigates the realm of the possible and… Expand
2002
2002
Higher-order hereditary Harrop formulas, the underlying logical foundation of λProlog [20], are more expressive than first-order… Expand
2002
2002
Related to current views of fundamental transformation or ‘revolution in military affairs’ (RMA), the concept of effects-based… Expand
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
1993
1993
Higher-order hereditary Harrop formulas, the underlying logical foundation of λProlog [NM88], are more expressive than first… Expand
1992
1992
Sound fields radiated by vibrating elastic structures often create important noise problems. Previous active control solutions… Expand
1990
1990
The operational semantics of functional programming languages is frequently presented using inference rules within simple meta… Expand
