



Login  

Items where Subject is "Q Science > QA Mathematics > QA76 Computer software" 


Group by: Authors  Item Type Number of items at this level: 67.
Book ChapterFehnker, 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. 157163. ISBN 9783319779348 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. 164178. ISBN 9783319779348 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. 301306. ISBN 9783319064826 Sharma, Anuraganand and Onwubolu, Godfrey C. (2009) Hybrid particle swarm optimization and GMDH system. In: Hybrid SelfOrganizing Modeling Systems. Studies in Computational Intelligence, 211 . Springer Berlin Heidelberg, Berlin Heidelberg, pp. 193231. ISBN 9783642015298 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. 361370. ISBN 9783642223709 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. 242253. ISBN Print 9783642351006 Online 9783642351013 Conference ProceedingsAhmad, Nesar and Khan, Mohammad G.M. and Rafi, Loriza S. (2010) Software reliability modeling incorporating loglogistic testingeffort with imperfect debugging. [Conference Proceedings] Bokhari, M.U. and Ahmad, Nesar (2006) Analysis of software reliability growth models: the case of loglogistic testeffort function. [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 ClientSide 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] 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) Multistepahead 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 Vanualailai, Jito (2016) Low bandwidth video streaming using FACS, facial expression and animation techniques. [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) SkillBased Group Allocation of Students for ProjectBased 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] 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] Singh, Manpreet and Ghutla, Bhawick and LiloJnr, Reuben and Mohammed, Aesaan and Rashid, Mahmood (2017) Walmart's Sales Data Analysis A Big Data Analytics Perspective. [Conference Proceedings] (Unpublished) 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 WorksReddy, Karuna G. and Khan, Mohammad G.M. (2018) stratifyR: Optimal Stratification of Univariate Populations. [Creative Works] Journal ArticleAhmad, A. and Quadri, S.M.K. and Khan, Mohammad G.M. and Kumar, M. (2011) Software reliability growth models incorporating burr type III testeffort and costreliability analysis. International Journal of Computer Science and Information Technologies, 2 (1). pp. 555562. ISSN 09754660 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 testingeffort and releasetime determination. Journal of Modelling in Management, 4 (1). pp. 2854. ISSN 17465664 Ahmad, Nesar and Khan, Mohammad G.M. and Rafi, Loriza S. (2011) Analysis of an inflection sshaped software reliability model considering loglogistic testingeffort and imperfect debugging. International Journal of Computer Science and Network Security, 11 (1). pp. 161171. ISSN 17387906 Ahmad, Nesar and Khan, Mohammad G.M. and Rafi, Loriza S. (2010) A study of testingeffort dependent inflection Sshaped software reliability growth models with imperfect debugging. International Journal of Quality and Reliability Management, 27 (1). pp. 89110. ISSN 0265671X Ayoade, John and Dai, Sharlene X. (2009) Comparing and contrasting micropayment models for mobile commerce systems. International Review on Computers and Software, 4 (4). pp. 495503. ISSN 18286003 Chandra, Rohitash (2014) Competition and collaboration in cooperative coevolution of Elman recurrent neural networks for time  series prediction. Neural Networks and Learning Systems, 26 . 014. ISSN 2162237X Chandra, Rohitash (2014) Memetic cooperative coevolution of Elman recurrent neural networks. Soft Computing, 18 (8). pp. 15491559. ISSN 14327643 Chandra, Rohitash and Zhang, M. (2012) Cooperative coevolution of Elman recurrent neural networks for chaotic time series prediction. Neurocomputing, 86 . pp. 116123. ISSN 09252312 Dai, Sharlene X. and Baran, D. (2007) A prototype of accountbased payment MCOM system in mcommerce. International Review on Computers and Software (IRECOS), 2 (5). pp. 527533. ISSN 18286003 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. 112. ISSN 03075079 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. 670694. ISSN 03610926 Kumar, Raneel and Lal, Sunil P. and Sharma, Alokanand (2017) Detecting TCP SYN Flood Attack in the Cloud. Journal of Software, 12 (7). pp. 493506. ISSN 1796217X Kumar, Shiu and Mamun, Kabir and Sharma, Alokanand (2017) CSPTSM: optimizing the performance of Riemannian tangent space mapping using common spatial pattern for MIBCI. Computers in Biology and Medicine, 91 . pp. 231242. ISSN 00104825 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 (23). pp. 293305. ISSN 09307575 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. 546550. ISSN 20424639 Rashid, Mahmood and Iqbal, Sumaiya and Khatib, Firas and Hoque, Md Tamjidul and Sattar, Abdul (2016) Guided macromutation in a graded energy based genetic algorithm for protein structure prediction. Computational Biology and Chemistry , 61 . 162  177. ISSN 14769271 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). NANA. ISSN 1089778X 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. 816832. ISSN 1796217X 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. 122. ISSN 02635747 Sharma, Anuraganand (2018) Guided Stochastic Gradient Descent Algorithm for inconsistent datasets. Applied Soft Computing, 73 . 1068  1080. ISSN 15684946 Sharma, Bibhya N. and Vanualailai, Jito and Singh , Shonal (2015) Motion Planning and Posture Control of Multiple nlink Doubly Nonholonomic Manipulators. Robotica, NA . pp. 125. ISSN 02635747 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. 246261. ISSN 08848173 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 23146133 OtherFehnker, Ansgar and Hoefner, P. and Kamali, M. and Mehta, Vinay P. (2013) Model files accompanying "Topologybased Mobility Models for Wireless Networks". UNSPECIFIED. Sharma, Bibhya N. and Vanualailai, Jito (2005) Controlled steering, obstacle avoidance and posture stabilization of carlike mobile robots via Lyapunovbased approach. UNSPECIFIED. (Unpublished) Sharma, Bibhya N. and Vanualailai, Jito (2006) Dynamic trajectory planning of a standard 1trailer 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) Multitasking of n carlike 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 Lyapunovbased 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) Professional and Technical ReportsFehnker, 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] 