Integrated piezoresistive sensors for atomic force-guided scanning Hall probe microscopy

We report the development of an advanced sensor for atomic force-guided scanning Hall probe microscopy whereby both a high mobility heterostructure Hall effect magnetic sensor and an n-Al0.4Ga0.6As piezoresistive displacement sensor have been integrated in a single III-V semiconductor cantilever. This allows simple operation in high-vacuum/variable-temperature environments and enables very high magnetic and topographic resolution to be achieved simultaneously. Scans of magnetic induction and topography of a number of samples are presented to illustrate the sensor performance at 300 and 77 K. (C) 2003 American Institute of Physics

Astrobiological Complexity with Probabilistic Cellular Automata

Search for extraterrestrial life and intelligence constitutes one of the major endeavors in science, but has yet been quantitatively modeled only rarely and in a cursory and superficial fashion. We argue that probabilistic cellular automata (PCA) represent the best quantitative framework for modeling astrobiological history of the Milky Way and its Galactic Habitable Zone. The relevant astrobiological parameters are to be modeled as the elements of the input probability matrix for the PCA kernel. With the underlying simplicity of the cellular automata constructs, this approach enables a quick analysis of large and ambiguous input parameters' space. We perform a simple clustering analysis of typical astrobiological histories and discuss the relevant boundary conditions of practical importance for planning and guiding actual empirical astrobiological and SETI projects. In addition to showing how the present framework is adaptable to more complex situations and updated observational databases from current and near-future space missions, we demonstrate how numerical results could offer a cautious rationale for continuation of practical SETI searches.Comment: 37 pages, 11 figures, 2 tables; added journal reference belo

Use of the complement inhibitor Coversin to treat HSCT-associated TMA

Finding an inherited complement abnormality in HSCT-associated TMA provides a rationale for the use of a complement inhibitor.Alternative complement inhibitors such as Coversin should be considered in patients who are resistant to eculizumab

Integrated treatment of first episode psychosis with online training (e-learning): study protocol for a randomised controlled trial

BackgroundThe integrated treatment of first episode psychosis has been shown to improve functionality and negative symptoms in previous studies. In this paper, we describe a study of integrated treatment (individual psychoeducation complementary to pharmacotherapy) versus treatment as usual, comparing results at baseline with those at 6-month re-assessment (at the end of the study) for these patients, and online training of professionals to provide this complementary treatment, with the following objectives: 1) to compare the efficacy of individual psychoeducation as add-on treatment versus treatment as usual in improving psychotic and mood symptoms; 2) to compare adherence to medication, functioning, insight, social response, quality of life, and brain-derived neurotrophic factor, between both groups; and 3) to analyse the efficacy of online training of psychotherapists.Methods/designThis is a single-blind randomised clinical trial including patients with first episode psychosis from hospitals across Spain, randomly assigned to either a control group with pharmacotherapy and regular sessions with their psychiatrist (treatment as usual) or an intervention group with integrated care including treatment as usual plus a psychoeducational intervention (14 sessions). Training for professionals involved at each participating centre was provided by the coordinating centre (University Hospital of Álava) through video conferences. Patients are evaluated with an extensive battery of tests assessing clinical and sociodemographic characteristics (Positive and Negative Syndrome Scale, State-Trait Anxiety Inventory, Liebowitz Social Anxiety Scale, Hamilton Rating Scale for Depression, Scale to Assess Unawareness of Mental Disorders, Strauss and Carpenter Prognostic Scale, Global Assessment of Functioning Scale, Morisky Green Adherence Scale, Functioning Assessment Short Test, World Health Organization Quality of Life instrument WHOQOL-BREF (an abbreviated version of the WHOQOL-100), and EuroQoL questionnaire), and brain-derived neurotrophic factor levels are measured in peripheral blood at baseline and at 6 months. The statistical analysis, including bivariate analysis, linear and logistic regression models, will be performed using SPSS.DiscussionThis is an innovative study that includes the assessment of an integrated intervention for patients with first episode psychosis provided by professionals who are trained online, potentially making it possible to offer the intervention to more patients.Trial registrationNCT01783457 clinical trials.gov. Date of registration in primary registry 23 January 2013

Evidence for distinct coastal and offshore communities of bottlenose dolphins in the north east Atlantic.

Bottlenose dolphin stock structure in the northeast Atlantic remains poorly understood. However, fine scale photo-id data have shown that populations can comprise multiple overlapping social communities. These social communities form structural elements of bottlenose dolphin (Tursiops truncatus) [corrected] populations, reflecting specific ecological and behavioural adaptations to local habitats. We investigated the social structure of bottlenose dolphins in the waters of northwest Ireland and present evidence for distinct inshore and offshore social communities. Individuals of the inshore community had a coastal distribution restricted to waters within 3 km from shore. These animals exhibited a cohesive, fission-fusion social organisation, with repeated resightings within the research area, within a larger coastal home range. The offshore community comprised one or more distinct groups, found significantly further offshore (>4 km) than the inshore animals. In addition, dorsal fin scarring patterns differed significantly between inshore and offshore communities with individuals of the offshore community having more distinctly marked dorsal fins. Specifically, almost half of the individuals in the offshore community (48%) had characteristic stereotyped damage to the tip of the dorsal fin, rarely recorded in the inshore community (7%). We propose that this characteristic is likely due to interactions with pelagic fisheries. Social segregation and scarring differences found here indicate that the distinct communities are likely to be spatially and behaviourally segregated. Together with recent genetic evidence of distinct offshore and coastal population structures, this provides evidence for bottlenose dolphin inshore/offshore community differentiation in the northeast Atlantic. We recommend that social communities should be considered as fundamental units for the management and conservation of bottlenose dolphins and their habitat specialisations

