bluuebunny/crossref_metadata_2025_split huggingface dataset:
Logical, analogical, and psychological reasoning in autism: A test of the Cosmides theory
Authors: Scott Fiona J. , Baron-Cohen Simon 
Published: March 2009

AbstractAn important regulatory process in the development of behavior is cognition. However, cognition as a blanket term is far too broad to be useful. Rather, specific types of cognition need to be examined separately. One proposal is that one type of human reasoning evolved in a social context, to solve social problems. Here, we report two experiments that use autism to test a prediction from that theory: that social intelligence should be independent of nonsocial intelligence. Autism was chosen because deficits in social reasoning (“theory of mind”) are well known. The question we tested was whether their theory of mind deficit was dissociable from abstract and relational reasoning ability. In particular, we expected that the abnormalities in the behavioral development of children with autism would be regulated by abnormalities in theory of mind reasoning rather than other forms of reasoning. Children with autism and matched controls were given tests of abstracting reasoning, which did not involve mental state understanding. Results showed that children with autism performed comparably to the control groups, both on a test of transitive inferential reasoning and on a test of analogical reasoning. These results lend support to the specificity of the theory of mind hypothesis for autism and to Cosmides' theory of the evolution of social intelligence. They also show that cognition as a regulatory process in development needs to be examined in highly specific ways.
Paternal alcohol use and the mother-infant relationship
Authors: Eiden Rina Das , Leonard Kenneth E. 
Published: March 2009

AbstractThe purpose of this study was to examine the association between paternal alcohol use and the mother-infant relationship. A related goal was to investigate the role of maternal depression and marital satisfaction in moderating this relationship. Subjects were 55 mother-infant dyads (12–24-month-old infants) who were observed in the Strange Situation paradigm to assess infant attachment and in structured play interactions. There were 23 families with heavy drinking fathers and 32 with light drinking fathers. As predicted, infants of heavy drinking fathers were more likely to be insecurely attached compared to infants of light drinking fathers. Contrary to expectations, neither maternal depression nor marital interaction mediated the relationship between paternal alcohol use and mother-infant interactions. However, maternal depression did interact with paternal alcohol use to predict infant attachment security and maternal sensitivity. There was also an interactive effect of marital satisfaction and paternal alcohol use on maternal sensitivity. The results suggest that paternal alcohol use may influence family functioning and the mother-child relationship as early as infancy and suggest one possible pathway toward maladjustment among infants of heavy drinking fathers. However, in addition to investigating the impact of paternal alcohol use on the father-infant relationship, the influence of various familial factors associated with paternal alcohol use need to be more closely examined from a longitudinal perspective.
The developmental pathways to schizophrenia: Potential moderating effects of stress
Authors: Walker Elaine F. , Neumann Craig C. , Baum Kym , Davis Dana M. , Diforio Donald , Bergman Andrea 
Published: March 2009

AbstractThe observations of family members as well as the results of past research suggest that a variety of developmental pathways can precede the onset of schizophrenia in early adulthood. In this article, we describe recent findings from our research on the childhood precursors of schizophrenia. Taken together, the results indicate that childhood behavioral, emotional, and motoric dysfunction occur at a higher rate in preschizophrenia subjects when compared to control subjects. Further, there are developmental changes as well as significant variability among schizophrenia patients in the nature and severity of childhood impairment. Drawing on the prevailing diathesis-stress model, we explore the moderating role that stress exposure and reactivity may play in the expression of the organic diathesis for schizophrenia. Specifically, we consider the role of the biological stress response in the production of developmental changes and individual differences in the pathways to schizophrenia. Given extant models of dopamine involvement in the neuropathology of schizophrenia, stress-induced Cortisol release may alter the expression of subcortical abnormalities in dopamine neurotransmission. Thus, we present a neural mechanism for the hypothesized behavioral sensitivity to stress exposure in schizophrenia, and explore the capacity of the model to account for the changing behavioral manifestations of vulnerability.
Finality in the eye of the beholder: Multiple sources, multiple time points, multiple paths
Authors: Feiring Candice , Lewis Michael 
Published: March 2009

AbstractThis study explores the coherence between different raters of adolescent psychopathology and examines the coherence of these ratings with earlier and later events associated with the development of psychopathology. In particular, teachers', mothers', and adolescents' ratings of the 13-year-old adolescents are examined. Additionally, the earlier factors of attachment status, environmental stress, and the friendship network are related to the different ratings. Both earlier factors and rater judgments are used to examine subsequent use of psychotherapy. The results show little coherence between raters on the presence of psychopathology in 13-year-olds and little coherence between earlier events and subsequent raters' judgments of psychopathology. However, earlier stress events and teachers' ratings of 13-year-olds' psychopathology are related to subsequent therapy use.
The genetic etiology of childhood depressive symptoms: A developmental perspective
Authors: Thapar Anita , McGuffin Peter 
Published: March 2009

