Temporal Stream Logic: Synthesis beyond the Bools

Reactive systems that operate in environments with complex data, such as mobile apps or embedded controllers with many sensors, are difficult to synthesize. Synthesis tools usually fail for such systems because the state space resulting from the discretization of the data is too large. We introduce TSL, a new temporal logic that separates control and data. We provide a CEGAR-based synthesis approach for the construction of implementations that are guaranteed to satisfy a TSL specification for all possible instantiations of the data processing functions. TSL provides an attractive trade-off for synthesis. On the one hand, synthesis from TSL, unlike synthesis from standard temporal logics, is undecidable in general. On the other hand, however, synthesis from TSL is scalable, because it is independent of the complexity of the handled data. Among other benchmarks, we have successfully synthesized a music player Android app and a controller for an autonomous vehicle in the Open Race Car Simulator (TORCS.

Phytoplankton-bacterial interactions mediate micronutrient colimitation at the coastal Antarctic sea ice edge

Southern Ocean primary productivity plays a key role in global ocean biogeochemistry and climate. At the Southern Ocean sea ice edge in coastal McMurdo Sound, we observed simultaneous cobalamin and iron limitation of surface water phytoplankton communities in late Austral summer. Cobalamin is produced only by bacteria and archaea, suggesting phytoplankton-bacterial interactions must play a role in this limitation. To characterize these interactions and investigate the molecular basis of multiple nutrient limitation, we examined transitions in global gene expression over short time scales, induced by shifts in micronutrient availability. Diatoms, the dominant primary producers, exhibited transcriptional patterns indicative of co-occurring iron and cobalamin deprivation. The major contributor to cobalamin biosynthesis gene expression was a gammaproteobacterial population, Oceanospirillaceae ASP10-02a. This group also contributed significantly to metagenomic cobalamin biosynthesis gene abundance throughout Southern Ocean surface waters. Oceanospirillaceae ASP10-02a displayed elevated expression of organic matter acquisition and cell surface attachment-related genes, consistent with a mutualistic relationship in which they are dependent on phytoplankton growth to fuel cobalamin production. Separate bacterial groups, including Methylophaga, appeared to rely on phytoplankton for carbon and energy sources, but displayed gene expression patterns consistent with iron and cobalamin deprivation. This suggests they also compete with phytoplankton and are important cobalamin consumers. Expression patterns of siderophore-related genes offer evidence for bacterial influences on iron availability as well. The nature and degree of this episodic colimitation appear to be mediated by a series of phytoplankton-bacterial interactions in both positive and negative feedback loops

Organizational factors and depression management in community-based primary care settings

Abstract Background Evidence-based quality improvement models for depression have not been fully implemented in routine primary care settings. To date, few studies have examined the organizational factors associated with depression management in real-world primary care practice. To successfully implement quality improvement models for depression, there must be a better understanding of the relevant organizational structure and processes of the primary care setting. The objective of this study is to describe these organizational features of routine primary care practice, and the organization of depression care, using survey questions derived from an evidence-based framework. Methods We used this framework to implement a survey of 27 practices comprised of 49 unique offices within a large primary care practice network in western Pennsylvania. Survey questions addressed practice structure (e.g., human resources, leadership, information technology (IT) infrastructure, and external incentives) and process features (e.g., staff performance, degree of integrated depression care, and IT performance). Results The results of our survey demonstrated substantial variation across the practice network of organizational factors pertinent to implementation of evidence-based depression management. Notably, quality improvement capability and IT infrastructure were widespread, but specific application to depression care differed between practices, as did coordination and communication tasks surrounding depression treatment. Conclusions The primary care practices in the network that we surveyed are at differing stages in their organization and implementation of evidence-based depression management. Practical surveys such as this may serve to better direct implementation of these quality improvement strategies for depression by improving understanding of the organizational barriers and facilitators that exist within both practices and practice networks. In addition, survey information can inform efforts of individual primary care practices in customizing intervention strategies to improve depression management.http://deepblue.lib.umich.edu/bitstream/2027.42/78269/1/1748-5908-4-84.xmlhttp://deepblue.lib.umich.edu/bitstream/2027.42/78269/2/1748-5908-4-84-S1.PDFhttp://deepblue.lib.umich.edu/bitstream/2027.42/78269/3/1748-5908-4-84.pdfPeer Reviewe

Surgical Management of Inguinal Hernias at Bugando Medical Centre in Northwestern Tanzania: Our Experiences in a Resource-Limited Setting.

Inguinal hernia repair remains the commonest operation performed by general surgeons all over the world. There is paucity of published data on surgical management of inguinal hernias in our environment. This study is intended to describe our own experiences in the surgical management of inguinal hernias and compare our results with that reported in literature. A descriptive prospective study was conducted at Bugando Medical Centre in northwestern Tanzania. Ethical approval to conduct the study was obtained from relevant authorities before the commencement of the study. Statistical data analysis was done using SPSS software version 17.0. A total of 452 patients with inguinal hernias were enrolled in the study. The median age of patients was 36 years (range 3 months to 78 years). Males outnumbered females by a ratio of 36.7:1. This gender deference was statistically significant (P=0.003). Most patients (44.7%) presented late (more than five years of onset of hernia). Inguinoscrotal hernia (66.8%) was the commonest presentation. At presentation, 208 (46.0%) patients had reducible hernia, 110 (24.3%) had irreducible hernia, 84 (18.6%) and 50(11.1%) patients had obstructed and strangulated hernias respectively. The majority of patients (53.1%) had right sided inguinal hernia with a right-to-left ratio of 2.1: 1. Ninety-two (20.4%) patients had bilateral inguinal hernias. 296 (65.5%) patients had indirect hernia, 102 (22.6%) had direct hernia and 54 (11.9%) had both indirect and direct types (pantaloon hernia). All patients in this study underwent open herniorrhaphy. The majority of patients (61.5%) underwent elective herniorrhaphy under spinal anaesthesia (69.2%). Local anaesthesia was used in only 1.1% of cases. Bowel resection was required in 15.9% of patients. Modified Bassini's repair (79.9%) was the most common technique of posterior wall repair of the inguinal canal. Lichtenstein mesh repair was used in only one (0.2%) patient. Complication rate was 12.4% and it was significantly higher in emergency herniorrhaphy than in elective herniorrhaphy (P=0.002). The median length of hospital stay was 8 days and it was significantly longer in patients with advanced age, delayed admission, concomitant medical illness, high ASA class, the need for bowel resection and in those with surgical repair performed under general anesthesia (P<0.001). Mortality rate was 9.7%. Longer duration of symptoms, late hospitalization, coexisting disease, high ASA class, delayed operation, the need for bowel resection and presence of complications were found to be predictors of mortality (P<0.001). Inguinal hernias continue to be a source of morbidity and mortality in our centre. Early presentation and elective repair of inguinal hernias is pivotal in order to eliminate the morbidity and mortality associated with this very common problem

Preclinical efficacy of azacitidine and venetoclax for infant KMT2A-rearranged acute lymphoblastic leukemia reveals a new therapeutic strategy

Infants with KMT2A-rearranged B-cell acute lymphoblastic leukemia (ALL) have a dismal prognosis. Survival outcomes have remained static in recent decades despite treatment intensification and novel therapies are urgently required. KMT2A-rearranged infant ALL cells are characterized by an abundance of promoter hypermethylation and exhibit high BCL-2 expression, highlighting potential for therapeutic targeting. Here, we show that hypomethylating agents exhibit in vitro additivity when combined with most conventional chemotherapeutic agents. However, in a subset of samples an antagonistic effect was seen between several agents. This was most evident when hypomethylating agents were combined with methotrexate, with upregulation of ATP-binding cassette transporters identified as a potential mechanism. Single agent treatment with azacitidine and decitabine significantly prolonged in vivo survival in KMT2A-rearranged infant ALL xenografts. Treatment of KMT2A-rearranged infant ALL cell lines with azacitidine and decitabine led to differential genome-wide DNA methylation, changes in gene expression and thermal proteome profiling revealed the target protein-binding landscape of these agents. The selective BCL-2 inhibitor, venetoclax, exhibited in vitro additivity in combination with hypomethylating or conventional chemotherapeutic agents. The addition of venetoclax to azacitidine resulted in a significant in vivo survival advantage indicating the therapeutic potential of this combination to improve outcome for infants with KMT2A-rearranged ALL

Towards the clinical implementation of pharmacogenetics in bipolar disorder.

BackgroundBipolar disorder (BD) is a psychiatric illness defined by pathological alterations between the mood states of mania and depression, causing disability, imposing healthcare costs and elevating the risk of suicide. Although effective treatments for BD exist, variability in outcomes leads to a large number of treatment failures, typically followed by a trial and error process of medication switches that can take years. Pharmacogenetic testing (PGT), by tailoring drug choice to an individual, may personalize and expedite treatment so as to identify more rapidly medications well suited to individual BD patients.DiscussionA number of associations have been made in BD between medication response phenotypes and specific genetic markers. However, to date clinical adoption of PGT has been limited, often citing questions that must be answered before it can be widely utilized. These include: What are the requirements of supporting evidence? How large is a clinically relevant effect? What degree of specificity and sensitivity are required? Does a given marker influence decision making and have clinical utility? In many cases, the answers to these questions remain unknown, and ultimately, the question of whether PGT is valid and useful must be determined empirically. Towards this aim, we have reviewed the literature and selected drug-genotype associations with the strongest evidence for utility in BD.SummaryBased upon these findings, we propose a preliminary panel for use in PGT, and a method by which the results of a PGT panel can be integrated for clinical interpretation. Finally, we argue that based on the sufficiency of accumulated evidence, PGT implementation studies are now warranted. We propose and discuss the design for a randomized clinical trial to test the use of PGT in the treatment of BD

Identifying Live Bird Markets with the Potential to Act as Reservoirs of Avian Influenza A (H5N1) Virus: A Survey in Northern Viet Nam and Cambodia

Wet markets are common in many parts of the world and may promote the emergence, spread and maintenance of livestock pathogens, including zoonoses. A survey was conducted in order to assess the potential of Vietnamese and Cambodian live bird markets (LBMs) to sustain circulation of highly pathogenic avian influenza virus subtype H5N1 (HPAIV H5N1). Thirty Vietnamese and 8 Cambodian LBMs were visited, and structured interviews were conducted with the market managers and 561 Vietnamese and 84 Cambodian traders. Multivariate and cluster analysis were used to construct a typology of traders based on their poultry management practices. As a result of those practices and large poultry surplus (unsold poultry reoffered for sale the following day), some poultry traders were shown to promote conditions favorable for perpetuating HPAIV H5N1 in LBMs. More than 80% of these traders operated in LBMs located in the most densely populated areas, Ha Noi and Phnom Penh. The profiles of sellers operating at a given LBM could be reliably predicted using basic information about the location and type of market. Consequently, LBMs with the largest combination of risk factors for becoming virus reservoirs could be easily identified, potentially allowing control strategies to be appropriately targeted. These findings are of particular relevance to resource-scarce settings with extensively developed LBM systems, commonly found in South-East Asia

Onchocerciasis transmission in Ghana: Persistence under different control strategies and the role of the simuliid vectors

Background: The World Health Organization (WHO) aims at eliminating onchocerciasis by 2020 in selected African countries. Current control focuses on community-directed treatment with ivermectin (CDTI). In Ghana, persistent transmission has been reported despite long-term control. We present spatial and temporal patterns of onchocerciasis transmission in relation to ivermectin treatment history. Methodology/Principal Findings: Host-seeking and ovipositing blackflies were collected from seven villages in four regions of Ghana with 3–24 years of CDTI at the time of sampling. A total of 16,443 flies was analysed for infection; 5,812 (35.3%) were dissected for parity (26.9% parous). Heads and thoraces of 12,196 flies were dissected for Onchocerca spp. and DNA from 11,122 abdomens was amplified using Onchocerca primers. A total of 463 larvae (0.03 larvae/fly) from 97 (0.6%) infected and 62 (0.4%) infective flies was recorded; 258 abdomens (2.3%) were positive for Onchocerca DNA. Infections (all were O. volvulus) were more likely to be detected in ovipositing flies. Transmission occurred, mostly in the wet season, at Gyankobaa and Bosomase, with transmission potentials of, respectively, 86 and 422 L3/person/month after 3 and 6 years of CDTI. The numbers of L3/1,000 parous flies at these villages were over 100times the WHO threshold of one L3/1,000 for transmission control. Vector species influenced transmission parameters. At Asubende, the number of L3/1,000 ovipositing flies (1.4, 95% CI = 0–4) also just exceeded the threshold despite extensive vector control and 24 years of ivermectin distribution, but there were no infective larvae in host-seeking flies. Conclusions/Significance: Despite repeated ivermectin treatment, evidence of O. volvulus transmission was documented in all seven villages and above the WHO threshold in two. Vector species influences transmission through biting and parous rates and vector competence, and should be included in transmission models. Oviposition traps could augment vector collector methods for monitoring and surveillance