User profiles for "author:Paul Krause"
Paul KrauseProfessor in Complex Systems, University of Surrey Verified email at surrey.ac.uk Cited by 6313 |
Using formal specifications to support testing
Formal methods and testing are two important approaches that assist in the development of
high-quality software. While traditionally these approaches have been seen as rivals, in …
high-quality software. While traditionally these approaches have been seen as rivals, in …
A taxonomy and survey of edge cloud computing for intelligent transportation systems and connected vehicles
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 …
are based upon the capture and processing of large amounts of sensor data. Modern …
[BOOK][B] Analysis of electric machinery and drive systems
PC Krause, O Wasynczuk, SD Sudhoff, S Pekarek - 2002 - Wiley Online Library
Jürgen Schlabbach Karl-Heinz Rofalski Power System Engineering Page 1 Jürgen Schlabbach
Karl-Heinz Rofalski Power System Engineering H Page 2 Krause, P., Wasynczuk, O., Sudhoff …
Karl-Heinz Rofalski Power System Engineering H Page 2 Krause, P., Wasynczuk, O., Sudhoff …
Simulation of symmetrical induction machinery
PC Krause, CH Thomas - IEEE transactions on power …, 1965 - ieeexplore.ieee.org
The effectiveness of an analog computer in studying the performance of induction machinery
is demonstrated with computer results which show the dynamic behavior of 2-phase and 3 …
is demonstrated with computer results which show the dynamic behavior of 2-phase and 3 …
[BOOK][B] Electromechanical motion devices
PC Krause, O Wasynczuk, SD Pekarek - 2012 - books.google.com
This text provides a basic treatment of modern electric machine analysis that gives readers
the necessary background for comprehending the traditional applications and operating …
the necessary background for comprehending the traditional applications and operating …
[PDF][PDF] Mushroom body ablation impairs short-term memory and long-term memory of courtship conditioning in Drosophila melanogaster
SMJ McBride, G Giuliani, C Choi, P Krause, D Correale… - Neuron, 1999 - cell.com
We have evaluated the role of the Drosophila mushroom bodies (MBs) in courtship
conditioning, in which experience with mated females causes males to reduce their …
conditioning, in which experience with mated females causes males to reduce their …
Rule-based generation of requirements traceability relations
The support for traceability between requirement specifications has been recognised as an
important task in the development life cycle of software systems. In this paper, we present a …
important task in the development life cycle of software systems. In this paper, we present a …
Predicting software defects in varying development lifecycles using Bayesian nets
An important decision in software projects is when to stop testing. Decision support tools for
this have been built using causal models represented by Bayesian Networks (BNs) …
this have been built using causal models represented by Bayesian Networks (BNs) …
A logic of argumentation for reasoning under uncertainty
P Krause, S Ambler… - Computational …, 1995 - Wiley Online Library
We present the syntax and proof theory of a logic of argumentation, LA. We also outline the
development of a category theoretic semantics for LA. LA is the core of a proof theoretic …
development of a category theoretic semantics for LA. LA is the core of a proof theoretic …
Software measurement: Uncertainty and causal modeling
Software measurement can play an important risk management role during product
development. For example, metrics incorporated into predictive models can give advance …
development. For example, metrics incorporated into predictive models can give advance …