Items where Subject is "QA76 Computer software"

Book Chapter

Fehnker, Ansgar and Chaudhary, Kaylash C. (2018) Twenty Percent and a Few Days–Optimising a Bitcoin Majority Attack. In: NASA Formal Methods. Lecture Notes in Computer Science . Springer, Switzerland, pp. 157-163. ISBN 978-3-319-77934-8

Fehnker, Ansgar and Chaudhary, Kaylash C. and Mehta, Vinay P. (2018) An Even Better Approach – Improving the B.A.T.M.A.N. Protocol Through Formal Modelling and Analysis. In: NASA Formal Methods. Programming and Software Engineering (part of LNC Series), 10811 . Springer, Switzerland, pp. 164-178. ISBN 978-3-319-77934-8

Kumar, Raneel and Chand, Krishnil and Lal, Sunil P. (2014) Gene Reduction for Cancer Classification using Cascaded Neural Network with Gene Masking. In: Advances in Artificial Intelligence. Lecture Notes in Computer Science, 8436 . Springer, Heidelberg, pp. 301-306. ISBN 978-3-319-06482-6

Kumar, Dinesh and Sharma, Dharmendra P. (2022) Global-first training strategy with Convolutional Neural Networks to Improve Scale Invariance. In: Communications in Computer and Information Science. Springer Nature, Switzerland. ISBN TBC

Sharma, Anuraganand and Onwubolu, Godfrey C. (2009) Hybrid particle swarm optimization and GMDH system. In: Hybrid Self-Organizing Modeling Systems. Studies in Computational Intelligence, 211 . Springer Berlin Heidelberg, Berlin Heidelberg, pp. 193-231. ISBN 978-3-642-01529-8

Sharma, Anuraganand and Sharma, D.P. (2011) Clonal selection algorithm for classification. In: Artificial Immune Systems. Lecture Notes in Computer Science, 6825 . Springer Berlin Heidelberg, Berlin, pp. 361-370. ISBN 978-3-642-22370-9

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, Priynka and Chaudhary, Kaylash C. and Khan, Mohammad G.M. (2021) The Art - of - Hyper - Parameter Optimization with Desirable Feature Selection: optimizing for multiple objectives: ransomware anomaly detection. In: Lecture Notes in Electrical Engineering. Springer Nature, Singapore. ISBN 978-981-16-3879-4

Conference Proceedings

Ahmad, Nesar and Khan, Mohammad G.M. and Rafi, Loriza S. (2010) Software reliability modeling incorporating log-logistic testing-effort with imperfect debugging. [Conference Proceedings]

Bokhari, M.U. and Ahmad, Nesar (2006) Analysis of software reliability growth models: the case of log-logistic test-effort function. [Conference Proceedings]

Chand, Ashneel and Nand, Ravneil (2020) Rainfall prediction using Artificial Neural Network in the South Pacific region. [Conference Proceedings]

Chand, Ravinesh and Chand, Ronal P. and Narayan, Shailendra V. and Naicker, Parmesh R. (2022) Vertically Sliding Revolute Robotic Arm intended for automated Pick-and-Place Industrial applications. [Conference Proceedings]

Chand, Ronal P. and Chand, Ravinesh and Naicker, Parmesh R. and Narayan, Shailendra V. (2022) Tomorrow’s Smart City Personal Transporter: An autonomous Hoverboard Robot. [Conference Proceedings]

Chandra, Rohitash (2013) Adaptive problem decomposition in cooperative coevolution of recurrent networks for time series prediction. [Conference Proceedings]

Chaudhary, Kaylash C. and Fehnker, Ansgar (2016) Model Checking a Client-Side Micro Payment Protocol. [Conference Proceedings]

Chaudhary, Kaylash C. and Fehnker, Ansgar and Mehta, Vinay P. (2017) Modelling, Verification, and Comparative Performance Analysis of the B.A.T.M.A.N. Protocol. [Conference Proceedings]

Deo, Ratneel and Chandra, Rohitash (2019) Multi - step - ahead cyclone intensity prediction with Bayesian neural networks. [Conference Proceedings]

