Refinement - PDFSEARCH.IO - Document Search Engine

Refinement
Results: 838

#	Item
591	A Counterexample Guided Abstraction Refinement Framework for Verifying Concurrent C Programs Sagar J. Chaki CMU-CS[removed] Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2005-05-24 15:53:16 Logic simulation Linear temporal logic Electronics Design Computing Model checking Logic design Abstraction
592	Adaptive Implementation Modeling and Monitoring for TMDL Refinement Add to Reading List Source URL: epa.gov Language: English - Date: 2006-02-14 16:08:02 ACT-R Earth Environment Hydrology Water pollution Total maximum daily load
593	Natural Hierarchical Refinement for Finite Element Methods Petr Krysl1,∗ , Eitan Grinspun2 , Peter Schr¨ oder2 1 University of California, San Diego, Structural Engineering, Mail code 0085, Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2010-01-04 15:23:25 Linear algebra Function Basis Integral Matrix Mathematics Algebra Functions and mappings
594	HISTORY OF BILLS AND RESOLUTIONS SPONSORS HOUSE BILLS H.R. 17—A bill to reauthorize the Secure Rural Schools and Community Self-Determination Act of 2000, Add to Reading List Source URL: www.gpo.gov Language: English - Date: 2012-03-01 08:07:57 United States National Health Care Act Employment Non-Discrimination Act United States Humanities Ron Paul Medicare Medicaid and SCHIP Balanced Budget Refinement Act Devin Nunes 111th United States Congress Politics of the United States LGBT rights in the United States
595	Abstract of Presentation (Nb0.89Al0.11)(O0.16N0.84) oxynitride superconductor Y. Ohashi, T. Motohashi, Y. Masubushi and Shinichi Kikkawa Abstract : Add to Reading List Source URL: www.jst.go.jp Language: English - Date: 2010-08-02 21:03:19 Levitation Quark matter Superconductivity Annealing Rietveld refinement Physics Matter Exotic matter
596	Report of the Joint Task Force for Restructuring and Refinement Washington State University Extension and Washington State Association of Counties (WSAC) Add to Reading List Source URL: sharepoint.cahnrs.wsu.edu Language: English - Date: 2012-06-14 14:20:48 Agriculture in the United States Rural community development Cooperative extension service American Association of State Colleges and Universities Washington State University Extension Energy Program Washington State University Vancouver Association of Public and Land-Grant Universities Washington State University Washington
597	A Link in the Chain From Oil Refinement to Baby Formula I Add to Reading List Source URL: www.ars.usda.gov Language: English - Date: 2003-01-02 07:51:25 Nutrition Martek Biosciences Corporation Omega-3 fatty acid Docosahexaenoic acid Essential fatty acid Fish oil Cottonseed oil Lipid Vegetable fats and oils Fatty acids Soft matter Food and drink
598	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: leecenter.caltech.edu Language: English - Date: 2009-05-08 13:31:13 Theoretical computer science Multi-agent system Distributed computing Actor model Applied mathematics Computing Models of computation Cybernetics Mathematical logic Mathematics Algorithm
599	Brian Toby’s EXPGUI: Easy to start a new refinement Run EXPGUI and go to the required directory and enter a new filename and press Add to Reading List Source URL: neutrons.ornl.gov Language: English - Date: 2012-05-02 17:14:03 Plot AS/400 Control Language Statistics Non-parametric statistics Histogram
600	Numerical methods – regional models with some impressions from the 9th SRNWP workshop on non-hydrostatic modelling (dynamics section), 16-18 May 2011, Bad Orb WGNE meeting[removed]Oct. 2011, Boulder, NCAR Add to Reading List Source URL: www.ral.ucar.edu Language: English - Date: 2011-12-23 17:33:29 Offenbach am Main Baldauf Weather Research and Forecasting model National Center for Atmospheric Research Adaptive mesh refinement Grid Atmospheric sciences Meteorology Deutscher Wetterdienst

UPDATE