P rograms for computcr-based instruction (CBI) have come a long way in the last two decades. They are available today in a variety of sophisticated shapes and sizes, and show few traces of their origins in B. F. Skinner's modest, fill-in-the-blanks teaching machines. The programs tutor and drill students, diagnose learning difficulties, prescribe remedies for problems, keep records of student p...

Abstract Background Trends of increasing area burned in many regions worldwide are leading to more locations experiencing short-interval reburns (i.e., fires occurring two or times the same place within 1–3 decades). Field and satellite indices burn severity well tested forests a single recent fire, but reliability these is poorly understood. We how commonly used field index (the Composite Burn...

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...