Marshall system for aerospace simulation (MARSYAS)

System is simple flexible language which can be coded by users unfamiliar with computer programming. It is designed for engineers with little experience in simulation, who desire to simulate large physical systems. User has ability to mix differential equations with diagrams in his model. With few exceptions, there is no rigid statement-operator structure within given module

Evidence for cognitive vestibular integration impairment in idiopathic scoliosis patients

<p>Abstract</p> <p>Background</p> <p>Adolescent idiopathic scoliosis is characterized by a three-dimensional deviation of the vertebral column and its etiopathogenesis is unknown. Various factors cause idiopathic scoliosis, and among these a prominent role has been attributed to the vestibular system. While the deficits in sensorimotor transformations have been documented in idiopathic scoliosis patients, little attention has been devoted to their capacity to integrate vestibular information for cognitive processing for space perception. Seated idiopathic scoliosis patients and control subjects experienced rotations of different directions and amplitudes in the dark and produced saccades that would reproduce their perceived spatial characteristics of the rotations (vestibular condition). We also controlled for possible alteration of the oculomotor and vestibular systems by measuring the subject's accuracy in producing saccades towards memorized peripheral targets in absence of body rotation and the gain of their vestibulo-ocular reflex.</p> <p>Results</p> <p>Compared to healthy controls, the idiopathic scoliosis patients underestimated the amplitude of their rotations. Moreover, the results revealed that idiopathic scoliosis patients produced accurate saccades to memorized peripheral targets in absence of body rotation and that their vestibulo-ocular reflex gain did not differ from that of control participants.</p> <p>Conclusion</p> <p>Overall, results of the present study demonstrate that idiopathic scoliosis patients have an alteration in cognitive integration of vestibular signals. It is possible that severe spine deformity developed partly due to impaired vestibular information travelling from the cerebellum to the vestibular cortical network or alteration in the cortical mechanisms processing the vestibular signals.</p

Competitive outreach in the 21st century: Why we need conservation marketing

AbstractAddressing impacts from human activities requires the change of current practices. However, reaching a target audience about conservation issues and influencing their behaviour is not easy in a world where people are continually bombarded with information, and distractions are permanently available. Although not typically considered to be part of the conservation science toolbox, marketing techniques were designed in the commercial sector to identify and influence human preferences and behaviour by placing target audiences at the core of the marketing process. It thus seems reasonable that the same marketing principles and tools could and should be used to address pressing conservation issues. In this manuscript, we provide an introduction to the main objectives of marketing and illustrate how these can be applied to conservation and animal welfare issues. To that end we offer two examples: Project Ocean, where a major UK retailer joined forces with the Zoological Society of London to influence consumer behaviour around seafood; and Blackfish, which coupled social media with an award-winning documentary to create a discussion around the welfare of large cetaceans in captivity. Without the ability to influence human behaviour, a conservationists' role will likely be limited to that of describing the loss of biodiversity and the decline of the environment. We thus hope that conservation practitioners can embrace marketing as a fundamental component of the conservation toolbox

Type VI secretion: a beginner's guide

Type VI secretion is a newly described mechanism for protein transport across the cell envelope of Gram-negative bacteria. Components that have been partially characterised include an IcmF homologue, the ATPase ClpV, a regulatory FHA domain protein and the secreted VgrG and Hcp proteins. Type VI secretion is clearly a key virulence factor for some important pathogenic bacteria and has been implicated in the translocation of a potential effector protein into eukaryotic cells by at least one organism (Vibrio cholerae). However, type VI secretion systems (T6SSs) are widespread in nature and not confined to known pathogens. In accordance with the general rule that the expression of protein secretion systems is tightly regulated, expression of type VI secretion is controlled at both transcriptional and post-transcriptional levels

Making Sigma-Protocols Non-interactive Without Random Oracles

