C-function - PDFSEARCH.IO - Document Search Engine

C-function
Results: 2520

#	Item
921	Lantana -- Multi-Function Modulator with Web-Based Management Add to Reading List Source URL: www.dveo.com Language: English - Date: 2015-03-15 01:43:26 Broadcasting Broadcast engineering High-definition television Television technology DVB-T2 DVB-T ISDB DVB-C DVB-H Digital television Electronic engineering DVB
922	Flow-Sensitive Type Recovery in Linear-Log Time Michael D. Adams ∗ , Andrew W. Keep∗ , Jan Midtgaard† , Matthew Might‡ , Arun Chauhan∗ , R. Kent Dybvig∗ Abstract the cost of run-time type checks. This cost c Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2012-04-14 12:13:51 Models of computation Logic Mathematical logic Function Data-flow analysis Free variables and bound variables Algorithm Lambda calculus Monad Mathematics Elementary mathematics Theoretical computer science
923	Introduction to Object Oriented programming with C++ CISM/CÉCI Training Sessions -‐ Etienne Huens Add to Reading List Source URL: www.cism.ucl.ac.be Language: English - Date: 2014-10-20 10:50:31 C++ Method Cross-platform software Procedural programming languages Java programming language Constructor Objective-C Constant Function overloading Software engineering Computing Computer programming
924	Journal of Risk c and Uncertainty, Add to Reading List Source URL: people.few.eur.nl Language: English - Date: 2015-03-11 05:16:05 Functional analysis Monotonic function Order theory Real analysis Continuous function Utility Mathematical analysis Mathematics Decision theory
925	A PROBABILISTIC POLYNOMIAL-TIME PROCESS CALCULUS FOR THE ANALYSIS OF CRYPTOGRAPHIC PROTOCOLS JOHN C. MITCHELL, AJITH RAMANATHAN, ANDRE SCEDROV, AND VANESSA TEAGUE Abstract. We prove properties of a process calculus that Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-18 01:35:24 Formal methods Computability theory Lambda calculus Polynomial Π-calculus IP Process calculus Function PP Theoretical computer science Mathematics Applied mathematics
926	ripples chowder bay EXCLUSIVE PRIVATE FUNCTIONS INFORMATION PACKAGE address: Deck C, Chowder Bay Rd, Mosman NSW 2088 Add to Reading List Source URL: www.rippleschowderbay.com.au Language: English - Date: 2015-03-22 23:33:41 Chowder Canapé Rhode Island Function Menu Food and drink American cuisine Soups
927	The Journal of Mental Health Policy and Economics J Ment Health Policy Econ 8, Productivity Growth in Norwegian Psychiatric Outpatient Clinics for Children and Youths Vidar Halsteinli,1 Sverre A.C. Kittels Add to Reading List Source URL: www.icmpe.org Language: English - Date: 2005-12-09 16:01:06 Economics Manufacturing Productivity Jon Magnussen Data envelopment analysis Malmquist index Production function Business Technology Economic growth
928	SAMPLING THEORY IN SIGNAL AND IMAGE PROCESSING c 2015 SAMPLING PUBLISHING ⃝ Vol. 14, No. 1, 2015, ppISSN: Add to Reading List Source URL: stsip.org Language: English - Date: 2014-12-30 20:13:22 Operator theory Ordinary differential equations Spectral theory Fourier analysis Fourier transform Sinc function Sturm–Liouville theory Wave equation Fourier series Mathematical analysis Functional analysis Joseph Fourier
929	c 2009 International Press COMMUNICATIONS IN INFORMATION AND SYSTEMS Vol. 9, No. 1, pp, 2009 Add to Reading List Source URL: www.ims.cuhk.edu.hk Language: English - Date: 2009-03-11 22:48:18 Differential equations Multivariable calculus Partial differential equation Wave equation Dynamical system Eigenvalues and eigenvectors Continuous function Optimal control Sliding mode control Mathematical analysis Calculus Mathematics
930	Writing Functions in Scheme Suppose we want a function ct which takes a list of symbols and returns the number of symbols in the list (ct ’(a b c)) →→ 3 (ct ’()) →→ 0 (ct ’(x y z w t)) →→ 5 Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2009-02-04 16:35:18 Lisp programming language Data types Functional programming Procedural programming languages Programming idioms Scheme CAR and CDR Null T Computer programming Software engineering Computing

UPDATE