The 1st National Conference on Mathematics and Computer Science (NCMCS'15) is going to be organized by the Faculty of Science on 21-23 January 2015 at Quaid-e-Awam University of Engineering, Science and Technology, Nawabshah. The conference is expected to provide an excellent forum for sharing knowledge and results in theory, methodology and applications in the fields of Mathematics and Computer Science. The conference encourages innovative research contributions covering theoretical and practical aspects. Among others, the key goal of the conference is to provide a platform to researchers and practitioners from both academia as well as industry to meet and share cutting-edge development in the fields of Mathematics and Computer Science.

Keynote Speakers:

Prof. Dr. Taswar Hayat
Chairman, Department of Mathematics,
Quaid-e-Azam University, Islamabad, Pakistan

Peristalsis with Rheological and Magnetic Field Effects

Abstract: The peristaltic transport of non-Newtonian fluid in the presence of an applied magnetic field will be addressed. Flow equations for generalized second order fluid will be considered. Flow configuration will be taken asymmetric. Lubrication approach will be adopted for the solutions of the resulting differential systems. Numerical simulation will be carried out for the nonlinear systems.  Axial velocity, stream function and axial pressure gradient will be examined. Pumping and trapping will be analyzed in detail.

Prof. Dr. S. M. Aqil Burney
Institute of Business Management (IoBM),
Karachi, Pakistan

Title: Reasoning Paradigms for Developing Intelligent Systems in Science and Engineering

Abstract: Various reasoning paradigms for reasoning for developing intelligent systems will be reviewed in the context of subjective and objective reasoning, such as digital/Propositional logics, probabilistic reasoning, statistical reasoning, neural-fuzzy logic, rough sets, fuzzy rough sets with applications in especially time series modeling, risk theory and actuarial science, image analysis, software engineering, and in e-patient data management systems. Fuzzy stochastic processes/probabilities will be briefly discussed. Recently published work will also be reviewed.

Prof. Dr. Mukhtiar Ali Unar
Director IICT and Chairman, Department of Computer Systems Engineering,
Mehran University of Engineering and Technology,
Jamshoro, Sindh, Pakistan

Title: Design of Heading Controller for cargo Ship Using Feedforward Artificial Neural Network

Abstract: For successful design and development in marine engineering systems, computer analysis and simulation is considered as an important tool. Ship motion is highly nonlinear and complex controlled process with several hydrodynamic parameters. Therefore to control the ship effectively in a desired course is always an important task for ship designers. In this paper, the application of artificial neural network (ANN) is investigated in order to design an autopilot for controlling the heading angle of a cargo ship. Feed forward multilayered architecture of ANN is used because of layered architecture. It is easy to design and can control nonlinear systems efficiently. Efficiency of proposed autopilot controller is studied and compared with sliding mode controller. Simulation carried out in MATLAB environment using cargo ship model in ideal condition (with no environmental disturbances). This study demonstrates that proposed autopilot system can efficiently be used to control the heading of a ship in all operating conditions.

Prof. Dr. Ghulam Shabbir
Faculty of Engineering Sciences,
GIK Institute of Engineering, Sciences and Technology,
Topi, Swabi, Pakistan

Title: Projective Symmetry in Space Times

Abstract: A study of proper projective symmetry in space-times is given using direct integration and algebraic techniques. We will discuss when the space-times will admit proper projective symmetry.

Prof. Dr. Ahsanullah Baloch
Departement of Computer Science,
Isra University, Hyderabad, Sindh, Pakistan 

Title: Complex Flows of Non-Newtonian Fluids in the Presence of Porous Material

Abstract: The Commercial Ansys Fluent Software is used for the Stead–State solution of Incompressible laminar flow of Non-Newtonian fluid over a wide range of rheological behaviours through 4:1 symmetric and axisymmetric expansion and contraction channels by using Finite Volume Technique. The velocity streamline contours and recirculation flow rate through two–dimension are displayed to observe the effect of fluid inertia at different value. Furthermore, the vortex size and intensity is increased and decreased in a salient corner due to increasing Fluid inertia through expansion and contraction duct. When the ducts filled with porous material, the vortex size and intensity remains steady.

Prof. Dr. Faqir Muhammad Bhatti
Scientific Director
Centre for Advanced Studies in Mathematics(CASM)
SBA School of Science and Engineering
Lahore Univ. of Management Sciences(LUMS)
DHA, Lahore. Pakistan

Title: Spectra and Energy of He-Matrix for Inner Dual Graphs of Honeycomb graphs

Abstract: We consider planar honeycomb graphs which consist of equal regular hexagons. Using the concept of He-matrix corresponding to finite inner dual graph of honeycomb graph, various properties of spectrum will be presented which include lower and upper bounds for Eigenvalues and  the effects of rotations and reflections of graphs.

The energy of finite graph is defined as the sum of all the absolute values of eigenvalues of the matrix associated with the graph and it is related to the total π-electron energy in a molecule represented by a (molecular) graph. We also present some results on energy and  the effects of rotations and reflections of graphs and also give the concept of ‘Total Angular Energy’.  The main focus of the presentation is to highlight the relationship between the eigenvalues and   energy of inner dual graphs and also the various effects of pairs of pendant vertices, concatenation, coalescence on energy of the graphs.

Dr. Muhammad Mohsin Nazir
Associate Professor
Department of Computer Science
G.C University Lahore, Pakistan

Title:  Future of Smart Grid in Pakistan: A Solution for Energy Crisis in Developing Nations

Abstract: Existing electrical grids in Pakistan and developing countries are inherently unreliable, complex, and unsecured. This centuries old system cannot accomplish the demand of growing future. Power sector is viewed globally as critical service industry. Due to continuous increase of population, this obsolete system suffers from many problems. One major problem is the limited storage capacity along with higher demand than supply. To solve such kind of problems with existing power grid, quantum leap is required at government policy level. This dive toward a new efficient technology, incorporating intelligence in existing power grid and is called smart grid. Central to the implementation of smart grid is the development of smart appliances that will allow autonomous software agents working as consumers to optimize the use of smart devices while interacting with the smart agents at power generating units. The electricity consumers become smarter by advent of new agent based intelligent devices. The formation of such networked system makes complex environment where heterogeneous devices work together to provide smart services. With the advent of new tool and technologies in developed countries, the need for efficient electricity consumption management techniques with minimum user interaction turned into reality. This talk will outline the incorporation of smartness in existing power grids especially in developing countries along with a case study on Pakistan power sector, to solve the existing energy crisis.

Dr. Muhammad Wasim Ashraf
Assistant Professor
Department of Electronics
G.C University Lahore, Pakistan

Title: Design and Simulation of MEMS Based Integrated Transdermal Drug Delivery System

Abstract: Micro and nano electromechanical system (MEMS and NEMS) based microfluidic devices are gaining popularity from last few years in biomedicine because of small size, light weight, low cost, ease of fabrication, accuracy, high efficiency and more reliability.  Due to these attributes, MEMS and NEMS devices have unobtrusively and efficiently made their way into our daily lives. Appliances, automotives, electronic instrumentation, telecommunications, aeroscope, sensors technology, inkjet printing technology, office equipments, industrial process control, micro and nano fluidics devices, medical devices and system are few examples. Micro and nanofluidic systems deal with the fluid flow in diminutive amounts typically few microlitres (μL) to nanoliters (nL) in a miniaturized system. Micro and nanofluidic devices are promising to meet the critical medical needs such as site specific drug delivery, reduced side effects, increased bioavailability and therapeutic effectiveness. Transdermal drug delivery (TDD) is an attractive way to transfer the pharmaceutical compound by reducing pain, gastrointestinal absorption, liver metabolism, gastrointestinal and degradation. TDD system consists of micropumps, microneedles, drug reservoir, flow sensors, blood pressure sensors and electronic module. Microneedles and micropumps are two major and essential components of TDD system. Microneedles are used as an interface to transport the drug from reservoir to patient body. Microneedles can be categorized according to their structure, fabrication process, materials, overall shape, tip shape, size and applications. Micropumps are used to facilitate the actuation mechanism for drug transportation. The important features of micropumps are working principles, actuation methods, construction, performance parameters and applications. Microneedles and micropumps are integrated to form TDD system. Using ANSYS, structural and multiphysics analyses have been conducted before the fabrication process of microneedles to test the design suitability for TDD. Simulation shows that the proposed design of microneedles is suitable for TDD.

Dr. Yasir Arfat Malkani
Assistant Professor
Institute of Mathematics & Computer Science (IMCS)
University of Sindh, Jamshoro, Pakistan

Pervasive Computing: Trends and Issues

Abstract: In 1991, Mark Weiser in his seminal paper gave the vision of ubiquitous computing – now known as Pervasive Computing. Weiser anticipated that computing would no longer be confined to desktops, but become ubiquitous and invisible to the user. Pervasive Computing environments are becoming popular and a common-place nowadays. In Pervasive Computing, computing devices are spread around us, whereby they are interconnected with each other through either wireless or wired connectivity. They do not require continuous attention from the users in order to perform tasks as they are seamlessly integrated into the background. The domain of Pervasive Computing is vast; especially it covers the areas of mobile ad hoc networks, sensor networks, context-aware systems and smart environments. The focus of this talk is to give audience/attendees an understanding of the Pervasive Computing environments and to discuss contemporary research trends and issues/challenges in the domain of Pervasive Computing.

Dr. Qurat ul Ain Nizamani
Assistant Professor
Institute of Mathematics & Computer Science (IMCS)
University of Sindh, Jamshoro, Pakistan

Title: Directed Model-Checking for Security Protocols

Abstract: Model checking, a widely used verification technique, suffers from the state space explosion problem.  More recently, the problem has been addressed using directed model checking.  However, the directed model checking approaches have been studied in general and their efficacy for security protocol verification has not been tested extensively.  This talk promotes the use of directed model checking for security protocol verification. In particular, I will talk about designing heuristics that can reduce the overall size of the state space in model checking security protocols. I will present a property-specific heuristic that derive its hints from the security property to be verified and assign weights to states according to their possibility of leading to an attack. The heuristic has been integrated into an existing tool ASPASyA. The new tool called H-ASPASyA is tested against a few protocols to gauge the performance of the heuristic. The results demonstrate the efficiency of such approach.

Dr. Zarqa Bano
Assistant Professor
Institute of Business Administration (AIBA)
Sukkur, Sindh, Pakistan

Title: On creeping flow of second grade fluid through channel of varying width

Abstract: Steady creeping flow of an incompressible second grade fluid in channel of varying width is investigated under different boundary conditions. Three different approximations based on three geometrical configurations; namely negligible wall slope, negligible curvature and expansion in power series in terms of wall slope, are considered as a solution technique.These approximations provide an alternative insight besides the conventional methods for solving two dimensional flow problems. The study is supported by applying the results to study the flow through constricted artery having smooth constriction. To understand the flow behavior in constricted artery, resistance to the flow, shear stress at the wall and stress at the constriction height are analyzed for different values of involved physical parameters.

Dr. Junaid Baber
Assistant Professor
CSIT, University of Balochistan
Quetta, Pakistan

Title: Evolution of Image Features for Retrieval

Abstract: Test based search engines are getting famous, fast, and accurate despite the exponential growth in data. There are many search engines like Google, Bing and Yahoo which provides interactive and fast interfaces for searching; these searches are mainly based on text key words and phrases. Now-a-days data and information is transformed in multimedia format such as images and videos. Multimedia contents are used for education, information and entertainment. These data, particularly images, are also increasing exponentially over Internet. People (users) are interested to query the search engine by some visual cues and retrieve the images and videos based on those cues; on the other hand, companies are interested to prevent the illegal distribution of forged and copyrighted images. There is much work reported for retrieval of images specially image copies, but still searching the query image or object is computationally very expensive, inaccurate and impractical like text based searches. Selection of features to represent images is major concern for image search. Global features are fast and compact but lack in robustness and distinctiveness. Whereas, local features are more robust and distinct but computationally very expensive and impractical for searching in large collection of images.

Dr. Waheed Noor
Assistant Professor
CSIT, University of Balochistan
Quetta, Pakistan

Title: Sample Selection Bias: Realizing the Problem often faced by Learning and Statistical Methods

Abstract: In the standard formulation, machine learning and statistical methods, by design, assume that the training and test samples are drawn i.i.d. according to the same probability distribution. This is often known as stationary distribution or no bias assumption that often does not hold in practice and effect the performance of estimators. The training sample available is biased and we are faced with the problem of sample selection bias that may occur due to either not having complete control over the data collection process or the data selection process for underlying model. The sample selection bias occurs in many domains such as econometrics, social science, habitat modeling, direct marketing, credit scoring, predictive optimization and diagnosis modeling. The problem is often not realized by researchers when using these methods. This talk will put light on the problem in principle, its types and corrective techniques that will enable scientists and researchers from different domains when research conclusions rely on the performance of predictive models and statistical methods.

Sponsored By: