Computability - PDFSEARCH.IO - Document Search Engine

Computability
Results: 1315

#	Item
61	A computable axiomatisation of the topology of R and C Paul Taylor 6 August 2009 Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-08-10 10:52:15 Mathematics Mathematical logic Computability theory Logic Theory of computation Computable number Structure Computable function Sigma-algebra
62	Transformation rules from UML4MBT meta-model to SMT meta-model for model animation Jérôme Cantenot Fabrice Ambert Add to Reading List Source URL: st.inf.tu-dresden.de Language: English - Date: 2012-09-25 06:20:13 Software engineering Theoretical computer science Mathematical logic Formal methods Computability theory Lambda calculus Subroutines Satisfiability modulo theories XC HindleyMilner type system First-order logic Recursion
63	The Fusion Machine (extended abstract) Philippa Gardner1 , Cosimo Laneve2 , and Lucian Wischik2 1 2 Add to Reading List Source URL: www.wischik.com Language: English - Date: 2002-09-03 06:29:14 Theoretical computer science Computability theory Process calculi -calculus Lambda calculus Process calculus Integration by substitution Limit of a function Substitution Heat equation Join-pattern
64	Inverse Problems and Imaging doi:ipiVolume 3, No. 4, 2009, 599–624 Add to Reading List Source URL: www.siltanen-research.net Language: English - Date: 2016-05-04 08:49:38 Generalized functions Computability theory operator Continuous function Distribution
65	Computing Fundamentals Functions Salvatore Filippone–2015 Add to Reading List Source URL: people.uniroma2.it Language: English - Date: 2015-04-09 11:32:40 Algebra Calculus Syntax Variable Computability theory -recursive function Frchet derivative
66	Towards Efficient Conversions by use of Partial Evaluation Morten Welinder DIKU, Department of Computer Science University of Copenhagen Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:54 Formal methods Functional languages Automated theorem proving Computability theory Theoretical computer science Partial evaluation Theorem Functional programming Compiler Standard ML Succ Evaluation
67	Written Examination, May 29th, 2015 Course noThe duration of the examination is 4 hours. Course Name: Functional programming Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2015-05-21 05:34:09 Academic transfer Computability theory Recursion Subroutines Theoretical computer science Grading systems by country
68	NOLTA, IEICE Paper Verified sharp bounds for the real gamma function over the entire floating-point range Add to Reading List Source URL: www.ti3.tu-harburg.de Language: English - Date: 2014-04-24 05:11:30 Gamma function Floor and ceiling functions Probability theory Computability theory Error function
69	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
70	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

UPDATE