Paul Krause

Prof. Paul Krause

University of Surrey, Faculty of Engineering and Physical Sciences
orcid

Research Focus & Metrics

Academic Career Length

34Years (1993-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
7 June 2021 in IEEE Transactions on Intelligent Transportation Systems
Verified
Journal Article
Closed access
PAPeter Arthurs
Peter Arthurs
LGLee Gillam
Lee Gillam
Paul KrausePaul Krause
Paul Krause
NWNing Wang
Ning Wang
KHKaushik Halder
Kaushik Halder
AMAlexandros Mouzakitis
Alexandros Mouzakitis
Recent advances in smart connected vehicles and Intelligent Transportation Systems (ITS) are based upon the capture and processing of large amounts of sensor data. Modern vehicles contain many internal sensors to monitor a wide range of mechanical and electrical systems and the move to semi-autonomous vehicles adds outward looking sensors such as cameras, lidar, and radar. ITS is starting to connect existing sensors such as road cameras, traffic density sensors, traffic speed sensors, emergency vehicle, and public transport transponders. This disparate range of data is then processed to produce a fused situation awareness of the road network and used to provide real-time management, with much of the decision making automated. Road networks have quiet periods followed by peak traffic periods and cloud computing can provide a good solution for dealing with peaks by providing offloading of processing and scaling-up as required, but in some situations latency to traditional cloud data centres is too high or bandwidth is too constrained. Cloud computing at the edge of the network, close to the vehicle and ITS sensor, can provide a solution for latency and bandwidth constraints but the high mobility of vehicles and heterogeneity of infrastructure still needs to be addressed. This paper surveys the literature for cloud computing use with ITS and connected vehicles and provides taxonomies for that plus their use cases. We finish by identifying where further research is needed in order to enable vehicles and ITS to use edge cloud computing in a fully managed and automated way. We surveyed 496 papers covering a seven-year timespan with the first paper appearing in 2013 and ending at the conclusion of 2019.

1 November 2018 in Engineering Applications of Artificial Intelligence
Verified
Journal Article
Closed access
NRNick F. Ryman-Tubb
Nick F. Ryman-Tubb
Paul KrausePaul Krause
Paul Krause
Wolfgang GarnWolfgang Garn
Wolfgang Garn

27 June 2008 in Empirical Software Engineering
Verified
Journal Article
Closed access
PDF file
NFNorman Fenton
Norman Fenton
MNMartin David Neil
Martin David Neil
DMDavid William Roff Marsh
David William Roff Marsh
PHPeter Hearty
Peter Hearty
Lukasz RadlinskiLukasz Radlinski
Lukasz Radlinski
Paul KrausePaul Krause
Paul Krause

25 March 2014 in Journal of Cheminformatics
Verified
Journal Article
Open access
PDF file
SWSamuel J. Webb
Samuel J. Webb
THThierry Hanser
Thierry Hanser
Brendan HowlinBrendan Howlin
Brendan Howlin
Paul KrausePaul Krause
Paul Krause
JVJonathan D Vessey
Jonathan D Vessey
Background A new algorithm has been developed to enable the interpretation of black box models. The developed algorithm is agnostic to learning algorithm and open to all structural based descriptors such as fragments, keys and hashed fingerprints. The algorithm has provided meaningful interpretation of Ames mutagenicity predictions from both random forest and support vector machine models built on a variety of structural fingerprints. A fragmentation algorithm is utilised to investigate the model’s behaviour on specific substructures present in the query. An output is formulated summarising causes of activation and deactivation. The algorithm is able to identify multiple causes of activation or deactivation in addition to identifying localised deactivations where the prediction for the query is active overall. No loss in performance is seen as there is no change in the prediction; the interpretation is produced directly on the model’s behaviour for the specific query. Results Models have been built using multiple learning algorithms including support vector machine and random forest. The models were built on public Ames mutagenicity data and a variety of fingerprint descriptors were used. These models produced a good performance in both internal and external validation with accuracies around 82%. The models were used to evaluate the interpretation algorithm. Interpretation was revealed that links closely with understood mechanisms for Ames mutagenicity. Conclusion This methodology allows for a greater utilisation of the predictions made by black box models and can expedite further study based on the output for a (quantitative) structure activity model. Additionally the algorithm could be utilised for chemical dataset investigation and knowledge extraction/human SAR development.

6 April 2016 in Journal of Innovation in Health Informatics
Verified
Journal Article
Open access
PDF file
HLHarshana Liyanage
Harshana Liyanage
DLDaniela Luzi
Daniela Luzi
Simon de LusignanSimon de Lusignan
Simon de Lusignan
FPFabrizio Pecoraro
Fabrizio Pecoraro
RMRichard McNulty
Richard McNulty
MBMitch Blair
Mitch Blair
Background Modelling is an important part of information science. Models are abstractions of reality. We use models in the following contexts: (1) To describe the data and information flows in clinical practice to information scientists; (2) To compare health systems and care pathways; (3) To understand how clinical cases are recorded in record systems, and (4) To model health care business models. Asthma is an important condition associated with a substantial mortality and morbidity. However, there are difficulties in determining who has the condition, making both its incidence and prevalence uncertain.   Objective To demonstrate an approach for modelling complexity in health using asthma prevalence and incidence as an exemplar.   Method  The four steps in our process are: (1) Drawing a rich picture, following Checkland’s soft systems methodology; (2) Constructing data flow diagrams; (3) Creating Unified Modelling Language (UML) use case diagrams to describe the interaction of the key actors with the system; and (4) Activity diagrams, either UML Activity Diagram or business process modelling notation (BPMN) diagram.   Results Our rich picture flagged the complexity of factors that might impact on asthma diagnosis. There was consensus that the principle issue was that there were undiagnosed and misdiagnosed cases as well as correctly diagnosed. Genetic predisposition to atopy, exposure to environmental triggers, impact of respiratory health on earnings or ability to attend education or participate in sport; charities, pressure groups and the pharmaceutical industry all increased the likelihood of a diagnosis of asthma. Stigma and some factors within the health system diminished the likelihood of a diagnosis. The data flow diagrams and other elements focussed on better case finding.   Conclusions This approach flagged the factors that might impact on the reported prevalence or incidence of asthma. The models suggested that applying selection criteria may improve the specificity of new or confirmed diagnosis.

1 February 2007
Verified
Conference Paper
Closed access
ARAmir R Razavi
Amir R Razavi
Sotiris MoschoyiannisSotiris Moschoyiannis
Sotiris Moschoyiannis
Paul KrausePaul Krause
Paul Krause
In this paper we present a model for coordinating distributed long running and multi-service transactions in digital business EcoSystems. The model supports various forms of service composition, which are translated into a tuples-based behavioural description that allows to reason about the required behaviour in terms of ordering, dependencies and alternative execution. The compensation mechanism warranties consistency, including omitted results, without breaking local autonomy. The proposed model is considered at the deployment level of SOA, rather than the realisation level, and is targeted to business transactions between collaborating SMEs as it respects the loose-coupling of the underlying services.