SOVEREIGN: An Autonomous Neural System for Incrementally Learning Planned Action Sequence to Navigate Towards a Rewarded Goal

How do reactive and planned behaviors interact in real time? How are sequences of such behaviors released at appropriate times during autonomous navigation to realize valued goals? Controllers for both animals and mobile robots, or animats, need reactive mechanisms for exploration, and learned plans to reach goal objects once an environment becomes familiar. The SOVEREIGN (Self-Organizing, Vision, Expectation, Recognition, Emotion, Intelligent, Goaloriented Navigation) animat model embodies these capabilities, and is tested in a 3D virtual reality environment. SOVEREIGN includes several interacting subsystems which model complementary properties of cortical What and Where processing streams and which clarify similarities between mechanisms for navigation and arm movement control. As the animat explores an environment, visual inputs are processed by networks that are sensitive to visual form and motion in the What and Where streams, respectively. Position-invariant and sizeinvariant recognition categories are learned by real-time incremental learning in the What stream. Estimates of target position relative to the animat are computed in the Where stream, and can activate approach movements toward the target. Motion cues from animat locomotion can elicit head-orienting movements to bring a new target into view. Approach and orienting movements are alternately performed during animat navigation. Cumulative estimates of each movement are derived from interacting proprioceptive and visual cues. Movement sequences are stored within a motor working memory. Sequences of visual categories are stored in a sensory working memory. These working memories trigger learning of sensory and motor sequence categories, or plans, which together control planned movements. Predictively effective chunk combinations are selectively enhanced via reinforcement learning when the animat is rewarded. Selected planning chunks effect a gradual transition from variable reactive exploratory movements to efficient goal-oriented planned movement sequences. Volitional signals gate interactions between model subsystems and the release of overt behaviors. The model can control different motor sequences under different motivational states and learns more efficient sequences to rewarded goals as exploration proceeds.

Rule Extraction, Fuzzy ARTMAP, and Medical Databases

This paper shows how knowledge, in the form of fuzzy rules, can be derived from a self-organizing supervised learning neural network called fuzzy ARTMAP. Rule extraction proceeds in two stages: pruning removes those recognition nodes whose confidence index falls below a selected threshold; and quantization of continuous learned weights allows the final system state to be translated into a usable set of rules. Simulations on a medical prediction problem, the Pima Indian Diabetes (PID) database, illustrate the method. In the simulations, pruned networks about 1/3 the size of the original actually show improved performance. Quantization yields comprehensible rules with only slight degradation in test set prediction performance.

Established cardiovascular disease and CVD risk factors in a primary care population of middle-aged Irish men and women

Contemporary Irish data on the prevalence of major cardiovascular disease (CVD) risk factors are sparse. The primary aims of this study were (1) to estimate the prevalence of major cardiovascular disease risk factors, including Type 2 Diabetes Mellitus, in the general population of men and women between the ages of 50 and 69 years; and (2) to estimate the proportion of individuals in this age group at high absolute risk of cardiovascular disease events on the basis of pre-existing cardiovascular disease or as defined by the Framingham equation. Participants were drawn from the practice lists of 17 general practices in Cork and Kerry using stratified random sampling. A total of 1018 people attended for screening (490 men, 48%) from 1473 who were invited, a response rate of 69.1%. Cardiovascular disease risk factors and glucose intolerance are common in the population of men and women aged between 50 and 69 years. Almost half the participants were overweight and a further quarter met current international criteria for obesity, one of the highest recorded prevalence rates for obesity in a European population sample. Forty per cent of the population reported minimal levels of physical activity and 19% were current cigarette smokers. Approximately half the sample had blood pressure readings consistent with international criteria for the diagnosis of hypertension, but only 38% of these individuals were known to be hypertensive. Eighty per cent of the population sample had a cholesterol concentration in excess of 5 mmol/l. Almost 4% of the population had Type 2 Diabetes Mellitus, of whom 30% were previously undiagnosed. A total of 137 participants (13.5%) had a history or ECG findings consistent with established cardiovascular disease. Of the remaining 881 individuals in the primary prevention population, a total of 20 high-risk individuals (19 male) had a risk of a coronary heart disease event 30% over ten years according to the Framingham risk equation, giving an overall population prevalence of 2.0% (95% CI 1.3 - 3.0). At a risk level 20% over ten years, an additional 91 individuals (8.9%) were identified. Thus a total of 24.4% of the population were at risk either through pre-existing CVD (13.5%) or an estimated 10-year risk exceeding 20% according to the Framingham risk equation (10.9%). Thus a substantial proportion of middle-aged men are at high risk of CVD. The findings emphasise the scale of the CVD epidemic in Ireland and the need for ongoing monitoring of risk factors at the population level and the need to develop preventive strategies at both the clinical and societal level.

