Refinement - PDFSEARCH.IO - Document Search Engine

Refinement
Results: 838

#	Item
371	Refinement Checking of Self-Adaptive Embedded Component Architectures∗ Christian Heinzemann, Stefan Henkler Martin Hirsch Add to Reading List Source URL: www.fujaba.de Language: English - Date: 2011-11-08 14:36:31 Automata theory Diagrams UML diagrams Digital electronics Computing UML state machine State diagram Graph rewriting Finite-state machine Models of computation Software engineering Theoretical computer science
372	User Queries for Specification Refinement Treating Shared Aspect Join Points Emilia Katz, Shmuel Katz Computer Science Department Technion – Israel Institute of Technology Haifa, Israel Email: {emika, katz}@cs.technion Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-03-31 08:15:27 Aspect-oriented software development Join point Pointcut AspectJ Spring Framework Advice Monad Actor model Grammatical aspect Software development Software Aspect-oriented programming
373	The SHELX-97 Manual Contents 1. General Introduction to SHELXSHELXL: Structure refinement 3. Examples of Small Molecule Refinements with SHELXL 4. Constraints and Hydrogen Atoms Add to Reading List Source URL: shelx.uni-ac.gwdg.de Language: English - Date: 2013-02-25 13:25:45 Computing Application software Data String STING Binary file ShelXle Data types Science Crystallography
374	Structure refinement with SHELX Roland Pfoh Saskatoon Synchrotron Summer School V June 16, 2010 Add to Reading List Source URL: shelx.uni-ac.gwdg.de Language: English - Date: 2013-02-25 13:25:44 Application software Coot Molecule Macromolecule Order and disorder Science Chemistry Crystallography
375	Microsoft Word - Prob48.doc Add to Reading List Source URL: www.adina.com Language: English - Date: 2015-01-30 12:42:13 Fluid dynamics Adaptive mesh refinement Computer icon Computational fluid dynamics
376	A separation logic for refining concurrent objects Aaron Turon and Mitchell Wand Northeastern University Abstract. Fine-grained concurrent data structures are crucial for gaining performance from multiprocessing, but the Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-04-16 18:04:12 Program refinement Denotational semantics Logic Symbol Entailment
377	Formal Derivation of State-Rich Reactive Programs using Circus Marcel Vin´ıcius Medeiros Oliveira Submitted for the degree of Doctor of Philosophy Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2014-11-17 14:56:11 Computer science Logic in computer science Formal methods Programming language semantics Denotational semantics JCSP Circus Refinement calculus Unifying Theories of Programming Theoretical computer science Computing Concurrent computing
378	Graph Sparsification via Refinement Sampling Ashish Goel∗ Michael Kapralov† Sanjeev Khanna‡ Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-12-09 10:13:50 Graph connectivity Spanning tree Analysis of algorithms Combinatorial optimization Connected component SL Connectivity Matching K-edge-connected graph Theoretical computer science Graph theory Computational complexity theory
379	Articles Atomic-accuracy models from 4.5-Å cryo-electron microscopy data with density-guided iterative local refinement Add to Reading List Source URL: www.bakerlab.org Language: English - Date: 2015-05-15 05:37:17 Resolution Homology modeling Cryo-electron microscopy X-ray crystallography Single particle analysis Fourier shell correlation Molecular model Beta sheet Protein structure Biology Chemistry
380	VIIRS Surface Type algorithm refinement and preliminary validation Logo Rui Add to Reading List Source URL: www.orbit.nesdis.noaa.gov Language: English - Date: 2014-05-22 09:18:44 Frequency modulation Indian general election full results Demographics of Newfoundland and Labrador

UPDATE