Invariant - PDFSEARCH.IO - Document Search Engine

Invariant
Results: 1457

#	Item
621	INVARIANT RELATIONS: A CONCEPT FOR ANALYZING WHILE LOOPS Ali Mili, NJIT NII, Tokyo, Japan December 20, 2011 Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2012-02-02 20:36:57 Formal methods Control flow Program logic Loop invariant Invariant Predicate transformer semantics First-order logic Logic Software engineering Computing Mathematics
622	Using Image Moment Invariants to Distinguish Classes of Geographical Shapes J. F. Conley, I. J. Turton, M. N. Gahegan 1 Pennsylvania State University Add to Reading List Source URL: www.geocomputation.org Language: English - Date: 2010-06-23 11:24:18 Computational statistics Statistical classification Invariant K-nearest neighbor algorithm Pattern recognition Classifier Cluster analysis Machine learning Statistics Artificial intelligence
623	The Invariant Distribution of References in Scientific Articles Marc Bertin1, Iana Atanassova1, Vincent Larivière2 and Yves Gingras3 1 be Add to Reading List Source URL: crc.ebsi.umontreal.ca Language: English - Date: 2014-10-31 14:09:22 Academia IMRAD PLoS ONE Public Library of Science Abstract PLoS Biology PLoS Computational Biology PLoS Neglected Tropical Diseases PLoS Pathogens Open access journals Publishing Academic publishing
624	A natural smooth compactification of the space of elliptic curves in projective space via blowing up the space of stable maps Ravi Vakil and Aleksey Zinger The moduli space of stable maps Mg,k (X, β) to a complex projec Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2006-07-13 09:52:48 Symplectic topology String theory Moduli theory Complex manifolds Gromov–Witten invariant Stable map Moduli space Resolution of singularities Projective space Geometry Abstract algebra Algebraic geometry
625	Programming Concurrency on the JVM Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2011-08-24 21:45:23 Software design patterns Method Threads Object-oriented programming C++ Constructor Java C++ classes Class invariant Computing Computer programming Software engineering
626	The Use of Rippling to Automate Event-B Invariant Preservation Proofs Yuhui Lin Alan Bundy Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Rippling Mathematical proof Lemmas Knowledge Mathematics Automated theorem proving Heuristics
627	11. Relativity A dialogue The student’s words are in plain text. My responses are in italics. What is time? I don’t know. Someone told me it was the fourth dimension. Add to Reading List Source URL: muller.lbl.gov Language: English - Date: 2007-05-27 17:10:20 Mass–energy equivalence Time dilation Mass in special relativity Speed of light Faster-than-light Lorentz factor Momentum Kinetic energy Invariant mass Physics Relativity Special relativity
628	Comparison of Optimal Location Estimators by Friedrich-Wilhelm Scholz Grad. (University of G¨ ottingen) 1965 Add to Reading List Source URL: www.stat.washington.edu Language: English - Date: 1998-04-21 09:06:24 Statistical inference M-estimators Robust statistics Estimator Invariant estimator Maximum likelihood Efficiency Normal distribution Variance Statistics Estimation theory Statistical theory
629	Littlewood-Richardson coefficients and the hive model Ronald C King School of Mathematics, University of Southampton Southampton, SO17 1BJ, England Presented at: Add to Reading List Source URL: www.personal.soton.ac.uk Language: English - Date: 2008-09-11 04:59:49 Symmetric functions Representation theory Invariant theory Algebraic combinatorics Littlewood–Richardson rule Schur polynomial Eigenvalues and eigenvectors Kronecker coefficient Λ-ring Algebra Abstract algebra Mathematics
630	ENGINEERING PHYSICS 3W4 DAY CLASS Dr. Wm. Garland DURATION: 30 minutes McMASTER UNIVERSITY QUIZ #1 January 27, 2000 Add to Reading List Source URL: www.nuceng.ca Language: English - Date: 2015-01-10 23:34:19 Control theory Electronic test equipment Electronic circuits Signal processing Convolution Image processing Oscilloscope Capacitor Time-invariant system Electromagnetism Technology Electronics

UPDATE