H-theorem - PDFSEARCH.IO - Document Search Engine

H-theorem
Results: 165

#	Item
131	ANIMAL BEHAVIOUR, 2005, 69, 1069–1076 doi:[removed]j.anbehav[removed]Response of foraging sheep to variability in the spatial distribution of resources LINDSEY H EWIT SON , BERT RAN D DUMON T† & IA IN J. G ORDON Add to Reading List Source URL: bertrand.dumont.voila.net Language: English* - Date: 2006-12-03 16:30:20 Ethology Foraging Sheep Herbivore Ecology Optimal foraging theory Marginal value theorem Ant Biology Behavior Ecological theories
132	Stable Homology by Scanning Variations on a Theorem of Galatius Talk at Luminy[removed]Allen Hatcher Question: What can one say about H∗ Aut(Fn ) ? Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 2010-09-09 10:20:17 Planar graph Mapping class group Graph Graph theory Mathematics Minor
133	Under consideration for publication in Math. Struct. in Comp. Science Social Processes, Program Verification and All That A N D R E A A S P E R T I,1 H E R M A N G E U V E R S2 and R A J A N A T A R A J A N3 1 Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2009-09-07 06:47:44 Formal methods Theoretical computer science Automated theorem proving Logic in computer science Proof theory Mathematical proof Formal verification Automated proof checking Proof assistant Mathematics Logic Applied mathematics
134	Furry’s Theorem In QED, hΩ\|T [j µ (x1 )j ν (x2 )j λ (x3 )]\|Ωi = 0 where the current is ¯ µ ψ. Add to Reading List Source URL: www.maths.tcd.ie Language: English - Date: 2012-04-26 14:37:57 Logical consequence Logical syntax Metalogic Operator Logic Deduction Entailment
135	ON THE DISTRIBUTION OF VALUES DETERMINED BY COPLANAR J. H. CONWAY, Add to Reading List Source URL: www.renyi.hu Language: English - Date: 2001-12-28 06:34:10 Triangle geometry Triangle Angle Congruence Trigonometry Pythagorean theorem Law of cosines Geometry Mathematics Triangles
136	Version of[removed]Kirszbraun’s theorem D.H.Fremlin University of Essex, Colchester, England Wikipedia gives a statement of this theorem and an outline of its history, but no online source for the proof. It’s so pret Add to Reading List Source URL: www.essex.ac.uk Language: English - Date: 2011-07-14 07:44:34 Calculus Continuous function Filter Lambda calculus Combinatory logic Theorems and definitions in linear algebra Mathematics Mathematical analysis Operator theory
137	Wireless Video Transmission using Feedback-Controlled Adaptive H.264 Source and Channel Coding M. M. Ghandi, B. Barmada, E. V. Jones, and M. Ghanbari† Abstract— For wireless video, this paper demonstrates that combi Add to Reading List Source URL: mahdi.ghandi.ws Language: English* - Date: 2009-12-08 10:34:05 Information Data Information theory Link adaptation Modulation Quadrature amplitude modulation Turbo code Forward error correction Shannon–Hartley theorem Telecommunications engineering Data transmission Error detection and correction
138	ROOT NUMBERS AND RANKS IN POSITIVE CHARACTERISTIC B. CONRAD, K. CONRAD, AND H. HELFGOTT Abstract. For a global field K and an elliptic curve Eη over K(T ), Silverman’s specialization theorem implies rank(Eη (K(T ))) Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2005-10-02 23:07:54 Group theory Diophantine geometry Algebraic curves Abelian variety Birch and Swinnerton-Dyer conjecture Supersingular elliptic curve Finite field Separable extension Lenstra elliptic curve factorization Abstract algebra Elliptic curves Number theory
139	Verifying Object-Oriented Programs with KeY: A Tutorial Wolfgang Ahrendt1 , Bernhard Beckert2 , Reiner H¨ ahnle1 , Philipp R¨ ummer1 , 3 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2008-12-01 03:14:07 Formal methods Automated theorem proving Logic in computer science KeY Java Modeling Language Proof assistant Formal verification Java Logic programming Theoretical computer science Computing Applied mathematics
140	AN INTRODUCTION TO MATHEMATICAL CRYPTOGRAPHY ERRATA FOR THE FIRST EDITION JEFFREY HOFFSTEIN, JILL PIPHER, JOSEPH H. SILVERMAN Acknowledgements We would like to thank the following people who have sent us comments and cor Add to Reading List Source URL: www.math.brown.edu Language: English - Date: 2012-06-27 18:45:23 Probability theory Modular arithmetic Finite fields Probability space XTR Chinese remainder theorem Independence Euclidean algorithm Abstract algebra Mathematics Number theory

UPDATE