2001 Paper 4 Question 8 Computation Theory (a) Define precisely what is meant by the following: (i ) f (x1 , x2 , . . . xn ) is a Primitive Recursive (PR) function of arity n. [5 marks]

Source URL: www.cl.cam.ac.uk

The Ciao Approach to the Dynamic vs. Static Language Dilemma (Position/System/Demo Paper1 ) M. V. Hermenegildo1,2 F. Bueno1 M. Carro1 P. L´opez-Garc´ıa2,4 E. Mera3 J. F. Morales2 G. Puebla1 1

Source URL: clip.dia.fi.upm.es

• Programming paradigms
• Type theory
• Functional languages
• Logic in computer science
• Ciao
• Assertion
• Constraint programming
• Type system
• Programming language
• Software engineering
• Computing
• Computer programming

Counterfactual Choice and Learning in a Neural Network Centered on Human Lateral Frontopolar Cortex Erie D. Boorman1,2*, Timothy E. Behrens1,2, Matthew F. Rushworth1,2 1 Department of Experimental Psychology, University

Source URL: econ.as.nyu.edu

• Decision theory
• Philosophy of science
• Statistical inference
• Psychometrics
• Evaluation methods
• Causality
• Statistical hypothesis testing
• Combination
• Decision making
• Science
• Information
• Statistics

ON THE DISTRIBUTION OF THE NUMBER OF CYCLES OF ELEMENTS IN SYMMETRIC GROUPS Don Zagier Max-Planck-Institut f¨ ur Mathematik, Bonn

Source URL: people.mpim-bonn.mpg.de

• Combinatorics
• Permutation
• Homotopy theory
• Operator theory
• Μ operator
• Proof that π is irrational
• Mathematics
• Abstract algebra
• Mathematical analysis

Sacred Heart University DigitalCommons@SHU WCOB Faculty Publications John F. Welch College of Business

Source URL: sdtheory.s3.amazonaws.com

• Ethology
• Autonomy
• Self
• Self-determination theory
• Cognition
• Human behavior
• Motivation
• Job satisfaction
• Social rejection
• Behavior
• Mind
• Motivational theories

ADAPTATION OF PRECISION MATRIX MODELS ON LARGE VOCABULARY CONTINUOUS SPEECH RECOGNITION K.C. Sim and M.J.F. Gales Engineering Department, Cambridge University, Trumpington St., Cambridge, CB2 1PZ U.K. Email: {kcs23,mjfg}

Source URL: mi.eng.cam.ac.uk

• Data analysis
• Estimation theory
• Matrix
• Covariance
• Multivariate normal distribution
• Maximum likelihood
• Principal component analysis
• Kalman filter
• Statistics
• Algebra
• Covariance and correlation

Memory & Cognition 2005, 33 (3), Influence of multiple categories on the prediction of unknown properties MICHAEL F. VERDE

Source URL: www.psych.nyu.edu

• Machine learning
• Categorization
• Prediction
• Knowledge
• Cognition
• Science
• Concept learning
• Learning theory

Math. Ann. 213, ) © by Springer-Verlag 1975 A K r o n e c k e r L i m i t F o r m u l a for R e a l Q u a d r a t i c F i e l d s * Don Zagier Contents

Source URL: people.mpim-bonn.mpg.de

• Algebraic number theory
• Analytic number theory
• Kronecker limit formula
• Algebraic number field
• Quadratic form
• International Obfuscated C Code Contest
• Obfuscated code
• Mathematics
• Abstract algebra
• Algebra

Insect Societies and Manufacturing Vincent A. Cicirello and Stephen F. Smith The Robotics Institute Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA 15213

Source URL: www.agent.ai

• Mathematics
• Ant colony optimization algorithms
• Stochastic optimization
• Systems theory
• Hymenoptera
• Cybernetics
• Swarm intelligence
• Artificial Ants
• Swarm behaviour
• Science
• Applied mathematics
• Multi-agent systems

F# Succinct, Expressive, Functional The F# Team Microsoft Developer Division Microsoft Research

Source URL: www.erlang-factory.com

• Mathematical notation
• Tuple
• Type theory
• Function
• Fold
• Mathematics
• Higher-order functions
• Data management