Fehnker, Ansgar and Höfner, P. and Kamali, M. and Mehta, Vinay P. (2013) Topology - based mobility models for wireless networks. [Conference Proceedings]

Hussein, Shamina and Chandra, Rohitash and Sharma, Anuraganand (2016) Multi-step-ahead chaotic time series predication using coevolutionary recurrent neural networks. [Conference Proceedings]

Khan, Mohammad G.M. and Ahmad, Nesar and Naz, Rafia (2008) Optimal testing resource allocation for modular software based on a software reliability growth model: a dynamic programming approach. [Conference Proceedings]

Kumar, Dinesh and Sharma., Dharmendra (2021) Feature Map Upscaling to Improve Scale Invariance in Convolutional Neural Networks. [Conference Proceedings]

Kumar, Dinesh and Vanualailai, Jito (2016) Low bandwidth video streaming using FACS, facial expression and animation techniques. [Conference Proceedings]

Kumar, Krishan and Raghuwaiya, Krishna and Sharma, Bibhya N. and Dakuidreketi, Mesake R. (2020) Factors that influence academics' intention to use mobile-based assessment in Higher Education in South Pacific. [Conference Proceedings]

Kumar, Krishan and Sharma, Bibhya N. and Khan, Gavin J. and Nusair, Salsabil A. and Raghuwaiya, Krishna (2020) An exploration on effectiveness of anonymous peer assessment strategy in online formative assessments. [Conference Proceedings]

Kumar, Krishan and Sharma, Bibhya N. and Nusair, Salsabil A. and Khan, Gavin J. (2019) Anonymous online peer assessment in an undergraduate course: An analysis of Students’ perceptions and attitudes in the South Pacific. [Conference Proceedings]

Mund, Jakob and Huuck, R. and Fehnker, Ansgar and Artho, Cyrylle (2013) The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis. [Conference Proceedings]

Nand, Ravneil and Sharma, Anuraganand and Reddy, Karuna G. (2018) Skill-Based Group Allocation of Students for Project-Based Learning Courses Using Genetic Algorithm: Weightless Penalty Model. [Conference Proceedings]

Nusair, Salsabil A. and Sharma, Bibhya N. and Khan, Gavin J. (2015) Edutainment for an enhanced learning experience (ELE). [Conference Proceedings]

Quadri, S.M.K. and Ahmad, Nesar and Khan, Mohammad G.M. (2008) Performance analysis of software reliability growth model: a dynamic programming approach. [Conference Proceedings]

Quadri, S.M.K. and Ahmad, Nesar and Peer, M.A. (2008) Software optimal release policy and reliability growth modeling. [Conference Proceedings]

Rahman, Absar A. and Saleem, Waleed and Iyer, Vani V. (2019) Driving behavior profiling and prediction in KSA using smart phone sensors and MLAs. [Conference Proceedings]

Ravneil, Nand and Priynka, Sharma (2020) Iteration split with Firefly Algorithm and Genetic Algorithm to solve multidimensional knapsack problems. [Conference Proceedings]

Reddy, Karuna G. and Khan, Mohammad G.M. and Rao, Dinesh K. (2014) Computing optimal stratum boundaries for multivariate surveys. [Conference Proceedings]

Sharma, Adarsh K. and Prasad, Vishal and Kumar, Roneel and Sharma, Anuraganand (2018) Analysis on the occurrence of Tropical Cyclone in the South Pacific Region using recurrent Neural Network with LSTM. [Conference Proceedings]

Sharma, Anuraganand (2015) Analysis of evolutionary operators for ICHEA in solving constraint optimization problems. [Conference Proceedings]

Sharma, Anuraganand (2010) A new optimizing algorithm using reincarnation concept. [Conference Proceedings]

Sharma, Anuraganand and Onwubolu, Godfrey C. and Dayal, Ashwin and Bhartu, Deepak and Shankar, Amal and Katafono, Kenneth (2008) Hybrid particle swarm optimization and group method of data handling for inductive modeling. [Conference Proceedings]

