Lambda - PDFSEARCH.IO - Document Search Engine

Lambda
Results: 2778

#	Item
961	Proceedings of the National Academy of Sciences Vol. 66, No. 3, pp, July 1970 Regulation of Repressor Expression in X* H. Eisen,t P. Brachet, L. Pereira da Silva, and F. Jacobt SERVICE DE Add to Reading List Source URL: micro.med.harvard.edu Language: English - Date: 2015-02-12 19:03:54 Gene expression Virology Lambda phage Lac operon Lysogen Prophage Repressor Operon Deletion mapping Biology Microbiology Bacteriophages
962	Lisp and Symbolic Computation, 2, ) © 1989 Kluwer Academic Publishers--Manufactured in The Netherlands. Integrating Logic and Functional Programming* HASSAN AIT-KACI ROGER NASR Add to Reading List Source URL: www.hassan-ait-kaci.net Language: English - Date: 2013-12-06 10:30:34 Model theory Lambda calculus Predicate logic Automated theorem proving Logic programming Unification Combinatory logic Fixed-point combinator Interpretation Mathematics Mathematical logic Logic
963	Capability-based Financial Instruments 1 Mark S. Miller , Chip Morningstar2, Bill Frantz2 1 Add to Reading List Source URL: www.cypherpunks.to Language: English - Date: 2008-03-14 04:27:53 Data types Cryptographic protocols Inter-process communication Models of computation Smalltalk Lambda calculus Variable Alice and Bob Secure multi-party computation Computing Software engineering Computer programming
964	A Bisimulation for Dynamic Sealing Eijiro Sumii Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2004-10-25 16:21:02 Lambda calculus Computability theory Fixed-point combinator Π-calculus Valuation Combinatory logic Theoretical computer science Mathematics Applied mathematics
965	Steps to Reconcile Inflationary Tensor and Scalar Spectra Vin´ıcius Miranda,1, 2 Wayne Hu,1, 3 and Peter Adshead4 1 Department of Astronomy & Astrophysics, University of Chicago, Chicago ILThe Capes Foundation, Add to Reading List Source URL: background.uchicago.edu Language: English - Date: 2015-01-06 12:05:30 Spaceflight Wilkinson Microwave Anisotropy Probe Inflation Lambda-CDM model Scale invariance Tensor Cosmic microwave background radiation Physics Physical cosmology Spacecraft
966	J. LOGIC PROGRAMMING 1993:16:TOWARDS A MEANING OF LIFE? Add to Reading List Source URL: hassan-ait-kaci.net Language: English - Date: 2013-12-06 10:10:42 Lambda calculus Logic programming Functional programming Higher-order functions Model theory Unification Function Interpretation Constraint logic programming Software engineering Declarative programming Computing
967	Carnegie Mellon School of Computer Science Scheme Flow Analysis Note Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:07 Elementary mathematics Lambda calculus Data types Environmental science Parameter Static single assignment form Function Data-flow analysis Control flow analysis Mathematics Software engineering Variables
968	νΛCDM: Neutrinos reconcile Planck with the Local Universe Mark Wyman,∗ Douglas H. Rudd, R. Ali Vanderveld, and Wayne Hu arXiv:1307.7715v1 [astro-ph.CO] 29 JulKavli Institute for Cosmological Physics, Departmen Add to Reading List Source URL: background.uchicago.edu Language: English - Date: 2015-01-06 12:05:31 Neutrinos Exotic matter Dark matter Sterile neutrino Lambda-CDM model Wilkinson Microwave Anisotropy Probe NOνA Standard Model Physics Particle physics Physical cosmology
969	Decomposition of the spectrum of a bounded linear operator Jordan Bell Department of Mathematics, University of Toronto April 3, 2014 Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2014-04-03 12:18:11 Operator theory Spectral theory Decomposition of spectrum Spectrum Hilbert space Eigenvalues and eigenvectors Fredholm operator Compact operator Lambda calculus Algebra Mathematical analysis Mathematics
970	Fitting distributions with R 1 FITTING DISTRIBUTIONS WITH R Add to Reading List Source URL: dirichlet.mat.puc.cl Language: English - Date: 2005-02-21 10:32:35 Weibull distribution Normality test Kurtosis Skewness Normal distribution Plot Gamma distribution Exploratory data analysis Tukey lambda distribution Statistics Survival analysis Q-Q plot

UPDATE