Prof Sunil Vadera's Outputs (64)

A probabilistic model for information and sensor validation (2006)
Journal Article

This paper develops a new theory and model for information and sensor validation. The model represents relationships between variables using Bayesian networks and utilizes probabilistic propagation to estimate the expected values of variables. If the... Read More about A probabilistic model for information and sensor validation.

Inducing safer oblique trees without costs (2005)
Journal Article

Decision tree induction has been widely studied and applied. In safety applications, such as determining whether a chemical process is safe or whether a person has a medical condition, the cost of misclassification in one of the classes is significan... Read More about Inducing safer oblique trees without costs.

Obtaining E-R diagrams semi-automatically from natural language specifications (2004)
Presentation / Conference
Meziane, F., & Vadera, S. (2004, April). Obtaining E-R diagrams semi-automatically from natural language specifications. Poster presented at Sixth International Conference on Enterprise Information Systems (ICEIS 2004), Universidade Portucalense, Porto, Portugal

Since their inception, entity relationship models have played a central role in systems specification, analysis
and development. They have become an important part of several development methodologies and standards
such as SSADM. Obtaining entity r... Read More about Obtaining E-R diagrams semi-automatically from natural language specifications.

A comparison of computer science and software engineering programmes in English universities (2004)
Presentation / Conference
Meziane, F., & Vadera, S. (2004, March). A comparison of computer science and software engineering programmes in English universities. Presented at 17th Conference on Software Engineering Education and Training 2004, Norfolk, Virginia, USA

Recent years have seen much debate about the appropriate content of software engineering (SE) programs and how they relate to computer science (CS) programs, culminating in the distinguishing knowledge areas identified in the ACM/IEEE CS and SE curri... Read More about A comparison of computer science and software engineering programmes in English universities.

A web based management of references (2004)
Presentation / Conference
O'Shea, S., Saraee, M., & Vadera, S. (2004, January). A web based management of references. Presented at The 2004 International Research Conference on Innovations in Information Technology (IIT2004), Dubai, UAE, Dubai, UAE

During the evolution of research from the beginning of a project to the end a large amount of information is accumulated from books, journals, articles, manuals and the internet. Managing all this information is a complex and crucial part, especially... Read More about A web based management of references.

Experience with mural in formalising Dust-Expert (2001)
Journal Article
Vadera, S., Meziane, F., & Huang, M. (2001). Experience with mural in formalising Dust-Expert. Information and Software Technology, 43(4), 231-240. https://doi.org/10.1016/S0950-5849%2800%2900161-0

The mural system was an outcome of a significant effort to develop a support tool for the effective use of a full formal methods development cycle. Experience with it, however, has been limited to a small number of illustrative examples that have bee... Read More about Experience with mural in formalising Dust-Expert.

Decision support methods in diabetic patient management by insulin administration neural network vs. induction methods for knowledge classification (2000)
Presentation / Conference
Ambrosiadou, B., Vadera, S., Shankararaman, V., & Goulis, D. (2000, May). Decision support methods in diabetic patient management by insulin administration neural network vs. induction methods for knowledge classification. Presented at Proc of the ICSC Symposium on Neural Computation, Berlin, Germany

Diabetes mellitus is now recognised as a major worldwide
public health problem. At present, about 100
million people are registered as diabetic patients. Many
clinical, social and economic problems occur as a
consequence of insulin-dependent diab... Read More about Decision support methods in diabetic patient management by insulin administration neural network vs. induction methods for knowledge classification.

Intelligent systems in manufacturing: current developments and future prospects (2000)
Journal Article
Meziane, F., Vadera, S., Kobbacy, K., & Proudlove, N. (2000). Intelligent systems in manufacturing: current developments and future prospects. https://doi.org/10.1108/09576060010326221

Global competition and rapidly changing customer requirements are demanding increasing changes in manufacturing environments. Enterprises are required to constantly redesign their products and continuously reconfigure their manufacturing systems. Tra... Read More about Intelligent systems in manufacturing: current developments and future prospects.

Any time probabilistic reasoning for sensor validation (1998)
Presentation / Conference
Ibarguengoytia, P., Sucar, E., & Vadera, S. (1998, March). Any time probabilistic reasoning for sensor validation. Presented at Fourteenth Conference on Uncertainty in Artificial Intelligence, University of Wisconsin Business School, Madison, Wisconsin, USA

For many real time applications, it is important to validate the information received form the sensors before entering higher levels of reasoning. This paper presents an any time probabilistic algorithm for validating the information provided by sens... Read More about Any time probabilistic reasoning for sensor validation.

