Declarative - PDFSEARCH.IO - Document Search Engine

Declarative
Results: 769

#	Item
271	Some Research Challenges and Remarks on CP Nicolas Beldiceanu Automata and Learning Question Is there a declarative way for describing concisely a generator of automata (or MDDs) that have a very regular structure? Add to Reading List Source URL: 4c.ucc.ie Language: English - Date: 2012-10-12 20:10:27 ECLiPSe Propagator Graph Computing Constraint programming Software engineering Computer programming
272	Two Problems - Two Solutions: One System ECLiPSe Mark Wallace and Andre Veron AprilIntroduction Add to Reading List Source URL: eclipseclp.org Language: English - Date: 2015-04-07 09:30:53 Computer programming Constraint satisfaction Constraint logic programming Local consistency ECLiPSe CHIP Constraint Backtracking Logic programming Constraint programming Declarative programming Software engineering
273	The Why of Y Richard P. Gabriel Lucid, Inc. and Stanford University Did you ever wonder how Y works and how anyone could ever have thought of it? In this note I’ll try to explain to you not only how it works, but how s Add to Reading List Source URL: www.dreamsongs.com Language: English - Date: 2012-08-04 16:00:09 Declarative programming Fixed-point combinator Closure Function Combinatory logic Currying Factorial Binary lambda calculus Mathematics Lambda calculus Software engineering
274	Preference by Association: How Memory Mechanisms in the Hippocampus Bias Decisions G. Elliott Wimmer and Daphna Shohamy Science 338, ); DOI: science Add to Reading List Source URL: shohamylab.psych.columbia.edu Language: English - Date: 2012-10-11 15:22:12 Mental processes Neuropsychological assessment Memory Limbic system Hippocampus Recall Striatum Declarative memory Decision making Brain Cerebrum Cognitive science
275	Unifying Theories of Programming with Monads Jeremy Gibbons UTP 2012, Aug 2012 Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-28 02:47:30 Higher-order functions Functional programming Adjoint functors Fold Recursion Programming paradigms Map Monad Unification Software engineering Declarative programming Computing
276	STAR TREK © Jens-Helge Dahmen Add to Reading List Source URL: www.papierfalten.de Language: English - Date: 2006-02-02 07:15:45 Declarative programming Fold Anamorphism Origami Yoshizawa-Randlett system Structural geology Software engineering Functional programming
277	Constraints as Control Ali Sinan K¨oksal Viktor Kuncak Philippe Suter ∗ Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-11-14 09:20:17 Software engineering Constraint logic programming Constraint satisfaction problem Satisfiability Modulo Theories Backtracking Prolog Constraint Lambda calculus Constraint satisfaction Constraint programming Declarative programming Theoretical computer science
278	Open IPTV Forum - Release 2 Specification, Volume 5 - Declarative Application Environment, V2.3 Add to Reading List Source URL: www.oipf.tv Language: English - Date: 2014-12-02 13:57:06 Electronics Consortia Digital Living Network Alliance Digital audio Application programming interface IPTV Plug-in Java CE-HTML Computing Digital television Technology
279	Notions of Bidirectional Computation and Entangled State Monads Faris Abou-Saleh1 , James Cheney2 , Jeremy Gibbons1 , James McKinna2 , and Perdita Stevens2 1 Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-04-29 12:24:51 Computer programming Adjoint functors Data types Monad Type theory Strong monad Type class Haskell Monoid Declarative programming Software engineering Functional programming
280	© 2000 Nature America Inc. • http://neurosci.nature.com articles BDNF upregulation during declarative memory formation in Add to Reading List Source URL: www.physiol.m.u-tokyo.ac.jp Language: English - Date: 2014-02-03 03:56:54 Developmental neuroscience Brain Growth factors Neurotrophins Brain-derived neurotrophic factor Trk receptor Visual cortex Perirhinal cortex TrkB receptor Biology Anatomy Cerebrum

UPDATE