An exciting recent line of work has focused on formally investigating the core cryptographic assumptions underlying the security of Bitcoin. In a nutshell, these works conclude that Bitcoin is secure if and only if the majority of the mining power is honest. Despite their great impact, however, these works do not address an incisive question asked by positivists and Bitcoin critics, which is fu...

Discovering unknown adverse drug reactions (ADRs) in postmarketing surveillance as early as possible is highly desirable. Nevertheless, current postmarketing surveillance methods largely rely on spontaneous reports which suffer from serious underreporting, latency, and inconsistent reporting. Thus these methods are not ideal for rapidly identifying rare ADRs. The multi-agent systems paradigm is...

IMPORTANCE Quality assessment is an important instrument to ensure optimal surgical outcomes, particularly during the adoption of new surgical technology. The use of the robotic platform for complex pancreatic resections, such as the pancreaticoduodenectomy, requires close monitoring of outcomes during its implementation phase to ensure patient safety is maintained and the learning curve identi...

• the rapid and efficient product realisation in heterogeneous, distributed environments by the use, integration and combination of digital techniques like CAD, FEM, Virtual Reality with physical product realisation techniques like Rapid Prototyping, Rapid Tooling. • the set up, management and collaboration support of project specific product development environments, called Virtual Enterprises...

This paper presents case studies of robust algorithm of multi-parametric model predictive control (mpMPC). For discrete-time linear parameter-varying (LPV) systems, the robust algorithm is investigated based on the solution of the mpMPC problem for discrete-time linear time-invariant (LTI) systems. The algorithm provides a controller design method, adaptable to parameter changes of a LPV system...

Motivation – To explore the concept that knowledge visualization would improve sensemaking within the scope of a NDM model; specifically the agent-based R-CAST system derived from Klein’s Recognition-Primed Decision (RPD) Model. Research approach – In order to evaluate the effectiveness of the visual sensemaking extension to gain better situation awareness and team performance, we are taking an...

This paper considers the design of robust`1 estimators based on multiplier theory (which is intimately related to the mixed structured singular value theory) and the application of robust`1 estimators to robust fault detection. The key to estimator-based, robust fault detection is to generate residuals which are robust against plant uncertainties and external disturbance inputs, which in turn r...

An integrated design of robust controller and fault estimator for linear parameter varying systems is presented in this paper. Based on gain-scheduled H∞ design strategy and scaled bounded real lemma, a linear parameter varying controller is developed, which can generate both control signals and fault estimates. To demonstrate the effectiveness of the proposed method, an uncertain system with a...