Normal

Results: 15785



#Item
481Logic / Mathematical logic / Mathematics / Automated theorem proving / Propositional calculus / Rules of inference / Resolution / Boolean algebra / Literal / First-order logic / SLD resolution / Horn clause

Part 2: First-Order Logic 2.1 Syntax 2.2 Semantics 2.3 Models, Validity, Satisfiability 2.4 Algorithmic problems 2.5 Normal forms and Skolemization

Add to Reading List

Source URL: people.mpi-inf.mpg.de

Language: English - Date: 2009-06-05 11:15:41
482Mathematics / Academia / Game theory / Outcome / Teck-Hua Ho / Quantal response equilibrium / Nash equilibrium / Signaling game / Normal-form game / Human behavior / Experimental economics

Sophisticated Experience-weighted Attraction Learning and Strategic Teaching in Repeated Games

Add to Reading List

Source URL: people.hss.caltech.edu

Language: English - Date: 2002-03-25 11:33:19
483Logic gates / Mathematics / Mathematical logic / Algebra / Boolean algebra / Logic in computer science / Algebraic logic / Circuit complexity / Canonical normal form / Combinational logic / XOR gate / Digital electronics

CS61c: Representations of Combinational Logic Circuits J. Wawrzynek October 12, 2007 1

Add to Reading List

Source URL: www-inst.eecs.berkeley.edu

Language: English - Date: 2007-10-14 23:24:26
484Parking / Lincoln metropolitan area / Lincoln /  Nebraska / Multi-storey car park / Lincoln /  England / Geography of England / Nebraska

DRIVING DIRECTIONS TO SHRYOCK AUDITORIUMS. NORMAL AVE.) FROM THE NORTH Chicago

Add to Reading List

Source URL: admissions.siu.edu

Language: English - Date: 2015-11-03 17:12:45
485Algebra / Abstract algebra / Mathematics / Representation theory of Lie groups / Algebraic geometry / Representation theory of Lie algebras / Weight / Symbol / Spectral theory / Valuation / Spectral theory of ordinary differential equations / Jordan normal form

On Mirković-Vilonen cycles and crystal combinatorics Pierre Baumann and Stéphane Gaussent∗ Abstract Let G be a complex connected reductive group and let G∨ be its Langlands dual. Let us choose a triangular decompos

Add to Reading List

Source URL: www-irma.u-strasbg.fr

Language: English - Date: 2008-03-25 12:29:06
486Mathematics / Mathematical analysis / Probability / Probability distributions / Rice distribution / Normal distribution / HullWhite model

Microsoft PowerPoint - Chris Harris CFC 07.ppt

Add to Reading List

Source URL: www.bbk.ac.uk

Language: English - Date: 2007-03-27 13:46:59
487Statistics / Mathematical analysis / Probability / Probability distributions / Constructible universe / Normal distribution / Linear regression / Beta distribution

Data-driven Jump Detection Thresholds for Application in Jump Regressions∗ Robert Davies† and George Tauchen‡ September 17, 2015

Add to Reading List

Source URL: www.cb.cityu.edu.hk

Language: English - Date: 2016-07-08 00:06:04
488Mathematical analysis / Complex analysis / Pi / Kahan summation algorithm / Fourier analysis / Normal distribution / Theta function

submitted for publication, July 27, 2008 FAST HIGH PRECISION SUMMATION SIEGFRIED M. RUMP †,

Add to Reading List

Source URL: www.ti3.tu-harburg.de

Language: English - Date: 2008-08-12 08:57:00
489Mathematical analysis / Statistics / Probability / Probability distributions / Variational Bayesian methods / Normal distribution / Exponentials / Special functions / Natural logarithm of 2 / Exponential family

Supplement for: A Bayesian model for identifying hierarchically organised states in neural population activity Patrick Putzky1,2,3 , Florian Franzen1,2,3 , Giacomo Bassetto1,3 , Jakob H. Macke1,3 1 Max Planck Institute f

Add to Reading List

Source URL: www.mackelab.org

Language: English - Date: 2016-08-04 15:02:45
490Mathematical analysis / Probability / Stochastic processes / Stochastic differential equations / Markov models / Signal processing / Stationary process / Derivative / Spectrum / Normal distribution / OrnsteinUhlenbeck process / Markov chain

STATIONARY TANGENT: THE DISCRETE AND NON-SMOOTH CASE U. KEICH Abstract. In [5] we define a stationary tangent process, or a locally optimal stationary approximation, to a real non-stationary smooth Gaussian process. Thi

Add to Reading List

Source URL: www.maths.usyd.edu.au

Language: English - Date: 2002-12-09 16:28:18
UPDATE