NRL - PDFSEARCH.IO - Document Search Engine

NRL
Results: 821

#	Item
491 $Materials science / Physics / Vacuum / Ceramic materials / Surface chemistry / Low-energy ion scattering / Low-energy electron diffraction / Ultra-high vacuum / Chemical vapor deposition / Chemistry / Science / Scientific method$	doi:[removed]j.apsusc[removed] Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2013-11-25 13:35:03 Materials science Physics Vacuum Ceramic materials Surface chemistry Low-energy ion scattering Low-energy electron diffraction Ultra-high vacuum Chemical vapor deposition Chemistry Science Scientific method
492	Preparation of Papers for AIAA Technical Conferences Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2013-08-27 08:19:34 Robotics Human–robot interaction Robot Social robot Cog Autonomous robot Robonaut Gesture recognition Gesture Computer vision Artificial intelligence Humanoid robots
493	NRL Release Number[removed]What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specication in Formal Cryptographic Protocol Analysis Catherine Meadows Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2013-04-26 15:14:05 Information Communications protocol Burrows–Abadi–Needham logic Key-agreement protocol Authentication protocol Dolev-Yao model Protocol Public-key cryptography Station-to-Station protocol Cryptographic protocols Cryptography Data
494	NRL Release Number[removed]Naval Research Laboratory Washington, DC[removed]NRL/MR[removed] Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2013-04-25 12:53:22 Data types Hardware description languages Cross-platform software Procedural programming languages Variables Control theory Environment variable Verilog C Computing Software engineering Software
495	Building Common Ground and Interacting through Natural Language Arthi Murugesan1, Wende K. Frost2, Derek Brock2, and Dennis Perzanowski2 1 NRC/NRL Postdoctoral Fellow Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2012-12-12 08:41:57 Grammar Knowledge Interdisciplinary fields Computational linguistics Semantics Natural language understanding Syntax Word-sense disambiguation Head-driven phrase structure grammar Linguistics Science Natural language processing
496	NRL Release Number[removed]Visual Security Protocol Modeling J. McDermott Center for High Assurance Computer Systems Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2013-04-26 12:50:29 Data modeling Computing Diagrams Automata theory Digital electronics Unified Modeling Language Communications protocol Finite-state machine Activity diagram Models of computation UML diagrams Software engineering
497	Microsoft Word - MSOCCER NRL[removed] Add to Reading List Source URL: www.gozags.com Language: English - Date: 2012-11-06 18:50:42 Gonzaga University West Coast Conference West Coast of the United States Gonzaga Bulldogs
498	Unposed Object Recognition using an Active Approach Wallace Lawson, J. Gregory Trafton Naval Center for Applied Research in Artificial Intelligence, Washington, DC {ed.lawson, greg.trafton}@nrl.navy.mil Keywords: Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2014-04-29 09:01:31 Computer vision 3D single object recognition Object recognition Leabra Visual cortex Vision Artificial intelligence Optics
499	Microsoft Word[removed]doc Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2013-04-26 12:35:08 Semantic Web Information science Technical communication Data Knowledge representation OWL-S Core ontology Ontology engineering Web Ontology Language Ontology Information Science
500	NRL Release Number[removed]Environmental Requirements for Authentication Protocols Ran Canetti1 and Catherine Meadows2 and Paul Syverson2 1 Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2013-04-29 10:13:46 Information Challenge-response authentication Password authentication protocol Public-key cryptography Cryptographic nonce Needham–Schroeder protocol Otway–Rees protocol Cryptographic protocols Cryptography Data

UPDATE