Thesis: Recent submissions

Now showing items 301-320 of 706

Petri Nets Based Formal Modeling and Verification of Concurrent Systems

Fakhir, Muhammad Ilyas (Government College University, Lahore, 2019)

The assurance of required quality properties is one of the major challenge in Self- Adaptive Systems (SAS). Self-adaptive systems have the capability to adapt their dynamic behavior autonomously at runtime due to uncertain ...
Developing an Information and Communcation Technology's Acceptance Model in the Context of Social Environment and Measuring the Performance Using Fuzzy Models

Ali, Syed Asim (University of Karachi, Karachi., 2017)

Despite significant investments in information technology in developing nations like Pakistan over recent decades, concern still exists over the extent to which such expenditures have produced the intended benefits. At ...
Formal Modelling and Analysis of the role of Hexosamine Biosynthetic Pathway in Cancer: Exploiting Parallelism in Qualitative Biological Regulatory Networks

Saeed, Muhammad Tariq (National University of Science & Technology, Islamabad, 2018)

Background: Cancer is one of the leading causes of death worldwide. With advancements in high throughput technologies and availability of data on gene regulations, knowledge about progression of cancer has improved and ...
Phosphorus Utilization from Rock Phosphate by Maize (Zea mays L.) Through Integrated Organic Manures

Sabah, Noor-us- (University of Sargodha, Sargodha., 2018)

Pakistan is a subtropical, semiarid country of 79.61 M ha area, which relies heavily on agricultural production to supply food for its rapidly increasing population of over 135 million. The country is divided into four ...
Histopathology Image Based Breast Cancer Analysis Using Deep Neural Networks

Wahab, Noorul (Pakistan Institute of Engineering & Applied Sciences, Islamabad., 2018)

Mitotic count is an important feature for breast cancer diagnosis but their striking resemblance with non-mitotic gures, no proper shape, and scarce number makes their detection a laborious and challenging task. This ...
Post harvest storage stability of kinnow mandarin through applications of silver nanoparticles based coatings

Shah, Syed Wasim Ahmad (University of Haripur, Hazara, 2017)

Influence of carboxy methyl cellulose (CMC) and guar gum based silver nanoparticles containing coatings was studied on the postharvest storage stability of kinnow mandarin (Citrus reticulata cv. Blanco) stored at 4 oC ...
Behavior driven host based insider threats detection of Misuse of information for Windows Environment.

, Maaz bin Ahmad (University of Engineering and Technology, Taxila, 2015)

With the evolution of information technology in the corporate sector, the working paradigm shifted from manual to automated. On one side, it has leveraged human efforts of managing and maintaining the document files ...
Energy Efficient Adaptive Data Aggregation in cluster Based Wireless Sensor Network

Enam, Rabia Noor (Sir Syed University of Engineering & Technology, Karachi, 2015)

The world in future will consist of smart environments that would primarily rely on sensory data from real world. Therefore, requirement of large scale Wireless Sensor Networks (WSNs) is inevitable in future. WSNs are ...
Automated Test Data Generation for Model Transformation Testing

Jilani, Atif Aftab Ahmed (National University of Computer and Emerging Sciences, Islamabad, 2018)

Models and their automated transformations play a critical role in Model Driven Engineering (MDE). A significant challenge in testing model transformations is the automated generation of input test models. This involves ...
A Product-line Model-driven Engineering Approach for Mobile Applications' Generation and Performance Testing

Usman, Muhammad (National University of Computer and Emerging Sciences, Islamabad, 2019)

Mobile application development is emerging as one of the focused areas in the software industry due to the exponential growth of mobile users and applications. The mobile market is highly competitive and the applications ...
Study of Morphological Changes in Braided River Reach

Ashraf, Muhammad (University of Engineering & Technology, Lahore., 2017)

Temporal variability of flows and sediments and bank erosion is fundamental to understand river dynamics. The temporal variability of sediment load and effective discharge class is one of essential information which is ...
Novel Particle Swarm Optimization Algorithm for Multimodal Optimization Problems by Enhancing the Robustness and Diversity

Mehmood, Yasir (National University of Computer and Emerging Sciences Islamabad, 2018)

Particle Swarm Optimization (PSO) is a Swarm Intelligence (SI) based algorithm developed by Kennedy and Eberhart in 1995. PSO was initially designed for locating single peak and became popular for solving global optimization ...
Rician Noise Removal in MR Images

Sharif, Muhammad (National University of Computer and Emerging Sciences Islamabad, 2019)

This research work addresses a major denoising problem in Magnetic Resonance (MR) Images. Magnetic Resonance Imaging (MRI) is a powerful and e ective di- agnostic tool in basic research, clinical investigation, and disease ...
Parallel Numerical Solution of Partial Differential Equations

Akhtar, Muhammad Naveed (Pakistan Institute of Engineering & Applied Sciences, Islamabad., 2018)

Simulation of scientific problems is an important aspect of natural and engineering sciences. Simulations demanding higher accuracy or involving larger data sets require higher computing power. Complex mathematical models ...
Disambiguating Authors in Bibliographic Databases

Shoaib, Muhammad (International Islamic University, Islamabad., 2016)

Author name disambiguation in bibliographic databases such as DBLP1, Citeseer2, and Scopus3 is a specialized problem of entity resolution. In the literature, different approaches have been proposed and most of them base ...
Effect of organic amendments at optimum irrigation level on maize yield, soil carbon dynamics and soil physical health

Shahzad, Haroon (University of Agriculture, Faisalabad, 2018)

Aridity, brackish water, low organic matter, poor soil structure and intensive cropping are main challenges of Pakistan’s agriculture. Sustained soil quality and productivity are needed to feed the growing population that ...
Studies on the Control of Postharvest Fungal Diseases in Some Fruits and Vegetables

, Habiba (University of Karachi, Karachi, 2017)

Postharvest losses of fruits and vegetables reached very high value representing more than 25% of the total production in developed countries and more than 50% in developing countries. Postharvest losses have not received ...
Investigating Machine Learning Based Prediction of Protein Interactions

Abbasi, Wajid Arshad (Pakistan Institute of Engineering & Applied Sciences, Islamabad., 2019)

Protein interactions are crucial in the cell for performing cellular functions and the study of protein interactions is a very important domain of research in bioinformatics. In reference to protein interactions, biologists ...
Blind-Friendly Universal User Interfaces: Towards The Design of Adaptive User Interfaces for Blind People

Khan, Muhammad Akif (University of Peshawar, Peshawar., 2018)

Worldwide 39 million people are blind, and the number of people that could be blind is predicted to be 79 million in 2020. The loss of vision puts a limitation on a blind person to perform daily activities smoothly, which ...
Adaptive High Throughput CDMA-based Wideband Wavefrom with Robust Timing and Frequency Synchronization for SDR-based Tactical Networks

Zeeshan, Muhammad (National University of Science & Technology, Islamabad, 2015)

Now showing items 301-320 of 706

Search DSpace

Advanced Search

Browse

All of DSpace
This Collection
- By Issue Date
- Authors
- Titles
- Subjects

Recently added

Thesis: Recent submissions

Search DSpace

Browse

All of DSpace

This Collection

My Account