Management of Knee Osteoarthritis in the Younger, Active Patient
An Evidence-Based Practical Guide for Clinicians
Page
%P
95 Result(s)
-
Chapter
Probabilistic Model Checking: Advances and Applications
Probabilistic model checking is a powerful technique for formally verifying quantitative properties of systems that exhibit stochastic behaviour. Such systems are found in many application domains: for example...
-
Article
Feasibility of establishing an Australian ACL registry: a pilot study by the Australian Orthopaedic Association National Joint Replacement Registry (AOANJRR)
Rupture of the anterior cruciate ligament (ACL) is a common and debilitating injury that impacts significantly on knee function and risks the development of degenerative arthritis. The outcome of ACL surgery i...
-
Open Access This content is freely available online to anyone, anywhere at any time.
Article
Verification and control of partially observable probabilistic systems
We present automated techniques for the verification and control of partially observable, probabilistic systems for both discrete and dense models of time. For the discrete-time case, we formally model these s...
-
Chapter and Conference Paper
Big Data Analytics and Customs Throughput: The Case of Jamaica
Three main functions of customs agencies are security and facilitation of international trade, fair and efficient collection of revenue and protection of public health and safety. These functions are becoming...
-
Chapter and Conference Paper
Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes
Probabilistic model checking provides formal guarantees on quantitative properties such as reliability, performance or risk, so the accuracy of the numerical results that it returns is critical. However, recen...
-
Article
Synthesizing efficient systems in probabilistic environments
We present a formalism, algorithms and tools to synthesise reactive systems that behave efficiently, i.e., which achieve an optimal trade-off between a given cost and reward model. Synthesis aims to automatica...
-
Open Access This content is freely available online to anyone, anywhere at any time.
Article
Tempo-spatial characteristics of sub-daily temperature trends in mainland China
The spatial and temporal pattern of sub-daily temperature change in mainland China was analysed for the period from 1973 to 2011 using a 3-hourly dataset based on 408 stations. The increase in surface air temp...
-
Open Access This content is freely available online to anyone, anywhere at any time.
Article
DATATOC: a novel conjugate for kit-type 68Ga labelling of TOC at ambient temperature
The widespread acceptance and application of 68Ga-PET depends on our ability to develop radiopharmaceuticals that can be prepared in a convenient and suitable manner. A kit-type labelling protocol provides such c...
-
Book
-
Chapter and Conference Paper
PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games
We present a new release of PRISM-games, a tool for verification and strategy synthesis for stochastic games. PRISM-games 2.0 significantly extends its functionality by supporting, for the first time: (i) long-ru...
-
Chapter
Assessment: Periodic Assessment to Monitor Progress
Monitoring progress is a critical component of understanding the “response” to tier 2 services in a response-to-intervention (RTI) framework. Frequent, formative assessments are needed that indicate change in ...
-
Chapter and Conference Paper
Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory
Chemical organisation theory is a framework developed to simplify the analysis of long-term behaviour of chemical systems. An organisation is a set of objects which are closed and self-maintaining. In this pap...
-
Chapter and Conference Paper
Finite-Horizon Bisimulation Minimisation for Probabilistic Systems
We present model reduction techniques to improve the efficiency and scalability of verifying probabilistic systems over a finite time horizon. We propose a finite-horizon variant of probabilistic bisimulation ...
-
Open Access This content is freely available online to anyone, anywhere at any time.
Article
Finding the right balance: aOX40 immunotherapy enhances effector T cell function without impairing regulatory T cells intrinsic suppressive capacity in mouse tumor models
-
Article
Foreign Exam Management in Practice: Seamless Access to Foreign Images and Results in a Regional Environment
A challenge for many clinical users is that a patient may receive a diagnostic imaging (DI) service at a number of hospitals or private imaging clinics. The DI services that patients receive at other locations...
-
Chapter and Conference Paper
The Hanoi Omega-Automata Format
We propose a flexible exchange format for \(\omega \) -automata, as typically used in formal verification, a...
-
Chapter and Conference Paper
Verification and Control of Partially Observable Probabilistic Real-Time Systems
We propose automated techniques for the verification and control of probabilistic real-time systems that are only partially observable. To formally model such systems, we define an extension of probabilistic t...
-
Article
Proton irradiation robustness of dielectric mirrors for high-finesse Fabry-Pérot resonators in the near-infrared spectral range
We demonstrate that a proton irradiation with fluences of 3.6 × 1010/cm2 at low energy (<36 MeV) and 1.46 × 1010/cm2 at high energy (40 and 90 MeV combined) on the dielectric mirrors of Fabry-Pérot cavities with ...
-
Article
Characterisation and evaluation of paramagnetic fluorine labelled glycol chitosan conjugates for 19F and 1H magnetic resonance imaging
Medium molecular weight glycol chitosan conjugates have been prepared, linked by an amide bond to paramagnetic Gd(III), Ho(III) and Dy(III) macrocyclic complexes in which a trifluoromethyl reporter group is lo...
-
Chapter and Conference Paper
Exploring the Impact of Different Cost Heuristics in the Allocation of Safety Integrity Levels
Contemporary safety standards prescribe processes in which system safety requirements, captured early and expressed in the form of Safety Integrity Levels (SILs), are iteratively allocated to architectural ele...
