Encephalitis caused by a Lyssavirus in fruit bats in Australia.

This report describes the first pathologic and immunohistochemical recognition in Australia of a rabies-like disease in a native mammal, a fruit bat, the black flying fox (Pteropus alecto). A virus with close serologic and genetic relationships to members of the Lyssavirus genus of the family Rhabdoviridae was isolated in mice from the tissue homogenates of a sick juvenile animal

Oral administration of the KATP channel opener diazoxide ameliorates disease progression in a murine model of multiple sclerosis

Background Multiple Sclerosis (MS) is an acquired inflammatory demyelinating disorder of the central nervous system (CNS) and is the leading cause of nontraumatic disability among young adults. Activated microglial cells are important effectors of demyelination and neurodegeneration, by secreting cytokines and others neurotoxic agents. Previous studies have demonstrated that microglia expresses ATP-sensitive potassium (KATP) channels and its pharmacological activation can provide neuroprotective and anti-inflammatory effects. In this study, we have examined the effect of oral administration of KATP channel opener diazoxide on induced experimental autoimmune encephalomyelitis (EAE), a mouse model of MS. Methods Anti-inflammatory effects of diazoxide were studied on lipopolysaccharide (LPS) and interferon gamma (IFNy)-activated microglial cells. EAE was induced in C57BL/6J mice by immunization with myelin oligodendrocyte glycoprotein peptide (MOG35-55). Mice were orally treated daily with diazoxide or vehicle for 15 days from the day of EAE symptom onset. Treatment starting at the same time as immunization was also assayed. Clinical signs of EAE were monitored and histological studies were performed to analyze tissue damage, demyelination, glial reactivity, axonal loss, neuronal preservation and lymphocyte infiltration. Results Diazoxide inhibited in vitro nitric oxide (NO), tumor necrosis factor alpha (TNF-¿) and interleukin-6 (IL-6) production and inducible nitric oxide synthase (iNOS) expression by activated microglia without affecting cyclooxygenase-2 (COX-2) expression and phagocytosis. Oral treatment of mice with diazoxide ameliorated EAE clinical signs but did not prevent disease. Histological analysis demonstrated that diazoxide elicited a significant reduction in myelin and axonal loss accompanied by a decrease in glial activation and neuronal damage. Diazoxide did not affect the number of infiltrating lymphocytes positive for CD3 and CD20 in the spinal cord. Conclusion Taken together, these results demonstrate novel actions of diazoxide as an anti-inflammatory agent, which might contribute to its beneficial effects on EAE through neuroprotection. Treatment with this widely used and well-tolerated drug may be a useful therapeutic intervention in ameliorating MS disease

PrIC3: Property Directed Reachability for MDPs

IC3 has been a leap forward in symbolic model checking. This paper proposes PrIC3 (pronounced pricy-three), a conservative extension of IC3 to symbolic model checking of MDPs. Our main focus is to develop the theory underlying PrIC3. Alongside, we present a first implementation of PrIC3 including the key ingredients from IC3 such as generalization, repushing, and propagation

Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm

Simple stochastic games can be solved by value iteration (VI), which yields a sequence of under-approximations of the value of the game. This sequence is guaranteed to converge to the value only in the limit. Since no stopping criterion is known, this technique does not provide any guarantees on its results. We provide the first stopping criterion for VI on simple stochastic games. It is achieved by additionally computing a convergent sequence of over-approximations of the value, relying on an analysis of the game graph. Consequently, VI becomes an anytime algorithm returning the approximation of the value and the current error bound. As another consequence, we can provide a simulation-based asynchronous VI algorithm, which yields the same guarantees, but without necessarily exploring the whole game graph.Comment: CAV201

Argentine Wheat Industry: Conference Report

Established and supported under the Australian Government’s Cooperative Research Centre Progra

Rich kids : a history of shopping malls in Tehran and the believers are but brothers - digital lack and excess in a postdigital age

