F-theory - PDFSEARCH.IO - Document Search Engine

F-theory
Results: 2982

#	Item
251	Incorporating Drivability Metrics into Optimal Energy Management Strategies for Hybrid Vehicles Daniel F. Opila, Deepak Aswani, Ryan McGee, Jeffrey A. Cook, and J.W. Grizzle Abstract— Hybrid Vehicle fuel economy perfor Add to Reading List Source URL: web.eecs.umich.edu Language: English - Date: 2016-04-25 13:15:13 Control theory Cybernetics Dynamometer Mathematical optimization Fuel economy in automobiles Diesel engine State of charge Manual transmission Internal combustion engine Optimal control
252	A BI-DIRECTIONAL REFINEMENT ALGORITHM FOR THE CALCULUS OF (CO)INDUCTIVE CONSTRUCTIONS ANDREA ASPERTI, WILMER RICCIOTTI, CLAUDIO SACERDOTI COEN, AND ENRICO TASSI Dipartimento di Scienze dell’informazione, Mura Anteo Zam Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2012-02-14 06:55:29 Type theory Matita Agda Unification Calculus of constructions Type system HindleyMilner type system System F Refinement Type inference Algorithm Dependent type
253	Michael Tinkham 1928–2010 A Biographical Memoir by John Clarke, Isaac F. Silvera, and Malcolm R. Beasley Add to Reading List Source URL: www.nasonline.org Language: English - Date: 2015-12-14 11:53:53 Superconductivity High-temperature superconductivity BCS theory Meissner effect Josephson effect Michael Tinkham GinzburgLandau theory Type-II superconductor Cryogenic particle detectors
254	Speeding Up Many-Objective Optimization by Monte Carlo Approximations Karl Bringmanna , Tobias Friedrichb,∗, Christian Igelc , Thomas Voßd a Max-Planck-Institut f¨ Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-01-03 06:48:08 Mathematical optimization Operations research Computational complexity theory Evolution Multi-objective optimization CMA-ES Approximation algorithm Exact algorithm Multiple-criteria decision analysis Algorithm Evolutionary algorithm Pareto efficiency
255	BEST APPROXIMATIONS IN L1 ARE NEAR BEST IN Lp , p < 1 LAWRENCE G. BROWN AND BRADLEY J. LUCIER (Communicated by J. Marshall Ash) Abstract. We show that any best L1 polynomial approximation to a function f in Lp , 0 < p < Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2005-08-03 19:09:30 Differentiation rules Functions and mappings Ordinary differential equations Mathematical identities Integral calculus Product rule SturmLiouville theory
256	Journal of Economic Theory – 198 www.elsevier.com/locate/jet Self-tuning experience weighted attraction learning in games夡 Teck H. Hoa,∗ , Colin F. Camererb , Juin-Kuan Chongc, d Add to Reading List Source URL: people.hss.caltech.edu Language: English - Date: 2007-09-04 15:38:46 Game theory Quantal response equilibrium Experimental economics Best response Outcome Coordination game Reinforcement learning Risk dominance
257	Journal of Statistical Physics, Vol. 104, Nos. 3/4, 2001 Computational Mechanics: Pattern and Prediction, Structure and Simplicity Cosma Rohilla Shalizi 1 , 2 and James P. Crutchfield 1 Received June 20, 2000; revised F Add to Reading List Source URL: bactra.org Language: English - Date: 2003-10-31 16:37:58 Complex systems theory Theoretical computer science Computability theory Statistical randomness Randomness Kolmogorov complexity Complexity Emergence Computational complexity theory Algorithm Reduction Turing machine
258	Software implementation of binary elliptic curves: impact of the carry-less multiplier on scalar multiplication J. Taverne0 , A. Faz-Hern´andez1 , D. F. Aranha2 , F. Rodr´ıguez-Henr´ıquez1 , D. Hankerson3 , J. L´op Add to Reading List Source URL: delta.cs.cinvestav.mx Language: English - Date: 2014-08-19 19:28:54 Elliptic curve cryptography Finite fields Public-key cryptography Group theory Elliptic curves Elliptic curve Cryptography Multiplication algorithm Workshop on Cryptographic Hardware and Embedded Systems ECC patents
259	On a Gromoll–Meyer type theorem in globally hyperbolic stationary Lorentzian manifolds Joint work with L. Biliotti and F. Mercuri Paolo Piccione Departamento de Matemática Instituto de Matemática e Estatística Add to Reading List Source URL: xtsunxet.usc.es Language: English - Date: 2007-03-09 06:09:59 Differential geometry Dynamical systems Geodesic Closed geodesic Riemannian manifold Morse theory Connection Orbifold Finsler manifold
260	Measurable functions are of bounded variation on a set of dimension 1/2 Andr´as M´ath´e∗ Abstract We show that for every Lebesgue measurable function f : [0, 1] → R there exists a compact set C Add to Reading List Source URL: homepages.warwick.ac.uk Language: English - Date: 2012-01-10 05:32:01 Dimension theory Fractals Hausdorff dimension Metric geometry Borel measure NC Peetre theorem Hlder condition