Page
%P
-
Article
Examining emergency department utilization following bariatric surgery
Emergency department (ED) utilization following surgery is poorly understood and places immense strain on the healthcare system, being responsible for up to $38 billion in wasteful spending annually. The aim o...
-
Article
Open AccessIn vivo real-time positron emission particle tracking (PEPT) and single particle PET
Positron emission particle tracking (PEPT) enables 3D localization and tracking of single positron-emitting radiolabelled particles with high spatiotemporal resolution. The translation of PEPT to the biomedica...
-
Chapter and Conference Paper
Distributional Probabilistic Model Checking
Probabilistic model checking provides formal guarantees for stochastic models relating to a wide range of quantitative properties, such as runtime, energy consumption or cost. But this is typically with respec...
-
Chapter and Conference Paper
Using Reed-Muller Codes for Classification with Rejection and Recovery
When deploying classifiers in the real world, users expect them to respond to inputs appropriately. However, traditional classifiers are not equipped to handle inputs which lie far from the distribution they w...
-
Article
Open AccessTowards a validated musculoskeletal knee model to estimate tibiofemoral kinematics and ligament strains: comparison of different anterolateral augmentation procedures combined with isolated ACL reconstructions
Isolated ACL reconstructions (ACLR) demonstrate limitations in restoring native knee kinematics. This study investigates the knee mechanics of ACLR plus various anterolateral augmentations using a patient-spec...
-
Article
Open AccessPatient-reported impairment following TKA is reduced when a computationally simulated predicted ideal alignment is achieved
Joint dynamics following Total Knee Arthroplasty (TKA) may influence patient-reported outcome. Simulations allow many knee alignment approaches to a single patient to be considered prior to surgery. The simula...
-
Chapter and Conference Paper
Multi-agent Verification and Control with Probabilistic Model Checking
Probabilistic model checking is a technique for formal automated reasoning about software or hardware systems that operate in the context of uncertainty or stochasticity. It builds upon ideas and techniques fr...
-
Book
-
Chapter
Knee Injury: Sideline Management
Knee injuries are common across all sports and all levels of athlete. Injuries can range from a minor sprain to a serious life changing injury such as a fracture or a multi-ligamentous knee injury. Identificat...
-
Article
Prophylaxis for preventing venous thromboembolism in knee arthroscopy and soft tissue reconstruction: consensus statements from an international panel of experts
There is a lack of consensus regarding need for Venous Thrombo Embolism (VTE) prophylaxis following arthroscopic knee surgery and open soft tissue knee reconstruction. Clear cut guidelines like ones for trauma...
-
Article
Open AccessTools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020
This special issue of Software Tools for Technology Transfer comprises extended versions of selected papers from the 26th edition of the International Conference on Tools and Algorithms for the Construction an...
-
Article
Acetyl-CoA synthesis through a bicyclic carbon-fixing pathway in gas-fermenting bacteria
Gas-fermenting acetogens can upgrade one-carbon (C1) compounds (such as CO2 and CO) to the two-carbon (C2) metabolite acetyl coenzyme A (CoA) and convert sugar feedstocks to acetyl-CoA with minimal CO2 emissions....
-
Article
Open AccessManufacturing Processes for Permanent Magnets: Part I—Sintering and Casting
Permanent magnets (PMs) produce magnetic fields and maintain the field even in the presence of an opposing magnetic field. Electrical machines using permanent magnets are more efficient than those without. Cur...
-
Article
Open AccessCircularly polarised luminescence laser scanning confocal microscopy to study live cell chiral molecular interactions
The molecular machinery of life is founded on chiral building blocks, but no experimental technique is currently available to distinguish or monitor chiral systems in live cell bio-imaging studies. Luminescent...
-
Chapter
Knee Arthrodesis
Knee arthrodesis is an option for limb salvage in complex periprosthetic joint infections for which revision knee arthroplasty cannot be considered. While knee arthrodesis usually provides good pain relief, it...
-
Chapter and Conference Paper
Verified Probabilistic Policies for Deep Reinforcement Learning
Deep reinforcement learning is an increasingly popular technique for synthesising policies to control an agent’s interaction with its environment. There is also growing interest in formally verifying that such...
-
Chapter and Conference Paper
Correlated Equilibria and Fairness in Concurrent Stochastic Games
Game-theoretic techniques and equilibria analysis facilitate the design and verification of competitive systems. While algorithmic complexity of equilibria computation has been extensively studied, practical i...
-
Book and Conference Proceedings
Formal Modeling and Analysis of Timed Systems
20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings
-
Chapter
Addressing Cyclicality Through International Financial Standards
The role of international financial standards generally and valuation standards specifically is considered in the context of providing consistency, clarity, reliability and transparency in valuation reporting....
-
Chapter and Conference Paper
Modeling the Variability of System Safety Analysis Using State-Machine Diagrams
Software Product Lines (SPLs) enable and maximize reuse of software artefacts, using software variability as central technique. In Model-Based Safety Analysis, system and software models are annotated with fai...