A probabilistic examplar based model (1998)
Thesis
Rodriguez Martinez, A. A probabilistic examplar based model. (Thesis). University of Salford

A central problem in case based reasoning (CBR) is how to store and retrieve
cases. One approach to this problem is to use exemplar based models, where only
the prototypical cases are stored. However, the development of an exemplar based
model (EB... Read More about A probabilistic examplar based model.

Any time probabilistic sensor validation (1997)
Thesis
Ibarguengoytia, P. Any time probabilistic sensor validation. (Thesis). University of Salford, UK

Many applications of computing, such as those in medicine and the control of manufacturing and power plants, utilize sensors to obtain information. Unfortunately, sensors are prone to failures. Even with the most sophisticated instruments and control... Read More about Any time probabilistic sensor validation.

A layered any time approach to sensor validation (1997)
Book Chapter
Ibarguengoyatia, P., Vadera, S., & Sucar, E. (1997). A layered any time approach to sensor validation. In Lecture Notes in AI. Springer

Sensors are the most usual source of information in many
automatic systems such as automatic control

These computerised systems utilise different models of the process being served which usually assume the value of the variables as a correct read... Read More about A layered any time approach to sensor validation.

Tools for producing formal specifications : a view of current architectures and future directions (1997)
Journal Article
Vadera, S., & Meziane, F. (1997). Tools for producing formal specifications : a view of current architectures and future directions. Annals of Software Engineering, 3(1), 273-290. https://doi.org/10.1023/A%3A1018950324254

During the last decade, one important contribution towards requirements engineering has been the advent of formal specification languages. They offer a well-defined notation that can improve consistency and avoid ambiguity in specifications.
However... Read More about Tools for producing formal specifications : a view of current architectures and future directions.

Towards automatic modelling of requirements (1996)
Journal Article
Meziane, F., & Vadera, S. (1996). Towards automatic modelling of requirements. Malaysian journal of computer science, 9(2), 1-13

The first phases of the FORSEN system that helps the analyst to use an informal specification as the basis of producing a formal specification and concerns the modelisation of the requirements into entity relationship models (ERM) is described. The m... Read More about Towards automatic modelling of requirements.

Review of heuristics for generalisation (1995)
Journal Article
Vadera, S. (1995). Review of heuristics for generalisation. Software engineering journal, 10(4), 118-123

Proof by induction plays a central role in showing that recursive programs satisfy their specification. Sometimes a key step is to generalise a lemma so that its inductive proof is easier.

Existing heuristics for generalisation for induction are... Read More about Review of heuristics for generalisation.

TheMD shell and its use to develop Dust-Expert(TM) (1995)
Journal Article
Vadera, S., & Nechab, S. (1995). TheMD shell and its use to develop Dust-Expert(TM). Expert Systems, 12(3), 231-237. https://doi.org/10.1111/j.1468-0394.1995.tb00112.x

In this paper we describe TheMD (The Methods Designer) shell and its use in the development of an expert system, known as Dust-Expert, for the relief of dust explosions. We begin by providing the motivation for the development of TheMD Shell by evalu... Read More about TheMD shell and its use to develop Dust-Expert(TM).

Proof by analogy in mural (1995)
Journal Article
Vadera, S. (1995). Proof by analogy in mural. Formal Aspects of Computing, 7(2), 183-206. https://doi.org/10.1007/BF01211605

One of the most important advantages of using a formal method of developing software is that one can prove that development steps are correct with respect to their specification.

Conducting proofs by hand, however,can be time consuming to the ex... Read More about Proof by analogy in mural.

From English to formal specifications (1994)
Thesis
Meziane, F. From English to formal specifications. (Thesis). University of Salford

Specifications provide the foundation upon which a system can be formally developed. If a specification is wrong, then no matter what method of design is used, or what quality assurance procedures are in place, they will
not result in a system that... Read More about From English to formal specifications.

From English to formal specifications (1994)
Journal Article
Vadera, S., & Meziane, F. (1994). From English to formal specifications. Computer Journal, 37(9), 753-763. https://doi.org/10.1093/comjnl/37.9.753

Formal methods provide an approach in which design steps can be shown to satisfy a specification. However, if a formal specification is wrong, then although the design steps may satisfy the formal specification, they are unlikely to satisfy the requi... Read More about From English to formal specifications.

Expert systems applications (1989)
Book
(1989). S. Vadera (Ed.), Expert systems applications. Sigma Press / Wiley