F-theory - PDFSEARCH.IO - Document Search Engine

F-theory
Results: 2982

#	Item
501	T e nn e s s e e A s s o c i a ti o n o f A l c o h o l , D r u g & o the r A ddi c ti o n S e r v i c e s , I nc . TA A DA S T I M E S July 2013 Add to Reading List Source URL: www.taadas.org Language: English - Date: 2013-07-05 12:55:42 Substance abuse Drug addiction Medicine Drug court Drug rehabilitation Substance Abuse and Mental Health Services Administration Disease theory of alcoholism United States Department of Health and Human Services Alcoholism Ethics Addiction Alcohol abuse
502	Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic Viktor Kuncak1 and Martin Rinard2 1 Ecole Politechnique F´ed´erale de Lausanne, Lausanne, VD, Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2007-12-05 11:59:40 Logic in computer science Model theory Complexity classes Boolean algebra Electronic design automation Boolean satisfiability problem Presburger arithmetic Quantifier elimination Decision problem Theoretical computer science Computational complexity theory Applied mathematics
503	BEHAVIORAL AND BRAIN SCIENCES, 527–534 Printed in the United States of America Continuing Commentary Commentary on Stanovich, K. E. and West, R. F. “Individual differences in reasoning: Implications for the Add to Reading List Source URL: www.keithstanovich.com Language: English - Date: 2012-05-21 17:15:14 Reasoning Social philosophy Thought Cognitive psychology Epistemology Rationality Irrationality Rational choice theory Reason Cognitive science Mind Ethology
504	Philosophy & Social Criticism http://psc.sagepub.com The roles of religious conviction in a publicly justified polity: The implications of convergence, asymmetry and political institutions Gerald F. Gaus and Kevin Vallie Add to Reading List Source URL: www.kevinvallier.com Language: English - Date: 2012-07-23 09:36:35 Justification Belief Analytic philosophers Epistemology Theory of justification John Rawls Liberal democracy Public reason Reason Philosophy Christian theology Christianity
505	Concise Integer Linear Programming Formulations for Dependency Parsing ∗ Andr´e F. T. Martins∗† Noah A. Smith∗ Eric P. Xing∗ School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213, USA Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2009-05-19 09:57:02 Compiler construction Formal languages LL parser Dependency grammar Linear programming Parse tree Conditional random field Combinatory logic Directed graph Mathematics Graph theory Theoretical computer science
506	F o r m a l M o d e l s for C o m p u t e r S e c u r i t y CARL E. LANDWEHR Code 7593, Naval Research Laboratory, Washington, D CEfforts to build "secure" computer systems have now been underway for more than a Add to Reading List Source URL: www.landwehr.org Language: English - Date: 2014-08-18 18:59:28 Systems theory State space International Obfuscated C Code Contest Classical cipher Control theory Computing Computer programming
507	Draft Waiver Specific Transition Plan Long-term Care Waiver 1915(c) Compliance I. Purpose The Centers for Medicare and Medicaid Services (CMS) published rule (CMS-2249-F) in January 2014 requiring all Home and Community- Add to Reading List Source URL: hcbsadvocacy.files.wordpress.com Language: English - Date: 2015-02-03 14:58:26 Healthcare Housing Hospice Nursing home Elderly care American Health Care Association Respiratory therapy Attachment theory Medicine Health Geriatrics
508	Stochastic and fluid index policies for resource allocation problems M. Larran˜aga1,2,5 , U. Ayesta2,3,4,5 , I.M. Verloop1,5 IRIT, 2 rue C. Carmichel, FToulouse, France. 2 CNRS, LAAS, 7 avenue du colonel Roche, F Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2015-02-17 15:01:29 Systems theory Dynamic programming Operations research Equations Optimal control Bellman equation Multi-armed bandit Markov decision process Relaxation Statistics Mathematical optimization Control theory
509	URBAN AREA BOUNDARIES LEGAL DESCRIPTION G R A P H I C S A R E F O R I L L U S T R AT I V E P U R P O S E S O N LY Technical Group Add to Reading List Source URL: gorgevitalsigns.org Language: English - Date: 2014-09-25 14:09:00 Sheaf theory Topos
510	17 Zndividzkul Differences in Reasoning und the Heuristics und Biuses Debute KEITH E. STANOVICH and RICHARD F. WEST Add to Reading List Source URL: www.keithstanovich.com Language: English - Date: 2012-05-21 17:16:50 Ethology Decision theory Intelligence Intelligence tests Educational psychology Cognitive bias G factor Conjunction fallacy Intelligence quotient Mind Cognitive science Critical thinking

UPDATE