WHAT IS SPACECHEM? SpaceChem is an intriguing, "problem-solving centric" puzzle game by Zachtronics Industries that combines the logic of computer programming with the scientific domain of chemistry, set in an original s

Source URL: www.zachtronics.com

An experimental evaluation of Max-SAT and PB solvers on over-subscription planning problems Marco Maratea DIST, University of Genova, Viale F. Causa 15, Genova, Italy. Abstract

Source URL: ceur-ws.org

• Theoretical computer science
• Automated planning and scheduling
• Logic in computer science
• Mathematics
• Computational complexity theory
• Boolean algebra
• Electronic design automation
• Formal methods
• Boolean satisfiability problem
• Maximum satisfiability problem
• Planning Domain Definition Language
• Satz

Commentary/Caplan & Waters: Working memory and sentence comprehension a digit load to simulate deficits in domain-general working memory. Against Miyake et al), who simulated receptive agrammatism in normal subjec

Source URL: cnl.psych.cornell.edu

• Cognitive science
• Neuropsychology
• Cognition
• Psycholinguistics
• Alexia
• Human behavior
• Problem solving
• Working memory
• Agrammatism
• Memory
• Sentence processing
• Aphasia

Learning Partially Observable Action Models: Efficient Algorithms Dafna Shahaf Allen Chang Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,achang6,eyal}@uiuc

Source URL: www.cs.huji.ac.il

• Theoretical computer science
• Mathematical logic
• Mathematics
• Logic in computer science
• Boolean algebra
• Logic programming
• Automated planning and scheduling
• Formal methods
• Situation calculus
• Planning Domain Definition Language
• Boolean satisfiability problem
• Conjunctive normal form

Measuring Soil Water Content and Electrical Conductivity Under High Salinity Conditions Using a Novel TDR Method Problem and Research Objectives Approximately one-third of the developed agricultural land in arid and sem

Source URL: www.wrrc.hawaii.edu

• Soil physics
• Hydrology
• Soil science
• Environmental soil science
• Water
• Water content
• Salinity
• Time-domain reflectometry
• Reflectometry
• Soil salinity
• Permittivity
• Time-domain reflectometer

Advances in Cognitive SystemsSubmitted; publishedOnline Goal Recognition through Mirroring: Humans and Agents

Source URL: www.cogsys.org

• Educational psychology
• Markov models
• Cognition
• Automated planning and scheduling
• Planning Domain Definition Language
• Hidden Markov model
• Motivation
• Problem solving
• Intelligence
• Motion planning

Yom KippurAlternative Service Rabbi Susan Miller Rheins We don’t know what the solution will be, but we know what the problem is: the Exclusion, in Israel, of Liberal Jewish Women in the Public Religious Domain

Source URL: s3.amazonaws.com

Draft – comments welcome Domain Frameworks in Mathematics and Problem Solving Alan Bell and Hugh Burkhardt Shell Centre, Schools of Education University of Nottingham UK and Michigan State University with the MARS team

Source URL: www.mathshell.com

Data and Estimation Problem Frequency-Domain Approach (MDFA) Empirical Examples Mixing Data of Different Sampling Frequencies in the Frequency Domain:

Source URL: www.rinfinance.com

2004 Paper 9 Question 11 Computer Vision (a) Why is the performance of current face recognition algorithms so poor? Address both what makes the problem domain intrinsically so challenging, and the shortcomings of the st

Source URL: www.cl.cam.ac.uk