Recently, Brotherston & Kanovich, and independently Larchey-Wendling & Galmiche, proved the undecidability of the bunched implication logic BBI. Moreover, Brotherston & Kanovich also proved the undecidability of the related logic CBI, as well as its neighbours. All of the above results are based on encodings of two-counter Minsky machines, but are derived using different techniques. Here, we sh...

OBJECTIVE The current study evaluated two web-based programs for eating disorder prevention in high-risk, predominantly ethnic minority women. METHOD Two hundred and seventy-one women with elevated weight concerns were randomized to Internet dissonance-based intervention (DBI-I), Internet cognitive-behavioral intervention (CBI-I), or no intervention (NI). Both interventions consisted of four ...

Covalent binding of [7-3H]styrene (S) to DNA in vivo was measured and evaluated in a quantitative manner in order to investigate whether DNA adduct formation could form a mechanistic basis for tumor induction in a carcinogenicity bioassay. [7-3H]S was administered by inhalation in a closed chamber to male and female CD rats and B6C3F1 mice. After 4.5-6 h (rats) and 6-9 h (pools of four mice), S...

As part of our work on Cooperative Bug Isolation (CBI) we have undertaken to instrument and distribute binaries for a number of large open source projects. This public deployment is an important step toward a large experiment involving (we hope) hundreds or thousands of users that will measure the effectiveness of CBI. This paper describes several of the significant engineering issues that aris...

It’s known that the bit errors of polar codes with successive cancellation (SC) decoding are coupled. However, existing concatenation schemes of polar codes with other error correction codes rarely take this coupling effect into consideration. To achieve a better BER performance, a concatenation scheme, which divides all Nl bits in a LDPC block into Nl polar blocks to completely de-correlate th...

In 2012, an estimated 8.6 million people developed tuberculosis (TB) and 1.3 million died from the disease. With its recent resurgence with the human immunodeficiency virus (HIV); TB prevention and management has become further challenging. We systematically evaluated the effectiveness of community based interventions (CBI) for the prevention and treatment of TB and a total of 41 studies were i...

PURPOSE To identify Mycobacterium leprae in ocular conjunctivae and evaluate conjunctival bacilloscopy as leprosy diagnosis and follow-up test. METHODS We used the superior tarsal conjunctiva scraping technique in 52 newly diagnosed leprosy patients between July and September 2004 at the "Oculistas Associados de Brasília", in Brasília, DF, Brazil, and compared the conjunctival bacilloscopy wi...

Recent studies of macroeconomic management under varying organization of wage/price bargaining and varying degrees of credible monetary conservatism synthesize and extend theory and empirics on central bank independence (CBI) and coordinated wage/price bargaining (CWB). These studies find that the degrees of CBI and CWB interact with each other and with the broader political-economic context (i...

The following paper presents a computer based learning strategy to assist in introducing and teaching water quality modelling to undergraduate civil engineering students. As part of the learning strategy, an interactive computer-based instructional (CBI) aid was specifically developed to assist students to set up, run and analyse the output from a commercially available water quality model (WQM...

BACKGROUND To test whether intratumoral gene expression levels and germline polymorphisms predict clinical outcome in metastatic colorectal cancer (mCRC) patients treated with cetuximab and bevacizumab plus irinotecan (CBI) vs. cetuximab and bevacizumab (CB)(BOND2). PATIENTS AND METHODS Genomic DNA was extracted for genotyping from 65 patients (31: CBI arm and 34: CB arm). Thirty five patient...