Recursion - PDFSEARCH.IO - Document Search Engine

Recursion
Results: 895

#	Item
121	We’re going to play a game pretending to fold paper. (For Practice item only): Look at this piece of paper (point to prompt item) It’s just like this piece of paper (hold up piece of paper) See? They’re both green Add to Reading List Source URL: silccenter.org Language: English - Date: 2014-04-10 15:30:01 Paper folding Fold Recursion Recreational mathematics Mad Fold-in
122	TrailMap_2014_Nordic_Map_lowres Add to Reading List Source URL: www.mtbachelor.com Language: English - Date: 2015-11-30 15:04:36 Infinite loop Recursion Loop Trail
123	Electronic Communications of the EASST VolumeProceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-11-05 07:20:14 Mathematical logic Mathematical proofs Theoretical computer science Mathematical induction Recursion Structural induction Rippling Algorithm Theorem
124	From F? to SMT (Extended Abstract) Alejandro Aguirre1,2 1 Inria Paris Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2016-07-04 02:54:41 Theoretical computer science Formal methods Computability theory Functional languages Logic in computer science Satisfiability modulo theories Factorial ML Recursion Lambda calculus System F
125	Improving the Performance of Collective Operations in MPICH Rajeev Thakur and William Gropp Mathematics and Computer Science Division Argonne National Laboratory 9700 S. Cass Avenue Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2016-08-16 11:52:12 Theoretical computer science Parallel computing Message Passing Interface MPICH Computability theory Algorithm Recursion Distributed computing K-nearest neighbors algorithm
126	Similarity in Computer Programs Concretely, recall the SCO vs. IBM lawsuits from a few years back (see, e.g., Raymond and LandleyAt issue was whether IBM, a licensee of some of SCO!s source Abstract Add to Reading List Source URL: philosopher-animal.com Language: English - Date: 2007-03-02 08:19:53 Sorting algorithms Object-oriented programming languages Theoretical computer science Functional languages Quicksort Science Scala Algorithm Recursion Sort Merge sort D
127	Program Specialization via Program Slicing Thomas Reps and Todd Turnidge University of Wisconsin Abstract This paper concerns the use of program slicing to perform a certain kind of program-specialization operation. The Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:37 Formal languages Program slicing Recursion ALGOL 68 Formal grammar Regular tree grammar Eval Functional programming
128	Partial Evaluation of Numerical Programs in Fortran Romana Baier, Robert Glück1, Robert Zöchling University of Technology Vienna, Institut für Computersprachen, Argentinierstraße 8, A-1040 Vienna, Austria E-mail: e18 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:04 Array programming languages Object-oriented programming languages Programming languages Parallel computing Subroutines Fortran Partial evaluation F Julia Pascal Recursion Numerical analysis
129	Efficiently Evaluating Complex Boolean Expressions Marcus Fontoura Suhas Sadanandan Jayavel Shanmugasundaram Sergei Vassilvitski Erik Vee Srihari Venkatesan Jason Zien Yahoo! Research, 701 First Ave., Sunnyvale, CA 94089 Add to Reading List Source URL: fontoura.org Language: English - Date: 2010-03-16 13:13:45 Recursion Binary trees Knowledge representation Computability theory B-tree Binary expression tree Tree traversal Disjunctive normal form Tree Parallel Tree Contraction Interval tree

UPDATE