PRISM - PDFSEARCH.IO - Document Search Engine

PRISM
Results: 1433

#	Item
841	PRISM Gridded Climate Data – Formats The following formats are used for data and graphics available on the prism.oregonstate.edu website. Be sure to acquaint yourself with our terms of use, which explain how to acknow Add to Reading List Source URL: prism.nacse.org Language: English - Date: 2013-09-27 19:12:41 Information Technical communication Data Markup languages Data management ArcGIS XML Metadata Geospatial metadata Computing Computer file formats Open formats
842	Popout Prism: Adding Perceptual Principles to Overview+Detail Document Interfaces Bongwon Suh Human-Computer Interaction Laboratory, Computer Science, University of Maryland, College Park, MD[removed]USA Add to Reading List Source URL: web.mit.edu Language: English - Date: 2002-06-05 14:06:24 User interface Thumbnail Features of Firefox Communication Technology Computing Human–computer interaction Technical communication Usability
843	Automatic Verification of  Competitive Stochastic Systems  Dave Parker  University of Birmingham University of Liverpool, May 2012 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-05-29 18:24:25 Model checking Stochastic PRISM model checker Markov chain Statistics Probability and statistics Model checkers
844	Volpe Center FMCSA PRISM Technical Support PRISM XML Transaction Specifications PRISM Targeted Vehicle (T0041P) & Add to Reading List Source URL: www.fmcsa.dot.gov Language: English - Date: 2014-04-25 15:25:48 Technical communication XML SQL Computing Computer file formats Markup languages
845	Guidance for Developing and Implementing Effective Shorebird Surveys Program for Regional and International Shorebird Monitoring (PRISM) Steering Committee December[removed]BACKGROUND Add to Reading List Source URL: www.whsrn.org Language: English - Date: 2011-11-10 22:26:56 Animals Biological pest control Bird Dinosaurs Hudsonian Godwit Long-billed Curlew Wader Avian ecology field methods Breeding bird survey Charadriiformes Ornithology Neognathae
846	Verification of Probabilistic  Real-time Systems    Dave Parker      Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-08-29 08:21:43 Probability and statistics Model checking PRISM model checker Markov chain Markov decision process Construction and Analysis of Distributed Processes Statistics Markov processes Model checkers
847	Design and Analysis of  DNA Strand Displacement Devices  using Probabilistic Model Checking  Dave Parker  School of Computer Science, University of Birmingham Joint work with: Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-06-15 10:32:21 Statistics Model checking PRISM model checker PAT Formal verification Markov chain Scientific modelling Stochastic SPIN model checker Model checkers Theoretical computer science Applied mathematics
848	Microsoft Word - PRISM Newsletter May 2002_Vol 2 Iss 1.doc Add to Reading List Source URL: www.fmcsa.dot.gov Language: English - Date: 2014-04-25 15:45:48 Federal Motor Carrier Safety Administration Road safety Prism Technology Trucking industry in the United States Television in the United States Transport
849	Treatment of Compacted Road Prisms with Subsoiling Grapple Rake Add to Reading List Source URL: www.fs.fed.us Language: English - Date: 2013-04-17 08:55:38 Agronomy Erosion Octagonal prism Prism Agriculture Trout Unlimited Enneagonal prism Environment Earth Soil science Zonohedra Environmental soil science
850	Microsoft Word - PRISM Newsletter Mar 2001_Vol 1 Iss 1.doc Add to Reading List Source URL: www.fmcsa.dot.gov Language: English - Date: 2014-04-25 15:57:44 Road safety Schutzstaffel Mozilla Prism Internet privacy Social Security number Software Trucking industry in the United States Federal Motor Carrier Safety Administration

UPDATE