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 Title: 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.  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.
 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.
 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.
 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.
 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.
 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.
 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.
 Assistant Professor Institute of Mathematics & Computer Science (IMCS) University of Sindh, Jamshoro, Pakistan Title: 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.
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.
 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.
 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.
Assistant Professor CSIT, University of Balochistan
Quetta, PakistanTitle: 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:   |