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

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

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

Lipocalin-2 Deficiency Attenuates Insulin Resistance Associated With Aging and Obesity

OBJECTIVE - The proinflammatory cytokines/adipokines produced from adipose tissue act in an autocrine and/or endocrine manner to perpetuate local inflammation and to induce peripheral insulin resistance. The present study investigates whether lipocalin-2 deficiency or replenishment with this adipokine has any impact on systemic insulin sensitivity and the underlying mechanisms. METHODS AND RESULTS - Under conditions of aging or dietary-/genetic-induced obesity, lipocalin-2 knockout (Lcn2-KO) mice show significantly decreased fasting glucose and insulin levels and improved insulin sensitivity compared with their wild-type littermates. Despite enlarged fat mass, inflammation and the accumulation of lipid peroxidation products are significantly attenuated in the adipose tissues of Lcn2-KO mice. Adipose fatty acid composition of these mice varies significantly from that in wild-type animals. The amounts of arachidonic acid (C20:4 n6) are elevated by aging and obesity and are paradoxically further increased in adipose tissue, but not skeletal muscle and liver of Lcn2-KO mice. On the other hand, the expression and activity of 12-lipoxygenase, an enzyme responsible for metabolizing arachidonic acid, and the production of tumor necrosis factor-α (TNF-α), a critical insulin resistance-inducing factor, are largely inhibited by lipocalin-2 deficiency. Lipocalin-2 stimulates the expression and activity of 12-lipoxygenase and TNF-α production in fat tissues. Cinnamyl-3,4- dihydroxy-α-cyanocinnamate (CDC), an arachidonate lipoxygenase inhibitor, prevents TNF-α expression induced by lipocalin-2. Moreover, treatment with TNF-α neutralization antibody or CDC significantly attenuated the differences of insulin sensitivity between wild-type and Lcn2-KO mice. CONCLUSIONS - Lipocalin-2 deficiency protects mice from developing aging- and obesity-induced insulin resistance largely by modulating 12-lipoxygenase and TNF-α levels in adipose tissue. © 2010 by the American Diabetes Association.link_to_OA_fulltex

Caenorhabditis elegans Semi-Automated Liquid Screen Reveals a Specialized Role for the Chemotaxis Gene cheB2 in Pseudomonas aeruginosa Virulence

Pseudomonas aeruginosa is an opportunistic human pathogen that causes infections in a variety of animal and plant hosts. Caenorhabditis elegans is a simple model with which one can identify bacterial virulence genes. Previous studies with C. elegans have shown that depending on the growth medium, P. aeruginosa provokes different pathologies: slow or fast killing, lethal paralysis and red death. In this study, we developed a high-throughput semi-automated liquid-based assay such that an entire genome can readily be scanned for virulence genes in a short time period. We screened a 2,200-member STM mutant library generated in a cystic fibrosis airway P. aeruginosa isolate, TBCF10839. Twelve mutants were isolated each showing at least 70% attenuation in C. elegans killing. The selected mutants had insertions in regulatory genes, such as a histidine kinase sensor of two-component systems and a member of the AraC family, or in genes involved in adherence or chemotaxis. One mutant had an insertion in a cheB gene homologue, encoding a methylesterase involved in chemotaxis (CheB2). The cheB2 mutant was tested in a murine lung infection model and found to have a highly attenuated virulence. The cheB2 gene is part of the chemotactic gene cluster II, which was shown to be required for an optimal mobility in vitro. In P. aeruginosa, the main player in chemotaxis and mobility is the chemotactic gene cluster I, including cheB1. We show that, in contrast to the cheB2 mutant, a cheB1 mutant is not attenuated for virulence in C. elegans whereas in vitro motility and chemotaxis are severely impaired. We conclude that the virulence defect of the cheB2 mutant is not linked with a global motility defect but that instead the cheB2 gene is involved in a specific chemotactic response, which takes place during infection and is required for P. aeruginosa pathogenicity

Divertor of the European DEMO: Engineering and technologies for power exhaust

In a power plant scale fusion reactor, a huge amount of thermal power produced by the fusion reaction and external heating must be exhausted through the narrow area of the divertor targets. The targets must withstand the intense bombardment of the diverted particles where high heat fluxes are generated and erosion takes place on the surface. A considerable amount of volumetric nuclear heating power must also be exhausted. To cope with such an unprecedented power exhaust challenge, a highly efficient cooling capacity is required. Furthermore, the divertor must fulfill other critical functions such as nuclear shielding and channeling (and compression) of exhaust gas for pumping. Assuring the structural integrity of the neutron-irradiated (thus embrittled) components is a crucial prerequisite for a reliable operation over the lifetime. Safety, maintainability, availability, waste and costs are another points of consideration. In late 2020, the Pre-Conceptual Design activities to develop the divertor of the European demonstration fusion reactor were officially concluded. On this occasion, the baseline design and the key technology options were identified and verified by the project team (EUROfusion Work Package Divertor) based on seven years of R&D efforts and endorsed by Gate Review Panel. In this paper, an overview of the load specifications, brief descriptions of the design and the highlights of the technology R&D work are presented together with the further work still needed