Search Results

Journal:, 2017, Volume , Issue No

Author(s): Shabana Naveed, Dr. Yaamina Salman, Prof. Dr. Muhammad Zafar Iqbal Jadoon, Prof. Dr. Nasira Jabeen, Naveed Saeed Rana

Keyword(s): Institutional logics, state enterprises, HR practices, symbolic compliance

Journal:Pakistan Journal of Meteorology, 2015, Volume 11, Issue No 22

Author(s): Oundo, K. A, V. Ongoma

Keyword(s): Fog, Stratus, TAF, Satellite, METAR

Journal:Pakistan Journal of Engineering & Applied Sciences, 2018, Volume 23, Issue No 2

Author(s): Manuel S. Alvarez-Alvarado, Zafar A. Khan, Anzar Mahmood, Angel A. Recalde, Fernando Vaca-Urbano

Keyword(s): AC railway system, autotransformer, Carson’s Line, grounding points, mathematical model, power flow

Journal:Pakistan Journal of Agriculture, Agricultural Engineering and Veterinary Sciences (PJAAEVS), 2018, Volume 34, Issue No 2

Author(s): M. B. Peerzado, H. Magsi, T. Mangan, M. H. Lakho, M. J. Sheikh

Keyword(s): agricultural land conversion, Causes, impacts and conflicts, economic analysis

Journal:NUST Journal of Engineering Sciences, 2016, Volume 9, Issue No 2

Author(s): Osama Faridoon, Abdul Ghafoor

Keyword(s): NFC, Authentication, certificate, confidentiality, mobile transactions security

Journal:Journal of Quality & Technology Management, 2017, Volume 14, Issue No 2

Author(s): W.U. Rehman, N. Asghar, K.B. Dost, M. Nadeem

Keyword(s): Normative Commitment, Knowledge Sharing, Knowledge Sharing Cost

Journal:Journal of Quality & Technology Management, 2018, Volume 15, Issue No 1

Author(s): M. Shafiq, F. Lasrado, A. Islam

Keyword(s): Services quality, Performance measures, Higher educational institutions, Quality management, Quality education, Pakistan

Journal:Journal of Information Communication Technologies and Robotic Applications (JICTRA), 2017, Volume 8, Issue No 2

Author(s): Nadeem Akhtar, Malik M. Saad Missen, Dost Muhammad Khan

Keyword(s): Multi-Agent System, Location Guidance, Formal verifications, Architecture specifications, Correctness, Architecture Description Languages (ADLs), Finite State Process (FSP), Labelled Transition System (LTS), Labelled Transition System Analyzer (LTSA)

Journal:Journal of Information Communication Technologies and Robotic Applications (JICTRA), 2018, Volume 9, Issue No 1

Author(s): Nadeem Akhtar, Abdul Rehman, Dost Muhammad Khan

Keyword(s): Flood monitoring, Formal modeling, Formal verification, Safety property, Liveness property, Coloured Petri Nets (CPNs), Event-B, RODIN

Journal:Journal of Engineering and Applied Sciences (JEAS), 2017, Volume 34, Issue No 2

Author(s): Farid Ullah Khan, Adeel Ahmed, Uzair Khan Jadoon, Fahim Haider

Keyword(s): Floating; Hydel; Modeling; Power generation; Run of the river; Simulation; Waterwheel