Explore
Featured
Recent
Articles
Topics
Login
Upload
Featured
Recent
Articles
Topics
Login
Upload
Search Results for 'Refinement'
Refinement published presentations and documents on DocSlides.
Rietveld refinement of NASO
by smith
Fig S2yLi EuA-DRietveld refinement of the SXRD pat...
Refinement
by test
procedure for . native structure. phenix.refine. ...
Higher-order Program Verification as Refinement Type
by marina-yarberry
Inference. Hiroshi Unno (University of Tsukuba). ...
Refinement is the process of adjusting an atomic model to:
by test
Maximize agreement with diffraction data. Minimiz...
Refinement is the process of adjusting an atomic model to:
by kittie-lecroy
Maximize agreement with diffraction data. Minimiz...
Resolution: Implications in Refinement
by alexa-scheidler
Swanand. Gore & Gerard . Kleywegt. May 6. th...
Structured Event Refinement
by marina-yarberry
Michael Butler. University of Southampton. users....
Validation & optimisation
by jaena
From a solved structure to the final model. Robbie...
Refinement against cryo
by martin
-EM maps. Garib Murshudov. MRC-LMB, Cambridge, UK....
Freefinement Stephan van
by greemeet
Staden. , . Cristiano. Calcagno, Bertrand Meyer. ...
Ranjit Jhala Abstractions from Proofs
by alexa-scheidler
(With T. . Henzinger. , R. . Majumdar. , K. McMil...
Abstraction, Decomposition, Relevance
by pamella-moone
Coming to Grips with Complexity in Verification. ...
Realtime global illumination
by kittie-lecroy
and reflections in Dust 514. On the PS3, in 1080p...
User Profiling
by jane-oiler
by . Social . Curation. By. GENG . Xue. S. upervi...
Models – Refinement & Validation
by liane-varnes
Lewis & Clark Workshop. Macromolecular Crysta...
Intrinsic images and shape refinement
by myesha-ticknor
Xinxin. . Zuo. . 02/08/2016. Intrinsic decompos...
Stepwise Refinement
by kittie-lecroy
Eric Roberts. CS 106A. January 8, 2016. Outline. ...
Abstract Refinement Types
by jane-oiler
Niki. Vazou. 1. , Patrick M. Rondon. 2. , and ....
of Grain Refinement on the AI-Si Foundry Alloys
by lois-ondreau
Fluidity of Two Commercial DAHLE, P.A. TONDEL, C...
Abstraction, Decomposition, Relevance
by natalia-silvester
Coming to Grips with Complexity in Verification. ...
Advanced
by tawny-fly
GIS. Using. ESRI . ArcGIS. 9.3. Arc. . ToolBox....
An Analysis of ASPECT Mantle Convection Simulator
by phoebe-click
Performance. . and Benchmark Comparisons. Eric M...
Recommendations and Questions
by calandra-battersby
wwPDB/CCDC/D3R Ligand Validation Workshop. Center...
Building System Models for RE
by liane-varnes
Chapter 8. Modeling System Objectives with Goal D...
Automated and Modular Refinement Reasoning
by celsa-spraggs
for Concurrent Programs. Shaz Qadeer. The refinem...
is a theorem; this is called refinement. Since is implied by ,
by lindy-dunigan
We cannot complete that refinement due to a little...
Subdivision of
by myesha-ticknor
Bezier curves. Raeda. . Naamnieh. 1. Outline. 2....
Me www.RebelAlliance.se
by stefany-barnette
Twitter: Zebra_003. Jeff@RebelAlliance.se. Backlo...
More Complex Mapping Coming soon to an
by denver290
AFNI. program near you: . Nonlinear Warping. ...
Unstructured Mesh Family Contribution by Pointwise
by julia
Steve Karman. AIAA SciTech. January 21-22, 2021. 1...
Calibrating Feedback A Model for Establishing Consistent Expectations of Educator Practice
by hadley
Adapted from the MA Candidate Assessment of Perfor...
CCP4/Shanghai workshop 2019
by fanny
Data . Processing . with . iMosflm. Andrew . GW Le...
Source: C. Benton Monitoring Program Development
by fiona
David Senn, Emily . Novick. , . Anthony . Malkassi...
3DEXPERIENCE Mechanical Shape Refinement Designer Certification
by certsgotlearning
#Certification #Dumps #Certification_exam_Dumps
[PDF]-Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
by weslyzidon
The Desired Brand Effect Stand Out in a Saturated ...
[READ]-Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (Lecture Notes in Computer Science, 1283)
by clarencetaher
The Desired Brand Effect Stand Out in a Saturated ...
[eBOOK]-Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
by gordontanmaay
The Desired Brand Effect Stand Out in a Saturated ...
[READING BOOK]-Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (Lecture Notes in Computer Science, 1283)
by trevennaviin
The Desired Brand Effect Stand Out in a Saturated ...
[READING BOOK]-Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
by advayyaqub
The Desired Brand Effect Stand Out in a Saturated ...
[PDF]-Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (Lecture Notes in Computer Science, 1283)
by deshunousman
The Desired Brand Effect Stand Out in a Saturated ...
Load More...
![[PDF]-Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)](https://thumbs.docslides.com/993108/pdf-abstraction-refinement-and-proof-for-probabilistic-systems-monographs-in-computer-science.jpg)
![[READ]-Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (Lecture Notes in Computer Science, 1283)](https://thumbs.docslides.com/992258/read-modular-compiler-verification-a-refinement-algebraic-approach-advocating-stepwise-abstraction-lecture-notes-in-computer-science-1283.jpg)
![[eBOOK]-Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)](https://thumbs.docslides.com/977509/ebook-abstraction-refinement-and-proof-for-probabilistic-systems-monographs-in-computer-science.jpg)
![[READING BOOK]-Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (Lecture Notes in Computer Science, 1283)](https://thumbs.docslides.com/975820/reading-book-modular-compiler-verification-a-refinement-algebraic-approach-advocating-stepwise-abstraction-lecture-notes-in-computer-science-1283.jpg)
![[READING BOOK]-Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)](https://thumbs.docslides.com/972042/reading-book-abstraction-refinement-and-proof-for-probabilistic-systems-monographs-in-computer-science.jpg)
![[PDF]-Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (Lecture Notes in Computer Science, 1283)](https://thumbs.docslides.com/971348/pdf-modular-compiler-verification-a-refinement-algebraic-approach-advocating-stepwise-abstraction-lecture-notes-in-computer-science-1283.jpg)
