Logic feels so good-I like it! Evidence for intuitive detection of logicality in syllogistic reasoning

When people evaluate syllogisms, their judgments of validity are often biased by the believability of the conclusions of the problems. Thus, it has been suggested that syllogistic reasoning performance is based on an interplay between a conscious and effortful evaluation of logicality and an intuitive appreciation of the believability of the conclusions (e.g., Evans, Newstead, Allen, & Pollard, 1994). However, logic effects in syllogistic reasoning emerge even when participants are unlikely to carry out a full logical analysis of the problems (e.g., Shynkaruk & Thompson, 2006). There is also evidence that people can implicitly detect the conflict between their beliefs and the validity of the problems, even if they are unable to consciously produce a logical response (e.g., De Neys, Moyens, & Vansteenwegen, 2010). In 4 experiments we demonstrate that people intuitively detect the logicality of syllogisms, and this effect emerges independently of participants' conscious mindset and their cognitive capacity. This logic effect is also unrelated to the superficial structure of the problems. Additionally, we provide evidence that the logicality of the syllogisms is detected through slight changes in participants' affective states. In fact, subliminal affective priming had an effect on participants' subjective evaluations of the problems. Finally, when participants misattributed their emotional reactions to background music, this significantly reduced the logic effect.

The link between logic, mathematics and imagination: evidence from children with developmental dyscalculia and mathematically gifted children

This study examined performance on transitive inference problems in children with developmental dyscalculia (DD), typically developing controls matched on IQ, working memory and reading skills, and in children with outstanding mathematical abilities. Whereas mainstream approaches currently consider DD as a domain-specific deficit, we hypothesized that the development of mathematical skills is closely related to the development of logical abilities, a domain-general skill. In particular, we expected a close link between mathematical skills and the ability to reason independently of one's beliefs. Our results showed that this was indeed the case, with children with DD performing more poorly than controls, and high maths ability children showing outstanding skills in logical reasoning about belief-laden problems. Nevertheless, all groups performed poorly on structurally equivalent problems with belief-neutral content. This is in line with suggestions that abstract reasoning skills (i.e. the ability to reason about content without real-life referents) develops later than the ability to reason about belief-inconsistent fantasy content.A video abstract of this article can be viewed at http://www.youtube.com/watch?v=90DWY3O4xx8.

Persistent income poverty and deprivation in the European Union: An analysis of the first three waves of the European Community Household Panel

Poverty research has increasingly focused on persistent income poverty, both as a crucial social indicator and as a target for policy intervention. Such an approach can lead to an identification of a sub-set of poor individuals facing particularly adverse circumstances and/or distinctive problems in escaping from poverty. Here we seek to establish whether, in comparison with cross-sectional measures, persistent poverty measures also provide a better measure of exclusion from a minimally acceptable way of life and relate with other important variables in a logical fashion. Our analysis draws upon the first three waves of the ECHP and shows that a persistent poverty measure does constitute a significant improvement over its cross-sectional counterpart in the explanation of levels of deprivation. Persistent poverty is related to life-style deprivation in a manner that comes close to being uniform across countries. The measure of persistence also conforms to our expectations of how a poverty measure should behave in that, unlike relative income poverty lines, defining the threshold level more stringently enables us to identify progressively groups of increasingly deprived respondents. Overall the persistent poverty measure constitutes a significant advance on cross-sectional income measures. However, there is clearly a great deal relating to the process of accumulation and of erosion of resources, which is not fully captured in the persistent poverty measure. In the absence of such information, there is a great deal to be said for making use of both types of indictors in formulating and evaluating policies while we continue to improve our understanding of longer-term processes.

A defeasible reasoning model of inductive concept learning from examples and communication

This paper introduces a logical model of inductive generalization, and specifically of the machine learning task of inductive concept learning (ICL). We argue that some inductive processes, like ICL, can be seen as a form of defeasible reasoning. We define a consequence relation characterizing which hypotheses can be induced from given sets of examples, and study its properties, showing they correspond to a rather well-behaved non-monotonic logic. We will also show that with the addition of a preference relation on inductive theories we can characterize the inductive bias of ICL algorithms. The second part of the paper shows how this logical characterization of inductive generalization can be integrated with another form of non-monotonic reasoning (argumentation), to define a model of multiagent ICL. This integration allows two or more agents to learn, in a consistent way, both from induction and from arguments used in the communication between them. We show that the inductive theories achieved by multiagent induction plus argumentation are sound, i.e. they are precisely the same as the inductive theories built by a single agent with all data. © 2012 Elsevier B.V.

Numerical analysis of stiffener runout sections