Damg˚ard, Fazio and Nicolosi (TCC 2006) gave a transformation of Sigma-protocols, 3-move honest verifier zero-knowledge proofs, into efficient non-interactive zero-knowledge arguments for a designated verifier. Their transformation uses additively homomorphic encryption to encrypt the verifier’s challenge, which the prover uses to compute an encrypted answer. The transformation does not rely on the random oracle model but proving soundness requires a complexity leveraging assumption. We propose an alternative instantiation of their transformation and show that it achieves culpable soundness without complexity leveraging. This improves upon an earlier result by Ventre and Visconti (Africacrypt 2009), who used a different construction which achieved weak culpable soundness. We demonstrate how our construction can be used to prove validity of encrypted votes in a referendum. This yields a voting system with homomorphic tallying that does not rely on the Fiat-Shamir heuristic

Synthetic long non-coding RNAs [SINEUPs] rescue defective gene expression in vivo

Non-coding RNAs provide additional regulatory layers to gene expression as well as the potential to being exploited as therapeutic tools. Non-coding RNA-based therapeutic approaches have been attempted in dominant diseases, however their use for treatment of genetic diseases caused by insufficient gene dosage is currently more challenging. SINEUPs are long antisense non-coding RNAs that up-regulate translation in mammalian cells in a gene-specific manner, although, so far evidence of SINEUP efficacy has only been demonstrated in in vitro systems. We now show that synthetic SINEUPs effectively and specifically increase protein levels of a gene of interest in vivo. We demonstrated that SINEUPs rescue haploinsufficient gene dosage in a medakafish model of a human disorder leading to amelioration of the disease phenotype. Our results demonstrate that SINEUPs act through mechanisms conserved among vertebrates and that SINEUP technology can be successfully applied in vivo as a new research and therapeutic tool for gene-specific up-regulation of endogenous functional proteins

Study Protocol for RESORP – Resolution of Organ Injury in Acute Pancreatitis – an observational prospective cohort study

Introduction Survivors of acute pancreatitis (AP) have shorter overall survival and increased incidence of new-onset cardiovascular, respiratory, liver and renal disease, diabetes mellitus and cancer compared with the general population, but the mechanisms that explain this are yet to be elucidated. Our aim is to characterise the precise nature and extent of organ dysfunction following an episode of AP.Methods and analysis This is an observational prospective cohort study in a single centre comprising a University hospital with an acute and emergency receiving unit and clinical research facility. Participants will be adult patient admitted with AP. Participants will undergo assessment at recruitment, 3 months and 3 years. At each time point, multiple biochemical and/or physiological assessments to measure cardiovascular, respiratory, liver, renal and cognitive function, diabetes mellitus and quality of life. Recruitment was from 30 November 2017 to 31 May 2020; last follow-up measurements is due on 31 May 2023. The primary outcome measure is the incidence of new-onset type 3c diabetes mellitus during follow-up. Secondary outcome measures include: quality of life analyses (SF-36, Gastrointestinal Quality of Life Index); montreal cognitive assessment; organ system physiological performance; multiomics predictors of AP severity, detection of premature cellular senescence. In a nested cohort within the main cohort, individuals may also consent to multiparameter MRI scan, echocardiography, pulmonary function testing, cardiopulmonary exercise testing and pulse-wave analysis.Ethics and dissemination This study has received the following approvals: UK IRAS Number 178615; South-east Scotland Research Ethics Committee number 16/SS/0065. Results will be made available to AP survivors, caregivers, funders and other researchers. Publications will be open-access.Trial registration numbers ClinicalTrials.gov Registry (NCT03342716) and ISRCTN50581876; Pre-results

Combinatorial Auctions without Money

Algorithmic Mechanism Design attempts to marry computation and incentives, mainly by leveraging monetary transfers between designer and selfish agents involved. This is principally because in absence of money, very little can be done to enforce truthfulness. However, in certain applications, money is unavailable, morally unacceptable or might simply be at odds with the objective of the mechanism. For example, in Combinatorial Auctions (CAs), the paradigmatic problem of the area, we aim at solutions of maximum social welfare, but still charge the society to ensure truthfulness. We focus on the design of incentive-compatible CAs without money in the general setting of k-minded bidders. We trade monetary transfers with the observation that the mechanism can detect certain lies of the bidders: i.e., we study truthful CAs with verification and without money. In this setting, we characterize the class of truthful mechanisms and give a host of upper and lower bounds on the approximation ratio obtained by either deterministic or randomized truthful mechanisms. Our results provide an almost complete picture of truthfully approximating CAs in this general setting with multi-dimensional bidders