Ř

Results: 355477



#Item
161Application software / Free statistical software / Literate programming / Mathematics / Mathematical software / Knitr / R / Vector / Euclidean vector

Package ‘textfeatures’ March 6, 2018 Type Package Title Extracts Features from Text VersionDescription A tool for extracting some generic features (e.g., number of

Add to Reading List

Source URL: cran.r-project.org

Language: English - Date: 2018-03-06 13:48:57
162Logic / Mathematics / Mathematical logic / Metalogic / Model theory / Syntax / Well-formed formula / First-order logic / Resolution / Logic programming / Tautology

The use of theorem-proving techniques in question-answering systems by C. C O R D E L L G R E E N and BERTRAM RAPHAEL Stanford Research Institute Menlo Park, California

Add to Reading List

Source URL: www.kestrel.edu

Language: English - Date: 2011-11-16 13:36:18
163Geography of Europe / Europe / Culture / Malcolm H. Wiener / Tourism in Greece / Belfer / Civilization / Bronze Age / Ancient history / Greeks / Athens / Minoan civilization

B E L F E R C E N T E R PA P E R The Collapse of Civilizations Malcolm H. Wiener

Add to Reading List

Source URL: www.belfercenter.org

Language: English - Date: 2018-09-05 14:46:32
164Electromagnetism / Magnetism / Computer data storage / IBM / Tape drive / Linear Tape File System / Linear Tape-Open / Spectra Logic / Backup / Hard disk drive / IBM Storage / IBM 3480 Family

IBM® TS1155 Technology: The Most Reliable and Highest Capacity Tape Technology in the Industry The IBM® TS1155 Technology offers the most reliable tape technology ever developed. Designed to provide enterprise-class r

Add to Reading List

Source URL: www.teradactyl.com

Language: English
165Mathematics / Algebra / Abstract algebra / Boolean algebra / Algebraic structures / Logic in computer science / Constraint programming / Boolean satisfiability problem / Electronic design automation / DPLL algorithm / Conjunctive normal form / Boolean

Synthesis of Propositional Satisfiability Solvers Douglas R. Smith Stephen J. Westfold Kestrel Institute Palo Alto, CA, 94304 USA

Add to Reading List

Source URL: www.kestrel.edu

Language: English - Date: 2012-08-02 20:25:03
166Champaign /  Illinois

ELECTION NOTICE FOR USE WITH THE FEDERAL WRITE-IN ABSENTEE BALLOT (FWAB) R.CIssued by the Champaign County Board of Elections BOE to check one:

Add to Reading List

Source URL: champaign.ohioboe.com

Language: English - Date: 2018-07-26 14:06:40
167

UZK-PLAN-PRINT-GRAU für spezialambulanz

Add to Reading List

Source URL: www.unizahnklinik-wien.at

Language: German - Date: 2017-05-24 06:01:13
    168Internet architecture / Computing / Information and communications technology / Network architecture / Border Gateway Protocol / Forwarding plane / Internet exchange point / Router / Control plane / Software-defined networking / Routing / Forwarding information base

    An Industrial-Scale Software Defined Internet Exchange Point Arpit Gupta?, Robert MacDavid?, R¨udiger Birkner†, Marco Canini, Nick Feamster?, Jennifer Rexford?, Laurent Vanbever† ?Princeton University †ETH Z¨ur

    Add to Reading List

    Source URL: nsg.ee.ethz.ch

    Language: English - Date: 2016-11-15 08:07:48
    169Ohio / Appalachian Ohio / Athens County /  Ohio / Geography of the United States / Athens /  Ohio / Athens

    ELECTION NOTICE FOR USE WITH THE FEDERAL WRITE-IN ABSENTEE BALLOT (FWAB) R.CIssued by the Athens County Board of Elections BOE to check one:

    Add to Reading List

    Source URL: athens.ohioboe.com

    Language: English - Date: 2018-07-26 10:17:25
    170

    Form No. 120 Prescribed by Secretary of StateElection Notice for use With the Federal Write-In Absentee Ballot (FWAB) R.C

    Add to Reading List

    Source URL: jefferson.ohioboe.com

    Language: English - Date: 2018-10-02 09:00:28
      UPDATE