B-Method - PDFSEARCH.IO - Document Search Engine

B-Method
Results: 1203

#	Item
441	Artificial Intelligence[removed]–156 Decomposable constraints ✩ Ian Gent a , Kostas Stergiou b,∗ , Toby Walsh c a APES Research Group, School of Computer Science, University of St Andrews, Scotland, UK b APE Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-01-21 00:51:04 Artificial intelligence Local consistency Constraint satisfaction problem Constraint satisfaction Constraint inference Decomposition method Complexity of constraint satisfaction Constraint programming Software engineering Computer programming
442	Department of Energy § 430.2 APPENDIX Z TO SUBPART B OF PART 430—UNIFORM TEST METHOD FOR MEASURING THE ENERGY CONSUMPTION OF EXTERNAL Add to Reading List Source URL: www.gpo.gov Language: English - Date: 2014-09-03 15:41:43 Fluorescent lamp Incandescent light bulb Compact fluorescent lamp Lighting Electrical ballast Light fixture Light-emitting diode Halogen lamp Electrodeless lamp Gas discharge lamps Light Electromagnetism
443	Image and Vision Computing[removed]–209 www.elsevier.com/locate/imavis Nonlinear optimisation method for image segmentation and noise reduction using geometrical intrinsic properties S. Mahmoodi a,, B.S. Sharif b Add to Reading List Source URL: eprints.soton.ac.uk Language: English* - Date: 2009-12-08 13:55:37 Differential geometry Mathematical analysis Active contour model Segmentation Gaussian curvature Differential geometry of surfaces Gaussian function Computer vision Image processing Geometry
444	SCHOOL OF COMPUTER SCIENCE & ENGINEERING A Formal Model of the L4 µ-kernel API Using the B Method Rafal Kolanski Add to Reading List Source URL: www.ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:10:09 Kernel Monolithic kernels Mach Thread Formal verification Linux kernel Operating system Ring Isabelle Computer architecture Computing L4 microkernel family
445	SOCIAL RESEARCH METHODS CORE COURSE B.A SOCIOLOGY IV SEMESTER[removed]Admission) Add to Reading List Source URL: www.universityofcalicut.info Language: English - Date: 2012-10-30 01:18:03 Philosophy of science Scientific method Research Epistemology Science studies Social research Empirical research Theory Hypothesis Science Knowledge Ethology
446	PHYSICAL REVIEW B 69, 205308 共2004兲 High-field wave packets in semiconductor quantum wells: A real-space finite-difference time-domain formalism S. Hughes* Department of Physics, University of Surrey, Guildford GU2 Add to Reading List Source URL: epubs.surrey.ac.uk Language: English - Date: 2013-09-23 14:27:56 Electromagnetism Terahertz radiation Franz–Keldysh effect Infrared Quantum-confined Stark effect Resonance Microwave Finite-difference time-domain method Electromagnetic radiation Physics Electromagnetic spectrum
447	MATHEMATICAL METHODS NUMERICAL DIFFERENTIATION & INTEGRATION I YEAR B.Tech AS PER JNTU-HYDERABAD NEW SYLLABUS Add to Reading List Source URL: sakshieducation.com Language: English - Date: 2012-05-30 09:36:03 Numerical analysis Numerical integration Finite difference Predictor–corrector method Trapezoidal rule Integral Partial differential equation Interpolation Polynomial interpolation Mathematics Mathematical analysis Algebra
448	USING CONSTRAINTS TO ACHIEVE STABILITY IN AUTOMATIC GRAPH LAYOUT ALGORITHMS Karl-Friedrich B ohringer Add to Reading List Source URL: www.ee.washington.edu Language: English - Date: 2003-07-05 01:09:00 Graph operations Network flow Local consistency Force-based algorithms Topological sorting Flow network Line graph Graph Decomposition method Graph theory Constraint programming Graph drawing
449	Folding the Ohio Flag Alex Weinstock, an Eagle Scout from Ohio’s Junction City Troop 260, devised the following method of folding the burgee-shaped Ohio state flag as his Eagle project. This recommended procedure has b Add to Reading List Source URL: www.muskingumvalleycouncil.com Language: English - Date: 2013-02-18 21:14:43 Computer programming Flag of the United States Flag of Ohio Software engineering Computing
450	PEER-REVIEWED ARTICLE bioresources.com METHOD TO PREPARE SMOOTH AND EVEN CELLULOSELIGNOPHENOL FILMS Tekla Tammelin,a,* Ali Harlin,a Marianna Vehviläinen,b Pertti Nousiainen,b Add to Reading List Source URL: www.ncsu.edu Language: English - Date: 2011-05-09 01:09:12 Chemistry Matter Polysaccharides Materials Textiles Lignin Hemicellulose Pulp Cellulase Cellulose Papermaking Biology

UPDATE