Items where Division is "School of Computing, Information and Mathematical Sciences" and Year is 2012

A

Ahmad, N. and Khan, Mohammad G.M. and Islam, S.F. (2012) Optimal allocation of testing resource for modular software based on testing-effort 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]

B

Bradley, M. and Cassez, F. and Fehnker, Ansgar and Given-Wilson, T. and Huuck, R. (2012) High performance static analysis for industry. Electronic Notes in Theoretical Computer Science, 289 . pp. 3-14. ISSN 1571-0661

Bridges, D.S. and Havea, Robin S. (2012) Square roots and powers in constructive Banach algebra theory. [Conference Proceedings]

C

Chandra, Rohitash and Zhang, M. (2012) Cooperative coevolution of Elman recurrent neural networks for chaotic time series prediction. Neurocomputing, 86 . pp. 116-123. ISSN 0925-2312

F

Fehnker, 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]

H

Hofner, 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]

J

Junker, M. and Huuck, R. and Fehnker, Ansgar and Knapp, A. (2012) SMT - based false positive elimination in static program analysis. [Conference Proceedings]

K

Kauta, John S. (2012) Hereditary orders in the quotient ring of a skew polynomial ring. Proceedings of the American Mathematical Society, 140 (5). pp. 1473-1481. ISSN 0002-9939

Kauta, John S. (2012) On a class of semihereditary crossed-product orders. Pacific Journal of Mathematics, 259 (2). pp. 349-360. ISSN 0030-8730

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. 187-197. ISSN 1067-5817

Khan, Mohammad G.M. and Sharma, Sushita (2012) On Constructing Optimum Strata and Determining Optimum Allocation. [Conference Proceedings]

P

Prasad, 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 two-dimensional plane. [Conference Proceedings]

Prasad, Avinesh and Sharma, Bibhya N. and Vanualailai, Jito (2012) A collision-free algorithm of a point-mass robot using neural networks. Journal of Artifical Intelligence, 3 (1). pp. 49-55. ISSN 2229-3965

R

Raghuwaiya, 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. 58-62. ISSN 2070-3740

S

Sharma, 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. 242-253. ISBN Print 978-3-642-35100-6 Online 978-3-642-35101-3

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 car-like 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. 1484-1497. ISSN 0921-8890

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. 64-70. ISSN 2229-3981

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. 834-843. ISSN 2070-3740

Singh, Shonal and Sharma, Bibhya N. and Vanualailai, Jito and Prasad, Avinesh (2012) Autonomous control of multiple mobile manipulators. [Conference Proceedings]

V

Vanualailai, Jito and Sharma, Bibhya N. (2012) A cohesive langrangian swarm and its application to multiple unicycle-like vehicles. [Conference Proceedings]

W

Weiss, Ittay (2012) Metric 1-spaces. [Professional and Technical Reports]