Java Generics are Turing Complete

This paper describes a reduction from the halting problem of Turing machines to subtype checking in Java. It follows that subtype checking in Java is undecidable, which answers a question posed by Kennedy and Pierce in 2007. It also follows that Java's type checker can recognize any recursive language, which improves a result of Gill and Levy from 2016. The latter point is illustrated by a parser generator for fluent interfaces

Serologic Evidence of Lyssavirus Infections among Bats, the Philippines

Active surveillance for lyssaviruses was conducted among populations of bats in the Philippines. The presence of past or current Lyssavirus infection was determined by use of direct fluorescent antibody assays on bat brains and virus neutralization assays on bat sera. Although no bats were found to have active infection with a Lyssavirus, 22 had evidence of neutralizing antibody against the Australian bat lyssavirus (ABLV). Seropositivity was statistically associated with one species of bat, Miniopterus schreibersi. Results from the virus neutralization assays are consistent with the presence in the Philippines of a naturally occurring Lyssavirus related to ABLV

Signatures of stirring and mixing near the Gulf Stream front

In October, 1986 the surface waters adjacent to the Gulf Stream front were surveyed with an undulating profiler to describe the finescale structure of the mixed layer. The profiler was a Seasoar equipped with a CTD and fluorometer. The survey first defined the structure of a cyclonic eddy which resembled frontal eddies of the South Atlantic Bight in sea surface temperature imagery. The Seasoar transects revealed, however, that the cyclonic eddy lacked a cold dome typically seen in frontal eddies. Farther downstream the Seasoar defined the structure of streamers of Gulf Stream and Shelf water wrapped about the southern edge of a warm-core ring. The streamers had lateral and along-axis dimensions on the order of ≈ 10 km and 100 km, respectively, and were bordered by narrow intrusive features. The temporal history of the streamers was described from SST imagery, and the surface flow derived from ship\u27s drift vectors. CTD casts taken while following an isopycnal float provided a means to examine the structure of the intrusive features. Interleaving was evident at the boundaries of the streamers and intrusive features where high conductivity Cox numbers were concentrated, suggesting elevated microstructure activity. The Turner angle distribution, indicating either saltfingering or diffusive convection, did not correlate well with the Cox number distribution. This is interpreted as evidence that lateral, rather than diapycnal, mixing was the process mediating the exchange of properties at the boundaries of contrasting water types. In contrast to physical properties, the distribution of fluorescence showed relatively less structure in the surface layer between the ring and Gulf Stream front. In the surface layers of the two streamers the pigment and bacterial biomass, and the diatom species composition, were typical of Slope water communities. We hypothesize that small-scale mixing processes concentrated at the boundaries of the streamers were the mechanism by which Slope water plankton were seeded into streamers of different hydrographic origins. Presumably, high netplankton growth rates allowed the Slope water species to dominate the communities in the streamers

Epidemiological findings and medical, legal, and public health challenges of an investigation of severe soft tissue infections and deaths among injecting drug users: Ireland, 2000.

In May 2000, public health authorities in Dublin, Ireland, identified a cluster of unexplained severe illness among injecting drug users (IDUs). Similar clusters were also reported in Scotland and England. Concurrent investigations were undertaken to identify the aetiology and source of the illnesses. In Dublin, 22 IDUs were identified with injection-site inflammation resulting in hospitalization or death; eight (36%) died. Common clinical findings among patients with severe systemic symptoms included leukaemoid reaction and cardiogenic shock. Seventeen (77%) patients reported injecting heroin intramuscularly in the 2 weeks before illness. Of 11 patients with adequate specimens available for testing, two (18%) were positive by 16S rDNA PCR for Clostridium novyi. Clinical and laboratory findings suggested that histotoxic Clostridia caused a subset of infections in these related clusters. Empiric treatment for infections among IDUs was optimized for anaerobic organisms, and outreach led to increased enrolment in methadone treatment in Dublin. Many unique legal, medical, and public health challenges were encountered during the investigation of this outbreak

