Automatic Verification of Determinism for Structured Parallelism Martin Vechev IBM T.J. Watson Research Center

Source URL: www.srl.inf.ethz.ch

• Software engineering
• Computing
• Computer programming
• Procedural programming languages
• Concurrent programming languages
• Object-oriented programming languages
• ALGOL 68
• Nm
• Determinism
• Cilk
• D

Developmental Psychology 2007, Vol. 43, No. 5, 1124 –1139 Copyright 2007 by the American Psychological Association/$12.00 DOI:

Source URL: eccl.mit.edu

• Philosophy
• Philosophy of science
• Metaphysics
• Academia
• Causality
• Conditionals
• Determinism
• Causal reasoning
• Theory of mind
• Science

Measuring Cross-Device, The Methodology As the first company to crack-the-code on cross-screen, Tapad Data Scientists are asked to explain the power of our cross-screen technology on a near-daily basis. This is their ove

Source URL: www.tapad.com

• Tapad
• Metaphysics
• Internet privacy
• Philosophy
• Computing
• Prediction
• Determinism
• Algorithm
• HTTP cookie
• Data cleansing

Developmental Psychology Children’s Causal Inferences From Conflicting Testimony and Observations Sophie Bridgers, Daphna Buchsbaum, Elizabeth Seiver, Thomas L. Griffiths, and Alison Gopnik Online First Publication, No

Source URL: cocosci.berkeley.edu

• Philosophy
• Metaphysics
• Philosophy of science
• Knowledge
• Information
• Causality
• Conditionals
• Statistical models
• Informant
• Bayesian network
• Determinism
• Causal reasoning

When does the majority rule? Preschoolers’ trust in majority informants varies by task domain Jane C. Hu () Daphna Buchsbaum () Thomas L. Griffiths () F

Source URL: cocosci.berkeley.edu

• Philosophy of science
• Social learning theory
• Causality
• Conditionals
• Emulation
• Informant
• Determinism
• Social psychology
• Labeling theory

Comparing Two Sound Design Styles: Between Determinism Emergence And Interactivity C´ecile Le Prado, St´ephane Natkin, Lubna Odeh CEDRIC/CNAM 292 rue St MartinParis France , stephane.natkin@cnam.f

Source URL: isea2015.org

Trace Equivalence Decision: Negative Tests and ∗ Non-determinism Vincent Cheval Hubert Comon-Lundh

Source URL: www.lsv.ens-cachan.fr

Social Cognitive and Affective Neuroscience Advance Access published May 1, 2014 "Why should I care?" Challenging free will attenuates neural reaction to errors Running title: Determinism alters error processing Davide

Source URL: www.iap-cool.net

Freedom and Determinism edited by Joseph Keim Campbell, Michael O’Rourke, and David Shier A Bradford Book The MIT Press

Source URL: www.andrewmbailey.com

Metascience:103–106 DOIs11016z BOOK REVIEW Looking for a quantum ontology Detlev Du¨rr and Stefan Teufel: Bohmian mechanics:

Source URL: www.maphy.uni-tuebingen.de

• Quantum mechanics
• Physics
• Quantum measurement
• Metaphysics
• Interpretations of quantum mechanics
• Randomness
• Interpretation
• De BroglieBohm theory
• Copenhagen interpretation
• Mathematical formulation of quantum mechanics
• Measurement problem
• Determinism