Metamodel-based model conformance and multiview consistency checking

Model-driven development, using languages such as UML and BON, often makes use of multiple diagrams (e.g., class and sequence diagrams) when modeling systems. These diagrams, presenting different views of a system of interest, may be inconsistent. A metamodel provides a unifying framework in which to ensure and check consistency, while at the same time providing the means to distinguish between valid and invalid models, that is, conformance. Two formal specifications of the metamodel for an object-oriented modeling language are presented, and it is shown how to use these specifications for model conformance and multiview consistency checking. Comparisons are made in terms of completeness and the level of automation each provide for checking multiview consistency and model conformance. The lessons learned from applying formal techniques to the problems of metamodeling, model conformance, and multiview consistency checking are summarized

Highly Robust Error Correction by Convex Programming

This paper discusses a stylized communications problem where one wishes to transmit a real-valued signal x ∈ ℝ^n (a block of n pieces of information) to a remote receiver. We ask whether it is possible to transmit this information reliably when a fraction of the transmitted codeword is corrupted by arbitrary gross errors, and when in addition, all the entries of the codeword are contaminated by smaller errors (e.g., quantization errors). We show that if one encodes the information as Ax where A ∈ ℝ^(m x n) (m ≥ n) is a suitable coding matrix, there are two decoding schemes that allow the recovery of the block of n pieces of information x with nearly the same accuracy as if no gross errors occurred upon transmission (or equivalently as if one had an oracle supplying perfect information about the sites and amplitudes of the gross errors). Moreover, both decoding strategies are very concrete and only involve solving simple convex optimization programs, either a linear program or a second-order cone program. We complement our study with numerical simulations showing that the encoder/decoder pair performs remarkably well

Highly robust error correction by convex programming

This paper discusses a stylized communications problem where one wishes to transmit a real-valued signal x in R^n (a block of n pieces of information) to a remote receiver. We ask whether it is possible to transmit this information reliably when a fraction of the transmitted codeword is corrupted by arbitrary gross errors, and when in addition, all the entries of the codeword are contaminated by smaller errors (e.g. quantization errors). We show that if one encodes the information as Ax where A is a suitable m by n coding matrix (m >= n), there are two decoding schemes that allow the recovery of the block of n pieces of information x with nearly the same accuracy as if no gross errors occur upon transmission (or equivalently as if one has an oracle supplying perfect information about the sites and amplitudes of the gross errors). Moreover, both decoding strategies are very concrete and only involve solving simple convex optimization programs, either a linear program or a second-order cone program. We complement our study with numerical simulations showing that the encoder/decoder pair performs remarkably well.Comment: 23 pages, 2 figure

The measurement of applied forces during anterior single rod correction of adolescent idiopathic scoliosis

Adolescent idiopathic scoliosis (AIS) is the most common form of spinal deformity in paediatrics, prevalent in approximately 2-4% of the general population. While it is a complex three-dimensional deformity, it is clinically characterised by an abnormal lateral curvature of the spine. The treatment for severe deformity is surgical correction with the use of structural implants. Anterior single rod correction employs a solid rod connected to the anterior spine via vertebral body screws. Correction is achieved by applying compression between adjacent vertebral body screws, before locking each screw onto the rod. Biomechanical complication rates have been reported as high as 20.8%, and include rod breakage, screw pull-out and loss of correction. Currently, the corrective forces applied to the spine are unknown. These forces are important variables to consider in understanding the biomechanics of scoliosis correction. The purpose of this study was to measure these forces intra-operatively during anterior single rod AIS correction

The Value of User-Visible Internet Cryptography

Cryptographic mechanisms are used in a wide range of applications, including email clients, web browsers, document and asset management systems, where typical users are not cryptography experts. A number of empirical studies have demonstrated that explicit, user-visible cryptographic mechanisms are not widely used by non-expert users, and as a result arguments have been made that cryptographic mechanisms need to be better hidden or embedded in end-user processes and tools. Other mechanisms, such as HTTPS, have cryptography built-in and only become visible to the user when a dialogue appears due to a (potential) problem. This paper surveys deployed and potential technologies in use, examines the social and legal context of broad classes of users, and from there, assesses the value and issues for those users

The Impacts of Triclosan on Anaerobic Community Structures, Function, and Antimicrobial Resistance

