Refinement - PDFSEARCH.IO - Document Search Engine

Refinement
Results: 838

#	Item
111	DISIͲViaSommarive14Ͳ38123PovoͲTrento(Italy) http://www.disi.unitn.it REPORT ON THE REFINEMENT Add to Reading List Source URL: disi.unitn.it Language: English - Date: 2014-09-10 09:40:14 Semantic Web Computing Information science Information Ontology Linked data Resource Description Framework Ontotext Semantic search
112	Raising Level of Abstraction with Partial Models: A Vision Marsha Chechik1 , Arie Gurfinkel2 , Sebastian Uchitel3 , and Shoham Ben-David1 1 3 Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-31 06:33:48 Software engineering Formal methods Models of computation Computing Engineering Model checking Object Process Methodology Conceptual model MTSS Scientific modelling Refinement Transition system
113	A semi-Lagrangian AMR scheme for 2D transport problems in conservation form Pep Mulet, Francesco Vecil abstract In this paper, we construct a semi-Lagrangian (SL) Adaptive-Mesh-Refinement (AMR) solver Add to Reading List Source URL: francescovecil.it Language: English - Date: 2015-04-03 05:38:20 Mathematics Interpolation Polynomials Polynomial interpolation Lagrange polynomial Partition of an interval Cover
114 $Crystallography / Chemistry / Nature / Le Bail method / Refinement / Diffractometer / Physics$	June 12th through June 19th 8:30 – 9:30 9:30 – 10:30 10:45 – 11:45 Add to Reading List Source URL: acasummercourse.net Language: English - Date: 2016-04-25 14:50:44 Crystallography Chemistry Nature Le Bail method Refinement Diffractometer Physics
115	1 Runtime Programming through Model-Preserving, Scalable Runtime Patches ∗ Add to Reading List Source URL: www.cs.uni-salzburg.at Language: English Software engineering Software Computing Patch Refinement Pascal Scope Program analysis Max
116	Towards Correct-by-Construction SDN Leonid Ryzhyk1 , Nikolaj Bjørner2 , Marco Canini3 , Jean-Baptiste Jeannin1 , Nina Narodytska1 , Cole Schlesinger1 , Douglas B. Terry1 , and George Varghese2 1 Samsung Research Americ Add to Reading List Source URL: conferences.sigcomm.org Language: English - Date: 2016-07-31 22:09:02 Computing Network architecture Emerging technologies Software engineering Configuration management Software-defined networking Information technology management Programming paradigms Refinement Programming language Model checking SIGCOMM
117	Floating-Point Precision Tuning Using Blame Analysis Cuong Nguyen1 , Cindy Rubio-Gonz´alez1 , Benjamin Mehne1 , Koushik Sen1 , James Demmel1 , William Kahan1 , Costin Iancu2 , Wim Lavrijsen2 , David H. Bailey2 , and Dav Add to Reading List Source URL: crd.lbl.gov Language: English - Date: 2015-04-20 03:24:44 Computer arithmetic Computing Mathematics Theoretical computer science Extended precision IEEE floating point Iterative refinement Long double Significant figures Speedup Double-precision floating-point format
118	D:E_FINAL 3-2010cad04PaginatedFilesd-skundud-skunduproof Add to Reading List Source URL: mesl.ucsd.edu Language: English - Date: 2011-04-30 20:20:23 Formal methods Mathematical logic Algorithm Theoretical computer science Refinement
119	641 Documenta Math. Refinement of Tate’s Discriminant Bound and Non-Existence Theorems for Mod p Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2003-12-22 16:28:43 Abstract algebra Algebra Class field theory Mathematics Conjectures Artin L-function Generalized Riemann hypothesis Representation theory Conductor Representation theory of Lie groups Zonal spherical function
120	Program Reference Manual The TNT Refinement Package Dale E. Tronrud This manual is consistent with Release 5-F of TNT. Detailed information about the package and methods used can be found in the Add to Reading List Source URL: www.uoxray.uoregon.edu Language: English - Date: 2012-05-10 18:12:19 Computing Software engineering Software Computer programming Refinement Trinitrotoluene Diff utility TNT Fortran Q

UPDATE