From introspections, brain scans, and memory tests to the role of social context:advancing research on interaction and learning

The goal of this epilogue is to use the methodological contributions of the studies presented in this special issue as a starting point for suggestions about methodology in conducting future interaction research. As is the case in most developing fields, interaction research develops methods internally as it continually borrows and extends techniques used in other disciplines and revitalizes older techniques by adding new or different angles unique to interaction. Interaction researchers have also begun to forge relationships in new areas (e.g., by working with psychologists and developing working memory [WM] tests). This sort of cooperation is an important step in the drive to uncover more information about the relationship between interaction and learning. As several contributors to this special issue have noted, the most recent advances in methodology have been driven by questions about how interaction works (as opposed to whether it works). In turn, some of the methodological innovations discussed here will also ultimately allow new questions to be asked. Indeed, the relationship between questions (i.e., suggestions about what needs to be investigated next) and methods (i.e., plans for how to carry out such investigations) is particularly close in interaction research, which is a relatively new but vibrant and quickly developing area. Consequently, this epilogue considers both methods and questions conjointly, beginning with a discussion of methodological issues in the most recent theorizing about the interaction hypothesis

Magnetic response of magnetic molecules with non-collinear local d-tensors

Investigations of molecular magnets are driven both by prospective applications in future storage technology or quantum computing as well as by fundamental questions. Nowadays numerical simulation techniques and computer capabilities make it possible to investigate spin Hamiltonians with realistic arrangements of local anisotropy tensors. In this contribution I will discuss the magnetic response of a small spin system with special emphasis on non-collinear alignments of the local anisotropy axes.Comment: 8 pages, 18 figures, accepted for a special issue of Condensed Matter Physics (CMP), typos correcte

Purge Systems for LDCM and Contamination Instruments Projects

The presentation includes: Contamination Overview, Introduction to tools and techniques, Overview on Landsat 8 (LDCM), Tools, Techniques, Works Cited, Special Thanks. and Questions

Instabilities in the Nuclear Energy Density Functional

In the field of Energy Density Functionals (EDF) used in nuclear structure and dynamics, one of the unsolved issues is the stability of the functional. Numerical issues aside, some EDFs are unstable with respect to particular perturbations of the nuclear ground-state density. The aim of this contribution is to raise questions about the origin and nature of these instabilities, the techniques used to diagnose and prevent them, and the domain of density functions in which one should expect a nuclear EDF to be stable.Comment: Special issue "Open Problems in Nuclear Structure Theory" of Jour.Phys.G - accepted. 7 pages, 2 figure

Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems

We study the model-checking problem for a quantitative extension of the modal mu-calculus on a class of hybrid systems. Qualitative model checking has been proved decidable and implemented for several classes of systems, but this is not the case for quantitative questions that arise naturally in this context. Recently, quantitative formalisms that subsume classical temporal logics and allow the measurement of interesting quantitative phenomena were introduced. We show how a powerful quantitative logic, the quantitative mu-calculus, can be model checked with arbitrary precision on initialised linear hybrid systems. To this end, we develop new techniques for the discretisation of continuous state spaces based on a special class of strategies in model-checking games and present a reduction to a class of counter parity games.Comment: LMCS submissio