The recent trend of incorporating more composite material in primary aircraft structures has highlighted the vulnerability of stiffened aerostructures to through-thickness stresses, which may lead to delamination and debonding at the skin-stiffener interface, leading to collapse. Stiffener runout regions are particularly susceptible to this problem and cannot be avoided due to the necessity to terminate stiffeners at rib intersections or at cutouts, interrupting the stiffener load path. In this paper, experimental tests relating to two different stiffener runout specimens are presented and the failure modes of both specimens are discussed in detail. A thinner-skinned specimen showed sudden and unstable crack propagation, while a thicker-skinned specimen showed initially unstable but subsequent stable crack growth. Detailed finite element models of the two specimens are developed, and it is shown how such models can explain and predict the behaviour and failure mode of stiffener runouts. The models contain continuum shell elements to model the skin and stiffener, while cohesive elements using a traction-separation law are placed at the skin-stiffener interface to effectively model the debonding which promotes structural failure.

Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update

We propose a dynamic verification approach for large-scale message passing programs to locate correctness bugs caused by unforeseen nondeterministic interactions. This approach hinges on an efficient protocol to track the causality between nondeterministic message receive operations and potentially matching send operations. We show that causality tracking protocols that rely solely on logical clocks fail to capture all nuances of MPI program behavior, including the variety of ways in which nonblocking calls can complete. Our approach is hinged on formally defining the matches-before relation underlying the MPI standard, and devising lazy update logical clock based algorithms that can correctly discover all potential outcomes of nondeterministic receives in practice. can achieve the same coverage as a vector clock based algorithm while maintaining good scalability. LLCP allows us to analyze realistic MPI programs involving a thousand MPI processes, incurring only modest overheads in terms of communication bandwidth, latency, and memory consumption. © 2011 IEEE.

Autonomic management of non-functional concerns in distributed & parallel application programming

An approach to the management of non-functional concerns in massively parallel and/or distributed architectures that marries parallel programming patterns with autonomic computing is presented. The necessity and suitability of the adoption of autonomic techniques are evidenced. Issues arising in the implementation of autonomic managers taking care of multiple concerns and of coordination among hierarchies of such autonomic managers are discussed. Experimental results are presented that demonstrate the feasibility of the approach.

Neonatal facial and cry responses to invasive and non-invasive procedures

Evaluation of pain in neonates is difficult due to their limited means of communication. The aim was to determine whether behavioural reactions of cry and facial activity provoked by an invasive procedure could be discriminated from responses to non-invasive tactile events. Thirty-six healthy full-term infants (mean age 2.2 h) received 3 procedures in counterbalanced order: intramuscular injection, application of triple dye to the umbilical stub, and rubbing thigh with alcohol. Significant effects of procedure were found for total face activity and latency to face movement. A cluster of facial actions comprised of brow bulging, eyes squeezed shut, deepening of the naso-labial furrow and open mouth was associated most frequently with the invasive procedure. Comparisons between the 2 non-invasive procedures showed more facial activity to thigh swabbing and least to application of triple dye to the umbilical cord. Acoustic analysis of cry showed statistically significant differences across procedures only for latency to cry and cry duration for the group as a whole. However, babies who cried to two procedures showed higher pitch and greater intensity to the injection. There were no significant differences in melody, dysphonation, or jitter. Methodological difficulties for investigators in this area were examined, including criteria for the selection of cries for analysis, and the logical and statistical challenges of contrasting cries induced by different conditions when some babies do not always cry. It was concluded that facial expression, in combination with short latency to onset of cry and long duration of first cry cycle typifies reaction to acute invasive procedures.

Association of retinal arteriolar dilatation with lower verbal memory::The Edinburgh Type 2 Diabetes Study

Abstract


AIMS/HYPOTHESIS:

Retinal vascular calibre changes may reflect early subclinical microvascular disease in diabetes. Because of the considerable homology between retinal and cerebral microcirculation, we examined whether retinal vascular calibre, as a proxy of cerebral microvascular disease, was associated with cognitive function in older people with type 2 diabetes.

METHODS:

A cross-sectional analysis of 954 people aged 60-75 years with type 2 diabetes from the population-based Edinburgh Type 2 Diabetes Study was performed. Participants underwent standard seven-field binocular digital retinal photography and a battery of seven cognitive function tests. The Mill Hill Vocabulary Scale was used to estimate pre-morbid cognitive ability. Retinal vascular calibre was measured from an image field with the optic disc in the centre using a validated computer-based program.

RESULTS:

After age and sex adjustment, larger retinal arteriolar and venular calibres were significantly associated with lower scores for the Wechsler Logical Memory test, with standardised regression coefficients -0.119 and -0.084, respectively (p?<?0.01), but not with other cognitive tests. There was a significant interaction between sex and retinal vascular calibre for logical memory. In male participants, the association of increased retinal arteriolar calibre with logical memory persisted (p?<?0.05) when further adjusted for vocabulary, venular calibre, depression, cardiovascular risk factors and macrovascular disease. In female participants, this association was weaker and not significant.

CONCLUSIONS/INTERPRETATION:

Retinal arteriolar dilatation was associated with poorer memory, independent of estimated prior cognitive ability in older men with type 2 diabetes. The sex interaction with stronger findings in men requires confirmation. Nevertheless, these data suggest that impaired cerebral arteriolar autoregulation in smooth muscle cells, leading to arteriolar dilatation, may be a possible pathogenic mechanism in verbal declarative memory decrements in people with diabetes.

