Nik - PDFSEARCH.IO - Document Search Engine

Nik
Results: 879

#	Item
171	NIK-aren Närkesbergsbygdens egen lokaltidning Nr – årgång 36 Byavandring Add to Reading List Source URL: www.bild-kultur.se Language: Swedish - Date: 2013-10-03 07:16:05
172	FINAL Nicotinic acid core CMI.dec08 Core CMI for Nicotinic Acid (Text in italics is instructional for the CMI writer only) Nicotinic acid Nicotinic acid (nik-o-TIN-ic AS-id) Add to Reading List Source URL: www.asmi.com.au Language: English - Date: 2015-04-15 07:30:03 Steroids Sterols Cardiology Lipoproteins Hepatology Cholesterol Statin Niacin High-density lipoprotein Chemistry Biology Medicine
173	TRIKE FEATURE TRIBUTE TRIBUTE! WORDS: NIK PICS: KING RAT Add to Reading List Source URL: www.rewacoownersclubuk.webs.com Language: English Film Science fiction Trike Predator Fiction
174	A Memory Aid for Reduced Cognitive Load in Manually Entered Online Bank Transactions Frode Eika Sandnes Faculty of Technology, Art and Design Oslo and Akershus University College of Applied Sciences Add to Reading List Source URL: www.nik.no Language: English - Date: 2013-01-14 08:46:48 Identification Identifiers Universal identifiers Financial regulation Barcodes Luhn algorithm Working memory RAM parity International Securities Identification Number Mind Memory Error detection and correction
175	LEO-II and Satallax on the Sledgehammer Test Bench Nik Sultanaa,∗, Jasmin Christian Blanchetteb , Lawrence C. Paulsona a Computer b Institut Laboratory, University of Cambridge, United Kingdom Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Logic in computer science Automated theorem proving Formal methods Lambda calculus Proof assistant Isabelle Logic for Computable Functions HOL First-order logic Theoretical computer science Mathematics Mathematical logic
176	Efficient Rule-Matching for Automated Coherent Logic Bjarne Holen, Dag Hovland , and Martin Giese, Department of Informatics, University of Oslo, Norway Abstract Coherent logic is a syntactically defined fragment of firs Add to Reading List Source URL: www.nik.no Language: English - Date: 2013-01-14 07:43:26 Automated theorem proving Rules of inference Logic programming Predicate logic Rete algorithm First-order logic Resolution Production system Admissible rule Logic Mathematics Mathematical logic
177	Nik Peachey \| Writer \| Trainer \| Learning Technology Consultant A MOBILE LANGUAGE LEARNING COMMUNITY H E L L O TA L K Add to Reading List Source URL: technogogy.org.uk - Date: 2014-12-18 09:03:24
178	Towards Efficient Simulation of Task Based Parallel Applications Alexandru C. Iordan, Magnus Jahre, Lasse Natvig Norwegian University of Science and Technology, Trondheim, Norway {iordan,jahre,lasse}@idi.ntnu.no Add to Reading List Source URL: www.nik.no Language: English Data analysis Data mining Machine learning Sampling Fast Fourier transform K-means clustering Sample size determination Simulation Profiling Statistics Geostatistics Cluster analysis
179	GPU-Based Airway Segmentation and Centerline Extraction for Image Guided Bronchoscopy Erik Smistad1 , Anne C. Elster1 , Frank Lindseth1,2 1) Norwegian University of Science and Technology 2) SINTEF Medical Technology. Tr Add to Reading List Source URL: www.nik.no Language: English - Date: 2013-01-14 08:08:24 Computer graphics Computer vision 3D imaging Image processing Graphics hardware Bronchoscopy Voxel Segmentation X-ray computed tomography Imaging 3D computer graphics Optics
180	Real-Time Surface Extraction and Visualization of Medical Images using OpenCL and GPUs Erik Smistad1 , Anne C. Elster1 , Frank Lindseth1,2 1) Norwegian University of Science and Technology 2) SINTEF Medical Technology. T Add to Reading List Source URL: www.nik.no Language: English - Date: 2013-01-14 08:11:34 Video cards GPGPU Nvidia Graphics hardware Video game development OpenCL CUDA Graphics processing unit Shader Computing Computer hardware Computer graphics

UPDATE