This article addresses two recent performances by Javaad Alipoor and Kirsty Housley - Rich Kids: A History of Shopping Malls in Tehran (2019) and The Believers are but Brothers (2017). It argues that they represent a fresh, stripped back and interrogative mode of intermedial performance, marking a clear departure from practices that employ the digital as a spectacular scenographic tool - where the visual excesses of large scale mapped and projected images are there for us to enjoy - as well as from sited, active and playful uses of handheld devices and networked engagements in mixed reality performance. Particularly focusing on the use of audience members’ smartphones and platforms such as Whatsapp and Instagram, I contend that the prompting of these types of interactions in a theatre space generates a productive uneasiness at the intersection of human action and digital process. The article explores these qualities of unease and critical positionings that emerge within the contained spaces created in the performances and how they reveal and heighten the dual lack and excess of contemporary digital content and processes in our lives. In exploring these ideas, I make reference to postdigital theories, discourses of intermediality and critical writing around digital computation

Improvisation as a creative dialogue

Our paper will describe the creative process of Zaum: Beyond Mind an interactive sound theater performance, and examine the role of improvisation in shaping the piece. Zaum is a modular performance for voice, bandoneon, piano and electronics- integrating both live interactive elements and fixed sounds – with lighting, and video projection. While the creative process included traditional modes of composition, a significant aspect in melding the contribution of two composers - each with a different approach to composition - shares important attributes with improvisation. It is to do with creative listening, adjusting our individual contribution in response to changing contexts, and developing a shared sense of musical pacing and narrative. Improvisation also played a significant role in developing the technological, interactive elements of the piece with a co-evolution of the programming and the performance over a lengthy process of exploration and adjustments. This process, therefore, entails multiple dialogues, musical as well as verbal, between us as a duo and between us and our instruments. On the way we discovered that analytical reflection, despite its connotations of cerebral processes popularly portrayed as in opposition to the spontaneity required in improvisation, played a crucial role in the shaping of the piece

Dynamic model of basic oxygen steelmaking process based on multi-zone reaction kinetics : model derivation and validation

A multi-zone kinetic model coupled with a dynamic slag generation model was developed for the simulation of hot metal and slag composition during the BOF operation. The three reaction zones, (i) jet impact zone (ii) slag-bulk metal zone (iii) slag-metal-gas emulsion zone were considered for the calculation of overall refining kinetics. In the rate equations, the transient rate parameters were mathematically described as a function of process variables. A micro and macroscopic rate calculation methodology (micro-kinetics and macro-kinetics) were developed to estimate the total refining contributed by the recirculating metal droplets through the slag-metal emulsion zone. The micro-kinetics involves developing the rate equation for individual droplets in the emulsion. The mathematical models for the size distribution of initial droplets, kinetics of simultaneous refining of elements, the residence time in the emulsion, dynamic interfacial area change were established in the micro-kinetic model. In the macro-kinetics calculation, a droplet generation model was employed and the total amount of refining by emulsion was calculated by summing the refining from the entire population of returning droplets. A dynamic FetO generation model based on oxygen mass balance was developed and coupled with the multi-zone kinetic model. The effect of post combustion on the evolution of slag and metal composition was investigated. The model was applied to a 200-ton top blowing converter and the simulated value of metal and slag was found to be in good agreement with the measured data. The post-combustion ratio was found to be an important factor in controlling FetO content in the slag and the kinetics of Mn and P in a BOF process

Newcastle Disease Virus in Madagascar: Identification of an Original Genotype Possibly Deriving from a Died Out Ancestor of Genotype IV

In Madagascar, Newcastle disease (ND) has become enzootic after the first documented epizootics in 1946, with recurrent annual outbreaks causing mortality up to 40%. Four ND viruses recently isolated in Madagascar were genotypically and pathotypically characterised. By phylogenetic inference based on the F and HN genes, and also full-genome sequence analyses, the NDV Malagasy isolates form a cluster distant enough to constitute a new genotype hereby proposed as genotype XI. This new genotype is presumably deriving from an ancestor close to genotype IV introduced in the island probably more than 50 years ago. Our data show also that all the previously described neutralising epitopes are conserved between Malagasy and vaccine strains. However, the potential implication in vaccination failures of specific amino acid substitutions predominantly found on surface-exposed epitopes of F and HN proteins is discussed