Sharma, Anuraganand and Sharma, Dharmendra P. (2013) Constraint optimization for timetabling problems using a constraint driven solution model. [Conference Proceedings]

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, Patrick and Sharma, Adarsh K. and Kumar, Dinesh and Sharma, Anuraganand (2021) A strategic weight refinement maneuver for convolutional neural networks. [Conference Proceedings]

Sharma, Bibhya N. and Kumar, Sandeep A. and Chand, Ravinesh (2023) Controller Design of an Autonomous Quadcopter for Enhanced Aerial Surveillance and Situational Aware. [Conference Proceedings]

Singh, Manpreet and Ghutla, Bhawick and Lilo-Jnr, Reuben and Mohammed, Aesaan and Rashid, Mahmood (2017) Walmart's Sales Data Analysis- A Big Data Analytics Perspective. [Conference Proceedings]

Singh, Shaveen and Lal, Sunil P. (2013) Using feature selection and association rule mining to evaluate digital courseware. [Conference Proceedings]

Wong , Gary and Sharma, Anuraganand and Chandra, Rohitash (2018) Information Collection Strategies In Memetic Cooperative Neuroevolution For Time Series Prediction. [Conference Proceedings]

Creative Works

Reddy, Karuna G. and Khan, Mohammad G.M. (2018) stratifyR: Optimal Stratification of Univariate Populations. [Creative Works]

Journal Article

Ahmad, A. and Quadri, S.M.K. and Khan, Mohammad G.M. and Kumar, M. (2011) Software reliability growth models incorporating burr type III test-effort and cost-reliability analysis. International Journal of Computer Science and Information Technologies, 2 (1). pp. 555-562. ISSN 0975-4660

Ahmad, Nesar and Khan, Mohammad G.M. and Quadri, S.M.K. and Kumar, M. (2009) Modelling and analysis of software reliability with burr type x testing-effort and release-time determination. Journal of Modelling in Management, 4 (1). pp. 28-54. ISSN 1746-5664

Ahmad, Nesar and Khan, Mohammad G.M. and Rafi, Loriza S. (2011) Analysis of an inflection s-shaped software reliability model considering log-logistic testing-effort and imperfect debugging. International Journal of Computer Science and Network Security, 11 (1). pp. 161-171. ISSN 1738-7906

Ahmad, Nesar and Khan, Mohammad G.M. and Rafi, Loriza S. (2010) A study of testing-effort dependent inflection S-shaped software reliability growth models with imperfect debugging. International Journal of Quality and Reliability Management, 27 (1). pp. 89-110. ISSN 0265-671X

Ayoade, John and Dai, Sharlene X. (2009) Comparing and contrasting micro-payment models for mobile commerce systems. International Review on Computers and Software, 4 (4). pp. 495-503. ISSN 1828-6003

Chand, Ravinesh and Chand, Ronal P. and Kumar, Sandeep A. (2022) Switch controllers of an n-link revolute manipulator with a prismatic end-effector for landmark navigation. Peer J Computer Science, 8 . pp. 1-27. ISSN 2376-5992

Chandra, Rohitash (2014) Competition and collaboration in cooperative coevolution of Elman recurrent neural networks for time - series prediction. Neural Networks and Learning Systems, 26 . 0-14. ISSN 2162-237X

Chandra, Rohitash (2014) Memetic cooperative coevolution of Elman recurrent neural networks. Soft Computing, 18 (8). pp. 1549-1559. ISSN 1432-7643

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

Dai, Sharlene X. and Baran, D. (2007) A prototype of account-based payment M-COM system in m-commerce. International Review on Computers and Software (IRECOS), 2 (5). pp. 527-533. ISSN 1828-6003

Jokhan, Anjeela D. and Sharma, Bibhya N. and Singh, Shaveen (2018) Early warning system as a predictor for student performance in higher education blended courses. Studies in Higher Education . pp. 1-12. ISSN 0307-5079