AbstractAlthough there is some evidence to suggest that depressive symptoms show age-related changes, it remains uncertain as to whether there are also developmental variations in the etiology of depression. In this article, we present findings from a population-based study of twins aged 8 to 16 years with the aim of examining the genetic etiology of depressive symptoms and the effects of age. The results suggest that environmental factors influence the transmission of depressive symptoms in childhood. However depressive symptoms in adolescence appear to be highly heritable. The etiology of depressive symptoms was further explored using factor-derived scores that again suggested the importance of genetic factors in adolescence. However there was some suggestion that genetic influences may contribute to certain types of symptoms (self-deprecation/self-esteem) even in childhood.
Genetically informative designs for distinguishing developmental pathways during adolescence: Responsible and antisocial behavior
Authors: Neiderhiser Jenae M. , Reiss David , Hetherington E. Mavis 
Published: March 2009

AbstractDuring the transition from early to middle adolescence there are numerous changes internal to the adolescent, such as the onset of puberty and changes in cognitive functioning, and external to the adolescent in terms of social reactions to the adolescent and changes in expectations. These changes may also be explained in terms of genetic and environmental influences on change and stability. This study employs the longitudinal sample from both waves of the Nonshared Environment in Adolescent Development (NEAD) project (395 families). The NEAD project includes adolescent siblings residing in never-divorced families (MZ and DZ twins and full siblings) and in stepfamilies (full, half, and unrelated siblings). The sample was assessed on two measurement occasions, 3 years apart. On average, the first measurement occasion assessed the families during early adolescence and the second measurement occasion occurred during middle adolescence. Composite measures of parent reports, adolescent self-reports and observer ratings of three constructs of adolescent adjustment (antisocial behavior, autonomy, and social responsibility) were examined in this analysis. Each construct showed a different pattern of genetic and environmental contributions to stability and change, suggesting different developmental pathways for each domain of adolescent adjustment. For example, genetic influences were important for both change and stability in antisocial behavior. Stability in social responsibility, on the other hand, was influenced by primarily genetic factors, while nonshared environmental factors were predominantly responsible for change. Finally, genetic and shared environmental influences contributed nearly equally to stability and change in autonomous functioning. These findings emphasize the importance of considering genetic as well as environmental factors when change in development is examined. Additionally, these data provide an armature for a comprehensive developmental theory for each of these domains of adolescent adjustment.
Autonomy and relatedness in adolescent-family interactions as predictors of young adults' states of mind regarding attachment
Authors: Allen Joseph P. , Hauser Stuart T. 
Published: March 2009

AbstractThis study examined the extent to which the diverging pathways taken by adolescents and their parents in establishing autonomy and relatedness in their interactions at age 14 served as stage-specific markers of underlying attachment processes that could help predict states of mind regarding attachment of the adolescents 11 years later as young adults. Adolescents in two-parent families (N=73) and their parents, originally selected from either a high school sample or a psychiatrically hospitalized sample, participated in a revealed differences family interaction task when adolescents were 14 years of age. At age 25, subjects were reinterviewed using the Adult Attachment Interview, which yielded ratings of specific states of mind and overall organization of models of attachment relationships. After accounting for the prior psychiatric history of the sample (which was highly related to attachment insecurity) and global indices of functioning in both adolescence and young adulthood, coherence/ security in adults' states of mind regarding attachment was predicted from maternal behaviors promoting adolescent autonomy and relatedness 11 years earlier. One indicator of adult preoccupation with attachment relationships, passivity of thought processes, was predicted from adolescents' autonomy-inhibiting behaviors, specifically from the presence of enmeshing behaviors and the absence of distancing behaviors. Results are interpreted as suggesting that establishing autonomy and relatedness with parents may be an attachment-related, developmental task for both normal and at-risk adolescents, and that serious psychopathology and difficulties establishing autonomy and relatedness in adolescence may represent two independent pathways to insecure attachment models in young adulthood.
Categories, relations and dynamic programming
Authors: Moor Oege De 
Published: March 2009

