



Login  Create Account  

Items where Division is "Faculty of Science, Technology and Environment (FSTE) > School of Computing, Information and Mathematical Sciences" and Year is 2012 


Number of items: 35. AAhmad, N. and Khan, Mohammad G.M. and Islam, S.F. (2012) Optimal allocation of testing resource for modular software based on testingeffort dependent software reliability growth. [Conference Proceedings] Azid, Sheikh I. and Sharma, Bibhya N. (2012) Intelligent home: SMS based home security system with immediate feedback. [Conference Proceedings] BBradley, M. and Cassez, F. and Fehnker, Ansgar and GivenWilson, T. and Huuck, R. (2012) High performance static analysis for industry. Electronic Notes in Theoretical Computer Science, 289 . pp. 314. ISSN 15710661 Bridges, D.S. and Havea, Robin S. (2012) Square roots and powers in constructive Banach algebra theory. [Conference Proceedings] CChandra, Rohitash and Zhang, M. (2012) Cooperative coevolution of Elman recurrent neural networks for chaotic time series prediction. Neurocomputing, 86 . pp. 116123. ISSN 09252312 FFehnker, Ansgar and Chaudhary, Kaylash C. (2012) Modeling and verification for the micropayment protocol netpay. [Conference Proceedings] Fehnker, Ansgar and van Glabbeek, R.J. and Hoefner, P. and McIver, A. and Portmann, M. and Tan, W.L. (2012) Automated analysis of AODV using UPPAAL. [Conference Proceedings] Fehnker, Ansgar and van Glabbeek, R.J. and Hofner, P. and Mclver, A. and Portmann, M. and Tan, W.L. (2012) A process algebra for wireless mesh networks. [Conference Proceedings] HHofner, P. and van Glabbeek, R.J. and Tan, W.L. and Portmann, M. and McIver, A. and Fehnker, Ansgar (2012) A rigorous analysis of AODV and its variants. [Conference Proceedings] JJunker, M. and Huuck, R. and Fehnker, Ansgar and Knapp, A. (2012) SMT  based false positive elimination in static program analysis. [Conference Proceedings] KKauta, John S. (2012) Hereditary orders in the quotient ring of a skew polynomial ring. Proceedings of the American Mathematical Society, 140 (5). pp. 14731481. ISSN 00029939 Kauta, John S. (2012) On a class of semihereditary crossedproduct orders. Pacific Journal of Mathematics, 259 (2). pp. 349360. ISSN 00308730 Khan, Mohammad G.M. and Ahmad, N. and Prasad, V D. (2012) Optimal compromise allocation in two  stage and stratified two  stage sampling design for multivariate study. Journal of Applied Statistical Science, 20 (2). pp. 187197. ISSN 10675817 Khan, Mohammad G.M. and Sharma, Sushita (2012) On Constructing Optimum Strata and Determining Optimum Allocation. [Conference Proceedings] PPrasad, Avinesh and Sharma, Bibhya N. and Vanualailai, Jito (2012) Motion control of a 2  link revolute manipulator in an obstacle  ridden workspace. [Conference Proceedings] Prasad, Avinesh and Sharma, Bibhya N. and Vanualailai, Jito (2012) Motion planning and control of autonomous robots in a twodimensional plane. [Conference Proceedings] Prasad, Avinesh and Sharma, Bibhya N. and Vanualailai, Jito (2012) A collisionfree algorithm of a pointmass robot using neural networks. Journal of Artifical Intelligence, 3 (1). pp. 4955. ISSN 22293965 RRaghuwaiya, Krishna and Singh, Shonal and Vanualailai, Jito (2012) Trajectory tracking using artificial potential fields. [Conference Proceedings] Raj, Jai and Vanualailai, Jito and Sharma, Bibhya N. and Singh, Shonal (2012) Swarm navigation in a complex environment. [Conference Proceedings] Rao, Dinesh K. and Khan, Mohammad G.M. and Khan, Sabiha (2012) Mathematical programming on multivariate calibration estimation in stratified sampling. International Journal of Mathematical, Computational, Physical, Electrical and Computer Engineering, 6 (12). pp. 5862. ISSN 20703740 SSharma, Anuraganand and Sharma, D.P. (2012) ICHEA for discrete constraint satisfaction problems. In: Advances in Artificial Intelligence. Lecture Notes in Computer Science, 7691 . Springer Berlin Heidelberg, Berlin, pp. 242253. ISBN Print 9783642351006 Online 9783642351013 Sharma, Anuraganand and Sharma, Dharmendra P. (2012) ICHEA – a constraint guided search for improving evolutionary algorithms. [Conference Proceedings] Sharma, Anuraganand and Sharma, Dharmendra P. (2012) Real  valued constraint optimization with ICHEA. [Conference Proceedings] Sharma, Anuraganand and Sharma, Dharmendra P. (2012) Solving dynamic constraint optimization problems using ICHEA. [Conference Proceedings] Sharma, Anuraganand and Sharma, Dharmendra P. (2012) An incremental approach to solving dynamic constraint satisfaction problems. [Conference Proceedings] Sharma, Bibhya N. (2012) ICT  the new driving force in the USP region. UNSPECIFIED. Sharma, Bibhya N. and Rai, R. and Vanualailai, Jito (2012) Lane changing and merging maneuvers of carlike robots. [Conference Proceedings] Sharma, Bibhya N. and Vanualailai, Jito and Prasad, A. (2012) Dual  formation control of multiple 2  link mobile manipulators. UNSPECIFIED. Sharma, Bibhya N. and Vanualailai, Jito and Rai, R. (2012) Lane Changing/Merging Manuevers of Platoons via a Split/Merge Strategy. UNSPECIFIED. (Unpublished) Sharma, Bibhya N. and Vanualailai, Jito and Singh, Shonal (2012) Lyapunov  based nonlinear controllers for obstacle avoidance with a planar n  link doubly nonholonomic manipulator. Robotics and Autonomous Systems, 60 (12). pp. 14841497. ISSN 09218890 Singh, Shaveen and Jokhan, Anjeela D. and Sharma, Bibhya N. and Lal, Sunil P. (2012) An innovative approach of progressive feedback via artificial neural networks. Journal of Machine Learning Technologies, 3 (1). pp. 6470. ISSN 22293981 Singh, Shonal and Sharma, Bibhya N. and Vanualailai, Jito and Prasad, Avinesh (2012) Autonomous control of multiple mobile manipulators. [Conference Proceedings] Singh, Shonal and Sharma, Bibhya N. and Vanualailai, Jito and Prasad, Avinesh (2012) Autonomous control of multiple mobile manipulators. World Academy of Science, Engineering and Technology, NA (72). pp. 834843. ISSN 20703740 VVanualailai, Jito and Sharma, Bibhya N. (2012) A cohesive langrangian swarm and its application to multiple unicyclelike vehicles. [Conference Proceedings] WWeiss, Ittay (2012) Metric 1spaces. [Professional and Technical Reports] 