Declarative - PDFSEARCH.IO - Document Search Engine

Declarative
Results: 769

#	Item
461	EagleUP: Solving Random 3-SAT using SLS with Unit Propagation Oliver Gableske1 and Marijn Heule2 1 2 Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2011-09-26 11:40:37 Logic programming Conjunctive normal form Local search Boolean satisfiability problem DPLL algorithm Theoretical computer science Constraint programming Declarative programming
462	Declarative Networking doi:[removed][removed]By Boon Thau Loo, Tyson Condie, Minos Garofalakis, David E. Gay, Joseph M. Hellerstein, Petros Maniatis, Raghu Ramakrishnan, Timothy Roscoe, and Ion Stoica Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2014-09-30 10:30:54 Data Network architecture Wireless networking Computer networking Routing Link-state routing protocol Distance-vector routing protocol Datalog Communications protocol Routing protocols Routing algorithms Computing
463	A Declarative Language Approach to Device Configuration Adrian Schüpbach Andrew Baumann ∗ Timothy Roscoe Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2014-09-30 10:30:53 Interrupts IBM PC compatibles Motherboard Digital electronics Conventional PCI PCI Express Message Signaled Interrupts Root complex Advanced Configuration and Power Interface Computer hardware Computing Computer buses
464	Chapter 29 Lightweight Invariants with Full Dependent Types Edwin Brady1 , Christoph Herrmann1 , Kevin Hammond1 Category: Position Paper Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2008-06-27 08:41:28 Functional programming Append Sort Quicksort Monad Partition Category Polymorphism Algebraic data type Software engineering Declarative programming Computing
465	TOMMASO URLI, PH.D. personal information born Gemona del Friuli (Italy), 11 March 1985 Add to Reading List Source URL: www.tunnuz.net Language: English - Date: 2015-03-02 18:12:02 Computer programming Computing Mathematical optimization Declarative programming Hyper-heuristic ECLiPSe Gecode Ant colony optimization algorithms Constraint programming Software engineering Operations research
466	Effects of Introducing Survival Behaviours into Automated Negotiators Peter Henderson, Stephen Crouch, Robert John Walters, Qinglai Ni Declarative Systems and Software Engineering Electronics and Computer Science Univers Add to Reading List Source URL: eprints.soton.ac.uk Language: English - Date: 2009-12-08 11:53:12 Decision theory Marketing Personal selling Sales Bargaining Simulation Algorithm Business Negotiation Dispute resolution
467	Advances in Programming Languages APL8: Monads and I/O Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-10-15 05:36:06 Data types Functional programming Type theory Adjoint functors Monad Map Option type Type class Haskell Software engineering Declarative programming Computing
468	Advances in Programming Languages APL10: Bridging Query and Programming Languages Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-10-28 19:19:19 Software engineering SQL Relational database management systems Language Integrated Query Domain-specific language Declarative programming Programming language Microsoft SQL Server Stored procedure Data management Computing Query languages
469	Relationship between hippocampal structure and memory function in elderly humans Add to Reading List Source URL: discovery.ucl.ac.uk Language: English - Date: 2010-01-29 11:35:49 Electroencephalography Evoked potentials Mental processes Limbic system Hippocampus Cerebrum Late positive component Cingulate cortex Declarative memory Brain Mind Neuroscience
470	WESTERN WASHINGTON OPEN DIRECTORS ROBERT MAUPIN (BOB) & LARRY WEST [removed] [removed] E-MAIL[removed]WWOCribb Add to Reading List Source URL: www.cribbage.org Language: English - Date: 2012-08-24 02:14:00 Poulsbo Washington Software engineering Cons Declarative programming Maupin Computer programming

UPDATE