F-theory - PDFSEARCH.IO - Document Search Engine

F-theory
Results: 2982

#	Item
71	How To Have Your Cake and Eat It, Too: Self-Applicable Online Partial Evaluation Michael Sperber Wilhelm-Schickard-Institut fur Informatik Universitat Tubingen Sand 13, DTubingen, Germany Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:37 Software engineering Computing Computer programming Subroutines Data types Type theory Object-oriented programming languages Functional languages Partial evaluation Scala Recursion Memoization
72	Final test: Type Theory and Coqjanuary 2011, 10:30–12:30, HG00.308 The mark for this test is the total number of points divided by ten, where the first 10 points are free. 1. Give a term of the simply typed la Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-01-18 05:58:42 Mathematical logic Logic Type theory Theoretical computer science Lambda calculus Dependently typed programming Proof theory Logic in computer science CurryHoward correspondence Dependent type System F Simply typed lambda calculus
73	DIVISIBILITY THEORY OF ARITHMETICAL RINGS WITH ONE MINIMAL PRIME IDEAL ´ P. N. ANH AND M. F. SIDDOWAY Version 0.0 Add to Reading List Source URL: www.renyi.hu Language: English - Date: 2015-01-13 05:18:27 Algebra Abstract algebra Mathematics Semigroup theory Algebraic structures Category theory Formal languages Probability distributions Monoid Semigroup Inverse element Normal distribution
74	DEMYSTIFYING QUANTUM MECHANICS A WORKBOOK Edwin F. Taylor Department of Physics, Emeritus Add to Reading List Source URL: www.eftaylor.com Language: English - Date: 2001-04-23 17:33:44 Physics Quantum field theory Quantum electrodynamics Particle physics Renormalization group Quantum mechanics Richard Feynman QED: The Strange Theory of Light and Matter Introduction to quantum mechanics Renormalization Feynman diagram Electron
75	f Sma l l oundat ion THEORY OF CHANGE THE MACRO-LEVEL ECOSYSTEM c Peace, order, political stability Add to Reading List Source URL: www.smallfoundation.ie Language: English - Date: 2014-11-06 11:46:17 Sustainable development International development
76	1 Preliminaries: A function f : R −→ R is additive if it satisfies the Cauchy equation (CE) f (x+y) = f (x)+f (y) Add to Reading List Source URL: www.math.ku.dk Language: English - Date: 2015-05-26 11:57:26 Mathematical analysis Measure theory Distribution Support Lebesgue integration Measurable function Differential forms on a Riemann surface It diffusion
77	Efficient Optimization of Many Objectives by Approximation-Guided Evolution Markus Wagnerc,∗, Karl Bringmanna , Tobias Friedrichb , Frank Neumannc a Max-Planck-Institut f¨ Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-01-03 06:48:47 Mathematical optimization Computational complexity theory Theory of computation Applied mathematics Academia Evolutionary algorithms Operations research Cybernetics Multi-objective optimization Reduction Algorithm CMA-ES
78	Polynomial Ideals Arithmetic for polynomial ideals supported by Gr¨obner bases Version 1.0 May 1992 Herbert Melenk Konrad-Zuse-Zentrum f¨ ur Informationstechnik Add to Reading List Source URL: reduce-algebra.com Language: English - Date: 2008-12-30 11:46:42 Algebra Abstract algebra Mathematics Algebraic structures Computer algebra Commutative algebra Invariant theory Algebraic geometry Grbner basis Ideal Polynomial Pure
79	Copyright Ó 2010 by the Genetics Society of America DOI: geneticsPatterns of Neutral Genetic Variation on Recombining Sex Chromosomes Mark Kirkpatrick,1 Rafael F. Guerrero and Samuel V. Scarpino Sect Add to Reading List Source URL: scarpino.github.io Language: English - Date: 2016-08-09 12:08:56 Genetics Biology Chromosomes Cytogenetics Population genetics Biology of gender Molecular genetics Y chromosome Coalescent theory Sex-determination system Homologous chromosome ZW sex-determination system
80	Tracing in REDUCE Herbert Melenk Konrad–Zuse–Zentrum f¨ ur Informationstechnik Berlin Takustraße 7 Add to Reading List Source URL: reduce-algebra.com Language: English - Date: 2008-12-30 11:47:44 Software engineering Computer programming Programming language theory Functional languages Lisp Trigonometric functions Subroutine Exponentiation Constructor