Science

Results: 788472



#Item
131

Earth Science 7-12_EPC.pdf

Add to Reading List

Source URL: catalog.southernct.edu

Language: English - Date: 2018-10-06 18:04:35
    132Mathematical analysis / Mathematical optimization / Operations research / Stochastic game / Nash equilibrium / Markov chain / Determinacy / Stochastic process / Mathematics / Analysis / Multi-objective optimization

    Decidability Results for Multi-objective Stochastic Games Romain Brenguier and Vojtˇech Forejt Department of Computer Science, University of Oxford, UK Abstract. We study stochastic two-player turn-based games in which

    Add to Reading List

    Source URL: qav.comlab.ox.ac.uk

    Language: English - Date: 2016-07-05 18:17:09
    133Computing / Software engineering / Computer programming / Debugging / Cross-platform software / Object-oriented programming languages / Procedural programming languages / Assertion / Logic in computer science / Configuration management / PHP / Program slicing

    Which Configuration Option Should I Change? Sai Zhang Michael D. Ernst Department of Computer Science & Engineering

    Add to Reading List

    Source URL: zhang-sai.github.io

    Language: English - Date: 2015-05-05 00:58:34
    134Linguistics / Computational linguistics / Statistical natural language processing / Natural language processing / Corpus linguistics / Applied linguistics / Speech recognition / Topic model / Latent Dirichlet allocation / N-gram / Stemming / Text corpus

    Understanding Text Pre-Processing for Latent Dirichlet Allocation Alexandra Schofield1 M˚ans Magnusson2 Laure Thompson1 David Mimno3 1 Department of Computer Science, Cornell University, Ithaca, NY {xanda, laurejt}@cs.c

    Add to Reading List

    Source URL: www.cs.cornell.edu

    Language: English - Date: 2017-07-19 14:45:03
    135Data security / Data protection / Law / Privacy law / Information privacy / Privacy / Internet privacy / General Data Protection Regulation / HTTP cookie / Data Protection Officer / Personally identifiable information / Data Protection Act

    Personal Data Protection Policy The Science & Technology Park of Crete (STEP-C) pays special attention to the protection of the visitors’ and users’ privacy and personal data. Please note that personal data means, un

    Add to Reading List

    Source URL: www.stepc.gr

    Language: English - Date: 2018-06-26 04:36:52
    136Science and technology in the United States / General Services Administration / Social and Behavioral Sciences Team / Education / Human behavior / Science / Fellows of the American Association for the Advancement of Science / Executive Office of the President of the United States / Office of Science and Technology Policy / National Science and Technology Council / Maya Shankar / Science /  technology /  engineering /  and mathematics

    Social and Behavioral Sciences Team Annual Report Executive Office of the President National Science and Technology Council

    Add to Reading List

    Source URL: sbst.gov

    Language: English - Date: 2017-05-02 18:15:57
    137Mathematics / Measure theory / Boolean algebra / Experiment / Sigma-algebra / Determinacy / Abstract algebra / Stochastic game / -automaton / Lie algebras / Lifting theory / Littelmann path model

    Playing Stochastic Games Precisely Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , Aistis Simaitis1 , Ashutosh Trivedi2 , and Michael Ummels3 1 Department of Computer Science, University of Oxford, Oxford, UK

    Add to Reading List

    Source URL: qav.comlab.ox.ac.uk

    Language: English - Date: 2012-07-04 05:45:30
    138Human behavior / World Bank / Economy / Culture / Economic indicators / Numbeo / Social information processing / College and university rankings / Quality of life / Ease of doing business index / World Development Indicators / QS World University Rankings

    Where are the Best FinTech Centers? Dr. Thomas Ankenbrand, Denis Bieri, New research by the Institute of Financial Services Zug (IFZ) at Lucerne University of Applied Science

    Add to Reading List

    Source URL: innovation.thomsonreuters.com

    Language: English - Date: 2018-10-22 06:58:50
    139Algorithm / Mathematical logic / Theoretical computer science / IP / Model checking / Mathematics / Machine learning

    Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that

    Add to Reading List

    Source URL: jorgenavas.github.io

    Language: English - Date: 2018-10-25 12:43:22
    140

    Journeys in World Politics, March 9th-11th, 2006 Sponsored by the University of Iowa College of Liberal Arts & Sciences, with Support from the Department of Political Science Thursday, Mar. 9 6:30-8:30 p.m. Dinner at Sh

    Add to Reading List

    Source URL: www.saramitchell.org

    Language: English - Date: 2009-07-21 12:23:20
      UPDATE