FOR-A

Results: 646152



#Item
531Metaphysics / Philosophy / Epistemology of science / Philosophy of science / Cognitive science / Emergence / Cognition / Mechanism / Mind / Computational neuroscience / Explanation / Occam's razor

Towards a common philosophy of explanation for artificial and biological intelligence Jessica A.F. Thompson International Laboratory for Brain, Music and Sound Research Montréal, Canada Montreal Institute for Learning

Add to Reading List

Source URL: thompsonj.github.io

Language: English - Date: 2018-09-05 18:08:48
532Museology / Culture / Humanities / Collections care / Conservation and restoration / Archival science / Web archiving / Digital preservation / Born-digital / Archive / Archivist / Preservation

Module 3: Suggestions for longer publicity formats ● A quote from Library Director, Mayor, or Director of Library Board or Library Commission.

Add to Reading List

Source URL: archive-it.org

Language: English - Date: 2018-04-25 19:46:13
533Mathematics / Computability theory / Computer programming / Theoretical computer science / Software engineering / Subroutines / Recursion / Continuous function / Recurrence relation / Computable topology

The Semantics of a Simple Language for Parallel Programming Gilles KAHN IRIA-Laboria, Domaine de Voluceau, 78150 Rocquencourt, France and Commissariat à l’Energie Atomique, France

Add to Reading List

Source URL: perso.ensta-paristech.fr

Language: English - Date: 2010-09-20 10:06:48
534Piscataway /  New Jersey / Institute of Electrical and Electronics Engineers / Programming Language Design and Implementation

IEEE Cybersecurity Development C  onference Cambridge MA, September 30 - October 2, 2018 IEEE Cybersecurity Development (SecDev) is a venue for presenting ideas, research, and

Add to Reading List

Source URL: secdev.ieee.org

Language: English - Date: 2018-07-23 16:50:39
535Cryptography / Public-key cryptography / Computational complexity theory / Zero-knowledge proof / Proof of knowledge / Commitment scheme / Non-interactive zero-knowledge proof / IP / Cryptographic protocol / NP / RSA / Zero knowledge

ZKPDL: A Language-Based System for Efficient Zero-Knowledge Proofs and Electronic Cash Sarah Meiklejohn University of California, San Diego smeiklej@ cs.ucsd.edu

Add to Reading List

Source URL: www.usenix.org

Language: English - Date: 2010-06-18 19:02:40
536Theoretical computer science / Mathematical logic / Logic / Formal methods / Alt-Ergo / Electronic design automation / Logic in computer science / NP-complete problems / Satisfiability modulo theories / Axiom / First-order logic / Solver

AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo Sylvain Conchon Mohamed Iguernlala

Add to Reading List

Source URL: mebsout.github.io

Language: English - Date: 2017-07-21 11:03:15
537Aviation / Avionics / Transport / Human behavior / Air traffic control / Aircraft instruments / Aviation safety / Aviation law / Controllerpilot data link communications / Automatic dependent surveillance  broadcast / Aviation communication / Airport

This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination. IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS 1 On Perception an

Add to Reading List

Source URL: www.lenders.ch

Language: English - Date: 2016-10-14 03:54:34
538Digital media / World Wide Web / Software / Social media / Universal Windows Platform apps / Social networks / Crowdsourcing / Reddit / Twitter / Engagement marketing / Facebook

AetherWorks 501 Fifth Avenue, New York, NYMARKETING STRATEGIST AetherWorks is seeking a Marketing Strategist to help drive user growth, engagement, and education for ActiveAether & FogCoin. The Marketing Strategi

Add to Reading List

Source URL: www.aetherworks.com

Language: English - Date: 2018-06-25 15:36:31
539Contract law / Law / Economy / Warranty / Receipt / Product return / Contract / MagnusonMoss Warranty Act / Implied warranty

Return policy: Products purchased from the Sweetzpot store can be returned within 14 calendar days of the purchase date. To qualify for a return, the following requirements must be fulfilled:

Add to Reading List

Source URL: www.sweetzpot.com

Language: English - Date: 2018-01-03 03:10:38
UPDATE