Algorithm characterizations - PDFSEARCH.IO - Document Search Engine

Algorithm characterizations
Results: 22

#	Item
1	A Mathematical-Algorithmic Approach to Sets: A Case Study Judith Gal-Ezer1 Orna Lichtenstein2 April 1996 Abstract The aim of this paper is to show, by means of a mathematical example, how Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2004-09-27 01:19:28 Mathematics Mathematical logic Science and technology Theoretical computer science Algorithm Computational complexity theory Mathematical optimization Word problem Algorithm characterizations
2	CS369N: Beyond Worst-Case Analysis Lecture #1: Instance Optimality∗ Tim Roughgarden† February 19, Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-09-26 19:00:24 Theoretical computer science Computability theory Algorithm Mathematical logic Algorithms Recursion Function Algorithm characterizations Elliptic curve primality
3	Year 1 New Computing Curriculum Overview Strand Add to Reading List Source URL: swaygrantham.co.uk Language: English - Date: 2014-07-02 18:20:09 Computing Computer programming Software engineering Algorithm Mathematical logic Theoretical computer science Computer Input/output Instruction set Subroutine Password Algorithm characterizations
4	I NTRODUCTION T HE LST FRAMEWORK Iterative forcing and preservation of hyperimmunity Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2015-06-30 01:30:45 Computability theory Theoretical computer science Mathematical logic Theory of computation Mathematics Model theory Algorithm characterizations operator
5	PDF Document Add to Reading List Source URL: social.cs.uiuc.edu Language: English - Date: 2015-03-14 02:30:03 Theoretical computer science Learning Algorithm Mathematical logic Academia Cognitive science Machine learning Cognition Algorithm characterizations Algorithm Selection
6	PLTL Lesson Plan Last Edited: August 19, 2015 Topic: Algorithms Activity Guidelines Add to Reading List Source URL: cahsi.cs.utep.edu Language: English - Date: 2015-08-19 14:59:02 Theoretical computer science Algorithm Mathematical logic Algorithms Robot Parametric search Algorithm characterizations
7	A Lambda Calculus for Real Analysis Paul Taylor1 Andrej Bauer2 1 Department Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:32:31 Theoretical computer science Theory of computation Functions and mappings Function Computable function Algorithm characterizations Primitive recursive function Mathematics Computability theory Mathematical logic
8	Dynamic Logic for Plan Revision in Intelligent Agents M. Birna van Riemsdijk Frank S. de Boer John-Jules Ch. Meyer Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2005-04-26 08:07:47 Logic in computer science Programming language semantics Model theory Structure Universal algebra Operational semantics 3APL Ω-consistent theory Algorithm characterizations Theoretical computer science Mathematical logic Mathematics
9	HR: when the computer does the recruiting By Jessica Agache-Gorse Relying on algorithms to uncover a precious jewel: a secret weapon used by an increasing number of HR departments. At a time when new technology has resul Add to Reading List Source URL: www.knack.it Language: English - Date: 2014-12-01 12:09:44 Predictive analytics Mathematics Applied mathematics Statistics Randomized algorithm Algorithm characterizations Algorithm Mathematical logic Theoretical computer science
10	SCRIPTA MANENT ...written words endure Publishing Computational Mathematics Add to Reading List Source URL: www.ams.org Language: English - Date: 2011-12-15 12:45:30 Applied mathematics Computer algebra Axiom Algorithm Risch algorithm Computational mathematics Computer algebra system Algorithm characterizations Mathematics Software Theoretical computer science