This page has only limited features, please log in for full access.

Unclaimed
Shakoor Muhammad
Department of Mathematics Abdul Wali Khan University Mardan Khyber Pakhtunkhwa Pakistan

Basic Info

Basic Info is private.

Honors and Awards

The user has no records in this section


Career Timeline

The user has no records in this section.


Short Biography

The user biography is not available.
Following
Followers
Co Authors
The list of users this user is following is empty.
Following: 0 users

Feed

Research article
Published: 12 January 2021 in International Journal of Intelligent Systems
Reads 0
Downloads 0

Pipes have been using for different construction purposes, such as tube wells, oil wells, gas wells, and other sanitary purposes. These pipes have different sizes that can be used according to the need. In a particular construction, most of them can be used but some of them are left unused, which are known as leftovers. There are some usable leftovers (standards), whereas others are nonusable (nonstandards) leftovers. These leftovers could be difficult to manage to know which of them could be reused. The reuse of such leftovers become difficult for the construction companies to use them properly. On the other hand, these leftovers would be useful for other construction purposes rather than throw them into the bin. In this paper, we have presented a model and used a heuristic approach to make sure that the leftovers after different constructions could be reused according to the given demand. For this purpose, a genetic‐based decision support system is applied to validate the solution feasibility of the problem. Experimental results validate the effectiveness of this novel proposed model by numerical experiments, and the leftovers are minimized up to a high extent.

ACS Style

Raiz Ali; Shakoor Muhammad; Ricardo H. C. Takahashi. Decision making viva genetic algorithm for the utilization of leftovers. International Journal of Intelligent Systems 2021, 36, 1746 -1769.

AMA Style

Raiz Ali, Shakoor Muhammad, Ricardo H. C. Takahashi. Decision making viva genetic algorithm for the utilization of leftovers. International Journal of Intelligent Systems. 2021; 36 (4):1746-1769.

Chicago/Turabian Style

Raiz Ali; Shakoor Muhammad; Ricardo H. C. Takahashi. 2021. "Decision making viva genetic algorithm for the utilization of leftovers." International Journal of Intelligent Systems 36, no. 4: 1746-1769.

Journal article
Published: 26 August 2020 in Sustainability
Reads 0
Downloads 0

Blockchain and IoT are being deployed at a large scale in various fields including healthcare for applications such as secure storage, transactions, and process automation. IoT devices are resource-constrained, have no capability of security and self-protection, and can easily be hacked or compromised. Furthermore, Blockchain is an emerging technology with immutability features which provide secure management, authentication, and guaranteed access control to IoT devices. IoT is a cloud-based internet service in which processing and collection of user’s data are accomplished remotely. Smart healthcare also requires the facility to provide the diagnosis of patients located remotely. The smart health framework faces critical issues such as data security, costs, memory, scalability, trust, and transparency between different platforms. Therefore, it is important to handle data integrity and privacy as the user’s authenticity is in question due to an open internet environment. Several techniques are available that primarily focus on resolving security issues i.e., forgery, timing, denial of service and stolen smartcard attacks, etc. Blockchain technology follows the rules of absolute privacy to identify the users associated with transactions. The motivation behind the use of Blockchain in health informatics is the removal of the centralized third party, immutability, improved data sharing, enhanced security, and reduced overhead costs in distributed applications. Healthcare informatics has some specific requirements associated with the security and privacy along with the additional legal requirements. This paper presents a novel authentication and authorization framework for Blockchain-enabled IoT networks using a probabilistic model. The proposed framework makes use of random numbers in the authentication process which is further connected through joint conditional probability. Hence, it establishes a secure connection among IoT devices for further data acquisition. The proposed model is validated and evaluated through extensive simulations using the AVISPA tool and the Cooja simulator, respectively. Experimental results analyses show that the proposed framework provides robust mutual authenticity, enhanced access control, and lowers both the communication and computational overhead cost as compared to others.

ACS Style

Muhammad Tahir; Muhammad Sardaraz; Shakoor Muhammad; Muhammad Saud Khan. A Lightweight Authentication and Authorization Framework for Blockchain-Enabled IoT Network in Health-Informatics. Sustainability 2020, 12, 6960 .

AMA Style

Muhammad Tahir, Muhammad Sardaraz, Shakoor Muhammad, Muhammad Saud Khan. A Lightweight Authentication and Authorization Framework for Blockchain-Enabled IoT Network in Health-Informatics. Sustainability. 2020; 12 (17):6960.

Chicago/Turabian Style

Muhammad Tahir; Muhammad Sardaraz; Shakoor Muhammad; Muhammad Saud Khan. 2020. "A Lightweight Authentication and Authorization Framework for Blockchain-Enabled IoT Network in Health-Informatics." Sustainability 12, no. 17: 6960.

Journal article
Published: 01 May 2016 in Operations Research Letters
Reads 0
Downloads 0

This paper proposes a new necessary condition for the infeasibility of nonlinear optimization problems, that becomes also sufficient under a convexity assumption, which is stated as a Pareto-criticality condition of an auxiliary multi-objective optimization problem. This condition is evaluated in a search that either leads to a feasible point or to a point at which the infeasibility conditions hold. The resulting infeasibility certificate has global validity in convex problems and has at least a local meaning in generic nonlinear problems.

ACS Style

Shakoor Muhammad; Vitor N. Coelho; Frederico Gadelha Guimarães; Ricardo H.C. Takahashi. An infeasibility certificate for nonlinear programming based on Pareto criticality condition. Operations Research Letters 2016, 44, 302 -306.

AMA Style

Shakoor Muhammad, Vitor N. Coelho, Frederico Gadelha Guimarães, Ricardo H.C. Takahashi. An infeasibility certificate for nonlinear programming based on Pareto criticality condition. Operations Research Letters. 2016; 44 (3):302-306.

Chicago/Turabian Style

Shakoor Muhammad; Vitor N. Coelho; Frederico Gadelha Guimarães; Ricardo H.C. Takahashi. 2016. "An infeasibility certificate for nonlinear programming based on Pareto criticality condition." Operations Research Letters 44, no. 3: 302-306.