81![WHEN 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](https://www.pdfsearch.io/img/2b56766e2a830be2b60dc4e3fd36e516.jpg) | Add to Reading ListSource URL: elastics.education.illinois.eduLanguage: English - Date: 2017-05-02 11:14:07
|
---|
82![Reasoning 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](https://www.pdfsearch.io/img/856471bedd6e972c726a94646f314604.jpg) | Add to Reading ListSource URL: esslli2009.labri.frLanguage: English - Date: 2010-10-12 04:42:07
|
---|
83![Probabilistic 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](https://www.pdfsearch.io/img/74e7d3dda94410e26154bd779ca8260e.jpg) | Add to Reading ListSource URL: software.imdea.orgLanguage: English - Date: 2012-01-26 05:06:08
|
---|
84![Reasoning at the Right Time Granularity Suchi Saria Uri Nodelman Daphne Koller Reasoning at the Right Time Granularity Suchi Saria Uri Nodelman Daphne Koller](https://www.pdfsearch.io/img/2fded7a7f5bc89a21d9bfd2c57ec3cb2.jpg) | Add to Reading ListSource URL: ai.stanford.eduLanguage: English - Date: 2007-08-28 13:52:59
|
---|
85![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 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](https://www.pdfsearch.io/img/bc0c1e17febef196e9bb08571377dbb4.jpg) | Add to Reading ListSource URL: www-sop.inria.frLanguage: English - Date: 2012-04-18 09:24:18
|
---|
86![Constructing 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](https://www.pdfsearch.io/img/b0bc32f9abd55e64d4ccab5cf4138b46.jpg) | Add to Reading ListSource URL: www.qrg.northwestern.eduLanguage: English - Date: 2014-09-11 13:06:09
|
---|
87![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 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](https://www.pdfsearch.io/img/ed7e8fdb4a5ba6b3cfb758b5a9b188e2.jpg) | Add to Reading ListSource URL: www.inf.ethz.chLanguage: English - Date: 2011-09-22 05:55:49
|
---|
88![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 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](https://www.pdfsearch.io/img/557e25bde042ec6ffacd52d750f01daf.jpg) | Add to Reading ListSource URL: ceur-ws.orgLanguage: English - Date: 2017-06-30 02:16:23
|
---|
89![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 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](https://www.pdfsearch.io/img/8796c63a53dc0d3e31c11eefc2ca7a92.jpg) | Add to Reading ListSource URL: ontologydesignpatterns.orgLanguage: English - Date: 2014-09-29 05:32:17
|
---|
90![Matrix 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](https://www.pdfsearch.io/img/c062c6b2228fa55e00904f7a6e142299.jpg) | Add to Reading ListSource URL: www.dcn-cde.ca.govLanguage: English - Date: 2016-04-22 14:12:22
|
---|