Completeness of Kozen’s Axiomatisation of the Propositional µ-Calculus Igor Walukiewicz1 BRICS2,3 Department of Computer Science University of Aarhus

Source URL: www.labri.fr

Published in J. ALGORITHMS 5, The NP-Completeness Column: An Ongoing Guide DAVID S. JOHNSON AT&T Bell Laboratories, Murray Hill, New Jersey 07974

Source URL: davidsjohnson.net

Exponential FamilyReview ..........

Source URL: genome.sph.umich.edu

• Mathematical analysis
• Exponentials
• Statistics
• Mathematics
• Statistical theory
• Completeness
• Exponential family
• Exponentiation
• Exponential function
• Sufficient statistic

Physica D–319 Inertial manifolds and completeness of eigenmodes for unsteady magnetic dynamos Weijiu Liu, George Haller∗ Department of Mechanical Engineering, Massachusetts Institute of Technology,

Source URL: www.georgehaller.com

On Simulation-Completeness of Unraveling for Conditional Term Rewriting Systems∗ Naoki Nishida†, Masahiko Sakai and Toshiki Sakabe Graduate School of Information Science, Nagoya University, Furo-cho, Chikusa-ku, Nago

Source URL: www.sakabe.nuie.nagoya-u.ac.jp

Interval Analysis Without Intervals Paul Taylor 20 February 2006 Abstract We argue that Dedekind completeness and the Heine–Borel property should be seen as part of the “algebraic” structure of the real line, along

Source URL: www.monad.me.uk

Preservational Complexity and Completeness in Channel Point Bars and the Heterogeneity of Heterogeneity in Their Reservoir Models; #)

Source URL: www.searchanddiscovery.com

Published in ACM TRANSACTIONS ON ALGORITHMS 2:3, The NP-Completeness Column: The Many Limits on Approximation DAVID S. JOHNSON AT&T Labs – Research, Florham Park, New Jersey

Source URL: davidsjohnson.net

Published in J. ALGORITHMS 5, The NP-Completeness Column: An Ongoing Guide DAVID S. JOHNSON AT&T Bell Laboratories, Murray Hill, New Jersey 07974

Source URL: davidsjohnson.net

A completeness result for gs-monoidal categories Fabio Gadducci Discussions: Andrea Corradini

Source URL: www.cs.le.ac.uk