Declarative - PDFSEARCH.IO - Document Search Engine

Declarative
Results: 769

#	Item
401	Babelsberg/JS A Browser-based Implementation of an Object Constraint Language Tim Felgentreff, Alan Borning, Robert Hirschfeld, Jens Lincke Yoshiki Ohshima, Bert Freudenberg, Robert Krahn Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-01-21 19:14:43 Programming paradigms Computing Constraint satisfaction Kaleidoscope Constraint logic programming Declarative programming E Logic programming Constraint Constraint programming Software engineering Computer programming
402	Certified HLints with Isabelle/HOLCF-Prelude Joachim Breitner1∗, Brian Huffman2 , Neil Mitchell3 and Christian Sternagel4† 1 Karlsruhe Institute of Technology, 2 Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-05-09 08:11:26 Functional programming Functional languages Recursion Literate programming Type class Type theory Haskell Monad Pattern matching Software engineering Declarative programming Computing
403	10120 • The Journal of Neuroscience, October 4, 2006 • 26(40):10120 –Behavioral/Systems/Cognitive Individual Differences in Amygdala Activity Predict Response Speed during Working Memory Add to Reading List Source URL: pilab.psy.utexas.edu Language: English - Date: 2013-01-22 17:18:14 Cognitive science Amygdala Cerebrum Limbic system Neuroanatomy Psychology Fear Declarative memory Stress Mind Neuroscience Brain
404	10339_2005_14_Article-web 243.. Add to Reading List Source URL: katestevens.weebly.com Language: English - Date: 2010-09-25 05:11:10 Skills Technical communication Memory Procedural memory Choreography Merce Cunningham Procedural knowledge Declarative memory Episodic memory Dance Entertainment Mind
405	Declarative Parallel Programming for GPUs Eric HOLK William BYRD Nilesh MAHAJAN Jeremiah WILLCOCK Arun CHAUHAN and Andrew LUMSDAINE Add to Reading List Source URL: www.osl.iu.edu Language: English - Date: 2012-01-26 12:44:47 Graphics hardware Software Video cards Nvidia Video game hardware OpenCL CUDA Graphics processing unit Parallel computing GPGPU Computing Computer hardware
406	A Hybrid AI Approach to Staff Scheduling Graham Winstanley School of Computing & Mathematical Sciences University of Brighton [removed] Add to Reading List Source URL: www.it.bton.ac.uk Language: English - Date: 2002-08-09 08:16:48 Computer programming Nurse scheduling problem Constraint satisfaction Constraint logic programming Constraint ECLiPSe Mathematical optimization Constraint programming Declarative programming Software engineering
407	Declarative program development in Prolog with GUPU Ulrich Neumerkel and Stefan Kral Institut f¨ ur Computersprachen Technische Universit¨ Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2002-07-22 17:21:33 Prolog Functional languages Procedural programming languages Higher-order functions Recursion Assertion Logic programming XS ML Software engineering Computer programming Computing
408	αleanTAP : A Declarative Theorem Prover for First-Order Classical Logic Joseph P. Near?? , William E. Byrd, and Daniel P. Friedman Indiana University, Bloomington, IN 47405 {jnear,webyrd,dfried}@cs.indiana.edu Add to Reading List Source URL: webyrd.net Language: English - Date: 2013-12-02 09:16:06 Automated theorem proving Metalogic Formal methods First-order logic IP Well-formed formula Modal logic Theorem prover Propositional calculus Logic Mathematical logic Model theory
409	Alonzo Church inventor of lambda calculus 9 Lambda Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:14 Mathematics Anonymous function Function Binary lambda calculus Church encoding Lambda calculus Software engineering Declarative programming
410	Declarative Parallel Programming for GPUs Eric HOLK William BYRD Nilesh MAHAJAN Jeremiah WILLCOCK Arun CHAUHAN and Andrew LUMSDAINE Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2011-12-19 21:18:13 Graphics hardware Software Video cards Nvidia Video game hardware OpenCL CUDA Graphics processing unit Parallel computing GPGPU Computing Computer hardware

UPDATE