Dynamic programming is a strategy for solving optimisation problems. In this paper, we show how many problems that may be solved by dynamic programming are instances of the same abstract specification. This specification is phrased using the calculus of relations offered by topos theory. The main theorem underlying dynamic programming can then be proved by straightforward equational reasoning.The generic specification of dynamic programming makes use of higher-order operators on relations, akin to the fold operators found in functional programming languages. In the present context, a data type is modelled as an initial F-algebra, where F is an endofunctor on the topos under consideration. The mediating arrows from this initial F-algebra to other F-algebras are instances of fold – but only for total functions. For a regular category ε, it is possible to construct a category of relations Rel(ε). When a functor between regular categories is a so-called relator, it can be extended (in some canonical way) to a functor between the corresponding categories of relations. Applied to an endofunctor on a topos, this process of extending functors preserves initial algebras, and hence fold can be generalised from functions to relations.It is well-known that the use of dynamic programming is governed by the principle of optimality. Roughly, the principle of optimality says that an optimal solution is composed of optimal solutions to subproblems. In a first attempt, we formalise the principle of optimality as a distributivity condition. This distributivity condition is elegant, but difficult to check in practice. The difficulty arises because we consider minimum elements with respect to a preorder, and therefore minimum elements are not unique. Assuming that we are working in a Boolean topos, it can be proved that monotonicity implies distributivity, and this monotonicity condition is easy to verify in practice.
A universality theorem for PCF with recursive types, parallel-or and ∃
Authors: Streicher Thomas 
Published: March 2009

In a PCF-like call-by-name typed λ-calculus with a minimal fixpoint operator, ‘parallelor’, Plotkin's ‘continuous existential quantifier’ ∃ and recursive types together with constructors and destructors, all computable objects can be denoted by terms of the programming language. According to A. Meyer's terminology (cf. Meyer (1988)), such a programming language is called universal in the sense that any extension of it must be conservative, as all computable objects can already be expressed by program terms.As a byproduct, we get that, in principle, recursive types could be totally avoided, as they appear as syntactically expressible retracts of the non-recursive type → , where and are the flat domains of natural numbers and boolean values, respectively.
An Oxford survey of order sorted algebra
Authors: Goguen Joseph , Diaconescu Răzvan 
Published: March 2009

This paper surveys several different variants of order sorted algebra (abbreviatedOSA), comparing some of the main approaches (overloaded OSA, universe OSA, unified algebra, term declaration algebra,etc.), emphasising motivation and intuitions, and pointing out features that distinguish the original ‘overloaded’ OSA approach from some later developments. These features include sort constraints and retracts; the latter is particularly useful for handling multiple data representations (including automatic coercions among them). Many examples are given, for most of which, runs are shown on the OBJ3 system.This paper also significantly generalises overloaded OSA by dropping the regularity and monotonicity assumptions, and by adding signatures of non-monotonicities, which support simple semantics for some aspects of object oriented programming. A number of new results for this generalisation are proved, including initiality, variety, and quasi-variety theorems. Axiomatisability results àlaBirkhoff are also proved for unified algebras.
Algebraic high-level net transformation systems
Authors: Padberg Julia , Ehrig Hartmut , Ribeiro Leila 
Published: March 2009

The concept of algebraic high-level net transformation systems combines two important lines of research recently introduced in the literature:algebraic high-level nets(AHL-nets for short) andhigh-level replacement systems(HLR-systems for short). In both cases a categorical formulation of the corresponding theory has turned out to be highly important and is also a good basis for the integration of these concepts in this paper.AHL-nets combine Petri nets with algebraic specifications and provide a powerful specification technique for distributed systems including data types and processes.HLR-systems are transformation systems for high-level structures such as graphs, hypergraphs, algebraic specifications and different kinds of Petri nets. The theory of HLRsystems - formulated already in a categorical framework - is applied in this paper to AHLnets. Thus we obtain AHL-net transformation systems as an instantiation of HLR-systems to AHL-nets. This allows us to build up AHL-nets from basic components and to transform the net structure using rules or productions in the sense of graph grammars. This concept is illustrated by extending the well-known example of ‘dining philosophers’. We are able to show that AHL-net-transformation systems satisfy several important compatibility properties. On the one hand we obtain a local Church-Rosser and Parallelism Theorem, which is well-known for graph grammars and has recently been generalized to HLR-systems. This allows us to analyse concurrency in AHL-nets not only on the token level but also on the level of transformations of the net structure. On the other hand, we consider the ‘fusion’ and ‘union’ constructions for high-level structures, motivated by corresponding concepts for high-level Petri nets in the literature, and we show compatibility of these constructions with derivations of HLR-systems in general and AHL-nettransformations in particular. This means compatibility of vertical and horizontal structuring in terms of software development.
A generalization of the trie data structure
Authors: Connelly Richard H. , Morris F. Lockwood 
Published: March 2009

Tries, a form of string-indexed look-up structure, are generalized, in a manner first discovered by Wadsworth, to permit indexing by terms built according to an arbitrary signature. The construction is parametric with respect to the type of data to be stored as values; this is essential, because the recursion that defines tries appeals from one value type to others. ‘Trie’ (for any fixed signature) is then a functor, and the corresponding look-up function is a natural isomorphism.The trie functor is in principle definable by the ‘initial fixed point’ semantics of Smyth and Plotkin. We simplify the construction, however, by introducing the ‘category-cpo’, a class of category within which calculations can retain some domain-theoretic flavor. Our construction of tries extends easily to many-sorted signatures.
Church-Rooser property and homology of monoids
Authors: Lafont Yves , Prouté Alain 
Published: March 2009

