PRism - PDFSEARCH.IO - Document Search Engine

PRism
Results: 1433

#	Item
101	Probabilistic Modeling and Model Checking Erika Ábrahám RWTH Aachen University, Germany SFM’14 Tutorial June 17, 2014 Add to Reading List Source URL: www.sti.uniurb.it Language: English - Date: 2014-06-19 19:17:22 Probability Probabilistic complexity theory Probability theory PRISM model checker Software Sample space Model checking Stochastic process Randomized algorithm
102	Scalable Computing: Practice and Experience Scientific International Journal for Parallel and Distributed Computing ISSN: Add to Reading List Source URL: www.scpe.org Language: English - Date: 2016-08-02 01:58:21 Engineering Computing Theoretical computer science Product testing Systems engineering Workflow technology Model checkers PRISM model checker Model checking Workflow Markov chain Reliability engineering
103	UK PLUTONIUM THE WAY FORWARD The UK is currently storing 112 tonnes of civil held plutonium, which includes about 28 tonnes Add to Reading List Source URL: gehitachiprism.com Language: English - Date: 2013-05-07 15:14:53 Nuclear technology Nuclear physics Energy Radioactive waste Nuclear reprocessing Nuclear materials Nuclear fuels Sellafield MOX fuel Plutonium Fast-neutron reactor PRISM
104	Fault-confined fluid flow on the Cascadia accretionary prism Bobb Carson, Department of Earth and Environmental Sciences, Lehigh University Elizabeth J. Screaton, Department of Geological Sciences, University of Colorado Add to Reading List Source URL: www.odplegacy.org Language: English - Date: 2014-09-04 08:44:57 Geology Soil mechanics Subduction Accretionary wedge Earth Structural geology Fracture Plate tectonics Pore water pressure Permeability Nankai Trough
105	KPI2016 catalog_BRD_Final.qxp_Layout:46 PM Page 2 MARKING PRODUCTS Stake Flags Presco stake flags are glued to a 16 gauge steel stake. The flags are made with the same quality material as Add to Reading List Source URL: www.keypre.com Language: English - Date: 2016-01-05 15:32:52 Equipment Tripod Tribrach Surveying Bag Weapon mount Tent Wedge prism
106	A new trustable Internet “InternetSec” African Secret Working Group AIS 2015 Secret Working Group, PIPA/SOPA/ACTA/PRISM Copyright Add to Reading List Source URL: african.secret-wg.org Language: English - Date: 2015-06-02 09:55:13 Internet Computing Domain name system Internet in Africa Regional Internet registries AFRINIC Internet in the United States Internet Standards Domain Name System Security Extensions .africa ICANN Stop Online Piracy Act
107	Artikelansicht ePaper Überwachung droht fast überall Badische Neueste Nachrichten \| Karlsruhe \| POLITIK \| Add to Reading List Source URL: www.anti-prism-party.de - Date: 2016-05-04 02:47:51
108	PDF Document Add to Reading List Source URL: www.anti-prism-party.de - Date: 2015-09-22 09:03:42
109	Notizen: ANTI-PRISM-PARTY 4. Staffel Veranstalter Add to Reading List Source URL: www.anti-prism-party.de Language: German - Date: 2016-04-27 05:29:56
110	Invitation to Quilters Jenkins Arboretum & Gardens 2016 Nature’s Prisms – A Quilt Display Jenkins Arboretum & Gardens located in Devon, PA is hosting Nature’s Prisms in the garden through quilting. Nature’s Prism Add to Reading List Source URL: jenkinsarboretum.org Language: English - Date: 2015-07-17 22:50:40 Textile arts Quilting Visual arts Quilters Needlework Quilt Michael James Quilt Index

UPDATE