West Nile Virus Infection among the Homeless, Houston, Texas1

Among 397 homeless participants studied, the overall West Nile virus (WNV) seroprevalence was 6.8%. Risk factors for WNV infection included being homeless >1 year, spending >6 hours outside daily, regularly taking mosquito precautions, and current marijuana use. Public health interventions need to be directed toward this high-risk population

Young people's views on the potential use of telemedicine consultations for sexual health: results of a national survey

<p>Abstract</p> <p>Background</p> <p>Young people are disproportionately affected by sexually transmissible infections in Australia but face barriers to accessing sexual health services, including concerns over confidentiality and, for some, geographic remoteness. A possible innovation to increase access to services is the use of telemedicine.</p> <p>Methods</p> <p>Young people's (aged 16-24) pre-use views on telephone and webcam consultations for sexual health were investigated through a widely-advertised national online survey in Australia. Descriptive statistics were used to describe the study sample and chi-square, Mann-Whitney U test, or t-tests were used to assess associations. Multinomial logistic regression was used to explore the association between the three-level outcome variable (first preference in person, telephone or webcam, and demographic and behavioural variables); odds ratios and 95%CI were calculated using in person as the reference category. Free text responses were analysed thematically.</p> <p>Results</p> <p>A total of 662 people completed the questionnaire. Overall, 85% of the sample indicated they would be willing to have an in-person consultation with a doctor, 63% a telephone consultation, and 29% a webcam consultation. Men, respondents with same-sex partners, and respondents reporting three or more partners in the previous year were more willing to have a webcam consultation. Imagining they lived 20 minutes from a doctor, 83% of respondents reported that their first preference would be an in-person consultation with a doctor; if imagining they lived two hours from a doctor, 51% preferred a telephone consultation. The main objections to webcam consultations in the free text responses were privacy and security concerns relating to the possibility of the webcam consultation being recorded, saved, and potentially searchable and retrievable online.</p> <p>Conclusions</p> <p>This study is the first we are aware of that seeks the views of young people on telemedicine and access to sexual health services. Although only 29% of respondents were willing to have a webcam consultation, such a service may benefit youth who may not otherwise access a sexual health service. The acceptability of webcam consultations may be increased if medical clinics provide clear and accessible privacy policies ensuring that consultations will not be recorded or saved.</p

Roles of Salivary Components in Streptococcus mutans Colonization in a New Animal Model Using NOD/SCID.e2f1−/− Mice

Streptococcus mutans plays an important role in biofilm formation on the tooth surface and is the primary causative agent of dental caries. The binding of S. mutans to the salivary pellicle is of considerable etiologic significance and is important in biofilm development. Recently, we produced NOD/SCID.e2f1−/− mice that show hyposalivation, lower salivary antibody, and an extended life span compared to the parent strain: NOD.e2f1−/−. In this study we used NOD/SCID.e2f1−/− 4 or 6 mice to determine the roles of several salivary components in S. mutans colonization in vivo. S. mutans colonization in NOD/SCID.e2f1−/− mice was significantly increased when mice were pre-treated with human saliva or commercial salivary components. Interestingly, pre-treatment with secretory IgA (sIgA) at physiological concentrations promoted significant colonization of S. mutans compared with sIgA at higher concentrations, or with human saliva or other components. Our data suggest the principal effects of specific sIgA on S. mutans occur during S. mutans colonization, where the appropriate concentration of specific sIgA may serve as an anti-microbial agent, agglutinin, or an adherence receptor to surface antigens. Further, specific sIgA supported biofilm formation when the mice were supplied 1% sucrose water and a non-sucrose diet. The data suggests that there are multiple effects exerted by sIgA in S. mutans colonization, with synergistic effects evident under the condition of sIgA and limited nutrients on colonization in NOD/SCID.e2f1−/− mice. This is a new animal model that can be used to assess prevention methods for dental biofilm-dependent diseases such as dental caries

