Refinement - PDFSEARCH.IO - Document Search Engine

Refinement
Results: 838

#	Item
501	SECTION 1.2 Refinement for Fault-Tolerance: An Aircraft Hand-off Protocol Keith Marzullo1 , Fred B. Schneider2 , and Jon Dehn3 Abstract Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-18 17:12:32 Primary Religion and children IP
502	Towards Verified Distributed Software Through Refinement of Formal Archetypes K. Mani Chandy1 , Brian Go1 , Sayan Mitra2 , Jerome White1 1 2 Add to Reading List Source URL: infospheres.caltech.edu Language: English - Date: 2010-05-27 16:01:56 Theoretical computer science Multi-agent system Distributed computing Actor model Applied mathematics Computing Models of computation Cybernetics Mathematical logic Mathematics Algorithm
503	Branch of Joint Stock Company «United Rocket Space Corporation» «INSTITUTE OF SPACE DEVICE ENGINEERING» (Branch of JSC «URSC» - «ISDE») Refinement of TTFF Methodology Chief of department Valeriy Tyubalin Add to Reading List Source URL: www.unoosa.org Language: English - Date: 2015-01-11 17:16:35 Spaceflight GPS Transport Geodesy Avionics Time to first fix GPS signals Global Positioning System GLONASS Technology Navigation Satellite navigation systems
504	UNIVERSITY OF CALIFORNIA SANTA CRUZ EXECUTABLE REFINEMENT TYPES A dissertation submitted in partial satisfaction of the requirements for the degree of DOCTOR OF PHILOSOPHY Add to Reading List Source URL: kennknowles.com Language: English - Date: 2014-02-23 11:12:22 Programming language theory Data types Object-oriented programming Program analysis Type system Subtype polymorphism Program refinement C Dependent type Type theory Software engineering Computing
505	The Hidden History of Phlogiston: How Philosophical Failure Can Generate Historiographical Refinement Add to Reading List Source URL: hyle.org Language: English - Date: 2013-03-20 15:08:29 Philosophy of science Obsolete scientific theories Fellows of the Royal Society Scientific method Epistemology Phlogiston theory Antoine Lavoisier Chemical Revolution Caloric theory Science Chemistry Knowledge
506	AKCRRAB Draft Study Plan 2011 Refinement of red king crab (Paralithodes camtschaticus) hatchery culture Ben Daly, Jim Swingle, Ginny Eckert, Jeff Hetrick August 2010 ABSTRACT Add to Reading List Source URL: seagrant.uaf.edu Language: English - Date: 2012-06-25 19:19:31 Fish hatchery Industrial agriculture Paralithodes platypus King crab Alaskan king crab fishing Paralithodes camtschaticus Broodstock Callinectes sapidus Phyla Protostome Aquaculture
507	Towards Verified Distributed Software Through Refinement of Formal Archetypes Mani Chandy1 , Brian Go1 , Sayan Mitra2 , Jerome White1 1 2 Add to Reading List Source URL: infospheres.caltech.edu Language: English - Date: 2010-05-27 16:01:56 Logical syntax Philosophical logic Theorems First-order logic Logic Model theory Logical consequence
508	Local refinement and bias Add to Reading List Source URL: www.geo.uni-augsburg.de Language: English - Date: 2013-12-05 22:29:46 Copula Weather prediction Correlation and dependence Downscaling Economic model Climate Statistical dependence Statistics Actuarial science
509	Electrical fragmentation as a novel route for the refinement of quartz raw materials for trace mineral impurities Add to Reading List Source URL: www.selfrag.com Language: English - Date: 2012-08-24 08:11:29 Petrology Optical mineralogy Dielectrics Quartz Petrography Mineral Silicon dioxide Sand Nepheline Chemistry Crystallography Matter
510	Always Better Cars Always Better Cars Refinement of drawing requirements Add to Reading List Source URL: www.toyota-global.com Language: English - Date: 2014-10-23 09:48:19 Evaluation Customer experience management Quality Quality management Customer service Quality assurance Supply chain Toyota Business Marketing Management

UPDATE