Modal - PDFSEARCH.IO - Document Search Engine

Modal
Results: 2914

#	Item
571	Decidability of trace equivalence for protocols with nonces R´emy Chr´etien∗ † , V´eronique Cortier∗ , and St´ephanie Delaune † Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-05-28 08:43:13 Modal logic Metalogic Model theory Symbol
572	TASK THINKING AND REASONING, 1998, 4 (3),SELECTION 193– Add to Reading List Source URL: www.keithstanovich.com Language: English - Date: 2012-05-21 17:17:00 Mind Abstraction Wason selection task Intelligence Cognitive science Fluid and crystallized intelligence Heuristic Modal logic SAT Cognition Educational psychology Logic
573	Do you need sophisticated tools for data-based decision analysis? Lawrence Livermore can turn highly complex, multi-modal data sets into information that can be applied to actionable decisions, optimally deployed resourc Add to Reading List Source URL: data-analytics.llnl.gov Language: English - Date: 2014-10-17 13:15:59 University of California United States Department of Energy National Laboratories Ethology Battelle Memorial Institute Lawrence Livermore National Laboratory Livermore Valley Mathematical optimization Data mining Stochastic optimization Science Formal sciences Knowledge
574	COXETER-KNUTH GRAPHS AND A SIGNED LITTLE MAP FOR TYPE B REDUCED WORDS SARA BILLEY, ZACHARY HAMAKER, AUSTIN ROBERTS AND BENJAMIN YOUNG Abstract. We define an analog of David Little’s algorithm for reduced words in type Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2014-09-15 19:11:10 Symmetric functions Algebraic combinatorics Coxeter group Graph theory Representation theory Young tableau Harold Scott MacDonald Coxeter Littlewood–Richardson rule Modal logic Abstract algebra Mathematics Algebra
575	Awareness and forgetting of facts and agents Hans van Ditmarsch Fac. Philosophy, Dep. Logic University of Sevilla Sevilla, Spain Email: Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2011-03-25 01:16:22 Modal logic Theoretical computer science Philosophical logic Bisimulation Logic in computer science Epistemic modal logic Common knowledge Partition If and only if Mathematics Logic Mathematical logic
576	Becoming aware of propositional variables Hans van Ditmarsch1 and Tim French2 1 2 Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2011-03-25 01:15:11 Modal logic Philosophical logic Theoretical computer science Model theory Logic programming Bisimulation Epistemic modal logic Interpretation Propositional variable Logic Mathematical logic Mathematics
577	Verifying Temporal Heap Properties Specified via Evolution Logic? Eran Yahav1 , Thomas Reps2 , Mooly Sagiv1 , and Reinhard Wilhelm3 1 School of Comp. Sci., Tel-Aviv Univ., Tel-Aviv, Israel, {yahave,msagiv}@post.tau.ac.i Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2004-11-16 12:33:58 Philosophical logic Model theory First-order logic FO Linear temporal logic Modal logic Abstract interpretation Mereology Tiny Encryption Algorithm Logic Mathematical logic Predicate logic
578	Tuesday June 9th, :00-10:10 Reception 10:10-10:30 Add to Reading List Source URL: ttl2015.irisa.fr Language: English - Date: 2015-05-07 02:45:30 Deduction Abstraction Axiology Leon Henkin First-order logic Modal logic Natural deduction Logic Mathematical logic Philosophical logic
579	NEAPOLIS UNIVERSITY OF PAPHOS (NUP) WORKING PAPERS SERIES Add to Reading List Source URL: www.nup.ac.cy Language: English - Date: 2015-02-13 01:45:23 Mathematics Evolutionary algorithms Numerical analysis Genetic algorithm Algorithm Evolution strategy Evolutionary multi-modal optimization ModeFRONTIER Applied mathematics Cybernetics Mathematical optimization
580	IMAGINE CREATING ONE UNIVERSAL AND TRANSPARENT WAY OF CALCULATING FREIGHT EMISSIONS ACROSS THE GLOBAL MULTI-MODAL SUPPLY CHAIN. GLOBAL LOGISTICS EMISSIONS COUNCIL Multinationals need to get products to millions of custom Add to Reading List Source URL: www.nucms.nl Language: English - Date: 2015-05-24 06:36:07 Supply chain management Supply chain Business Technology Management

UPDATE