Identifying priority healthcare trainings in frozen conflict situations: The case of Nagorno Karabagh

<p>Abstract</p> <p>Introduction</p> <p>Health care in post-war situations, where the system's human and fixed capital are depleted, is challenging. The addition of a frozen conflict situation, where international recognition of boundaries and authorities are lacking, introduces further complexities.</p> <p>Case description</p> <p>Nagorno Karabagh (NK) is an ethnically Armenian territory locked within post-Soviet Azerbaijan and one such frozen conflict situation. This article highlights the use of evidence-based practice and community engagement to determine priority areas for health care training in NK. Drawing on the precepts of APEXPH (Assessment Protocol for Excellence in Public Health) and MAPP (Mobilizing for Action through Planning and Partnerships), this first-of-its-kind assessment in NK relied on in-depth interviews and focus group discussions supplemented with expert assessments and field observations. Training options were evaluated against a series of ethical and pragmatic principles.</p> <p>Discussion and Evaluation</p> <p>A unique factor among the ethical and pragmatic considerations when prioritizing among alternatives was NK's ambiguous political status and consequent sponsor constraints. Training priorities differed across the region and by type of provider, but consensus prioritization emerged for first aid, clinical Integrated Management of Childhood Illnesses, and Adult Disease Management. These priorities were then incorporated into the training programs funded by the sponsor.</p> <p>Conclusions</p> <p>Programming responsive to both the evidence-base and stakeholder priorities is always desirable and provides a foundation for long-term planning and response. In frozen conflict, low resource settings, such an approach is critical to balancing the community's immediate humanitarian needs with sponsor concerns and constraints.</p

Twenty-six years of HIV science: an overview of anti-HIV drugs metabolism

From the identification of HIV as the agent causing AIDS, to the development of effective antiretroviral drugs, the scientific achievements in HIV research over the past twenty-six years have been formidable. Currently, there are twenty-five anti-HIV compounds which have been formally approved for clinical use in the treatment of AIDS. These compounds fall into six categories: nucleoside reverse transcriptase inhibitors (NRTIs), nucleotide reverse transcriptase inhibitors (NtRTIs), non-nucleoside reverse transcriptase inhibitors (NNRTIs), protease inhibitors (PIs), cell entry inhibitors or fusion inhibitors (FIs), co-receptor inhibitors (CRIs), and integrase inhibitors (INIs). Metabolism by the host organism is one of the most important determinants of the pharmacokinetic profile of a drug. Formation of active or toxic metabolites will also have an impact on the pharmacological and toxicological outcomes. Therefore, it is widely recognized that metabolism studies of a new chemical entity need to be addressed early in the drug discovery process. This paper describes an overview of the metabolism of currently available anti-HIV drugs.Da identificação do HIV como o agente causador da AIDS, ao desenvolvimento de fármacos antirretrovirais eficazes, os avanços científicos na pesquisa sobre o HIV nos últimos vinte e seis anos foram marcantes. Atualmente, existem vinte e cinco fármacos anti-HIV formalmente aprovados pelo FDA para utilização clínica no tratamento da AIDS. Estes compostos são divididos em seis classes: inibidores nucleosídeos de transcriptase reversa (INTR), inibidores nucleotídeos de transcriptase reversa (INtTR), inibidores não-nucleosídeos de transcriptase reversa (INNTR), inibidores de protease (IP), inibidores da entrada celular ou inibidores de fusão (IF), inibidores de co-receptores (ICR) e inibidores de integrase (INI). O metabolismo consiste em um dos maiores determinantes do perfil farmacocinético de um fármaco. A formação de metabólitos ativos ou tóxicos terá impacto nas respostas farmacológicas ou toxicológicas do fármaco. Portanto, é amplamente reconhecido que estudos do metabolismo de uma nova entidade química devem ser realizados durante as fases iniciais do processo de desenvolvimento de fármacos. Este artigo descreve uma abordagem do metabolismo dos fármacos anti-HIV atualmente disponíveis na terapêutica