Triclosan is a widespread antimicrobial agent that accumulates in anaerobic digesters used to treat the residual solids generated at municipal wastewater treatment plants; there is very little information, however, about how triclosan impacts microbial communities in anaerobic digesters. We investigated how triclosan impacts the community structure, function and antimicrobial resistance genes in lab-scale anaerobic digesters. Previously exposed (to triclosan) communities were amended with 5, 50, and 500 mg/kg of triclosan, corresponding to the median, 95th percentile, and 4-fold higher than maximum triclosan concentration that has been detected in U.S. biosolids. Triclosan amendment caused all of the Bacteria and Archaea communities to structurally diverge from that of the control cultures (based on ARISA). At the end of the experiment, all triclosan-amended Archaea communities had diverged from the control communities, regardless of the triclosan concentration added. In contrast, over time the Bacteria communities that were amended with lower concentrations of triclosan (5 mg/kg and 50 mg/kg) initially diverged and then reconverged with the control community structure. Methane production at 500 mg/kg was nearly half the methane production in control cultures. At 50 mg/kg, a large variability in methane production was observed, suggesting that 50 mg/kg may be a tipping point where function begins to fail in some communities. When previously unexposed communities were exposed to 500 mg triclosan/kg, function was maintained, but the abundance of a gene encoding for triclosan resistance (mexB) increased. This research suggests that triclosan could inhibit methane production in anaerobic digesters if concentrations were to increase and may also select for resistant Bacteria. In both cases, microbial community composition and exposure history alter the influence of triclosan

Patient Satisfaction and Ultrasound Use During Pregnancy

Use, number, and frequency of ultrasounds women receive during pregnancy vary widely in practice. Current evidence suggests that women presenting with pregnancy complications benefit from additional ultrasounds, although excessive ultrasound use in low risk pregnancies may be unnecessary, costly and potentially harmful. However, evidence also finds that the use of ultrasound technology is associated with mothers’ feelings of security and satisfaction with care; health care organizations are incentivized to promote these feelings of patient satisfaction, especially when clinical risk is considered low. Here, we examine the impact of ultrasound use on satisfaction during pregnancy among women in the Northeast who have recently given birth through an online retrospective survey. Contrary to expectations, findings suggest that ultrasound use is not a significant driver of satisfaction with pregnancyrelated care. Efforts to enhance patient satisfaction during pregnancy using ultrasounds may increase resource use and cost, but do little to enhance patient experience overal

The Impacts of Triclosan on Anaerobic Community Structures, Function, and Antimicrobial Resistance

Triclosan is a widespread antimicrobial agent that accumulates in anaerobic digesters used to treat the residual solids generated at municipal wastewater treatment plants; there is very little information, however, about how triclosan impacts microbial communities in anaerobic digesters. We investigated how triclosan impacts the community structure, function and antimicrobial resistance genes in lab-scale anaerobic digesters. Previously exposed (to triclosan) communities were amended with 5, 50, and 500 mg/kg of triclosan, corresponding to the median, 95th percentile, and 4-fold higher than maximum triclosan concentration that has been detected in U.S. biosolids. Triclosan amendment caused all of the Bacteria and Archaea communities to structurally diverge from that of the control cultures (based on ARISA). At the end of the experiment, all triclosan-amended Archaea communities had diverged from the control communities, regardless of the triclosan concentration added. In contrast, over time the Bacteria communities that were amended with lower concentrations of triclosan (5 mg/kg and 50 mg/kg) initially diverged and then reconverged with the control community structure. Methane production at 500 mg/kg was nearly half the methane production in control cultures. At 50 mg/kg, a large variability in methane production was observed, suggesting that 50 mg/kg may be a tipping point where function begins to fail in some communities. When previously unexposed communities were exposed to 500 mg triclosan/kg, function was maintained, but the abundance of a gene encoding for triclosan resistance (mexB) increased. This research suggests that triclosan could inhibit methane production in anaerobic digesters if concentrations were to increase and may also select for resistant Bacteria. In both cases, microbial community composition and exposure history alter the influence of triclosan

Lamp enables measurement of oxygen concentration in presence of water vapor

Open-electrode ultraviolet source lamp radiates sufficient energy at 1800 angstroms and 1470 angstroms for use in a double-beam, duel-wavelength oxygen sensor. The lamp is filled with xenon at a pressure of 100 mm of Hg

Grammar Variational Autoencoder

Deep generative models have been wildly successful at learning coherent latent representations for continuous data such as video and audio. However, generative modeling of discrete data such as arithmetic expressions and molecular structures still poses significant challenges. Crucially, state-of-the-art methods often produce outputs that are not valid. We make the key observation that frequently, discrete data can be represented as a parse tree from a context-free grammar. We propose a variational autoencoder which encodes and decodes directly to and from these parse trees, ensuring the generated outputs are always valid. Surprisingly, we show that not only does our model more often generate valid outputs, it also learns a more coherent latent space in which nearby points decode to similar discrete outputs. We demonstrate the effectiveness of our learned models by showing their improved performance in Bayesian optimization for symbolic regression and molecular synthesis