Australian and New Zealand health authorities identified seasonal trivalent inactivated influenza vaccines manufactured by CSL Biotherapies as the probable cause of increased febrile convulsions in children under five within 24 hours of vaccination and recommended against their use in this age group. We quantified the benefit-risk profile of the CSL vaccines using the number needed to vaccinate...

The purpose of our study is to evaluate sagittal parameters in 2-level lumbar degenerative spondylolisthesis (DS) (TLDS).A total of 15 patients with TLDS, 40 patients with single-level DS (SLDS), and 30 normal volunteers as control were included in our study. All subjects performed on full spine X-ray. Two categorized data were analyzed: patient characteristics-age, sex, body mass index, radiog...

The logic CSL (first introduced by Sheremet, Tishkovsky, Wolter and Zakharyaschev in 2005) allows one to reason about distance comparison and similarity comparison within a modal language. The logic can express assertions of the kind “A is closer/more similar to B than to C” and has a natural application to spatial reasoning, as well as to reasoning about concept similarity in ontologies. The s...

We present results of a microscopic calculation using NJL-type model of possible spin-one pairings in two flavor quark matter for applications in compact star phenomenology. We focus on the color-spin locking phase (CSL) in which all quarks pair in a symmetric way, in which color and spin rotations are locked. The CSL condensate is particularly interesting for compact star applications since it...

In many cases, creating long-term solutions to sustainability issues requires not only innovative technology, but also largescale public adoption of the proposed solutions. Social simulations are a valuable but underutilized tool that can help public policy researchers understand when sustainable practices are likely to make the delicate transition from being an individual choice to becoming a ...

We study single-flavour quark pairing (“self-pairing”) in colour-superconducting phases of quark matter, paying particular attention to the difference between scenarios where all three flavours undergo single-flavour pairing, and scenarios where two flavours pair with each other (“2SC” pairing) and the remaining flavour self-pairs. We perform our calculations in the mean field approximation usi...

Abstract—In this paper we extend CSL (Continuous Stochastic Logic) with an expected time and an expected reward operator, both of which are parameterized by a random terminal time. With the help of such operators we can state for example that the expected sojourn time in a set of goal states within some generally distributed delay is at most (at least) some time threshold. In addition, certain ...

Conventional stream mining algorithms focus on single and stand-alone mining tasks. Given the single-pass nature of data streams, it makes sense to maximize throughput by performing multiple complementary mining tasks concurrently. We investigate the potential of concurrent semi-supervised learning on data streams and propose an incremental algorithm called CSL-Stream (Concurrent Semi–supervise...

Ubicomp applications are characterized as situationaware, frequently-and-ephemerally-communicated and QoS-properties-associated. Using middleware to provide multiple QoS support for these ubicomp applications will enhance the development of the ubicomp applications. To satisfy the different QoS requirements of various applications in ubicomp environments, which are heterogeneous and resource-va...

In this paper algorithms for model checking CSL (continuous stochastic logic) against infinite-state continuous-time Markov chains of so-called quasi birth-death type are developed. In doing so we extend the applicability of CSL model checking beyond the recently proposed case for finite-state continuous-time Markov chains, to an important class of infinite-state Markov chains. We present synta...