L-function

Results: 879



#Item
461Mathematics / Interpretation / Function / Circumscription / Skolem normal form / Predicate variable / Second-order logic / Mathematical logic / Logic / Model theory

General Domain Circumscription and its First-Order Reduction Patrick Doherty1? , Witold L ukaszewicz2?? , Andrzej Szalas2??? 1 Department of Computer and Information Science,

Add to Reading List

Source URL: www.ida.liu.se

Language: English - Date: 2012-02-03 06:10:24
462Telecommunications engineering / Ambiguity function / Space-time adaptive processing / Bistatic radar / Multistatic radar / Clutter / Radar engineering details / Passive radar / Radar / Technology / Wireless

CLUTTER DOPPLER RANGE DEPENDENCY IN ORTHOGONAL-WAVEFORM-DIVERSITY-PROCESSING FOR DISTRIBUTED APERTURE RADARS L. Landi* , R. S. AdveÝ *

Add to Reading List

Source URL: www.comm.toronto.edu

Language: English - Date: 2007-06-18 11:17:28
463Model theory / Circumscription / Interpretation / Function / Predicate variable / Term / Skolem normal form / Second-order logic / FO / Mathematical logic / Logic / Mathematics

General Domain Circumscription and its First-Order Reduction Patrick Doherty and Witold L ukaszewicz and Andrzej Szalas Abstract

Add to Reading List

Source URL: www.ida.liu.se

Language: English - Date: 2012-02-02 05:24:52
464Metric geometry / Engineering tolerance / Metrology / Quality / Rough set / Metric space / Function / Sheaf / Mathematics / Topology / Topological spaces

Tolerance Spaces and Approximative Representational Structures Patrick Doherty1 , Witold L  ukaszewicz1,2 , and Andrzej Szalas1,2 1

Add to Reading List

Source URL: www.ida.liu.se

Language: English - Date: 2012-02-09 03:45:27
465Organ failure / Renal function / Creatinine / Nephrology / Chronic kidney disease / Clearance / Clinical chemistry / Renal failure / Contrast-induced nephropathy / Anatomy / Renal physiology / Biology

L A B O R A T O R Y December 1, 2008 Technical Bulletin STANDARDIZED (IDMS) CREATININE TESTING

Add to Reading List

Source URL: www.lakelandhealth.org

Language: English - Date: 2014-11-13 06:18:04
466Predicate logic / Model theory / Formal languages / Circumscription / Logic programming / Well-formed formula / Monadic predicate calculus / Atomic formula / Function / Logic / Mathematical logic / Mathematics

Computing Circumscription Revisited: A Reduction Algorithm Patrick Doherty and Witold. L ukaszewicz and Andrzej Szalas Abstract

Add to Reading List

Source URL: www.ida.liu.se

Language: English - Date: 2012-02-02 05:30:59
467Organ failure / Kidney / Renal function / Kidney diseases / Nephrology / Chronic kidney disease / Renal failure / Creatinine / Bardoxolone methyl / Anatomy / Renal physiology / Biology

L A B O R A T O R Y Technical Bulletin July 1, 2014

Add to Reading List

Source URL: www.lakelandhealth.org

Language: English - Date: 2014-11-13 06:18:04
468Ordinal number / Dirac delta function / Numerical integration / Linear temporal logic / Mathematical analysis / Fourier analysis / Constructible universe

Cubature formulas of S.L. Sobolev: evolution of the theory and applications M.D. Ramazanov [removed]. D.Y. Rakhmatullin [removed]

Add to Reading List

Source URL: matem.anrb.ru

Language: English - Date: 2011-03-22 12:24:29
469Field 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
470Search algorithms / Natural language processing / Data management / Knowledge representation / Metadata / Technical communication / Jaccard index / Nearest neighbor search / Hash function / Information science / Science / Information

Signature Based Duplication Detection in Digital Libraries L. Padmasree, Vamshi Ambati, J. Anand Chandulal, M. Sreenivasa Rao Department of Electronics & Communication Engineering, VNRVJ Institute of Engg & Technology, H

Add to Reading List

Source URL: www.ulib.org

Language: English - Date: 2012-05-07 11:46:26
UPDATE