Reasoning

Results: 5026



#Item
81WHEN 2 EQUALS 10 TIMES 1  Facilitating reasoning about exponential growth with an embodied simulation  Nitasha Mathayas, Jason Morphew, Robb Lindgren, and Sahar Alameh

WHEN 2 EQUALS 10 TIMES 1 Facilitating reasoning about exponential growth with an embodied simulation Nitasha Mathayas, Jason Morphew, Robb Lindgren, and Sahar Alameh

Add to Reading List

Source URL: elastics.education.illinois.edu

Language: English - Date: 2017-05-02 11:14:07
    82Reasoning with Probabilities Outline of a ESSLLI 2009 Course Eric Pacuit∗ Joshua Sack

    Reasoning with Probabilities Outline of a ESSLLI 2009 Course Eric Pacuit∗ Joshua Sack

    Add to Reading List

    Source URL: esslli2009.labri.fr

    Language: English - Date: 2010-10-12 04:42:07
      83Probabilistic Relational Reasoning for Differential Privacy Gilles Barthe Boris K¨opf  Federico Olmedo

      Probabilistic Relational Reasoning for Differential Privacy Gilles Barthe Boris K¨opf Federico Olmedo

      Add to Reading List

      Source URL: software.imdea.org

      Language: English - Date: 2012-01-26 05:06:08
        84Reasoning at the Right Time Granularity  Suchi Saria Uri Nodelman Daphne Koller

        Reasoning at the Right Time Granularity Suchi Saria Uri Nodelman Daphne Koller

        Add to Reading List

        Source URL: ai.stanford.edu

        Language: English - Date: 2007-08-28 13:52:59
          85Reasoning about Web Applications: An Operational Semantics for Hop G´erard Boudol and Zhengqin Luo and Tamara Rezk and Manuel Serrano INRIA Sophia Antipolis-Mediterran´ee  We propose a small-step operational semantics

          Reasoning about Web Applications: An Operational Semantics for Hop G´erard Boudol and Zhengqin Luo and Tamara Rezk and Manuel Serrano INRIA Sophia Antipolis-Mediterran´ee We propose a small-step operational semantics

          Add to Reading List

          Source URL: www-sop.inria.fr

          Language: English - Date: 2012-04-18 09:24:18
            86Constructing Hierarchical Concepts via Analogical Generalization Chen Liang () Kenneth D. Forbus () Qualitative Reasoning Group, Northwestern University, 2133 Sherid

            Constructing Hierarchical Concepts via Analogical Generalization Chen Liang () Kenneth D. Forbus () Qualitative Reasoning Group, Northwestern University, 2133 Sherid

            Add to Reading List

            Source URL: www.qrg.northwestern.edu

            Language: English - Date: 2014-09-11 13:06:09
              87Formal Reasoning about Physical Properties of Security Protocols DAVID BASIN, SRDJAN CAPKUN, PATRICK SCHALLER, and BENEDIKT SCHMIDT ETH Zurich, Switzerland  Traditional security protocols are mainly concerned with authen

              Formal Reasoning about Physical Properties of Security Protocols DAVID BASIN, SRDJAN CAPKUN, PATRICK SCHALLER, and BENEDIKT SCHMIDT ETH Zurich, Switzerland Traditional security protocols are mainly concerned with authen

              Add to Reading List

              Source URL: www.inf.ethz.ch

              Language: English - Date: 2011-09-22 05:55:49
                88Reasoning strategies for diagnostic probability estimates in causal contexts: Preference for defeasible deduction over abduction? Jean-Louis Stilgenbauer1,2 , Jean Baratgin1,3 , and Igor Douven4 1

                Reasoning strategies for diagnostic probability estimates in causal contexts: Preference for defeasible deduction over abduction? Jean-Louis Stilgenbauer1,2 , Jean Baratgin1,3 , and Igor Douven4 1

                Add to Reading List

                Source URL: ceur-ws.org

                Language: English - Date: 2017-06-30 02:16:23
                  89An Ontology Design Pattern for Activity Reasoning Amin Abdalla1 , Yingjie Hu2 , David Carral3 , Naicong Li4 , Krzysztof Janowicz2 1 2  Institute for Geoinformatics,Vienna University of Technology, Austria

                  An Ontology Design Pattern for Activity Reasoning Amin Abdalla1 , Yingjie Hu2 , David Carral3 , Naicong Li4 , Krzysztof Janowicz2 1 2 Institute for Geoinformatics,Vienna University of Technology, Austria

                  Add to Reading List

                  Source URL: ontologydesignpatterns.org

                  Language: English - Date: 2014-09-29 05:32:17
                    90Matrix Identify Strengths/Weaknesses under each domain; note emerging skill/important information in Comments Domains Description  Reasoning

                    Matrix Identify Strengths/Weaknesses under each domain; note emerging skill/important information in Comments Domains Description Reasoning

                    Add to Reading List

                    Source URL: www.dcn-cde.ca.gov

                    Language: English - Date: 2016-04-22 14:12:22