380 research outputs found
When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic
This paper presents a theory of non-linear integer/real arithmetic and
algorithms for reasoning about this theory. The theory can be conceived as an
extension of linear integer/real arithmetic with a weakly-axiomatized
multiplication symbol, which retains many of the desirable algorithmic
properties of linear arithmetic. In particular, we show that the conjunctive
fragment of the theory can be effectively manipulated (analogously to the usual
operations on convex polyhedra, the conjunctive fragment of linear arithmetic).
As a result, we can solve the following consequence-finding problem: given a
ground formula F, find the strongest conjunctive formula that is entailed by F.
As an application of consequence-finding, we give a loop invariant generation
algorithm that is monotone with respect to the theory and (in a sense)
complete. Experiments show that the invariants generated from the consequences
are effective for proving safety properties of programs that require non-linear
reasoning
Recommended from our members
Tribbles 3 Mediates Endoplasmic Reticulum Stress-Induced Insulin Resistance in Skeletal Muscle
Endoplasmic Reticulum (ER) stress has been linked to insulin resistance in multiple tissues but the role of ER stress in skeletal muscle has not been explored. ER stress has also been reported to increase tribbles 3 (TRB3) expression in multiple cell lines. Here, we report that high fat feeding in mice, and obesity and type 2 diabetes in humans significantly increases TRB3 and ER stress markers in skeletal muscle. Overexpression of TRB3 in C2C12 myotubes and mouse tibialis anterior muscles significantly impairs insulin signaling. Incubation of C2C12 cells and mouse skeletal muscle with ER stressors thapsigargin and tunicamycin increases TRB3 and impairs insulin signaling and glucose uptake, effects reversed in cells overexpressing RNAi for TRB3 and in muscles from TRB3 knockout mice. Furthermore, TRB3 knockout mice are protected from high fat diet-induced insulin resistance in skeletal muscle. These data demonstrate that TRB3 mediates ER stress-induced insulin resistance in skeletal muscle
Oxidation kinetics of a Ni-Cu based cermet at high temperature
The oxidation kinetics of a cermet composed of Ni–Cu alloy and nickel ferrite was studied by thermogravimetry at 960 °C under oxygen in the range 0.5–77 kPa. After an initial mass increase up to 15 g/m2 due to oxidation of surface metallic particles, the mass change was attributed to both outwards NiO growth and internal oxidation. Above 40 g/m2, the NiO scale thickness remained constant and the oxidation kinetics followed a complete parabolic law. The variations of the kinetic rate with oxygen partial pressure allowed to propose mechanisms, rate-controlling steps and kinetic laws in both transient and long term oxidation periods
POTs: Protective Optimization Technologies
Algorithmic fairness aims to address the economic, moral, social, and
political impact that digital systems have on populations through solutions
that can be applied by service providers. Fairness frameworks do so, in part,
by mapping these problems to a narrow definition and assuming the service
providers can be trusted to deploy countermeasures. Not surprisingly, these
decisions limit fairness frameworks' ability to capture a variety of harms
caused by systems.
We characterize fairness limitations using concepts from requirements
engineering and from social sciences. We show that the focus on algorithms'
inputs and outputs misses harms that arise from systems interacting with the
world; that the focus on bias and discrimination omits broader harms on
populations and their environments; and that relying on service providers
excludes scenarios where they are not cooperative or intentionally adversarial.
We propose Protective Optimization Technologies (POTs). POTs provide means
for affected parties to address the negative impacts of systems in the
environment, expanding avenues for political contestation. POTs intervene from
outside the system, do not require service providers to cooperate, and can
serve to correct, shift, or expose harms that systems impose on populations and
their environments. We illustrate the potential and limitations of POTs in two
case studies: countering road congestion caused by traffic-beating
applications, and recalibrating credit scoring for loan applicants.Comment: Appears in Conference on Fairness, Accountability, and Transparency
(FAT* 2020). Bogdan Kulynych and Rebekah Overdorf contributed equally to this
work. Version v1/v2 by Seda G\"urses, Rebekah Overdorf, and Ero Balsa was
presented at HotPETS 2018 and at PiMLAI 201
De novo mutations in SMCHD1 cause Bosma arhinia microphthalmia syndrome and abrogate nasal development
Bosma arhinia microphthalmia syndrome (BAMS) is an extremely rare and striking condition characterized by complete absence of the nose with or without ocular defects. We report here that missense mutations in the epigenetic regulator SMCHD1 mapping to the extended ATPase domain of the encoded protein cause BAMS in all 14 cases studied. All mutations were de novo where parental DNA was available. Biochemical tests and in vivo assays in Xenopus laevis embryos suggest that these mutations may behave as gain-of-function alleles. This finding is in contrast to the loss-of-function mutations in SMCHD1 that have been associated with facioscapulohumeral muscular dystrophy (FSHD) type 2. Our results establish SMCHD1 as a key player in nasal development and provide biochemical insight into its enzymatic function that may be exploited for development of therapeutics for FSHD
Quantitative imaging of concentrated suspensions under flow
We review recent advances in imaging the flow of concentrated suspensions,
focussing on the use of confocal microscopy to obtain time-resolved information
on the single-particle level in these systems. After motivating the need for
quantitative (confocal) imaging in suspension rheology, we briefly describe the
particles, sample environments, microscopy tools and analysis algorithms needed
to perform this kind of experiments. The second part of the review focusses on
microscopic aspects of the flow of concentrated model hard-sphere-like
suspensions, and the relation to non-linear rheological phenomena such as
yielding, shear localization, wall slip and shear-induced ordering. Both
Brownian and non-Brownian systems will be described. We show how quantitative
imaging can improve our understanding of the connection between microscopic
dynamics and bulk flow.Comment: Review on imaging hard-sphere suspensions, incl summary of
methodology. Submitted for special volume 'High Solid Dispersions' ed. M.
Cloitre, Vol. xx of 'Advances and Polymer Science' (Springer, Berlin, 2009);
22 pages, 16 fig
p160/SRC/NCoA coactivators form complexes via specific interaction of their PAS-B domain with the CID/AD1 domain
Transcriptional activation involves the ordered recruitment of coactivators via direct interactions between distinct binding domains and recognition motifs. The p160/SRC/NCoA coactivator family comprises three members (NCoA-1, -2 and -3), which are organized in multiprotein coactivator complexes. We had identified the PAS-B domain of NCoA-1 as an LXXLL motif binding domain. Here we show that NCoA family members are able to interact with other full-length NCoA proteins via their PAS-B domain and they specifically interact with the CBP-interaction domain (CID/AD1) of NCoA-1. Peptide competition, binding experiments and mutagenesis of LXXLL motifs point at distinct binding motif specificities of the NCoA PAS-B domains. NMR studies of different NCoA-1-PAS-B/LXXLL peptide complexes revealed similar although not identical binding sites for the CID/AD1 and STAT6 transactivation domain LXXLL motifs. In mechanistic studies, we found that overexpression of the PAS-B domain is able to disturb the binding of NCoA-1 to CBP in cells and that a CID/AD1 peptide competes with STAT6 for NCoA-1 in vitro. Moreover, the expression of an endogenous androgen receptor target gene is affected by the overexpression of the NCoA-1 or NCoA-3 PAS-B domains. Our study discloses a new, complementary mechanism for the current model of coactivator recruitment to target gene promoters
Antimicrobial resistance among migrants in Europe: a systematic review and meta-analysis
BACKGROUND: Rates of antimicrobial resistance (AMR) are rising globally and there is concern that increased migration is contributing to the burden of antibiotic resistance in Europe. However, the effect of migration on the burden of AMR in Europe has not yet been comprehensively examined. Therefore, we did a systematic review and meta-analysis to identify and synthesise data for AMR carriage or infection in migrants to Europe to examine differences in patterns of AMR across migrant groups and in different settings. METHODS: For this systematic review and meta-analysis, we searched MEDLINE, Embase, PubMed, and Scopus with no language restrictions from Jan 1, 2000, to Jan 18, 2017, for primary data from observational studies reporting antibacterial resistance in common bacterial pathogens among migrants to 21 European Union-15 and European Economic Area countries. To be eligible for inclusion, studies had to report data on carriage or infection with laboratory-confirmed antibiotic-resistant organisms in migrant populations. We extracted data from eligible studies and assessed quality using piloted, standardised forms. We did not examine drug resistance in tuberculosis and excluded articles solely reporting on this parameter. We also excluded articles in which migrant status was determined by ethnicity, country of birth of participants' parents, or was not defined, and articles in which data were not disaggregated by migrant status. Outcomes were carriage of or infection with antibiotic-resistant organisms. We used random-effects models to calculate the pooled prevalence of each outcome. The study protocol is registered with PROSPERO, number CRD42016043681. FINDINGS: We identified 2274 articles, of which 23 observational studies reporting on antibiotic resistance in 2319 migrants were included. The pooled prevalence of any AMR carriage or AMR infection in migrants was 25·4% (95% CI 19·1-31·8; I2 =98%), including meticillin-resistant Staphylococcus aureus (7·8%, 4·8-10·7; I2 =92%) and antibiotic-resistant Gram-negative bacteria (27·2%, 17·6-36·8; I2 =94%). The pooled prevalence of any AMR carriage or infection was higher in refugees and asylum seekers (33·0%, 18·3-47·6; I2 =98%) than in other migrant groups (6·6%, 1·8-11·3; I2 =92%). The pooled prevalence of antibiotic-resistant organisms was slightly higher in high-migrant community settings (33·1%, 11·1-55·1; I2 =96%) than in migrants in hospitals (24·3%, 16·1-32·6; I2 =98%). We did not find evidence of high rates of transmission of AMR from migrant to host populations. INTERPRETATION: Migrants are exposed to conditions favouring the emergence of drug resistance during transit and in host countries in Europe. Increased antibiotic resistance among refugees and asylum seekers and in high-migrant community settings (such as refugee camps and detention facilities) highlights the need for improved living conditions, access to health care, and initiatives to facilitate detection of and appropriate high-quality treatment for antibiotic-resistant infections during transit and in host countries. Protocols for the prevention and control of infection and for antibiotic surveillance need to be integrated in all aspects of health care, which should be accessible for all migrant groups, and should target determinants of AMR before, during, and after migration. FUNDING: UK National Institute for Health Research Imperial Biomedical Research Centre, Imperial College Healthcare Charity, the Wellcome Trust, and UK National Institute for Health Research Health Protection Research Unit in Healthcare-associated Infections and Antimictobial Resistance at Imperial College London
Estimated Prevalence and Risk Factor for Age-related Maculopathy
PURPOSE: To assess the estimate prevalence and risk factors for age-related maculopathy (ARM) in Seoul, Korea.
PATIENTS AND METHODS: We examined 9,530 subjects with, 40 years of age or older between January 2006 and December 2006 in Seoul, Korea. Subjects underwent fundus photography, clinical examinations (including blood analyses), and completed detailed questionnaires. Fundus images were graded according to definitions from the Wisconsin Age-Related Maculopathy Grading System.
RESULTS: ARM was present in 235 subjects, corresponding to an estimate prevalence of 2.46%. Hepatitis B infection (positive status for HBsAg and HBcAb), serum triglyceride levels and high density lipoprotein levels remained as significant risk factors after age-adjustment. Multivariate analyses showed that the prevalence of ARM was significantly higher in older subjects [odds ratio (OR) 1.134; 95% CI 1.114-1.154] and those who were seropositive for hepatitis B surface antigen (OR 2.566; 95% CI 1.519-4.335).
CONCLUSION: The estimated prevalence of ARM was 2.46%. Age and hepatitis B infection may increase the risk of ARM.ope
- …