Adnan Ahmad
Massey University, Institute of Information and Mathematical Sciences, Graduate Student
- COMSATS Institute of Information Technology Lahore, Computer Science, Faculty Memberadd
- Distributed Computing, Computer Security, Internet & Society, Internet research methods, Anti spam, Semantic Computing, and 12 moreComplex Event Processing, Cloud Computing, VoIP/SIP/IMS, P2P/Overlay Networks, Data Mining, Machine Learning, Distributed Information Systems, Cyber Physical Systems, Smart spaces, RFID and Sensor Networks, Access Control, and Cyber Securityedit
In any educational system, no one can deny the importance of assessments. Assessments help in evaluating the knowledge gained by a learner at any specific point as well as in continuous improvement of the curriculum design and the whole... more
In any educational system, no one can deny the importance of assessments. Assessments help in
evaluating the knowledge gained by a learner at any specific point as well as in continuous
improvement of the curriculum design and the whole learning process. However, with the
increase in students’ enrollment at University level in either conventional or distance education
environment, traditional ways of assessing students’ work are becoming insufficient in terms of
both time and effort. In distance education environment, such assessments become additionally
more challenging in terms of hefty remuneration for hiring large number of tutors. The
availability of automated tools to assist the evaluation of students’ work and providing students
with appropriate and timely feedback can really help in overcoming these problems. Although,
building such tools for assessing students’ work for all kinds of courses in not yet possible.
However, courses that involve some formal language of expression can be automated, such as,
programming courses in Computer Science (CS) discipline.
Learning how to program is the core of CS discipline. It is also becoming an important part even
in various academic disciplines. Programming skills can only be learned through practice.
Instructors provide various practical exercises to students as assignments to build these skills.
Usually, instructors manually grade and provide feedbacks on these assignments. Although in
literature, various tools have been reported to automate this process, but most of these tools
have been developed by the host institutions themselves for their own use. We at COMSATS
Institute of Information Technology, Lahore are conducting a pioneer effort in Pakistan to
automate the marking of assignments of introductory programming courses that involve C or
C++ languages with the capability of associating appropriate feedbacks for students. In this
paper, we basically identify different components that we believe are necessary in building an
effective automated assessment system in the context of introductory programming courses that
involve C/C++ programming. We further provide a survey of existing state of the art tools and
techniques reported in literature for implementing these components. We also discuss those
reported concepts and techniques that can help in making such system reusable with the
capability of sharing its assessment objects in a secured manner.
evaluating the knowledge gained by a learner at any specific point as well as in continuous
improvement of the curriculum design and the whole learning process. However, with the
increase in students’ enrollment at University level in either conventional or distance education
environment, traditional ways of assessing students’ work are becoming insufficient in terms of
both time and effort. In distance education environment, such assessments become additionally
more challenging in terms of hefty remuneration for hiring large number of tutors. The
availability of automated tools to assist the evaluation of students’ work and providing students
with appropriate and timely feedback can really help in overcoming these problems. Although,
building such tools for assessing students’ work for all kinds of courses in not yet possible.
However, courses that involve some formal language of expression can be automated, such as,
programming courses in Computer Science (CS) discipline.
Learning how to program is the core of CS discipline. It is also becoming an important part even
in various academic disciplines. Programming skills can only be learned through practice.
Instructors provide various practical exercises to students as assignments to build these skills.
Usually, instructors manually grade and provide feedbacks on these assignments. Although in
literature, various tools have been reported to automate this process, but most of these tools
have been developed by the host institutions themselves for their own use. We at COMSATS
Institute of Information Technology, Lahore are conducting a pioneer effort in Pakistan to
automate the marking of assignments of introductory programming courses that involve C or
C++ languages with the capability of associating appropriate feedbacks for students. In this
paper, we basically identify different components that we believe are necessary in building an
effective automated assessment system in the context of introductory programming courses that
involve C/C++ programming. We further provide a survey of existing state of the art tools and
techniques reported in literature for implementing these components. We also discuss those
reported concepts and techniques that can help in making such system reusable with the
capability of sharing its assessment objects in a secured manner.
Research Interests:
Ridesharing enables different people to share ride with each other to reach a common destination. It helps the users as individually to save cost, the community as collectively to reduce air pollution and road congestions. Now a day’s... more
Ridesharing enables different people to share ride with each other to reach a common destination. It helps the users as
individually to save cost, the community as collectively to reduce air pollution and road congestions. Now a day’s smart phone
technology has enabled people to share rides on short notices. However, trust is a major apprehension of people while providing
ease in selecting a safe ride and developing acceptable and comfortable environment inside the ride. So, a trust development
mechanism may elevate ride sharing systems as a common transport system which can greatly reduce the road congestion. This
research puts the users as the primary stakeholders and thus encapsulates the human preferences in trust evaluations. It then
formalizes the mathematically traceable concepts through temporal logic where the treatment is formal and based on logics. The
reliability and the trust ranking is done by Chronbach’s alpha and Kruskal-Wallis tests. Overall, the necessity to improve the
trust development in dynamic ride share is the main contribution of this article.
individually to save cost, the community as collectively to reduce air pollution and road congestions. Now a day’s smart phone
technology has enabled people to share rides on short notices. However, trust is a major apprehension of people while providing
ease in selecting a safe ride and developing acceptable and comfortable environment inside the ride. So, a trust development
mechanism may elevate ride sharing systems as a common transport system which can greatly reduce the road congestion. This
research puts the users as the primary stakeholders and thus encapsulates the human preferences in trust evaluations. It then
formalizes the mathematically traceable concepts through temporal logic where the treatment is formal and based on logics. The
reliability and the trust ranking is done by Chronbach’s alpha and Kruskal-Wallis tests. Overall, the necessity to improve the
trust development in dynamic ride share is the main contribution of this article.
Traffic obstruction, elevated gas prices and insufficient communal transportation are foremost confront for any countryside, trade or entity. The conventional loom to solve this problem is to recover public transportation and use greener... more
Traffic obstruction, elevated gas prices and insufficient communal transportation are foremost confront for any
countryside, trade or entity. The conventional loom to solve this problem is to recover public transportation and use
greener power by massive reserves and time. An alternative solution seeks to reduce the number of vehicles on the
roads and to travel by making run time or dynamic plans by ride share systems. This system can lead to less
consumption of currency, fuel and ecological destructions. One problem that is not focused much in the system is social
distress that begins due to deficiency of trust amongst riders and ride givers. In this work we are trying to understand
the perception of trust by a model which identifies user’s preferences, needs, and travelling behaviors for sharing
private vehicles. We formally verified our model and implemented it to reduce three core issues; trust, convenience and
incentives. Implementation of the model is provided as a working application. The model identifies trust and dis-trust
among trustor and trustee by evaluating human based, ride based and system based trust rating in a feedback criteria.
This feedback will help us in identifying trust norms and beliefs to constitute long term societal comfort.
countryside, trade or entity. The conventional loom to solve this problem is to recover public transportation and use
greener power by massive reserves and time. An alternative solution seeks to reduce the number of vehicles on the
roads and to travel by making run time or dynamic plans by ride share systems. This system can lead to less
consumption of currency, fuel and ecological destructions. One problem that is not focused much in the system is social
distress that begins due to deficiency of trust amongst riders and ride givers. In this work we are trying to understand
the perception of trust by a model which identifies user’s preferences, needs, and travelling behaviors for sharing
private vehicles. We formally verified our model and implemented it to reduce three core issues; trust, convenience and
incentives. Implementation of the model is provided as a working application. The model identifies trust and dis-trust
among trustor and trustee by evaluating human based, ride based and system based trust rating in a feedback criteria.
This feedback will help us in identifying trust norms and beliefs to constitute long term societal comfort.
Research Interests:
Research Interests:
Research Interests:
Abstract A novel video coding scheme is presented with superior performance against packet losses and hence is suitable for wireless communication compared to standard approaches like scalable video coding. The scheme also offers a better... more
Abstract A novel video coding scheme is presented with superior performance against packet losses and hence is suitable for wireless communication compared to standard approaches like scalable video coding. The scheme also offers a better multi-rate video ...
Research Interests:
Research Interests:
Abstract Video conferencing systems typically rely on the computational and compression performance of their video codecs to meet strict performance constraints. It is well known that blocking artifacts in DCT-video codec based video... more
Abstract Video conferencing systems typically rely on the computational and compression performance of their video codecs to meet strict performance constraints. It is well known that blocking artifacts in DCT-video codec based video conferencing system becomes ...