F-theory

Results: 2982



#Item
711Functional languages / Type theory / OCaml / Procedural programming languages / Data types / Caml / ML / Preprocessor / Java / Computing / Software engineering / Computer programming

I N S U R A N C E O F F I C E Level 1, Elisabeth Murdoch BuildingCorner Masson and Spencer Roads The University of Melbourne. Vic. 3010.

Add to Reading List

Source URL: fpg.unimelb.edu.au

Language: English - Date: 2013-11-20 20:13:51
712Normal distribution / Central limit theorem / Combinatorics / Integer sequences / Number theory / Meijer G-function / Clifford algebra / Mathematics / Mathematical analysis / Statistics

The Expected Profile of Digital Search Trees∗ December 10, 2009 Michael Drmota† Inst. f¨ ur Diskrete Mathematik und Geometrie TU Wien

Add to Reading List

Source URL: www.dmg.tuwien.ac.at

Language: English - Date: 2009-12-11 08:58:29
713Constructible universe / Complex analysis / Operator theory / Symbol / Polar coordinate system

Culham Plasma Physics Summer School introductory maths These questions have been chosen to illustrate some of the mathematical techniques used during the Culham Plasma Physics Summer School. They are not compulsory but f

Add to Reading List

Source URL: www.culhamsummerschool.org.uk

Language: English - Date: 2013-12-09 09:48:16
714Formal languages / Model theory / Propositional calculus / Logic programming / Interpretation / Principia Mathematica / Belief revision / First-order logic / Constructible universe / Logic / Mathematics / Mathematical logic

On Computing Belief Change Operations using Quantified Boolean Formulas∗ Torsten Schaub† Institut f¨ur Informatik Universit¨at Potsdam Postfach

Add to Reading List

Source URL: www.cs.sfu.ca

Language: English - Date: 2004-08-04 13:44:38
715Social philosophy / Sociology / Human behavior / Feminist theory / Sexual objectification / Gender role / Sexism / Masculinity / Physical attractiveness / Behavior / Social psychology / Gender

Psychological Science http://pss.sagepub.com/ Interacting Like a Body : Objectification Can Lead Women to Narrow Their Presence in Social Interactions Tamar Saguy, Diane M. Quinn, John F. Dovidio and Felicia Pratto

Add to Reading List

Source URL: www.tamarsaguy.com

Language: English - Date: 2014-01-04 07:21:52
716Econometrics / Regression analysis / Statistical theory / T-statistic / F-test / Linear regression / Wald test / Statistic / Errors and residuals in statistics / Statistics / Statistical tests / Parametric statistics

A robust test for regression coefficients using L1-norm H. Nyquist Department of Statistics, Stockholm University, Sweden Testing the significance of coefficients in linear regression is one of th

Add to Reading List

Source URL: www.statistics.gov.hk

Language: English - Date: 2013-08-22 04:39:21
717Symbol / Proof theory / Deduction / Natural deduction

MSFPA Partial Type Checking Algorithm for Type : Type Andreas Abel1,3 Institut f¨

Add to Reading List

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

Language: English - Date: 2008-06-15 19:17:47
718Econometrics / Statistical theory / Parametric statistics / Regression analysis / Model selection / Linear regression / Estimator / Statistics / Estimation theory / Statistical inference

Combining Estimators to Improve Performance A survey of “model bundling” techniques -from boosting and bagging, to Bayesian model averaging -- creating a breakthrough in the practice of Data Mining. John F. Elder IV

Add to Reading List

Source URL: chem-eng.utoronto.ca

Language: English - Date: 2011-09-03 10:21:06
719Military / Cybernetics / Network science / Network theory / Networks / New Zealand–United States relations / Military academy / Officer / ANZUS / Military science / International relations / Military ranks

NETWORKING AND GENERALSHIP (Department of Defense photo by U.S. Air Force Tech. Sgt. Michael R. Holzworth) Maj. Gen. Roger F. Mathews, deputy commanding general, U.S. Army Pacific, and Australian Defense Force Maj. Gen.

Add to Reading List

Source URL: usacac.army.mil

Language: English - Date: 2015-01-08 14:52:32
UPDATE