Invariant

Results: 1457



#Item
851Homology theory / Algebraic topology / 3-manifolds / Finite type invariant / Homotopy / Knot invariant / Singular homology / Rational homotopy theory / Clifford Taubes / Topology / Homotopy theory / Knot theory

SOME PROBLEMS ARISING FROM HOMOTOPY-THEORETIC METHODS IN KNOT THEORY ´ May 25, 2010 ISMAR VOLIC, This is a partial list of some interesting questions that arose in the past decade or so from

Add to Reading List

Source URL: palmer.wellesley.edu

Language: English - Date: 2010-05-25 22:15:28
852Knowledge / Planning Domain Definition Language / Invariant / Logic programming / Emmy Noether / Domain knowledge / Relevance / Preference-based planning / Automated planning and scheduling / Science / Artificial intelligence

Domain Knowledge in Planning: Representation and Use Patrik Haslum Ulrich Scholz Knowledge Processing Lab

Add to Reading List

Source URL: www.ida.liu.se

Language: English - Date: 2012-02-01 04:45:01
853Mathematics / Electronics / And-inverter graph / Diagrams / Retiming / Invariant / Logic synthesis / Directed acyclic graph / Functional dependency / Electronic engineering / Formal methods / Electronic design automation

Invariant-Strengthened Elimination of Dependent State Elements Michael L. Case1,2 Alan Mishchenko1 1

Add to Reading List

Source URL: www.bvsrc.org

Language: English - Date: 2008-05-19 21:42:19
854Field theory / Symbol / Valuation / Algebraic number field / Modular form / Spectral theory of ordinary differential equations / Beta code / Abstract algebra / Algebra / Mathematics

Vanishing of the µ–invariant of p–adic Hecke L–functions Haruzo Hida Abstract We prove vanishing of the µ-invariant of the p-adic Katz L-function in [K]. 1. Introduction

Add to Reading List

Source URL: www.math.ucla.edu

Language: English - Date: 2011-06-29 17:42:30
855Imaging / Feature / SURF / JPEG / Select / OpenCV / Scale-invariant feature transform / Computer vision / Image processing / Vision

The OpenCV User Guide Release[removed]April 21, 2014 CONTENTS

Add to Reading List

Source URL: docs.opencv.org

Language: English - Date: 2014-04-21 09:17:34
856Classical mechanics / Physical quantities / Natural philosophy / Momentum / Mass–energy equivalence / Flywheel / Force / Invariant mass / Energy / Physics / Mass / Introductory physics

PDF Document

Add to Reading List

Source URL: quasar.as.utexas.edu

Language: English - Date: 2005-04-11 01:57:29
857Architecture / Laminate / Fiberglass / Carbon-fiber-reinforced polymer / Strength of materials / Composite materials / Materials science / Technology

Microsoft Word - CW Invariant approach to certification[removed]docx

Add to Reading List

Source URL: www.compositesworld.com

Language: English - Date: 2014-07-09 13:58:05
858Virology / Microbiology / Epidemiology / Coinfection / HIV / Viral load / Antiretroviral drug / Immune system / Hepatitis C virus / HIV/AIDS / Medicine / Biology

Subject Matter: Coinfections MUCOSAL-ASSOCIATED INVARIANT T (MAIT) CELL DEPLETION AND EXHAUSTION IN HIV/HCV COINFECTION Sonya MacParland 1; Ali Fawaz 1; Warmond Chan 2; Colin Kovacs 3; David Wong 2; Mario Ostrowski 1; 1

Add to Reading List

Source URL: backtobasic.ohtn.on.ca

Language: English - Date: 2014-11-03 14:03:48
859Constraint programming / Electronic design automation / Logic in computer science / Satisfiability Modulo Theories / LLVM / Z3 / Invariant / Model checking / Theoretical computer science / Computing / Software engineering

FrankenBit: Bit-Precise Verification with Many Bits (Competition Contribution)? Arie Gurfinkel1 and Anton Belov2 1 Carnegie Mellon Software Engineering Institute

Add to Reading List

Source URL: anton.belov-mcdowell.com

Language: English - Date: 2014-01-27 10:25:19
860Education reform / Mathematics education / Rote learning / Invariant / Circle / Mathematics / Van Hiele model / Literature Circles in EFL / Education / Geometry / Pedagogy

Secondary Mathematics Unit 8: Exploring the circle: enacting vocabulary and asking questions

Add to Reading List

Source URL: www.teindia.nic.in

Language: English - Date: 2014-03-18 05:12:28
UPDATE