Khan, Mohammad G.M. and Ahmad, N. and Rafi, Loriza S. (2016) Determining the optimal allocation of testing resource for modular software system using dynamic programming. Communications in Statistics: Theory and Methods, 45 (3). pp. 670-694. ISSN 0361-0926

Kumar, Raneel and Lal, Sunil P. and Sharma, Alokanand (2017) Detecting TCP SYN Flood Attack in the Cloud. Journal of Software, 12 (7). pp. 493-506. ISSN 1796-217X

Kumar, Shiu and Mamun, Kabir and Sharma, Alokanand (2017) CSP-TSM: optimizing the performance of Riemannian tangent space mapping using common spatial pattern for MI-BCI. Computers in Biology and Medicine, 91 . pp. 231-242. ISSN 0010-4825

Kumar, Dinesh and Sharma, Dharmendra P. (2023) Feature map upscaling to improve scale invariance in convolutional neural networks. Journal of Artificial Intelligence and Soft Computing Research, 13 (1). pp. 51-74. ISSN 2449-6499

Kumar, Sandeep A. and Vanualailai, Jito and Sharma, Bibhya and Prasad, Avinesh and Chand, Ravinesh (2023) A Stable Nonlinear Switched System for Landmark-aided Motion Planning. Engineered Science, 25 (919). pp. 1-17. ISSN 2576-988X

Lal, Murari and McGregor, J.L. and Nguyen, K.C. (2008) Very high resolution climate simulation over Fiji using a global variable resolution model. Climate Dynamics, 30 (2-3). pp. 293-305. ISSN 0930-7575

Mugisha, Emmy and Ogwang, Bob and Ongoma, Victor and Zhang, Gongxuan (2015) A secured automatic notification system based on short message service. International Journal for Information Security Research, 5 (1). pp. 546-550. ISSN 2042-4639

Paea, Sione and Sharma, Bibhya N. and Bulivou, Gabiriele and Katsanos, Christos (2024) Emergency Remote Teaching in Higher Education Institutes: A Taxonomy of Challenges Faced by First-Year Mathematics Students in the Pacific Region. IEEE Access, 12 . pp. 6339-6355. ISSN 2169-3536

Ram, Avishek A. and Ali, Zain and Krishna, Vandana and Nishika, Nandita and Sharma, Anuraganand (2023) A guided neural network approach to predict early readmission of diabetic patients. IEEE Access, 11 . pp. 47527-47538. ISSN 2169-3536

Rashid, Mahmood and Iqbal, Sumaiya and Khatib, Firas and Hoque, Md Tamjidul and Sattar, Abdul (2016) Guided macro-mutation in a graded energy based genetic algorithm for protein structure prediction. Computational Biology and Chemistry , 61 . 162 - 177. ISSN 1476-9271

Rashid, Mahmood and Khatib, F. and Hoque, T. and Sattar, A. (2015) An enhanced genetic algorithm for Ab initio protein structure prediction. IEEE Transactions on Evolutionary Computation, PP (99). NA-NA. ISSN 1089-778X

Reddy, Karuna G. and Khan, Mohammad G.M. and Rao, Dinesh K. (2016) A procedure for computing optimal stratum boundaries and sample sizes for multivariate surveys. Journal of Software, 11 (8). pp. 816-832. ISSN 1796-217X

Rolland, L. and Chandra, Rohitash (2015) The forward kinematics of the 6 - 6 parallel manipulator using an evolutionary algorithm based on generalized generation gap with parent - centric crossover. Robotica, NA . pp. 1-22. ISSN 0263-5747

Sharma, Anuraganand (2018) Guided Stochastic Gradient Descent Algorithm for inconsistent datasets. Applied Soft Computing, 73 . 1068 - 1080. ISSN 1568-4946

Sharma, Anuraganand (2020) Optimistic Variants of Single-Objective Bilevel Optimization for Evolutionary Algorithms. International Journal of Computational Intelligence and Applications, 19 . pp. 2050020-1. ISSN 1469-0268

