Search Results

Search Results for: Nadeem

Results: 100-110 of 118

C in CS1: Snags and Viable Solution

Journal:Mehran University Research Journal of Engineering and Technology, 2018, Volume 37, Issue No 1

Author(s): Shumail Naveed, Muhammad Sarim, Adnan Nadeem

Keyword(s): Introductory Programming Courses, Doodles, Pre-Programming, Teaching Methodology, Pair Programming.

Human Computations in Citizen Crowds: A Knowledge Management Solution Framework

Journal:Mehran University Research Journal of Engineering and Technology, 2018, Volume 37, Issue No 3

Author(s): Nadeem Kafi, Zubair Ahmed Shaikh, Muhammad Shahid Shaikh

Keyword(s): knowledge management, Crowdsourcing, Human Computations, Volunteer Computing, Social Computing.

Power Flow and Transient Stability Enhancement using Thyristor Controlled Series Compensation

Journal:Mehran University Research Journal of Engineering and Technology, 2018, Volume 37, Issue No 4

Author(s): Zaira Anwar, Tahir Nadeem Malik, Tahir Abbas

Keyword(s): Transmission Lines Congestion, Renewable energy, Thyristor Controlled Series Compensation, Power System Simulator for Engineers, National Transmission and Dispatch Company, Dynamic Simulations, FORTRAN

Automatic Target Detection in Satellite Images using Deep Learning

Journal:Journal of Space Technology, 2017, Volume 17, Issue No 1

Author(s): Muhammad Jaleed Khan, Adeel Yousaf, Nizwa Javed, Shifa Nadeem, Khurram Khurshid

Keyword(s): Convolutional Neural Networks, Deep Learning, EdgeBoxes, Satellite Images, Target Detection

SORTING OUT SYNERGY AMONG INEQUALITY, REDISTRIBUTION AND ECONOMIC GROWTH: RECENT EVIDENCE FROM SELECTED ASIAN COUNTRIES

Journal:Journal of Quality & Technology Management, 2016, Volume 12, Issue No 1

Author(s): N. Asghar, H. Rehman, M. Nadeem

Keyword(s): Inequality, Redistribution, Economic growth, Seemingly unrelated regression, Asia

IDENTIFICATION & MITIGATION OF FACTORS IMPEDING EFFECTIVE COMPLETION OF ORIGINAL EQUIPMENT MANUFACTURER (OEM) INTENSIVE CAPITAL PROJECTS - A STUDY OF SPECIFIC PUBLIC SECTOR IN PAKISTAN

Journal:Journal of Quality & Technology Management, 2016, Volume 12, Issue No 1

Author(s): I. Muhammad, K. Nadeem, A. Ali

Keyword(s): Supply chain management (SCM), Obsolescence, Capital projects, Mitigation, Acquisition, Inter-dependencies

IMPACT OF FACTORS IMPEDING ORIGINAL EQUIPMENT MANUFACTURER (OEM) INTENSIVE CAPITAL PROJECTS

Journal:Journal of Quality & Technology Management, 2016, Volume 12, Issue No 2

Author(s): I. Muhammad, K. Nadeem, N. Zaheer, A. Bilal, A. Ali

Keyword(s): Supply chain management (SCM), Obsolescence, Capital projects, Mitigation, Acquisition, Inter-dependencies

NORMATIVE COMMITMENT AND KNOWLEDGE SHARING; INFLUENCE OF COGNITION BASED TRUST AND PERCEIVED COST OF KNOWLEDGE SHARING

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

Formal Validation of an Agent-based Location Guidance System (LGS)

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)

Formal Verification of Safety and Liveness Properties using Coloured Petri-Nets: A Flood Monitoring, Warning, and Rescue System

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

Results: 100-110 of 118

Category

Year

Journal

Close