Formal modelling as a component of user centred design

User centred design approaches typically focus understanding on context and producing sketch designs. These sketches are often non functional (e.g., paper) prototypes. They provide a means of exploring candidate design possibilities using techniques such as cooperative evaluation. This paper describes a further step in the process using formal analysis techniques. The sketch design of a device is enhanced into a specification that is then analysed using formal techniques, thus providing a systematic approach to checking plausibility and consistency during early design stages. Once analysed, a further prototype is constructed using an executable form of the specification, providing the next candidate for evaluation with potential users. The technique is illustrated through an example based on a pill dispenser.We are grateful to Nuno Rodrigues, João Vilaça and Nuno Dias from IPCA (Polytechnic Institute of Cavado and Ave) who developed the first prototypeof the pill dispenser. José C. Campos, Paolo Masci and Michael Harrison werefunded by project NORTE-01-0145-FEDER-000016, financed by the North Por-tugal Regional Operational Programme (NORTE 2020), under the PORTUGAL2020 Partnership Agreement, and through the European Regional DevelopmentFund (ERDF)

PubChem3D: Similar conformers

<p>Abstract</p> <p>Background</p> <p>PubChem is a free and open public resource for the biological activities of small molecules. With many tens of millions of both chemical structures and biological test results, PubChem is a sizeable system with an uneven degree of available information. Some chemical structures in PubChem include a great deal of biological annotation, while others have little to none. To help users, PubChem pre-computes "neighboring" relationships to relate similar chemical structures, which may have similar biological function. In this work, we introduce a "Similar Conformers" neighboring relationship to identify compounds with similar 3-D shape and similar 3-D orientation of functional groups typically used to define pharmacophore features.</p> <p>Results</p> <p>The first two diverse 3-D conformers of 26.1 million PubChem Compound records were compared to each other, using a shape Tanimoto (ST) of 0.8 or greater and a color Tanimoto (CT) of 0.5 or greater, yielding 8.16 billion conformer neighbor pairs and 6.62 billion compound neighbor pairs, with an average of 253 "Similar Conformers" compound neighbors per compound. Comparing the 3-D neighboring relationship to the corresponding 2-D neighboring relationship ("Similar Compounds") for molecules such as caffeine, aspirin, and morphine, one finds unique sets of related chemical structures, providing additional significant biological annotation. The PubChem 3-D neighboring relationship is also shown to be able to group a set of non-steroidal anti-inflammatory drugs (NSAIDs), despite limited PubChem 2-D similarity.</p> <p>In a study of 4,218 chemical structures of biomedical interest, consisting of many known drugs, using more diverse conformers per compound results in more 3-D compound neighbors per compound; however, the overlap of the compound neighbor lists per conformer also increasingly resemble each other, being 38% identical at three conformers and 68% at ten conformers. Perhaps surprising is that the average count of conformer neighbors per conformer increases rather slowly as a function of diverse conformers considered, with only a 70% increase for a ten times growth in conformers per compound (a 68-fold increase in the conformer pairs considered).</p> <p>Neighboring 3-D conformers on the scale performed, if implemented naively, is an intractable problem using a modest sized compute cluster. Methodology developed in this work relies on a series of filters to prevent performing 3-D superposition optimization, when it can be determined that two conformers cannot possibly be a neighbor. Most filters are based on Tanimoto equation volume constraints, avoiding incompatible conformers; however, others consider preliminary superposition between conformers using reference shapes.</p> <p>Conclusion</p> <p>The "Similar Conformers" 3-D neighboring relationship locates similar small molecules of biological interest that may go unnoticed when using traditional 2-D chemical structure graph-based methods, making it complementary to such methodologies. The computational cost of 3-D similarity methodology on a wide scale, such as PubChem contents, is a considerable issue to overcome. Using a series of efficient filters, an effective throughput rate of more than 150,000 conformers per second per processor core was achieved, more than two orders of magnitude faster than without filtering.</p

The effects of woodland habitat and biogeography on blue tit Cyanistes caeruleus territory occupancy and productivity along a 220 km transect

© 2018 The Authors The nesting phenology and productivity of hole-nesting woodland passerines, such as tit species (Paridae), has been the subject of many studies and played a central role in advancing our understanding of the causes and consequences of trophic mismatch. However, as most studies have been conducted in mature, oak-rich (Quercus sp.) woodlands, it is unknown whether insights from such studies generalise to other habitats used by woodland generalist species. Here we applied spatial mixed models to data collected over three years (2014–2016) from 238 nestboxes across 40 sites – that vary in woodland habitat and elevation – along a 220 km transect in Scotland. We evaluate the importance of habitat, biogeography and food availability as predictors of mesoscale among-site variation in blue tit Cyanistes caeruleus nestbox occupancy and two components of productivity (clutch size and fledging success). We found that habitat was not a significant predictor of occupancy or clutch size but that occupancy exhibited pronounced biogeographic trends, declining with increasing latitude and elevation. However, fledging success, defined as the proportion of a clutch that fledged, was positively correlated with site level availability of birch, oak and sycamore, and tree diversity. The lack of correspondence between the effects of habitat on fledging success versus occupancy and clutch size may indicate that blue tits do not accurately predict the future quality of their breeding sites when selecting territories and laying clutches. We found little evidence of spatial autocorrelation in occupancy or clutch size, whereas spatial autocorrelation in fledging success extends over multiple sites, albeit non-significantly. Taken together, our findings suggest that the relationship between breeding decisions and breeding outcomes varies among habitats, and we urge caution when extrapolating inferences from one habitat to others

