Invariant - PDFSEARCH.IO - Document Search Engine

Invariant
Results: 1457

#	Item
981	Noname manuscript No. (will be inserted by the editor) Loop Summarization using State and Transition Invariants Daniel Kroening · Natasha Sharygina · Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2012-10-23 07:45:17 Loop invariant Logic Interpretation Function Symbol Limit Μ operator Mathematics Model theory Control flow
982	A Consideration of Extra Dimensions and Simulated G∗ → γγ Production at the Upcoming Atlas Detector Marco Almeida∗ Vassar College Poughkeepsie, NY[removed]Summer 2006 REU Program Add to Reading List Source URL: www.nevis.columbia.edu Language: English - Date: 2006-08-11 17:01:53 Gauge bosons Quantum electrodynamics Mass Standard Model Photon Invariant mass ATLAS experiment Electron W and Z bosons Physics Particle physics Bosons
983	Pergamon PII: S0042[removed]Vision Res., Vol. 37, No. 23, pp[removed], 1997 © 1997ElsevierScienceLtd. All rights reserved Add to Reading List Source URL: redwood.berkeley.edu Language: English - Date: 2007-05-23 17:43:38 Segmentation Cosmic distance ladder Image resolution Scale invariance Image scaling Correlation and dependence Power law Scale-invariant feature transform Kadir–Brady saliency detector Image processing Physics Statistics
984	Sage Constructions Release 6.3 The Sage Development Team August 11, 2014 Add to Reading List Source URL: www.sagemath.org Language: English - Date: 2014-08-11 06:04:08 Mathematical series Commutative algebra Invariant theory Complex analysis Real analysis Sage Polynomial Taylor series Gröbner basis Mathematics Algebra Mathematical analysis
985	L OOPFROG — loop summarization for static analysis Daniel Kroening Oxford University Comp. Lab., UK Aliaksei Tsitovich University of Lugano, Switzerland Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2011-03-25 19:46:35 Computing Nonassociative algebra Loop invariant Abstract interpretation Group theory Invariant For loop Model checking Infinite loop Software engineering Control flow Computer programming
986	California Institute of Technology Physics 199Spring201(Spiropulu) HW2 dueMay) Prob1(20points)Thestronginteractionsareblindtoflavor.The⌃triplet ofbaryonsonlydi↵erinthenumberofuand Add to Reading List Source URL: www.hep.caltech.edu Language: English - Date: 2014-04-28 14:16:28 Invariant mass Drell–Yan process Spin Pseudorapidity Parton Four-momentum Baryon Meson Transverse mass Physics Particle physics Quark
987	camready_Hierarchy_of_datasets_ver19.dvi Add to Reading List Source URL: cbcl.mit.edu Language: English - Date: 2013-11-14 06:57:33 Optics Face recognition Scale-invariant feature transform Object recognition Face detection Visual cortex Facial recognition system Part-based models Face Vision Computer vision Artificial intelligence
988	The computational magic of the ventral stream Add to Reading List Source URL: cbcl.mit.edu Language: English - Date: 2012-03-26 11:49:34 Cerebrum Computer vision Visual system Visual perception Brain Visual cortex Object recognition Invariant Symmetry Cognitive science Anatomy Mind
989	Computer Science and Artificial Intelligence Laboratory Technical Report MIT-CSAIL-TR[removed]CBCL-312 June 18, 2013 Add to Reading List Source URL: cbcl.mit.edu Language: English - Date: 2013-06-20 16:39:10 Imaging Object recognition Pose Extrastriate body area Invariant Perception Scale-invariant feature transform Kadir–Brady saliency detector Computer vision Vision Optics
990	The computational magic of the ventral stream Add to Reading List Source URL: cbcl.mit.edu Language: English - Date: 2012-03-26 11:49:34 Cerebrum Computer vision Visual system Visual perception Brain Visual cortex Object recognition Invariant Symmetry Cognitive science Anatomy Mind