Patient-centred screening for primary immunodeficiency: a multi-stage diagnostic protocol designed for non-immunologists.

Efficient early identification of primary immunodeficiency disease (PID) is important for prognosis, but is not an easy task for non-immunologists. The Clinical Working Party of the European Society for Immunodeficiencies (ESID) has composed a multi-stage diagnostic protocol that is based on expert opinion, in order to increase the awareness of PID among doctors working in different fields. The protocol starts from the clinical presentation of the patient; immunological skills are not needed for its use. The multi-stage design allows cost-effective screening for PID within the large pool of potential cases in all hospitals in the early phases, while more expensive tests are reserved for definitive classification in collaboration with an immunologist at a later stage. Although many PIDs present in childhood, others may present at any age. The protocols presented here are therefore aimed at both adult physicians and paediatricians. While designed for use throughout Europe, there will be national differences which may make modification of this generic algorithm necessary.

Déficits immunitaires primaires: diagnostic, prise en charge, quelques perspectives.

Severe primary immunodeficiencies (PID) are rare; their global incidence is comparable to that of childhood leukemia; they include more than 100 different entities. Clinical manifestations are: unusually severe or frequent infections or infections that do not respond to adequate treatment; an increased risk of certain malignancies; sometimes auto-immune manifestations. Delayed diagnosis and management of PID can lead to severe and irreversible complications or to death. PID can become manifest only in the adult; in common variable immune deficiency, the median age at diagnosis is between the 2nd and the 3rd decade of life. PID are often transmitted genetically; recent progresses in molecular biology have allowed more precise and earlier, including antenatal, diagnosis. Molecular treatment of 3 infants with a severe immunodeficiency has recently been achieved in April 2000. Those progresses were mostly based on the study of immunodeficiency databases. We present here the work of a Belgian group specialized in PID; meetings have started in June 1997. This group establishes guidelines for the diagnosis and treatment of PID, adapted to the local situation. The elaboration of a national register of PID is also underway; this has to provide all guaranties of anonymity to patients and families. Such a register already exists at the European level; it has provided the basis for new diagnostic and therapeutic possibilities. The inclusion of Belgian data in this register should allow essential progresses essential for our patients.

Genome-wide mRNA expression correlates of viral control in CD4+ T-cells from HIV-1-infected individuals.

There is great interindividual variability in HIV-1 viral setpoint after seroconversion, some of which is known to be due to genetic differences among infected individuals. Here, our focus is on determining, genome-wide, the contribution of variable gene expression to viral control, and to relate it to genomic DNA polymorphism. RNA was extracted from purified CD4+ T-cells from 137 HIV-1 seroconverters, 16 elite controllers, and 3 healthy blood donors. Expression levels of more than 48,000 mRNA transcripts were assessed by the Human-6 v3 Expression BeadChips (Illumina). Genome-wide SNP data was generated from genomic DNA using the HumanHap550 Genotyping BeadChip (Illumina). We observed two distinct profiles with 260 genes differentially expressed depending on HIV-1 viral load. There was significant upregulation of expression of interferon stimulated genes with increasing viral load, including genes of the intrinsic antiretroviral defense. Upon successful antiretroviral treatment, the transcriptome profile of previously viremic individuals reverted to a pattern comparable to that of elite controllers and of uninfected individuals. Genome-wide evaluation of cis-acting SNPs identified genetic variants modulating expression of 190 genes. Those were compared to the genes whose expression was found associated with viral load: expression of one interferon stimulated gene, OAS1, was found to be regulated by a SNP (rs3177979, p = 4.9E-12); however, we could not detect an independent association of the SNP with viral setpoint. Thus, this study represents an attempt to integrate genome-wide SNP signals with genome-wide expression profiles in the search for biological correlates of HIV-1 control. It underscores the paradox of the association between increasing levels of viral load and greater expression of antiviral defense pathways. It also shows that elite controllers do not have a fully distinctive mRNA expression pattern in CD4+ T cells. Overall, changes in global RNA expression reflect responses to viral replication rather than a mechanism that might explain viral control.

