In this era of widespread broadband Internet penetration and powerful Web browsers on most desktops, a shift in the publication paradigm for physiome-style models is envisaged. No longer will model authors simply submit an essentially textural description of the development and behaviour of their model. Rather, they will submit a complete working implementation of the model encoded and annotate...

Cloud vendors are increasingly offering machine learning services as part of their platform and services portfolios. These services enable the deployment of machine learning models on the cloud that are offered on a pay-per-query basis to application developers and end users. However recent work has shown that the hosted models are susceptible to extraction attacks. Adversaries may launch queri...

Formal verification of temporal properties is necessary in many real applications. We can find in the literature many case studies which show us how formal verification techniques allowed scientists to find errors in systems that were thought to be correct. Model checking is an automatic formal verification technique that, given a model of a system and a temporal formula determines if the model...

el-jardali and fadllallah provide an excellent summary of the many dimensions of knowledge use, and the breath of issues and activities that must be considered if knowledge is to be put into practice. however, reliance on a continuum (rather than a cyclical, multidirectional, systems) model creates a number of limitations, particularly when promoting evidence-informed action in the areas of hea...