Characterizing Simpler Recognizable Sets of Integers

For a given numeration system U, a set X of integers is said to be U-star-free if the language of the normalized U-representations of the elements in X is star-free. Adapting a result of McNaughton and Papert, we give a first-order logical characterization of these sets for various numeration systems including integer base systems and the Fibonacci system. For k-ary systems, the problem of the base dependence of this property is also studied. Finally, the case of k-adic systems is developed.     

Early Examples of Resource-Consciousness

As with the development of several logical notions, it is shown that the concept of resource-consciousness, i. e. the concern over the number of times that a given sentence is used in the proof of another sentence, has its origin in the foundations of geometry, pre-dating its appearence in logical circles as BCK-logic or affine logic.     

Behavior Ratings and Observations of Externalizing Symptoms in Girls: The Role of Child Popularity with Adults

This study examined staff ratings and live observations of externalizing behavior in 149 girls with and without attention-deficit/hyperactivity disorder (ADHD), who participated in all-female naturalistic research camps. Girls' popularity with adult camp staff was hypothesized to explain discrepancies between ratings and observations. Compared to behavior observations, staff ratings overestimated the externalizing behavior of girls who were disliked by staff. In contrast, ratings and observations were consistent for girls who were liked by staff. Among girls who were disliked by staff, unpopularity with peers predicted a larger discrepancy between staff ratings and observations, but peer status made little difference in rating–observation discrepancies of girls liked by staff. All results held after controlling for the participants' ADHD versus comparison status. Results suggest that staff ratings may be biased by personal feelings about children and that direct observations may be more immune to such bias.     

Parent-School and Community Partnerships in Children's Mental Health: Networking Challenges, Dilemmas, and Solutions

Inter-agency collaboration, service coordination, and the creation of successful partnerships among parents, teachers, and human services professionals continues to be a challenge for the development of responsive community-based systems of care for at-risk youth and their families. We explore how one inner-city neighborhood struggles to create successful community partnerships through traditional networking strategies. Our findings identify networking strategies that appear to work and those that do not. Recommendations for improving communication are provided.     

Psychologists in Academic Health Settings: Key Contributors to Dynamic Interplay Among Research, Clinical Practice, and Policy Domains

Psychologists in academic health systems are in a unique position to impact the dynamic interplay among research, clinical practice, and policy domains. In addition to their specialty expertise in psychopathology, particular types of physical illness and disease, and health promotion, psychologists have substantial knowledge of human behavior, refined scientific skills, knowledge and experience in the effective delivery of clinical services, strengths in written expression, and a collaborative orientation. This combination of strengths makes psychologists extremely well-suited for (a) interdisciplinary efforts to develop and implement evidence-based assessment and intervention strategies with biological, psychological, behavioral, and social components, and (b) leadership and advocacy efforts that impact the quality and availability of health care services.     

An evolutionary system for neural logic networks using genetic programming and indirect encoding

Nowadays, intelligent connectionist systems such as artificial neural networks have been proved very powerful in a wide area of applications. Consequently, the ability to interpret their structure was always a desirable feature for experts. In this field, the neural logic networks (NLN) by their definition are able to represent complex human logic and provide knowledge discovery. However, under contemporary methodologies, the training of these networks may often result in non-comprehensible or poorly designed structures. In this work, we propose an evolutionary system that uses current advances in genetic programming that overcome these drawbacks and produces neural logic networks that can be arbitrarily connected and are easily interpretable into expert rules. To accomplish this task, we guide the genetic programming process using a context-free grammar and we encode indirectly the neural logic networks into the genetic programming individuals. We test the proposed system in two problems of medical diagnosis. Our results are examined both in terms of the solution interpretability that can lead in knowledge discovery, and in terms of the achieved accuracy. We draw conclusions about the effectiveness of the system and we propose further research directions.     

Impulse processing: a dynamical systems model of incremental eye movements in the visual world paradigm

The Visual World Paradigm (VWP) presents listeners with a challenging problem: They must integrate two disparate signals, the spoken language and the visual context, in support of action (e.g., complex movements of the eyes across a scene). We present Impulse Processing, a dynamical systems approach to incremental eye movements in the visual world that suggests a framework for integrating language, vision, and action generally. Our approach assumes that impulses driven by the language and the visual context impinge minutely on a dynamical landscape of attractors corresponding to the potential eye-movement behaviors of the system. We test three unique predictions of our approach in an empirical study in the VWP, and describe an implementation in an artificial neural network. We discuss the Impulse Processing framework in relation to other models of the VWP.     

坡度知觉及其影响因素的研究进展

人们对于地表斜坡的知觉是非常不准确的,通常表现为对坡度估计过高。但是,研究发现,在以行为的方式对坡度进行模拟时,所模拟的坡度值却与实际坡度基本一致。这种面对同一视觉线索出现的视知觉与行为不一致的现象即为坡度知觉中的“知觉-行为分离”。本文回顾了影响坡度知觉的各种因素,涉及视觉线索、认知判断、感觉通道、生理状态以及报告方式等方面的研究,并对坡度知觉的未来研究进行了展望。     

An analytic tableau calculus for a temporalised belief logic

A tableau is a refutation-based decision procedure for a related logic, and is among the most popular proof procedures for modal logics. In this paper, we present a labelled tableau calculus for a temporalised belief logic called TML⁺, which is obtained by adding a linear-time temporal logic onto a belief logic by the temporalisation method of Finger and Gabbay. We first establish the soundness and the completeness of the labelled tableau calculus based on the soundness and completeness results of its constituent logics. We then sketch a resolution-type proof procedure that complements the tableau calculus and also propose a model checking algorithm for TML⁺ based on the recent results for model checking procedures for temporalised logics. TML⁺ is suitable for formalising trust and agent beliefs and reasoning about their evolution for agent-based systems. Based on the logic TML⁺, the proposed labelled tableau calculus could be used for analysis, design and verification of agent-based systems operating in dynamic environments.     

Public good provision in inter‐team conflicts: Effects of asymmetry and profit‐sharing rule

A fundamental problem in organizations is designing mechanisms for eliciting voluntary contributions from individual members of a team who are entrapped in a social dilemma. To solve the problem, we utilize a game‐theoretical framework that embeds the traditional within‐team social dilemma in a between‐team competition for an exogenously determined prize. In equilibrium, such competition enhances the incentive to contribute, thereby reducing free‐riding. Extending existing literature, we focus on asymmetric competitions between teams of unequal size, and competitions between more than two teams. Comparing two protocols for sharing the prize—egalitarian and proportional profit‐sharing rules—we find that (i) free‐riding diminishes and (ii) team members contribute more toward their team's effort when they belong to the larger team and when the profit‐sharing rule is proportional. (iii) Additionally, under the egalitarian profit‐sharing rule team members contribute more than predicted by the equilibrium solution. We discuss implications of our findings for eliciting contributions in competitive environments. Copyright © 2009 John Wiley & Sons, Ltd.