Phylotastic! Making tree-of-life knowledge accessible, reusable and convenient.

BACKGROUND: Scientists rarely reuse expert knowledge of phylogeny, in spite of years of effort to assemble a great "Tree of Life" (ToL). A notable exception involves the use of Phylomatic, which provides tools to generate custom phylogenies from a large, pre-computed, expert phylogeny of plant taxa. This suggests great potential for a more generalized system that, starting with a query consisting of a list of any known species, would rectify non-standard names, identify expert phylogenies containing the implicated taxa, prune away unneeded parts, and supply branch lengths and annotations, resulting in a custom phylogeny suited to the user's needs. Such a system could become a sustainable community resource if implemented as a distributed system of loosely coupled parts that interact through clearly defined interfaces. RESULTS: With the aim of building such a "phylotastic" system, the NESCent Hackathons, Interoperability, Phylogenies (HIP) working group recruited 2 dozen scientist-programmers to a weeklong programming hackathon in June 2012. During the hackathon (and a three-month follow-up period), 5 teams produced designs, implementations, documentation, presentations, and tests including: (1) a generalized scheme for integrating components; (2) proof-of-concept pruners and controllers; (3) a meta-API for taxonomic name resolution services; (4) a system for storing, finding, and retrieving phylogenies using semantic web technologies for data exchange, storage, and querying; (5) an innovative new service, DateLife.org, which synthesizes pre-computed, time-calibrated phylogenies to assign ages to nodes; and (6) demonstration projects. These outcomes are accessible via a public code repository (GitHub.com), a website (http://www.phylotastic.org), and a server image. CONCLUSIONS: Approximately 9 person-months of effort (centered on a software development hackathon) resulted in the design and implementation of proof-of-concept software for 4 core phylotastic components, 3 controllers, and 3 end-user demonstration tools. While these products have substantial limitations, they suggest considerable potential for a distributed system that makes phylogenetic knowledge readily accessible in computable form. Widespread use of phylotastic systems will create an electronic marketplace for sharing phylogenetic knowledge that will spur innovation in other areas of the ToL enterprise, such as annotation of sources and methods and third-party methods of quality assessment.

Automatic verification of linear controller software

© 2015 IEEE.We consider the problem of verification of software implementations of linear time-invariant controllers. Commonly, different implementations use different representations of the controller's state, for example due to optimizations in a third-party code generator. To accommodate this variation, we exploit input-output controller specification captured by the controller's transfer function and show how to automatically verify correctness of C code controller implementations using a Frama-C/Why3/Z3 toolchain. Scalability of the approach is evaluated using randomly generated controller specifications of realistic size.

Intercultural competence in the area of drug dependencies

This article takes a multidimensional or biopsychosocial conception of drug dependency as its starting point. Within this analytical framework, we advocate making the intercultural dimension more visible, since it is essential for the design and implementation of integral intervention processes. We propose intercultural competence as a working model that can increase the capacities of institutions and professionals —a particularly important consideration in the case of social work— in order to effectively address the aforementioned cultural dimension. After an extensive review of the scientific literature, we have defined five processes that can contribute to strengthening an institution’s intercultural competence and four processes that can do the same for a professional’s intercultural competence. Though selected for application in the area of drug dependencies, all these processes can also prove useful in improving attention to any other kind of culturally diverse group or person.

