Displaying 201 - 250 of 258 publications
2014
- Y N Singh, Individual Identification Using Linear Projection of Heartbeat Features, Applied Computational Intelligence and Soft Computing, , vol. 2014, pp. 1-14, 2014. DOI : https://doi.org/10.1155/2014/602813
- R Shyam, and Yogendra Narain Singh A taxonomy of 2D and 3D face recognition methods, In Proc. of International Conference on Signal Processing & Integrated Networks, SPIN 2014, , vol. 2014, pp. 749-754, 2014. DOI : 10.1109/SPIN.2014.6777054.
- R Shyam, and Yogendra Narain Singh Evaluation of Eigenfaces and Fisherfaces using Bray Curtis dissimilarity metric, in Proc. of 9th International Conference on Industrial and Information Systems ICIIS-2014, , vol. 2014, pp. 1-6, 2014. DOI : 10.1109/ICIINFS.2014.7036600.
- Yogendra Narain Singh, Biometrics: Seek to Eliminate Computer Passwords, in Proc. of 9th International Conference on Industrial and Information Systems ICIIS-2014, , vol. 2014, pp. 1-6, 2014.
- Dr. V.S. Dhaka, Aditi Sharma Design and implementation of Information Retrieval Using Ontology, Global U.S.A, , vol. 142, , 2014.
- Dr. V S Dhaka, Aditi Sharma Performance evaluation of ontology based Information Retrieval, International Journal of All Research Education and Scientific Methods , , vol. 24, , 2014. Impact Factor : 7.429
2013
- Manish Gaur and S. Arun Kumar, On efficiency preorders (Revised and Edited), Lecture Notes in Computer Science , , , pp. vol 8161, 83-94, 2013. DOI : https://doi.org/10.1007/978-3-642-40213-5
- Manish Gaur and S. Arun Kumar, On efficiency preorders (Pre-proceedings), 5th IPM International Conference on Fundamentals of Software Engineering FSEN 2013, , , pp. 84-95, 2013.
- Sanjay Kumar, Gurmit Singh Divakar Yadav Analysis of Database Replication Algorithm in Local and Global Networks, International Journal of Computer Applications, , , , 2013.
- Sanjay Kumar, Gurmit Singh Divakar Yadav Throughput and Delay Analysis of Database Replication Algorithms, International Journal of Modern Education and Computer Science , , , pp. 47-53, 2013. DOI : 10.5815/ijmecs.2013.12.07
- Sanjay Kumar, Gurmit Singh Divakar Yadav Mathematical Framework for a Novel Database Replication Algorithm, International Journal of Modern Education and Computer Science , , , pp. 1-10, 2013. DOI : 10.5815/ijmecs.2013.09.01
- N Phulmare, P Chakravorty Divakar Yadav Understanding and Estimation of Emotional Expression using acoustic analysis of natural speech, International Journal on Natural Language Computing , , , pp. 37-46, 2013. DOI : 10.5121/ijnlc.2013.2503
- Yogendra Narain Singh, Discriminant Analysis for Identifying Individuals of Electrocardiogram, In: Maji, P., Ghosh, A., Murty, M.N., Ghosh, K., Pal, S.K. eds Pattern Recognition and Machine Intelligence. PReMI 2013. Lecture Notes in Computer Science, vol 8251, , vol. 8251, pp. 94-99, 2013. DOI : https://doi.org/10.1007/978-3-642-45062-4_12
- Yogendra Narain Singh, and S K Singh Identifying Individuals Using Eigenbeat Features of Electrocardiogram, Journal of Engineering, , vol. 2013, pp. 1-8, 2013. DOI : https://doi.org/10.1155/2013/539284
- Yogendra Narain Singh, and S K Singh A taxonomy of biometric system vulnerabilities and defences, International Journal of Biometrics, , vol. 2013, pp. 137-159, 2013. DOI : https://doi.org/10.1504/IJBM.2013.052964
- Yogendra Narain Singh, and S K Singh Persons Recognition Using Heartbeat Features and Maximum a Posteriori Decision Rule, ISBA International Workshop/Conference on Bayesian Theory and Applications IWCBTA, , vol. 2013, pp. 1-10, 2013.
2012
- Pawan Kumar Tiwari, D P Vidyarthi Evolutionary Computation and Its Applications: A Survey, Information Engineering Letters, , , pp. 1-10, 2012. Impact Factor : NA
- Manish Gaur and Rama Kant, Article: DRwp F : A Fault Tolerant Distributed Routing Calculi, International Journal of Computer Applications , , , pp. 40(7):1-7, 2012. DOI : 10.5120/4973-7239
- Girish Chandra, Divakar Yadav
Verification of Money Atomicity in Digital Cash Based Payment System
, Information Systems Security, , , pp. 249-264, 2012. - Girish Chandra, Divakar Yadav
Analyzing Data Flow in Trustworthy Electronic Payment Systems Using Event-B
, Data Engineering and Management, , , pp. 325-332, 2012. - Raghuraj Suryavanshi, Divakar Yadav Formal Development of Byzantine Immune Total Order Broadcast System Using Event-B, Data Engineering and Management , , , pp. 317-324, 2012.
- Raghuraj Suryavanshi, Divakar Yadav Rigorous Design of Lazy Replication System Using Event-B, Contemporary Computing, , , pp. 407-418, 2012.
- Yogendra Narain Singh, S K Singh and Phalguni Gupta Fusion of electrocardiogram with unobtrusive biometrics: An efficient individual authentication system, Pattern Recognition Letters, , vol. 3314, pp. 1932-1941, 2012. DOI : https://doi.org/10.1016/j.patrec.2012.03.010
- Yogendra Narain Singh, S K Singh and A K Ray Bioelectrical Signals as Emerging Biometrics: Issues and Challenges, ISRN Signal Processing, , vol. 2012, pp. 1-6, 2012. DOI : doi:10.5402/2012/712032
- Yogendra Narain Singh, and S K Singh Evaluation of Electrocardiogram for Biometric Authentication, Journal of Information Security, , vol. 31, pp. 39-48, 2012. DOI : 10.4236/jis.2012.31005
- Yogendra Narain Singh, and S K Singh Human Identification Using Heartbeat Interval Features and ECG Morphology, In: Bansal, J., Singh, P., Deep, K., Pant, M., Nagar, A. eds Proceedings of Seventh International Conference on Bio-Inspired Computing: Theories and Applications BIC-TA 2012, , vol. 201, pp. 87-98, 2012. DOI : https://doi.org/10.1007/978-81-322-1038-2_8
- Yogendra Narain Singh, and S K Singh Challenges of Biometrics: Evaluation of System Attacks and Defences, Journal of Information Assurance & Security, , vol. 74, pp. 207-221, 2012.
- Aditi sharma, Personalised information access based on ontology and collaborative filtering, International Journal of Engineering Research and Technology, , 1, pp. 1-8, 2012.
- Aditi sharma, Design and implementation of Personalised Information Retrieval Using User Profile and Ontology, International Journal of Scientific and Engineering Research, , vol. 3, pp. 1-6, 2012.
2011
- Manish Gaur, Formal methods in adoption of industrial automation, In Proceedings of the Seminar on Challenges in Adoption of Industrial Automation in Indian Perspective, , , , 2011.
- Raghuraj Suryavanshi, Divakar Yadav Rigorous Design of Partition-Aware Total Order Broadcast System using Event-B, International Journal of Computer Applications, , , , 2011. DOI : 10.5120/3123-4297
- Yogendra Narain Singh, and Phalguni Gupta Correlation-based classification of heartbeats for individual identification, Journal of Soft Computing, , vol. 2011, pp. 449-460, 2011. DOI : https://doi.org/10.1007/s00500-009-0525-y
- Yogendra Narain Singh, and S K Singh Vitality detection from biometrics: State-of-the-art, 2011 World Congress on Information and Communication Technologies, , vol. 2011, pp. 106-111, 2011. DOI : 10.1109/WICT.2011.6141226
- Yogendra Narain Singh, Challenges of Unique ID Environment, In: Proc. UID 2011, National conference, Impact of Aadhar unique Id in Governance , Social & Technological- Issues & Challenges , , vol. 2011, pp. 51-58, 2011.
- Yogendra Narain Singh, and S K Singh The State of Information Security, In: Proc. National Conference on Artificial Intelligence and Agents: Theory and Applications AIATA-2011, , vol. 2011, pp. 1-10, 2011.
2010
- Pillai samaya, Bhattacharjee Siddharth Nagar Abhishek Nagar Abhishek. Pillai Samaya, Bhattacharjee Siddharth Virtualization : A step towards Green IT, GIT2010 Green IT & Open Source, , , pp. pg 16-19, 2010.
2009
- Matthew Hennessy & Manish Gaur, Counting the cost in the picalculus (extended abstract), Electronic Notes of Theoretical Computer Science, , , pp. 229(3)117-129, 2009. DOI : https://doi.org/10.1016/j.entcs.2009.06.042
- J Pandey, S Joshi D S Yadav ANN Based Crop Yield Forecasting Model Using Remote Sensing and Surface Parameters, International journal of Emerging Technologies and Applications in Engineering, Technology and Sciences, , , pp. 724-727, 2009.
- Divakar Yadav, Michael Butler Verification of Liveness Properties in Distributed Systems, Contemporary Computing, , , pp. 625-636, 2009.
- Divakar Yadav, Michael Butler Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B, Method, Models and Tool for Fault-Tolerance, , , pp. 152-176, 2009.
- Yogendra Narain Singh, and Phalguni Gupta Biometrics Method for Human Identification Using Electrocardiogram, In: Tistarelli, M., Nixon, M.S. eds Advances in Biometrics. ICB 2009, , vol. 5558, pp. 1270–1279, 2009. DOI : https://doi.org/10.1007/978-3-642-01793-3_128
- Yogendra Narain Singh , and Phalguni Gupta A robust delineation approach of electrocardiographic P waves, In: Proc. IEEE Symposium on Industrial Electronics & Applications ISIEA 2009, , vol. 2209, pp. 846-849, 2009. DOI : 10.1109/ISIEA.2009.5356341
- Yogendra Narain Singh , and Phalguni Gupta An Efficient and Robust Technique of T Wave Delineation in Electrocardiogram., In: Proc. Second International Conference on Bio-inspired Systems and Signal Processing BIOSIGNALS 2009 , , vol. 2009, pp. 146 -154, 2009.
2008
- Manish Gaur, A routing calculus for distributed computing (extended abstract), Bulletin of the European Association for Theoretical Computer Science , , , pp. 95, 2008.
- Manish Gaur, A routing calculus for distributed computing, Formal Methods 2008, , , pp. Vol 28, 23-32, 2008.
- Yogendra Narain Singh, and Phalguni Gupta ECG to Individual Identification, In. Proc. IEEE 2nd International Conference on Biometrics: Theory, Applications and Systems BTAS 2008, , vol. 2008, pp. 1-8, 2008. DOI : 10.1109/BTAS.2008.4699343
2007
- Michael Butler, Divakar Yadav An incremental development of the Mondex system in Event-B, Formal Aspects of Computing, , , pp. 61–77, 2007. DOI : https://doi.org/10.1007/s00165-007-0061-4
- P Kangsabanik, D S Yadav R Mall A K Majumdar Performance analysis of long-lived cooperative transactions in active DBMS, Data and Knowledge Engineering , , , pp. 547–577, 2007. DOI : https://doi.org/10.1016/j.datak.2006.11.001
- Divakar Yadav, Michael Butler Rigorous Design of Fault-tolerant Transactions for Replicated Databases, Final Report on Methodology, European Union IST project 511599, RODIN, , , pp. 31-33, 2007.
- Divakar Yadav, Michael Butler Formal Specifications and Verification of Message Ordering Properties in a Broadcasting System using Event B, Technical Report, , , , 2007.