NAIS_fact_sheet_1st Qtr 2013

First Page		Document Content
Date: 2013-01-16 10:36:33 Technology systems Technology Automatic Identification System Maritime domain awareness United States Coast Guard Maritime Transportation Security Act Rescue equipment Long-range identification and tracking Transport Water transport Water		NAIS_fact_sheet_1st Qtr 2013 Add to Reading List Source URL: www.uscg.mil Download Document from Source Website File Size: 353,66 KB Share Document on Facebook

	Specification of Parametric Monitors Quantified Event Automata versus Rule Systems Klaus Havelund1? and Giles Reger2 1 Jet Propulsion Laboratory, California Inst. of Technology, USA DocID: 1xVWh - View Document
	Location map Eichenweg 1, Zollikofen Federal Office of Information Technology, Systems and Telecommunication FOITT Arrival by public transportation DocID: 1xVJL - View Document
	Exploring Adaptive Reconfiguration to Optimize Energy Efficiency in Large-Scale Battery Systems Liang He1 , Lipeng Gu2 , Linghe Kong1, Yu Gu1 , Cong Liu3 , Tian He4 1 Singapore University of Technology and Design, Singap DocID: 1xVIH - View Document
	Location map Monbijoustrasse 74, Bern Federal Office of Information Technology, Systems and Telecommunication FOITT Arrival by public transportation DocID: 1xV1n - View Document