Sensory-motor problems in Autism

Despite being largely characterised as a social and cognitive disorder, strong evidence indicates the presence of significant sensory-motor problems in Autism Spectrum Disorder (ASD). This paper outlines our progression from initial, broad assessment using the Movement Assessment Battery for Children (M-ABC) to subsequent targeted kinematic assessment. In particular, pronounced ASD impairment seen in the broad categories of manual dexterity and ball skills was found to be routed in specific difficulties on isolated tasks, which were translated into focused experimental assessment. Kinematic results from both subsequent studies highlight impaired use of perception-action coupling to guide, adapt and tailor movement to task demands, resulting in inflexible and rigid motor profiles. In particular difficulties with the use of temporal adaption are shown, with "hyperdexterity" witnessed in ballistic movement profiles, often at the cost of spatial accuracy and task performance. By linearly progressing from the use of a standardised assessment tool to targeted kinematic assessment, clear and defined links are drawn between measureable difficulties and underlying sensory-motor assessment. Results are specifically viewed in-light of perception-action coupling and its role in early infant development suggesting that rather than being 'secondary' level impairment, sensory-motor problems may be fundamental in the progression of ASD. This logical and systematic process thus allows a further understanding into the potential route of observable motor problems in ASD; a vital step if underlying motor problems are to be considered a fundamental aspect of autism and allow a route of non-invasive preliminary diagnosis.

Still Fighting the "War for Talent''? Bridging the Science Versus Practice Gap

The purpose of this article is to identify some the most critical outstanding issues faced by practitioners in undertaking effective talent management. In spite of the global financial crisis, talent management will continue being one of the most important challenges faced by organizations in the coming decade. Workforce demographics and skills shortages are likely to make the "war for talent'' fiercer than ever before making effective talent management a competitive necessity. While talent management is rapidly developing as a research field, there are many areas and questions that need to be explored. These questions are likely to have a particularly important applied benefit as they represent some of the key challenges organizations are grappling with in effectively managing their talent. The article asks researchers in the field to consider the questions proposed in developing future research agendas.

Next generation femtocells: An enabler for high efficiency multimedia transmission

The first generation of femtocells is evolving to the next generation with many more capabilities in terms of better utilisation of radio resources and support of high data rates. It is thus logical to conjecture that with these abilities and their inherent suitability for home environment, they stand out as an ideal enabler for delivery of high efficiency multimedia services. This paper presents a comprehensive vision towards this objective and extends the concept of femtocells from indoor to outdoor environments, and strongly couples femtocells to emergency and safety services. It also presents and identifies relevant issues and challenges that have to be overcome in realization of this vision.

Surface deformations as a necessary requirement for resistance switching at the surface of SrTiO3:N

Atomic force microscopy (AFM), conductive AFM and electrochemical strain microscopy were used to study the topography change at the defect surface of SrTiO3:N, breakdown in the electrical conduction of the tip/sample/electrode system and ionic motion. The IV curves show resistance switching behavior in a voltage range ±6 V < U <± 10 V and a current of maximum ±10 nA. A series of sweeping IV curves resulted in an increase in ionically polarized states (surface charging), electrochemical volume (surface deformations) and sequential formations of stable surface protrusions. The surface deformations are reversible (U <± 5 V) without IVpinched hysteresis and remained stable during the resistance switching (U >± 6 V), revealing the additional necessity (albeit insufficient due to 50% yield of working cells) of surface protrusion formation for resistance switching memory.

Improving the Semantics of Conceptual-Modeling Grammars:A New Perspective on an Old Problem

A core activity in information systems development involves understanding the
conceptual model of the domain that the information system supports. Any conceptual model is ultimately created using a conceptual-modeling (CM) grammar. Accordingly, just as high quality conceptual models facilitate high quality systems development, high quality CM grammars facilitate high quality conceptual modeling. This paper seeks to provide a new perspective on improving the quality of CM grammar semantics. For the past twenty years, the leading approach to this topic has drawn on ontological theory. However, the ontological approach captures just half of the story. It needs to be coupled with a logical approach. We show how ontological quality and logical quality interrelate and we outline three contributions of a logical approach: the ability to see familiar conceptualmodeling problems in simpler ways, the illumination of new problems, and the ability to prove the benefit of modifying CM grammars.

Complement inhibitors for age-related macular degeneration

Given the relatively high prevalence of age-related macular degeneration (AMD) and the increased incidence of AMD as populations age, the results of trials of novel treatments are awaited with much anticipation. The complement cascade describes a series of proteolytic reactions occurring throughout the body that generate proteins with a variety of roles including the initiation and promotion of immune reactions against foreign materials or micro-organisms. The complement cascade is normally tightly regulated, but much evidence implicates complement overactivity in AMD and so it is a logical therapeutic target in the treatment of AMD.