Refinement - PDFSEARCH.IO - Document Search Engine

Refinement
Results: 838

#	Item
131	GBE Physical Mapping and Refinement of the Painted Turtle Genome (Chrysemys picta) Inform Amniote Genome Evolution and Challenge Turtle-Bird Chromosomal Conservation Add to Reading List Source URL: www.public.iastate.edu Language: English - Date: 2015-11-12 05:50:16 Genetics Biology Cytogenetics Genomics Chromosomes Evolutionary biology Comparative genomic hybridization Sex-determination system Karyotype Microchromosome Bacterial artificial chromosome Turtle
132	University of Science and Technology of China A dissertation submitted for the degree of PhD Refinement Verification of Concurrent Programs and Its Applications Add to Reading List Source URL: staff.ustc.edu.cn Language: English - Date: 2015-04-24 09:43:54 Theoretical computer science Logic in computer science Formal methods Software engineering Formal verification Refinement Linearizability Correctness Operational semantics Semantics Concurrency Algorithm
133	Rudolf: Interactive Rule Refinement System for Fraud Detection Tova Milo 1 Slava Novgorodov 1 1 Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2016-08-04 06:51:27 Economy Money Business Payment systems E-commerce Merchant services Identity theft Computer network security Credit card fraud Fraud Computer security Credit card
134	Diseases of Amphibians Christine L. Densmore and David Earl Green Abstract The development and refinement of amphibian medicine Add to Reading List Source URL: www.amphibianark.org Language: English - Date: 2014-04-05 19:23:12 Biology Medicine Veterinary medicine Iridoviridae Amphibians Ranavirus Chytridiomycosis Batrachochytrium Ribeiroia Infection Virus Wyoming toad
135	Computational Science and Engineering (Int. Master’s Program) Technische Universität München Master’s Thesis Add to Reading List Source URL: www5.in.tum.de Language: English Adaptive mesh refinement AMR Computational fluid dynamics
136	Technische Universität München Fakultät für Informatik Computational Science and Engineering (Int. Master’s Program) Parallel Refinement and Coarsening of recursively Add to Reading List Source URL: www5.in.tum.de Language: English Calculus Mathematics Physics Partial differential equations Shallow water equations Xi Differential equation Vector space
137 $Diffraction / Rietveld / ICDD / Powder diffraction / Mail / Learning / Physics$	ICDD Course Registration Form ICDD Specialized Workshops Rietveld Refinement & Indexing—BasicSeptember 2016 Add to Reading List Source URL: www.icdd.com Language: English - Date: 2016-06-30 09:49:47 Diffraction Rietveld ICDD Powder diffraction Mail Learning Physics
138	Towards Feature-Oriented Specification and Development with Event-B Michael R. Poppleton School of Electronics and Computer Science University of Southampton Southampton, SO17 1BJ, UK Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-12-11 09:56:52 Formal methods Theoretical computer science Project management Computer programming Refinement B-Method Feature model Model checking Object Process Methodology Software development process Algorithm Economic model
139	experienced in the software domain. For example, the notion of a variable in software often becomes a wire in hardware with very different semantics. Hardware, at least synchronous anyway, has the notion of a clock and o Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2006-08-22 04:59:46 Technical communication Hardware description languages Functional languages Atom Real-time computing Bluespec Formal methods SystemVerilog Type system Verilog Interface Refinement
140	SliceAndMerge: A Rodin Plug-in for Refactoring Refinement Structure of Event-B Machines Tsutomu Kobayashi (University of Tokyo), Aivar Kripsaar (RWTH Aachen University), Fuyuki Ishikawa (NII, Japan), and Shinichi Honiden Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-25 03:56:50 Formal methods B-Method Auguste Rodin Rodin Tsutomu Decomposition Refinement

UPDATE