Sharma, Anuraganand and Singh, Prabhat K. and Chandra, Rohitash (2022) SMOTified-GAN for class imbalanced pattern classification problems. IEEE Access, 10 . pp. 30655-30665. ISSN 2169-3536

Sharma, Bibhya N. and Vanualailai, Jito and Singh , Shonal (2015) Motion Planning and Posture Control of Multiple n-link Doubly Nonholonomic Manipulators. Robotica, NA . pp. 1-25. ISSN 0263-5747

Sharma, Bibhya N. and Karan, Riteshni D. and Kumar, Sandeep A. and Prasad, Avinesh (2023) Navigation of a compartmentalized robot system. Heliyon, 9 (2023). pp. 1-16. ISSN 2405-8440

Vatchkov, Gantcho L. (2010) Human - guided fuzzy decision for image similarity analysis and classification based on information compression. International Journal of Intelligent Systems (IJIS), 26 (3). pp. 246-261. ISSN 0884-8173

Zaman, Rianon and Chowdhury, Shahana Yasmin and Rashid, Mahmood and Sharma, Alokanand and Dehzangi, Abdollah and Shatabda, Swakkhar (2017) HMMBinder: DNA - binding protein prediction using HMM profile based features. BioMed Research International, 2017 . 1 - 10. ISSN 2314-6133

Professional and Technical Reports

Fehnker, Ansgar and van Glabbeek, R.J. and Höfner, P. and McIver, A. and Portmann, M. and Tan, W.L. (2013) A process algebra for wireless mesh networks used for modelling, verifying and analysing AODV. [Professional and Technical Reports]

Schutz, Marko and Khan, Natasha and Chand, Atish (2005) A baseline survey on free and open source software (FOSS) in the South Pacific: knowledge, awareness and usage. [Professional and Technical Reports]

Other

Chaudhary, Kaylash C. (2022) Matlab code - FAStep-Kinematic Algorithm. UNSPECIFIED. (Unpublished)

Fehnker, Ansgar and Hoefner, P. and Kamali, M. and Mehta, Vinay P. (2013) Model files accompanying "Topology-based Mobility Models for Wireless Networks". UNSPECIFIED.

Kumar, Dinesh and Hussein, Imtiyaz (2006) Mathematical Modeling for Facial Expressions using FACS. UNSPECIFIED. (Unpublished)

Kumar, Dinesh and Zhenquan, Li (2006) Implementation of an Adaptive Two-Dimensional Mesh Refinement Method Based on the Law of Mass Conservation. UNSPECIFIED. (Unpublished)

Kutty, Saiyad S. and Khan, Mohammad G.M. and Ahmed, Mohammed R. (2023) Sample Tonga Data - wind speeds and direction, Temperature. UNSPECIFIED. (Unpublished)

Sharma, Bibhya N. and Vanualailai, Jito (2005) Controlled steering, obstacle avoidance and posture stabilization of car-like mobile robots via Lyapunov-based approach. UNSPECIFIED. (Unpublished)

Sharma, Bibhya N. and Vanualailai, Jito (2006) Dynamic trajectory planning of a standard 1-trailer system. UNSPECIFIED. (Unpublished)

Sharma, Bibhya N. and Vanualailai, Jito (2008) Formation control of a swarm of mobile manipulators. UNSPECIFIED. (Unpublished)

Sharma, Bibhya N. and Vanualailai, Jito (2005) Multi-tasking of n car-like mobile robots via Lyapunov based approach. UNSPECIFIED. (Unpublished)

Sharma, Bibhya N. and Vanualailai, Jito (2003) New sufficient conditions for global exponential stability for Hopfield Neural Networks. UNSPECIFIED. (Unpublished)

Sharma, Bibhya N. and Vanualailai, Jito (2008) An overview of the Lyapunov-based control scheme. UNSPECIFIED. (Unpublished)

Totaram, Rajneel and Sharma, Bibhya N. and Vanualailai, Jito (2008) An interactive window for split/rejoin maneuvers of swarms. UNSPECIFIED. (Unpublished)