Second-Order Training of Adaptive Critics for Online Process Control

A new algorithm for training of nonlinear optimal neuro-controllers (in the form of the model-free, action-dependent, adaptive critic paradigm). Overcomes problems with existing stochastic backpropagation training: need for data storage, parameter shadowing and poor convergence, offering significant benefits for online applications.

Feasibility of online collaborative voltage stability control of power systems

This paper presents the results of feasibility study of a novel concept of power system on-line collaborative voltage stability control. The proposal of the on-line collaboration between power system controllers is to enhance their overall performance and efficiency to cope with the increasing operational uncertainty of modern power systems. In the paper, the framework of proposed on-line collaborative voltage stability control is firstly presented, which is based on the deployment of multi-agent systems and real-time communication for on-line collaborative control. Then two of the most important issues in implementing the proposed on-line collaborative voltage stability control are addressed: (1) Error-tolerant communication protocol for fast information exchange among multiple intelligent agents; (2) Deployment of multi-agent systems by using graph theory to implement power system post-emergency control. In the paper, the proposed on-line collaborative voltage stability control is tested in the example 10-machine 39-node New England power system. Results of feasibility study from simulation are given considering the low-probability power system cascading faults.

Teacher attitudes and best practices with ICT faculty Adult Continuing Education in Andalusia

The present paper reports the results of a study aiming to describe the attitudes of teachers in adult continuous education in the Autonomous Community of Andalusia (Spain) towards the use and integration of information and communication technologies (ITC) in the educational centres they work in, while identifying those factors that favour the development of good practice. It is a mixed methods descriptive research, and information collection techniques include a questionnaire and in-depth interviews. A total number of 172 teachers were surveyed, as well as 18 head teachers and coordinators, in adult education. For questionnaire validation the expert judgment technique was used, as they were selected by the «expert competence coefficient» or «K coefficient» procedure. To improve its psychometric properties, construct validity was determined by means of Varimax factor analysis and maximum likelihood extraction (two factors were extracted). Confidence was set by Cronbach's alpha (0.88). The interview guide was also validated by this group of experts. Results point out, on one hand, that teachers hold positive attitudes towards ICT regarding both ICT's role in professional development and their ease of use and access. On the other hand, among the most important factors for ICT-supported good educational practices lies in ICT's capacity to favour personalized work.

Analysis of the reading and comprehension control in scientific texts in high school students

Students' learning process can be negatively affected when their reading and comprehension control is not appropriated. This research focuses on the analysis of how a group of students from high school evaluate their reading comprehension in manipulated scientific texts. An analysis tool was designed to determine the students' degree of comprehension control when reading a scientific short text with an added contradiction. The results have revealed that the students from 1st and 3rd ESO do not properly self-evaluated their reading comprehension. A different behavior has been observed in 1st Bachillerato, where appropriate evaluation and regulation seem to be more frequent. Moreover, no significant differences have been found regarding the type of text, year or gender. Finally, as identified by previous research, the correlations between the students' comprehension control and their school marks have shown to have a weak relationship and inversely proportional to the students' age.

A recursive rule base adjustment algorithm for a fuzzy logic controller

This paper introduces a recursive rule base adjustment to enhance the performance of fuzzy logic controllers. Here the fuzzy controller is constructed on the basis of a decision table (DT), relying on membership functions and fuzzy rules that incorporate heuristic knowledge and operator experience. If the controller performance is not satisfactory, it has previously been suggested that the rule base be altered by combined tuning of membership functions and controller scaling factors. The alternative approach proposed here entails alteration of the fuzzy rule base. The recursive rule base adjustment algorithm proposed in this paper has the benefit that it is computationally more efficient for the generation of a DT, and advantage for online realization. Simulation results are presented to support this thesis. (c) 2005 Elsevier B.V. All rights reserved.