Edu

Results: 1439644



#Item
101Mathematical logic / Logic / Mathematics / Model theory / Automated theorem proving / Predicate logic / Semantics / Logic programming / Resolution / First-order logic / Skolem normal form / Substitution

Theorem-Proving by Resolution as a Basis for Question-Answering Systems Cordell Green Stanford Research Institute Menlo Park, California

Add to Reading List

Source URL: www.kestrel.edu

Language: English - Date: 2011-11-16 13:42:21
102Social information processing / Wikipedia / Digital media / World Wide Web / Collaboration / Academic studies about Wikipedia / Wikipedia community / Justin Knapp / Wiki / Conflict-of-interest editing on Wikipedia / Criticism of Wikipedia

Using Edit Sessions to Measure Participation in Wikipedia

Add to Reading List

Source URL: www-users.cs.umn.edu

Language: English - Date: 2013-02-14 12:23:31
103Computing / Free software / Dark web / Internet / Cryptographic protocols / Internet Standards / Computer network security / Tor / .onion / Botnet / Internet privacy / Bipartite graph

HOnions: Detection and Identification of Snooping Tor HSDirs Amirali Sanatinia, Guevara Noubir College of Computer and Information Science Northeastern University, Boston, USA {amirali,noubir}@ccs.neu.edu

Add to Reading List

Source URL: www.ieee-security.org

Language: English - Date: 2017-05-12 23:38:22
104Publishing / Human behavior / Writing / Academic publishing / Textual scholarship / Technical communication / Grey literature / Copy editing / Proofreading / Manuscript / Book

GUIDELINES for VOLUME EDITORS This document is a supplement to the general author guidelines. YOUR RESPONSIBILITIES AS A VOLUME EDITOR As volume editor, you are responsible for ensuring that all of the chapters to be inc

Add to Reading List

Source URL: mitpress.mit.edu

Language: English - Date: 2018-06-27 14:43:30
105Neurochemistry / Drug control law / Drug policy / Law / Euphoriants / RTT / Illegal drug trade in the United States / Stimulants / War on drugs / Cocaine / Prohibition of drugs / Supply reduction

bs_bs_banner FOR DEBATE doi:add.12497

Add to Reading List

Source URL: faculty.publicpolicy.umd.edu

Language: English - Date: 2014-09-08 17:28:17
106

Mathematics 7-12, BS "DBEFNJD.BQ  5IF"DBEFNJD.BQTFSWFTBTBTVHHFTUFEDPVSTFTFRVFODFPOMZ4UVEFOUTBSFOPUMJNJUFEUPUIJTQMBOJUJTNFBOUUPCFVTFEBT

Add to Reading List

Source URL: catalog.southernct.edu

Language: English - Date: 2018-10-06 18:05:19
    107

    Cortical responses to dynamic emotional facial expressions generalize across stimuli, and are sensitive to task-relevance, in adults with and without Autism

    Add to Reading List

    Source URL: saxelab.mit.edu

    Language: English - Date: 2018-03-22 14:31:04
      108Nervous system / Neuroimaging / Neuroscience / Temporal lobe / Cognitive neuroscience / Gyri / Anatomy / Fusiform face area / Functional specialization / Functional magnetic resonance imaging / Functional near-infrared spectroscopy / Parahippocampal gyrus

      | Received: 24 December 2015    Accepted: 10 June 2017 DOI: descPA P E R

      Add to Reading List

      Source URL: saxelab.mit.edu

      Language: English - Date: 2017-09-19 10:42:09
      109

      ΔΙΑΠΙΣΤΩΤΙΚΗ ΠΡΑΞΗ ΓΙΑ ΔΙΟΡΙΣΜΟ ΠΡΥΤΑΝΗ-2016

      Add to Reading List

      Source URL: council.dev.edu.uoc.gr

      Language: Greek - Date: 2016-02-29 08:41:21
        110Mathematics / Computer programming / Software engineering / Source code / Syntax / Dependency grammar / NC / Term / For loop / Kazhdan's property

        Qlose: Program Repair with Quantitative Objectives? Loris D’Antoni1 , Roopsha Samanta2 , and Rishabh Singh3 1 University of Wisconsin-Madison

        Add to Reading List

        Source URL: www.cs.purdue.edu

        Language: English - Date: 2016-07-15 23:00:36
        UPDATE