Dependence logic - PDFSEARCH.IO - Document Search Engine

Dependence logic
Results: 46

#	Item
1	Methamphetamine Problem and Solution Using the Strategic Prevention Framework Logic Model Many Voices One Vision Add to Reading List Source URL: drugs.indiana.edu Language: English - Date: 2007-08-20 12:38:13 Neurochemistry Neuropsychology Clinical medicine Euphoriants Substance dependence Methamphetamine Aphrodisiacs Management of obesity Center for Substance Abuse Prevention Drug Enforcement Administration Substance abuse prevention Substance Abuse and Mental Health Services Administration
2	Interprocedural Dependence Analysis of Higher-Order Programs via Stack Reachability Matthew Might Tarun Prabhu Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2010-10-16 23:59:16 Logic Mathematics Metalogic Model theory Structure Abstraction
3	In D. Corfield and J. Williamson (Eds.) Foundations of Bayesianism, Kluwer Applied Logic Series, Kluwer Academic Publishers,Vol. 24, 19-36, 2001. JUDEA PEARL Add to Reading List Source URL: ftp.cs.ucla.edu Language: English - Date: 2007-02-09 16:16:38 Econometrics Regression analysis Philosophy of science Conditionals Independence Causality Causal model Instrumental variable Statistics Confounding Correlation and dependence Structural equation modeling
4	Dependence logic Jouko V¨a¨an¨anen University of Helsinki and University of Amsterdam Auckland, April 2016 Add to Reading List Source URL: www.math.helsinki.fi Language: English - Date: 2016-05-28 02:05:59
5	Complexity of two-variable Dependence Logic and IF-Logic∗ Juha Kontinen†, Antti Kuusisto‡, Peter Lohmann§, Jonni Virtema‡ arXiv:1104.3148v1 [cs.LO] 15 Apr 2011 Add to Reading List Source URL: arxiv.org Language: English - Date: 2011-04-18 20:30:56
6	Limiting Information Leakage in Event-based Communication Willard Rafnsson Andrei Sabelfeld Chalmers Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-11-25 05:03:16 Logical syntax Metalogic Philosophical logic Propositional calculus Ch Dependence analysis Logic Deduction Entailment
7	Informational Independence: Models and Normal Forms L.C. van der Gaag & J.-J.Ch. Meyer Utrecht University, Department of Computer Science P.O. Box, 3508 TB Utrecht, The Netherlands Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:36:40 Z notation Set theory Independence Probability theory Statistical dependence Constructible universe Function S Mereology Mathematical logic Mathematics Logic
8	Incentives for Subjective Evaluations with Private Beliefs Goran Radanovic and Boi Faltings Ecole Polytechnique Federale de Lausanne (EPFL) Artificial Intelligence Laboratory CH-1015 Lausanne, Switzerland Add to Reading List Source URL: liawww.epfl.ch Language: English - Date: 2015-02-05 11:37:45 Combinatory logic Mechanism design Mathematics Reputation Random variable Conditional independence Constructible universe Applied mathematics Probability and statistics Probability theory Statistical dependence Independence
9	A Core Calculus of Dependency Mart´ın Abadi Systems Research Center Compaq [removed] Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2003-11-05 23:04:29 Models of computation Logic in computer science Deduction Symbol Entailment Denotational semantics Lambda calculus Model theory Dependence analysis Logic Theoretical computer science Metalogic
10	Two Etudes on Combining Probabilistic and Interval Uncertainty: Processing Correlations and Measuring Loss of Privacy Martine Ceberio, Gang Xiang, Hung T. Nguyen Add to Reading List Source URL: www.cs.utep.edu Language: English - Date: 2006-10-17 21:39:11 Correlation and dependence Science Artificial intelligence Measurement Knowledge representation Logic form Natural language processing