Learn More
Bashir M Mohamed (mohamebm@tcd.ie) Navin K Verma (verman@tcd.ie) Adriele Prina-Mello (prinamea@tcd.ie) Yvonne Williams (williamy@tcd.ie) Anthony M Davies (amitche@tcd.ie) Gabor Bakos (gaborgabor@gmail.com) Laragh Tormey (tormeyla@tcd.ie) Connla Edwards (cedward@tcd.ie) This peer-reviewed article was published immediately upon acceptance. It can be(More)
The objective of this paper is to present the strength of fuzzy artmap which is kind of neural networks in the medical field by improving its performance by genetic algorithm. Fuzzy ARTMAP is both much faster and incrementally stable than the other ordinary neural networks models like Multilayer Perceptron. Fuzzy artmap's parameters have legal range of(More)
With the Web's emergence and generalization in various domains such as economy, commerce, education, culture, etc, the Web application reverse-engineering process becomes necessary in order to facilitate the maintenance of such applications and the evolution towards new Web technology like XML, semantic Web, etc. In this paper, we propose a new approach for(More)
(2013) Characterisation techniques to assess functional properties of barrier coatings for flexible PV substrates. In: Users may access full items free of charge; copies of full text items generally can be reproduced, displayed or performed and given to third parties in any format or medium for personal research or study, educational or not-for-profit(More)
Despite the rise in interest for surrogate safety analysis, little work has been done to understand and test the impact of the methods for motion prediction which are needed to identify whether two road users are on a collision course and to compute several surrogate safety indicators such as the time to collision (TTC). The default, unjustified method used(More)
The MDG system is a decision diagram based veriication tool, primarily designed for hardware veriication. It is based on Multiway decision diagrams|an extension of the traditional ROBDD approach. In this paper we describe the formal veriication of the component library of the MDG system, using HOL. The hardware component library, whilst relatively simple,(More)