A Higher-Order Logic for Concurrent Termination-Preserving Refinement

Compiler correctness proofs for higher-order concurrent languages are difficult: they involve establishing a termination-preserving refinement between a concurrent high-level source language and an implementation that uses low-level shared memory primitives. However, existing logics for proving concurrent refinement either neglect properties such as termination, or only handle first-order state. In this paper, we address these limitations by extending Iris, a recent higher-order concurrent separation logic, with support for reasoning about termination-preserving refinements. To demonstrate the power of these extensions, we prove the correctness of an efficient implementation of a higher-order, session-typed language. To our knowledge, this is the first program logic capable of giving a compiler correctness proof for such a language. The soundness of our extensions and our compiler correctness proof have been mechanized in Coq

Correlates of persistence in remnant populations of two Critically Endangered cockatoos

A challenge with species that have disappeared from most of their range is to identify the correlates of local persistence. With species decimated by trade, site-specific trapping risk is hard to capture by remotely accessed predictors. The recently split yellow-crested cockatoo Cacatua sulphurea and citron-crested cockatoo C. citrinocristata have undergone catastrophic declines due to habitat loss and especially trapping, and are now extinct in much of their former range across Indonesia. Of 144 sites on 30 islands known to contain the species in 1950, only 76 on 27 islands did so in 2017–2019, with many of the other 68 experiencing extinctions between 1985 and 2000. We compared socio-ecological conditions such as forest cover and loss, human population density and infrastructure, and protected area status between the occupied and unoccupied sites, using ‘random forests’ within decreasing time intervals 1950–2015. Populations on Sulawesi and West Nusa Tenggara were more likely to become extinct than those on Sumba, Timor-Leste and small remote islands. Sites retaining cockatoos had high proportions of tree cover, low road density and low human densities. The relative importance of these factors changed little over time, but road density and human density became respectively more and less important in recent years. The examination of local conditions at ‘false negative’ sites (where cockatoos survived contrary to model predictions) showed that, particularly in recent years, cockatoo survival has been promoted by site-specific protection due to traditional beliefs, NGO activities, dedicated individual residents and local topographic barriers. Some of these local influences add complexity to the task of conserving cockatoo strongholds, but also offer exciting possibilities for low-cost conservation prescriptions tailored to individual sites. Studies combining field and remotely sensed data, and examining false negative sites for beneficial location-specific conditions, have broad application for the conservation of taxa with once-large ranges

Genome-wide scan for five brain oscillatory phenotypes identifies a new qtl associated with theta eeg band

Brain waves, measured by electroencephalography (EEG), are a powerful tool in the investigation of neurophysiological traits and a noninvasive and cost-effective alternative in the diagnostic of some neurological diseases. In order to identify novel Quantitative Trait Loci (QTLs) for brain wave relative power (RP), we collected resting state EEG data in five frequency bands (d, ¿, a, ß1, and ß2) and genome-wide data in a cohort of 105 patients with late onset Alzheimer’s disease (LOAD), 41 individuals with mild cognitive impairment and 45 controls from Iberia, correcting for disease status. One novel association was found with an interesting candidate for a role in brain wave biology, CLEC16A (C-type lectin domain family 16), with a variant at this locus passing the adjusted genome-wide significance threshold after Bonferroni correction. This finding reinforces the importance of immune regulation in brain function. Additionally, at a significance cutoff value of 5 × 10-6, 18 independent association signals were detected. These signals comprise brain expression Quantitative Loci (eQTLs) in caudate basal ganglia, spinal cord, anterior cingulate cortex and hypothalamus, as well as chromatin interactions in adult and fetal cortex, neural progenitor cells and hippocampus. Moreover, in the set of genes showing signals of association with brain wave RP in our dataset, there is an overrepresentation of loci previously associated with neurological traits and pathologies, evidencing the pleiotropy of the genetic variation modulating brain function.This project is supported by “European Commission” and “European Regional Development Fund” under the project “Análisis y correlación entre el genoma completo y la actividad cerebral para la ayuda en el diagnóstico de la enfermedad de Alzheimer” (Project 1317_AD-EEGWA), (Cooperation Programme INTERREG V-A Spain-Portugal POCTEP 2014–2020) and the COMPETE 2020-Operacional Programme for Competitiveness and Internationalisation (POCI), Portugal 2020. Portuguese funds are supporting this work through FCT-Fundação para a Ciência e a Tecnologia/Ministério da Ciência, Tecnologia e Inovação in the framework of the project “Institute for Research and Innovation in Health Sciences” (POCI-01-0145-FEDER-007274). SM, AML, NP and IG are funded by FCT: CEECIND/00684/2017, IF/01262/2014, SFRH/BPD/97414/2013 and CEECIND/02609/2017, respectively. MA is funded by the Grant RYC-2015-18241 from the Spanish Government. Spanish funds are supporting this work through “Ministerio de Ciencia e Innovación–Agencia Estatal de Investigación” and “European Regional Development Fund” under project PGC2018-098214-A-I00 and by “CIBER en Bioingeniería, Biomateriales y Nanomedicina (CIBER-BBN)” through “Instituto de Salud Carlos III” co-funded with “European Regional Development Fund” funds