Symbol - PDFSEARCH.IO - Document Search Engine

Symbol
Results: 9617

#	Item
361	Symbolic Evaluation Graphs and Term Rewriting — A General Methodology for Analyzing Logic Programs ∗ J¨urgen Giesl Thomas Str¨oder Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2012-07-18 09:07:52 Logic Mathematical logic Theoretical computer science Automated theorem proving Logic programming Logic in computer science Type theory Logical truth Substitution Unification Admissible rule Symbol
362	Classifying Regular Languages by a Split Game Qiqi Yan∗ BASICS Laboratory, Department of Computer Science and Engineering, Shanghai Jiao Tong University, 200240, Shanghai, P.R. China Add to Reading List Source URL: www.qiqiyan.com.s3-website-us-east-1.amazonaws.com Language: English - Date: 2012-07-04 18:28:36 Formal languages Mathematical analysis Mathematics Theoretical computer science Symbol Omega language Constructible universe Regular language Star height Linear temporal logic Differential forms on a Riemann surface
363	Friends with Benefits Implementing Foundational Corecursion in Proof Assistants Jasmin Christian Blanchette Aymeric Bouzy Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-07-18 12:57:54 Declarative programming Software engineering Computer programming Functional programming Theoretical computer science Category theory Recursion Type theory Corecursion Symbol Stream Constructible universe
364	SIAM J. Matrix Anal. Appl. (SIMAX), 18(1):83–103, 1997 BOUNDS FOR THE COMPONENTWISE DISTANCE TO THE NEAREST SINGULAR MATRIX S. M. RUMP Add to Reading List Source URL: www.ti3.tu-harburg.de Language: English - Date: 2005-11-23 09:09:25 Algebra Mathematics Matrix theory Linear algebra Symbol Determinant Matrix Orthogonal matrix Holomorphic functional calculus Fidelity of quantum states
365 $Symbol / Continued fractions / Riemann surfaces / Mathematical analysis / Table of stars with Bayer designations / Orbifold$	MIMS Technical Report No) RAY-SINGER ZETA FUNCTIONS FOR COMPACT FLAT MANIFOLDS TOSHIKAZU SUNADA AND HAJIME URAKAWA Add to Reading List Source URL: www.mims.meiji.ac.jp Language: English - Date: 2015-04-16 22:07:25 Symbol Continued fractions Riemann surfaces Mathematical analysis Table of stars with Bayer designations Orbifold
366	Microsoft Word - How to Properly Use the PDMM Designation Add to Reading List Source URL: www.aadmm.com Language: English - Date: 2016-04-28 09:24:48 Trademark law Product management Intellectual property law Trademark Registered trademark symbol Email Registered Brand management Computing United States trademark law Creativity
367	Smoothing of quasilinear parabolic operators and applications to forward-backward stochastic systems Giuseppina Guatteri Dipartimento di Matematica, Politecnico di Milano piazza Leonardo da Vinci 32, 20133 Milano, Italia Add to Reading List Source URL: www.istfin.eco.usi.ch Language: English - Date: 2009-01-27 07:44:25 Symbol Table of stars with Bayer designations
368	Named Entity Recognition in Query Jiafeng Guo† , Gu Xu‡ , Xueqi Cheng† , Hang Li‡ † ‡ Add to Reading List Source URL: www.cse.iitb.ac.in Language: English - Date: 2013-05-05 15:58:46 Statistical natural language processing Machine learning Statistics Artificial intelligence Latent Dirichlet allocation Topic model Dynamic topic model Language model Latent semantic analysis Symbol Expectationmaximization algorithm Likelihood function
369	entropymethodV11-SODA-cameraready.dvi Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2013-11-01 17:11:52 Mathematics Mathematical analysis Algebra Representation theory of Lie algebras Representation theory of Lie groups Weight Symbol Graph coloring Spectral theory of ordinary differential equations Klein transformation
370	601 Documenta Math. A Conductor Formula for Completed Group Algebras Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2014-07-13 08:40:27 Abstract algebra Algebra Mathematics Clifford theory Representation theory Conductor Character theory Symbol Table of stars with Bayer designations

UPDATE