C--

Results: 504177



#Item
161Model checkers / Promela / Computing / Model checking / SPIN model checker / Gerard J. Holzmann / Modeling language / Mars Exploration Rover / Economic model / Theoretical computer science / Notation

Automated Testing of Planning Models Klaus Havelund, Alex Groce, Gerard Holzmann, Rajeev Joshi, Margaret Smith Jet Propulsion Laboratory? , California Institute of Technology 4800 Oak Grove Drive, Pasadena/Los Angeles, C

Add to Reading List

Source URL: rjoshi.org

Language: English - Date: 2010-09-11 18:31:15
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
163Springfield /  Massachusetts / Springfield /  Virginia / Boe / Springfield Union Station / Springfield /  Ohio / Geography of the United States / Geography of Massachusetts / Massachusetts

CLARK COUNTY BOARD OF ELECTIONS Board Members  Ted A. McClenen, Chairperson  Lynda Smith  Max Cordle  David Hartley Director  Jason Baker Deputy Director  Amber Lopez September 15, 2016 The Board will c

Add to Reading List

Source URL: clark.ohioboe.com

Language: English - Date: 2017-04-21 08:14:18
164Climatology / Physical geography / Climate forcing agents / Climate change / Climate history / Global warming / Radiative forcing / Carbon dioxide in Earth's atmosphere / Representative Concentration Pathway / Draft:Climate change in Finland

Cumulative emissions of CO2 and future non-CO2 radiative forcing determine the probability of limiting warming to 1.5°C a) Observed global temperature change and modeled responses to stylized anthropogenic emission and

Add to Reading List

Source URL: report.ipcc.ch

Language: English - Date: 2018-10-15 09:47:58
165Geography 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
166Russian interference in the 2016 United States elections / Foreign electoral intervention / Government / Politics / Security engineering / Cybercrime / National security / Cyberwarfare / Marc Rotenberg / Federal Bureau of Investigation / Electronic Privacy Information Center / Computer security

June 15, 2018 Senator Chuck Grassley, Chairman Senator Dianne Feinstein, Ranking Member United States Senate Committee on the Judiciary 224 Dirksen Senate Office Building Washington, D.C

Add to Reading List

Source URL: www.epic.org

Language: English - Date: 2018-06-15 16:21:04
167

Il y a quelque chose de plus fort que la mort, c’est la présence des absents, dans la mémoire des vivants. J. d’Ormesson Ses enfants : Anne C. LEONARD-HENRY

Add to Reading List

Source URL: www.hommages.ch

Language: French - Date: 2018-10-23 01:02:01
    168Climatology / Physical geography / Climate forcing agents / Climate change / Climate history / Global warming / Radiative forcing / Carbon dioxide in Earth's atmosphere / Representative Concentration Pathway / Draft:Climate change in Finland

    Cumulative emissions of CO2 and future non-CO2 radiative forcing determine the probability of limiting warming to 1.5°C a) Observed global temperature change and modeled responses to stylized anthropogenic emission and

    Add to Reading List

    Source URL: www.ipcc.ch

    Language: English - Date: 2018-10-15 09:46:18
    169Abstract algebra / Mathematics / Representation theory / Lie algebras / Invariant theory / Algebras / Lie groups / Quiver / KacMoody algebra / Hall algebra / Quantum group / Vertex operator algebra

    P .I .C . M . – 2018 Rio de Janeiro, Vol–1420)

    Add to Reading List

    Source URL: eta.impa.br

    Language: English - Date: 2018-07-25 13:17:43
    170

    V´erification de programmes C concurrents avec Cubicle : Enfoncer les barri`eres Sylvain Conchon1,2 & David Declerck1 & Luc Maranget3 & Alain Mebsout1,2 1: Universit´e Paris Sud, CNRS, FOrsay ˆ 2: INRIA Saclay

    Add to Reading List

    Source URL: cubicle.lri.fr

    Language: French - Date: 2014-01-13 12:02:51
      UPDATE