Automated annotation of chemical names in the literature with tunable accuracy

<p>Abstract</p> <p>Background</p> <p>A significant portion of the biomedical and chemical literature refers to small molecules. The accurate identification and annotation of compound name that are relevant to the topic of the given literature can establish links between scientific publications and various chemical and life science databases. Manual annotation is the preferred method for these works because well-trained indexers can understand the paper topics as well as recognize key terms. However, considering the hundreds of thousands of new papers published annually, an automatic annotation system with high precision and relevance can be a useful complement to manual annotation.</p> <p>Results</p> <p>An automated chemical name annotation system, MeSH Automated Annotations (MAA), was developed to annotate small molecule names in scientific abstracts with tunable accuracy. This system aims to reproduce the MeSH term annotations on biomedical and chemical literature that would be created by indexers. When comparing automated free text matching to those indexed manually of 26 thousand MEDLINE abstracts, more than 40% of the annotations were false-positive (FP) cases. To reduce the FP rate, MAA incorporated several filters to remove "incorrect" annotations caused by nonspecific, partial, and low relevance chemical names. In part, relevance was measured by the position of the chemical name in the text. Tunable accuracy was obtained by adding or restricting the sections of the text scanned for chemical names. The best precision obtained was 96% with a 28% recall rate. The best performance of MAA, as measured with the F statistic was 66%, which favorably compares to other chemical name annotation systems.</p> <p>Conclusions</p> <p>Accurate chemical name annotation can help researchers not only identify important chemical names in abstracts, but also match unindexed and unstructured abstracts to chemical records. The current work is tested against MEDLINE, but the algorithm is not specific to this corpus and it is possible that the algorithm can be applied to papers from chemical physics, material, polymer and environmental science, as well as patents, biological assay descriptions and other textual data.</p

Does inter-vertebral range of motion increase after spinal manipulation? A prospective cohort study.

Background: Spinal manipulation for nonspecific neck pain is thought to work in part by improving inter-vertebral range of motion (IV-RoM), but it is difficult to measure this or determine whether it is related to clinical outcomes. Objectives: This study undertook to determine whether cervical spine flexion and extension IV-RoM increases after a course of spinal manipulation, to explore relationships between any IV-RoM increases and clinical outcomes and to compare palpation with objective measurement in the detection of hypo-mobile segments. Method: Thirty patients with nonspecific neck pain and 30 healthy controls matched for age and gender received quantitative fluoroscopy (QF) screenings to measure flexion and extension IV-RoM (C1-C6) at baseline and 4-week follow-up between September 2012-13. Patients received up to 12 neck manipulations and completed NRS, NDI and Euroqol 5D-5L at baseline, plus PGIC and satisfaction questionnaires at follow-up. IV-RoM accuracy, repeatability and hypo-mobility cut-offs were determined. Minimal detectable changes (MDC) over 4 weeks were calculated from controls. Patients and control IV-RoMs were compared at baseline as well as changes in patients over 4 weeks. Correlations between outcomes and the number of manipulations received and the agreement (Kappa) between palpated and QF-detected of hypo-mobile segments were calculated. Results: QF had high accuracy (worst RMS error 0.5o) and repeatability (highest SEM 1.1o, lowest ICC 0.90) for IV-RoM measurement. Hypo-mobility cut offs ranged from 0.8o to 3.5o. No outcome was significantly correlated with increased IV-RoM above MDC and there was no significant difference between the number of hypo-mobile segments in patients and controls at baseline or significant increases in IV-RoMs in patients. However, there was a modest and significant correlation between the number of manipulations received and the number of levels and directions whose IV-RoM increased beyond MDC (Rho=0.39, p=0.043). There was also no agreement between palpation and QF in identifying hypo-mobile segments (Kappa 0.04-0.06). Conclusions: This study found no differences in cervical sagittal IV-RoM between patients with non-specific neck pain and matched controls. There was a modest dose-response relationship between the number of manipulations given and number of levels increasing IV-RoM - providing evidence that neck manipulation has a mechanical effect at segmental levels. However, patient-reported outcomes were not related to this

