Declarative - PDFSEARCH.IO - Document Search Engine

Declarative
Results: 769

#	Item
631	A functional reconstruction of anti-unification NR Norwegian Computing Center Add to Reading List Source URL: publications.nr.no Language: English - Date: 2011-02-11 06:14:51 Logic programming Model theory Integral calculus Automated theorem proving Unification Interpretation Integration by substitution Function Monad Mathematics Mathematical logic Declarative programming
632	HOWARD Comprehensive Diagnosis and of Add to Reading List Source URL: www.howardlas.com Language: English - Date: 2012-05-21 18:21:05 Cognitive science Attention deficit hyperactivity disorder Memory disorder Methylphenidate Adult attention deficit hyperactivity disorder HM Procedural memory Neuropsychology Declarative memory Attention-deficit hyperactivity disorder Mind Psychology
633	3rd International Conference on Complex Distributed Systems (CODS[removed]The Second SIWN Congress (SIWN 2009), Leipzig, Germany, 23-25 March 2009 Declarative Data Grounding Using a Mapping Language ∗ ´ Miguel Garc´ıa Add to Reading List Source URL: www.josemalvarez.es Language: English - Date: 2011-10-05 07:06:01 World Wide Web Information SAWSDL Semantic Web Services OWL-S Resource Description Framework XML schema Web Services Description Language Ontology Semantic Web Computing Web services
634	A finite-valued solver for disjunctive fuzzy answer set programs Mushthofa Mushthofa 1 and Steven Schockaert 2 and Martine De Cock1 3 Abstract. Fuzzy Answer Set Programming (FASP) is a declarative programming paradigm wh Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2014-06-24 13:12:00 Logic in computer science Logic programming Boolean algebra Artificial intelligence Non-classical logic Answer set programming Stable model semantics Fuzzy logic Propositional calculus Theoretical computer science Mathematical logic Logic
635	Conal Mullen Elliott P.O. Box 951 San Andreas, CA[removed]Education Add to Reading List Source URL: conal.net Language: English - Date: 2011-02-10 19:38:08 Functional programming Programming paradigms Functional languages Haskell International Conference on Functional Programming Imperative programming Simon Peyton Jones Software development methodology Journal of Functional Programming Software engineering Computing Declarative programming
636	An Open-source and Declarative Approach Towards Teaching Large-scale Networked Systems Programming Harjot Gill Taher Saeed Add to Reading List Source URL: netdb.cis.upenn.edu Language: English - Date: 2011-03-10 11:56:37 Computer architecture Routing Wireless networking File sharing networks Distributed hash table Chord Peer-to-peer Optimized Link State Routing Protocol Routing protocol Computing Distributed data storage Network architecture
637	Declarative Policy-based Adaptive MANET Routing Changbin Liu∗ Ricardo Correa∗ Xiaozhou Li∗ Prithwish Basu† Boon Thau Loo∗ Yun Mao‡ ∗ University of Pennsylvania † BBN Technologies ‡ AT&T Labs - Research Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2009-09-12 14:19:05 OSI protocols Optimized Link State Routing Protocol Link-state routing protocol Mobile ad hoc network Dynamic Source Routing Routing Zone Routing Protocol Gossip protocol Delay-tolerant networking Wireless networking Technology Network architecture
638	Declarative Transport A Customizable Transport Service for the Future Internet Karim Mattar† Ibrahim Matta† Add to Reading List Source URL: netdb09.cis.upenn.edu Language: English - Date: 2009-08-12 10:02:51 OSI protocols Data transmission Internet protocols Transmission Control Protocol Transport layer Traffic flow Multicast Communications protocol Computer network Computing Data Network architecture
639	Recent Advances in Declarative Networking Boon Thau Loo1 Harjot Gill1 William R. Marczak3 Micah Sherr4 Changbin Liu1 Anduo Wang1 Add to Reading List Source URL: netdb.cis.upenn.edu Language: English - Date: 2011-11-10 21:33:44 Data Information Datalog Distributed hash table Routing Communications protocol Peer-to-peer Chord SQL Computing Distributed data storage Query languages
640	ORIGINAL RESEARCH ARTICLE published: 03 June 2014 doi: [removed]fnsys[removed]SYSTEMS NEUROSCIENCE Add to Reading List Source URL: repositorio.ufrn.br Language: English - Date: 2014-06-03 14:31:02 Neurophysiology Nap Declarative memory Delayed sleep phase disorder Rapid eye movement sleep Procedural memory Memory Circadian rhythm Siesta Sleep Biology Mind

UPDATE