Keith Rennolls

Publication Activity (10 Years)

Years Active: 1998-2010
Publications (10 Years): 0

Publications

Keith Rennolls
Falsification and Certainty - repost. Math. Comput. For. Nat. Resour. Sci. 2 (2) (2010)
Keith Rennolls
ZEIDE'S LOGIC, AND CONCLUSION, "Falsification without verification (and hence induction) cannot exist", are invalid. Math. Comput. For. Nat. Resour. Sci. 2 (2) (2010)
Keith Rennolls, Abdallah Al-Shawabkeh
Formal structures for data mining, knowledge discovery and communication in a knowledge management environment. Intell. Data Anal. 12 (2) (2008)
Alun Butler, M. O. H. Ibrahim, Keith Rennolls, L. I. Z. Bacon
Composing simulation architectures for autonomic systems. Knowl. Eng. Rev. 21 (3) (2006)
Keith Rennolls
Visualization and Bayesian Nets to link Business Aims. DEXA Workshops (2006)
Keith Rennolls
An Architectural Design for a Forest Information and Communications Portal (FICP). DEXA Workshops (2005)
Keith Rennolls
An Intelligent Framework (O-SS-E) for Data Mining, Knowledge Discovery and Business Intelligence. DEXA Workshops (2005)
Keith Rennolls
A Partial Ontology for Forest Inventory and Mensuration. DEXA Workshops (2005)
Keith Rennolls, Tim Richards, Alexander M. Fedorec, Mohamed T. Ibrahim, Kevin McManus, Alun Butler
Requirements and Design of an Integrated European Environmental Information Communication System (IEEICS). DEXA Workshops (2004)
Alun Butler, Mohamed T. Ibrahim, Keith Rennolls, Liz Bacon
On The Persistence of Computer Dreams - An Application Framework for Robust Adaptive Deployment. DEXA Workshops (2004)
Keith Rennolls, Tim Richards, Alexander M. Fedorec, Mohamed T. Ibrahim, Kevin McManus, Alun Butler
Models and Tools for an Integrated European Environmental Management and Decision Support System, (IEEMDSS). DEXA Workshops (2004)
Mohamed T. Ibrahim, Alexander M. Fedorec, Keith Rennolls
TREAT: A Reverse Engineering Method and Tool for Environmental Databases. DEXA (2001)
Kate Finney, Keith Rennolls, Alexander M. Fedorec
Measuring the comprehensibility of Z specifications. J. Syst. Softw. 42 (1) (1998)