Medical conditions in autism spectrum disorders

Autism spectrum disorder (ASD) is a behaviourally defined syndrome where the etiology and pathophysiology is only partially understood. In a small proportion of children with the condition, a specific medical disorder is identified, but the causal significance in many instances is unclear. Currently, the medical conditions that are best established as probable causes of ASD include Fragile X syndrome, Tuberous Sclerosis and abnormalities of chromosome 15 involving the 15q11-13 region. Various other single gene mutations, genetic syndromes, chromosomal abnormalities and rare de novo copy number variants have been reported as being possibly implicated in etiology, as have several ante and post natal exposures and complications. However, in most instances the evidence base for an association with ASD is very limited and largely derives from case reports or findings from small, highly selected and uncontrolled case series. Not only therefore, is there uncertainty over whether the condition is associated, but the potential basis for the association is very poorly understood. In some cases the medical condition may be a consequence of autism or simply represent an associated feature deriving from an underlying shared etiology. Nevertheless, it is clear that in a growing proportion of individuals potentially causal medical conditions are being identified and clarification of their role in etio-pathogenesis is necessary. Indeed, investigations into the causal mechanisms underlying the association between conditions such as tuberous sclerosis, Fragile X and chromosome 15 abnormalities are beginning to cast light on the molecular and neurobiological pathways involved in the pathophysiology of ASD. It is evident therefore, that much can be learnt from the study of probably causal medical disorders as they represent simpler and more tractable model systems in which to investigate causal mechanisms. Recent advances in genetics, molecular and systems biology and neuroscience now mean that there are unparalleled opportunities to test causal hypotheses and gain fundamental insights into the nature of autism and its development

Inflation and Dark Energy from spectroscopy at z > 2

The expansion of the Universe is understood to have accelerated during two epochs: in its very first moments during a period of Inflation and much more recently, at z < 1, when Dark Energy is hypothesized to drive cosmic acceleration. The undiscovered mechanisms behind these two epochs represent some of the most important open problems in fundamental physics. The large cosmological volume at 2 < z < 5, together with the ability to efficiently target high-$z$ galaxies with known techniques, enables large gains in the study of Inflation and Dark Energy. A future spectroscopic survey can test the Gaussianity of the initial conditions up to a factor of ~50 better than our current bounds, crossing the crucial theoretical threshold of $\sigma(f_{NL}^{\rm local})$ of order unity that separates single field and multi-field models. Simultaneously, it can measure the fraction of Dark Energy at the percent level up to $z = 5$, thus serving as an unprecedented test of the standard model and opening up a tremendous discovery space

Retrotransposon vectors for gene delivery in plants

<p>Abstract</p> <p>Background</p> <p>Retrotransposons are abundant components of plant genomes, and although some plant retrotransposons have been used as insertional mutagens, these mobile genetic elements have not been widely exploited for plant genome manipulation. In vertebrates and yeast, retrotransposons and retroviruses are routinely altered to carry additional genes that are copied into complementary (c)DNA through reverse transcription. Integration of cDNA results in gene delivery; recombination of cDNA with homologous chromosomal sequences can create targeted gene modifications. Plant retrotransposon-based vectors, therefore, may provide new opportunities for plant genome engineering.</p> <p>Results</p> <p>A retrotransposon vector system was developed for gene delivery in plants based on the Tnt1 element from <it>Nicotiana tabacum</it>. Mini-Tnt1 transfer vectors were constructed that lack coding sequences yet retain the 5' and 3' long terminal repeats (LTRs) and adjacent <it>cis </it>sequences required for reverse transcription. The internal coding region of Tnt1 was replaced with a neomycin phosphotransferase gene to monitor replication by reverse transcription. Two different mini-Tnt1 s were developed: one with the native 5' LTR and the other with a chimeric 5' LTR that had the first 233 bp replaced by the CaMV 35 S promoter. After transfer into tobacco protoplasts, both vectors undergo retrotransposition using GAG and POL proteins provided in <it>trans </it>by endogenous Tnt1 elements. The transposition frequencies of mini-Tnt1 vectors are comparable with native Tnt1 elements, and like the native elements, insertion sites are within or near coding sequences. In this paper, we provide evidence that template switching occurs during mini-Tnt1 reverse transcription, indicating that multiple copies of Tnt1 mRNA are packaged into virus-like particles.</p> <p>Conclusions</p> <p>Our data demonstrate that mini-Tnt1 vectors can replicate efficiently in tobacco cells using GAG and POL proteins provided in <it>trans </it>by native Tnt1 elements. This suggests that helper Tnt1 constructs can be developed to enable a Tnt1-based two-component vector system that could be used in other plant species. Such a vector system may prove useful for gene delivery or the production of cDNA that can serve as a donor molecule for gene modification through homologous recombination.</p