Browsing School of Computer Science and Informatics by Title
Now showing items 1999-2018 of 2679
-
A Proposed Framework to Support Adaptivity in E-learning Systems
(Conference)The revolution of the Internet and technology has dramatically changed the educational system in many countries. Learning Management Systems (LMSs) are becoming crucial and widely used in many educational institutions for ... -
Protecting of Children Online in Saudi Arabia.
(Conference)Modern society is inundated with an array of attractive technological gadgets, most of which are used by young children. This information and technology revolution poses challenges to humanity, especially young people. ... -
Provably Correct Derivation of Algorithms Using FermaT
(Article)The transformational programming method of algorithm derivation starts with a formal specification of the result to be achieved, plus some informal ideas as to what techniques will be used in the implementation. The ... -
Providing Personalized Guidance in Arithmetic Problem Solving
(Conference)Supervising a student's resolution of an arithmetic word problem is a cumbersome task. Di erent students may use di erent lines of reasoning to reach the nal solution, and the assistance provided should be consistent with ... -
Proving the correctness of the interlock mechanism in processor design.
(Book chapter)In this paper, Interval Temporal Logic (ITL) us used to specify and verify the event processor EP/3, which is a multi-threaded pipeline processor capable of executing parallel programs. We first give the high level ... -
Proximity and Similitude of Sequences Based on Grey Relational Analysis
(Article)Time series analysis, the most popular method, is facing some challenges, including small sample, non-stable relation, stochastic distribution constraint, and so on. Grey relational analysis can supply some new ideas for ... -
Psychological challenges for the analysis of style.
(Article)Analyses of styles in design have paid little attention to how people see style, and how designers use perceptions of style to guide designing. While formal and computational methods for analysing styles and generating ... -
Public involvement in end of life services
(Article) -
Public Relations Crisis and Social Media: An Investigation into Extant and Prospective Consumers’ Perceptions through the Lens of Attribution Theory’
(Article)Online social media has shifted the balance of power from businesses to consumers, with consumers now being able to share information almost unrestrictedly in real-time. As a result, an effort to suppress what may be ... -
Published incidents and their proportions of human error
(Article)Purpose - The information security field experiences a continuous stream of information security incidents and breaches, which are publicised by the media, public bodies and regulators. Despite the need for information ... -
QoS multicast tree construction in IP/DWDM optical internet by bio-inspired algorithms.
(Article)In this paper, two bio-inspired Quality of Service (QoS) multicast algorithms are proposed in IP over dense wavelength division multiplexing (DWDM) optical Internet. Given a QoS multicast request and the delay interval ... -
QoS-Aware Resource Management in SDN-Based InterClouds: A Software Cybernetics Perspective
(Conference)Software Defined Networking (SDN) paradigm is introducing novel approaches for many unresolved issues of networking. These new outlooks are imperative in emerging scenarios where user requirements keep growing, the required ... -
Quadcriteria Optimization of Binary Classifiers: Error Rates, Coverage, and Complexity
(Conference)This paper presents a 4-objective evolutionary multiobjective optimization study for optimizing the error rates (false positives, false negatives), reliability, and complexity of binary classifiers. The example taken is ... -
Quality estimation for steamed VoIP services
(Conference) -
Quality of Context in Context-Aware Systems
(Article)Context-aware Systems (CASs) are becoming increasingly popular and can be found in the areas of wearable computing, mobile computing, robotics, adaptive and intelligent user interfaces. Sensors are the corner stone of ... -
Quantification Machines and Artificial Agents in Global Finance: Historical-Phenomenological Perspectives from Philosophy and Sociology of Technology and Money
(Book chapter)This paper raises questions regarding the societal, cultural, and ethical significance of finance, mathematics, and financial-mathematical technologies, discussing in particular the phenomenon of quantification as mediated ...