13 13 Standard algorithms Each new program has its own challenges, its own unique features. But the same old subproblems keep recurring. So, very often at some point in your program you will have to search for a key valu

Source URL: www.uow.edu.au

• C++
• C programming language
• Search algorithms
• Sorting algorithms
• Recursion
• Binary search algorithm
• Sequence container
• Sizeof
• Array data type
• Computer programming
• Computing
• Software engineering

1 Optimization Flow Control, I: Basic Algorithm and Convergence Steven H. Low, Senior Member, IEEE and David E. Lapsley Abstract— We propose an optimization approach to flow

Source URL: netlab.caltech.edu

• Operations research
• Mathematical logic
• Recursion
• Mathematical optimization
• Expectation–maximization algorithm
• Network congestion
• Fold
• Algorithm
• Statistics
• Computing
• Mathematics

MODELING AND QUERYING RECURSIVE DATA STRUCTURES II: A SEMANTIC APPROACH J.H. ter Bekke and J.A. Bakker Delft University of Technology Faculty of Information Technology and Systems e-mail: {J.H.terBekke, J.A.Bakker}@its.t

Source URL: www.kbs.twi.tudelft.nl

• Data modeling
• Programming idioms
• Mathematical logic
• Theoretical computer science
• Computability theory
• Recursion
• Recursive data type
• EXPRESS
• SQL
• Computing
• Computer programming
• Software engineering

FSAB 1402: Informatique 2 Récursion sur les Entiers Peter Van Roy

Source URL: www.info.ucl.ac.be

FSAB1402: Informatique 2 Récursion sur les Listes Peter Van Roy

Source URL: www.info.ucl.ac.be

A Fixedpoint Approach to (Co)Inductive and (Co)Datatype Definitions∗ Lawrence C. Paulson [removed] Computer Laboratory, University of Cambridge, England 28 May 1998

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

• Mathematical logic
• Computability theory
• Theoretical computer science
• Recursion
• Theory of computation
• Primitive recursive function
• Structural induction
• Recursive definition
• Coinduction
• Mathematics
• Computer programming
• Software engineering

Set Theory for Verification: II Induction and Recursion Lawrence C. Paulson Computer Laboratory, University of Cambridge April 1995

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

• Theory of computation
• Functions and mappings
• Order theory
• Models of computation
• Knaster–Tarski theorem
• Function
• Well-founded relation
• Lambda calculus
• Constructible universe
• Mathematics
• Mathematical logic
• Computability theory

L. Paulson A Fixedpoint Approach to (Co)Inductive Definitions A Fixedpoint Approach to (Co)Inductive Definitions

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

• Applied mathematics
• Mathematical logic
• Programming idioms
• Theory of computation
• Computability theory
• Recursion
• Recursive definition
• Coinduction
• Lawrence Paulson
• Mathematics
• Computer programming
• Theoretical computer science

Abstraction, aggregation and recursion for generating accurate and simple classifiers by

Source URL: www.cs.iastate.edu

• Machine learning
• Naive Bayes classifier
• Econometrics
• Confidence interval
• Naive
• Statistics
• Bayesian statistics
• Statistical classification

A Computational Prospect of Infinity: ω1 -Recursion Theory Noam Greenberg

Source URL: www.ims.nus.edu.sg

• Mathematical logic
• Recursively enumerable set
• Enumeration
• Logic
• Computability theory
• Theory of computation
• Mathematics