We present a result of C.C. Squier relating two topics:— the canonical rewriting systems, which have been widely studied by computer scientists as a tool for solving word problems,— the homology of groups (more generally of monoids), which belongs to the core of pure mathematics, on the borders of algebra and topology.
Semantics of the second order lambda calculus
Authors: Jacobs Bart 
Published: March 2009

In the literature ther are two main notins of model for the second order λ-calculus: one by Bruce, Meyer and Mitchell (the BMM-model, for short) in set-theoretical formulation and one category-theoretical by Seely. Here we generalise Seely's notion, using semifunctors and semi-adjunctions from Hayashi, and introduce λ2-algebras, λη2-algebras, λ2-models and λη-models, similarly to the untyped λ-calculus. Non-extensional abstraction of both term and type variables is described by semi-adjunctions (essentially as in Martini's thesis). We show that also for second order sume, the β-(and commutation!) conversions correspond to semi-functoriality and that the (additional) η-conversion corresponds to ordinary fuctioriality.In the above framework various examples – well known ones and variations – are described. Also, we determine the place of the BMM-models; an earlier version of the latter has been reported by Jacobs.
Helicobacter pyloriis not associated with anaemia in Latin America: results from Argentina, Brazil, Bolivia, Cuba, Mexico and Venezuela
Authors: Santos Ina S , Boccio Jose , Davidsson Lena , Hernandez-Triana Manuel , Huanca-Sardinas Elizabeth , Janjetic Mariana , Moya-Camarena Silvia Y , Paez-Valery Maria C , Ruiz-Alvarez Vladimir , Valencia Mauro E , Valle Neiva CJ , Vargas-Pinto Greta , Solano Liseti , Thomas Julian 
Published: March 2009

AbstractObjectiveTo investigate the association betweenHelicobacter pyloriinfection and anaemia.DesignSix cross-sectional studies.H. pyloriinfection was assessed by the [13C]urea breath test using MS or IR analysis. Hb was measured for all countries. Ferritin and transferrin receptors were measured for Argentina, Bolivia, Mexico, and Venezuela.SettingHealth services in Argentina, Brazil and Mexico or public schools in Bolivia, Cuba and Venezuela.SubjectsIn Argentina, 307 children aged 4–17 years referred to a gastroenterology unit; in Bolivia, 424 randomly selected schoolchildren aged 5–8 years; in Brazil, 1007 adults (157 men, 850 women) aged 18–45 years attending thirty-one primary health-care units; in Cuba, 996 randomly selected schoolchildren aged 6–14 years; in Mexico, seventy-one pregnant women in their first trimester attending public health clinics; in Venezuela, 418 children aged 4–13 years attending public schools.ResultsThe lowest prevalence ofH. pylorifound was among children in Argentina (25·1 %) and the highest in Bolivia (74·0 %). In Bolivia, Cuba and Venezuela children showed similar prevalence ofH. pyloriinfection as in Brazilian and Mexican adults (range 47·5 % to 81·8 %). Overall anaemia prevalence was 11·3 % in Argentina, 15·4 % in Bolivia, 20·6 % in Brazil, 10·5 % in Cuba and 8·9 % in Venezuela. Adjusted analyses allowing for confounding variables showed no association betweenH. pyloricolonization and anaemia in any study. Hb, ferritin and transferrin receptor levels were also not associated withH. pyloriinfection in any country.ConclusionsThe present study showed no evidence to support the hypothesis thatH. pyloricontributes to anaemia in children, adolescents, adults or pregnant women in six Latin American countries.
A Synopsis of the Management of Vocal Fold Scar
Authors: Hapner Edie R. , Klein Adam 
Published: March 2009

Abstract
Vocal fold scarring remains one of the greatest therapeutic challenges in laryngology and voice therapy. The loss of superior lamina propria results in a change in the pliability of the vocal folds with changes in glottal configuration, glottal closure, and reduced to absent mucosal wave motion. This results in dysphonia of varying severities including breathiness, roughness, loss of pitch range, and flexibility. The aim of this article is to present a brief review of vocal fold architecture and a discussion of the etiologies of vocal fold scarring. Methods to evaluate vocal fold scarring are presented with examples of findings in laryngoscopic, acoustic, aerodynamic, and perceptual assessments. Medical, surgical, and behavioral treatment for vocal folds scaring including sample therapy tasks are included.