L UDOCORE: A Logical Game Engine for Modeling Videogames Adam M. Smith, Mark J. Nelson, and Michael Mateas Abstract— L UDOCORE is a logical “game engine”, linking game rules as reasoned about by game designers to t

Source URL: game.itu.dk

• Leisure
• Mathematical logic
• Video game development
• Logic
• Game design
• Conceptual model
• Metaphor
• Simulation
• Gameplay
• The Trace
• Knowledge representation and reasoning
• Artificial intelligence

GW150914:FACTSHEET BACKGROUND IMAGES: TIME-FREQUENCY TRACE (TOP) AND TIME-SERIES ( B O T T O M ) I N T H E T W O L I G O D E T E C T O R S ; S I M U L AT I O N O F B L A C K H O L E HORIZONS (MIDDLE-TOP), BEST FIT WAVEFO

Source URL: ligo.elte.hu

Journal of Experimental Psychology: General 2013, Vol. 142, No. 3, 880 –905 © 2012 American Psychological Association/$12.00 DOI: a0030045

Source URL: papafragou.psych.udel.edu

• Neuropsychology
• Neuroscience
• Cognitive science
• Mental processes
• Neuropsychological assessment
• Psychology
• Recall
• Attention
• Memory
• Cognition
• Difference due to memory
• Fuzzy-trace theory

LPDDR4 DDR Detective ® For LPDDR4 Protocol, Compliance, Performance and Trace all in one tool!

Source URL: www.futureplus.com

From Trace Sets to Modal-Transition Systems by Stepwise Abstract Interpretation David A. Schmidt 1 Computing and Information Sciences Department Kansas State University Manhattan, KSUSA.

Source URL: people.cis.ksu.edu

www.itsabook.de It’s a Book, it’s a Trace,  it’s a different Place Rules and

Source URL: www.itsabook.de

Representation of Partial Traces Marc Bagnol Department of Mathematics and Statistics – University of Ottawa The notion of trace in a monoidal category has been introduced by Joyal Street and Verity [4] to give a categ

Source URL: logica.dmi.unisa.it

• Linear algebra
• Monoidal categories
• Order theory
• Category theory
• Abstract algebra
• Partial trace
• Andr Joyal
• Trace
• Equivalence class
• Equivalence relation
• Embedding
• Natural transformation

TRACE D3.1 Project acronym: Project title: Grant number: Programme:

Source URL: trace-project.eu

On Kloosterman Sums Divisible by 3 Kseniya Garaschuk, Petr Lisonˇek {kgarasch,plisonek}@sfu.ca One nice property of the trace function Counting Coset Leaders for the Melas code

Source URL: www.cecm.sfu.ca

Brent Nelson* (). Free monotone transport without a trace. Classical transport is a map T : X → Z between probability spaces (X, µ) and (Z, ν) such that T∗ µ = ν. Consequently,

Source URL: jointmathematicsmeetings.org