G-function - PDFSEARCH.IO - Document Search Engine

G-function
Results: 657

#	Item
221 $Integral calculus / Logarithms / Partial fractions / Differentiation rules / Hyperbolic function / Inverse trigonometric functions / Differential equation / Natural logarithm / Derivative / Mathematics / Mathematical analysis / Calculus$	Theoretical Computer Science Cheat Sheet Definitions iff ∃ positive c, n0 such that 0 ≤ f (n) ≤ cg(n) ∀n ≥ n0 . f (n) = O(g(n)) Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2003-09-21 22:04:26 Integral calculus Logarithms Partial fractions Differentiation rules Hyperbolic function Inverse trigonometric functions Differential equation Natural logarithm Derivative Mathematics Mathematical analysis Calculus
222	Dual Strategy Active Learning Pinar Donmez1 , Jaime G. Carbonell1 , and Paul N. Bennett2 1 2 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2007-07-02 19:34:27 Gaussian function Active learning Computational statistics Monte Carlo methods Statistics Mathematics Machine learning Sampling Survey methodology
223	ECB350 Long Range Multi-function Gigabit Access Point 2.4GHz 300Mbps 11b/g/n 29dBm AP/Router/WDS Bridge/WDS AP/WDS station/CB/CR/UP ECB350 is a 300Mbps wireless-n multi-function gigabit AP which offers unlimited coverage Add to Reading List Source URL: www.keenansystems.com Language: English - Date: 2013-02-14 11:18:34 Technology Wireless networking Local area networks Wireless LAN Virtual LAN IEEE 802.3 Power over Ethernet Wi-Fi Router Networking hardware Computing OSI protocols
224 $Continued fraction / Valuation / Liouville number / Meijer G-function / Mathematics / Euclidean algorithm / Closed and exact differential forms$	Journal of Mathematical Sciences, Vol. 137, No. 2, 2006 ON STATISTICAL PROPERTIES OF FINITE CONTINUED FRACTIONS A. V. Ustinov∗ UDC Add to Reading List Source URL: iam.khv.ru Language: English - Date: 2013-08-25 18:50:44 Continued fraction Valuation Liouville number Meijer G-function Mathematics Euclidean algorithm Closed and exact differential forms
225	Notes from the logbook of a proof-checher’s project? Domenico Cantone1 , Eugenio G. Omodeo2 , Jacob T. Schwartz3 , Pietro Ursino1 1 3 Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 10:47:18 Function Injective function Constructible universe Computability theory Μ-recursive function Fréchet derivative Mathematics Mathematical analysis Functions and mappings
226	The Ref proof-checker and its “common shared scenario” Eugenio G. Omodeo December 3, 2011 · · · l’histoire g´eologique nous montre que la vie n’est qu’un court ´episode entre deux ´eternit´es de mort, et Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 08:24:18 Function Automata theory Computability theory Theory of computation COMPASS/Sample Code IIHF World U18 Championships – Division II Mathematics Functions and mappings Constructible universe
227	SEPARABLE SUBSETS OF GFERF NEGATIVELY CURVED GROUPS ASHOT MINASYAN Abstract. A word hyperbolic group G is called GFERF if every quasiconvex subgroup coincides with the intersection of finite index subgroups containing Add to Reading List Source URL: www.personal.soton.ac.uk Language: English - Date: 2006-11-13 05:32:48 Combinatorics on words Geometric group theory Real analysis Lie groups Quasiconvex function Hyperbolic group Kleinian group Residually finite group HNN extension Abstract algebra Group theory Mathematics
228	Function Information General Information Room Hire & Entertainment You will receive FREE room hire for the night and you can supply your own DJ or band if you would like. If you would prefer to have our jukebox we will g Add to Reading List Source URL: www.thenewie.com.au Language: English - Date: 2014-05-28 00:25:30 Real property law Menu Written communication Function Lease Accounts payable Deposit Law Business Private law
229	A ‘theory’ mechanism for a proof-verifier based on first-order set theory ? Eugenio G. Omodeo1 and Jacob T. Schwartz2 1 2 Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 10:43:38 Functions and mappings Function Axiom schema of replacement First-order logic Equivalence relation Model theory Μ operator Primitive recursive function Mathematics Mathematical logic Logic
230	Motivation Intra-procedural analysis depends upon accurate control-flow information. In the presence of certain language features (e.g. indirect calls) it is nontrivial to predict accurately how control may flow at execu Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-02-23 06:00:00 Mathematical logic Function Lambda calculus Control flow analysis Combinatory logic Fixed-point combinator Mathematics Data-flow analysis Theoretical computer science

UPDATE