Skip to main content

Research Repository

Advanced Search

Outputs (218)

Temporal vertex cover with a sliding time window (2018)
Presentation / Conference Contribution
Akrida, E., Mertzios, G., Spirakis, P., & Zamaraev, V. (2018, July). Temporal vertex cover with a sliding time window. Presented at 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018)., Prague, Czech Republic

Modern, inherently dynamic systems are usually characterized by a network structure, i.e. an underlying graph topology, which is subject to discrete changes over time. Given a static underlying graph G, a temporal graph can be represented via an assi... Read More about Temporal vertex cover with a sliding time window.

Kernelization Lower Bounds for Finding Constant-Size Subgraphs (2018)
Book Chapter
Fluschnik, T., Mertzios, G., & Nichterlein, A. (2018). Kernelization Lower Bounds for Finding Constant-Size Subgraphs. In F. Manea, R. Miller, & D. Nowotka (Eds.), Sailing routes in the world of computation : 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30-August 3, 2018. Proceedings (183-193). Springer Verlag. https://doi.org/10.1007/978-3-319-94418-0_19

Kernelization is an important tool in parameterized algorithmics. Given an input instance accompanied by a parameter, the goal is to compute in polynomial time an equivalent instance of the same problem such that the size of the reduced instance only... Read More about Kernelization Lower Bounds for Finding Constant-Size Subgraphs.

Combining Machine Learning Classifiers for the Task of Arabic Characters Recognition (2018)
Journal Article
Alabbas, M., Jaf, S., & Khudeyer, S. R. (2018). Combining Machine Learning Classifiers for the Task of Arabic Characters Recognition. Journal of Chinese Language and Computing, 28(1), 1-12

There is a number of machine learning algorithms for recognizing Arabic characters. In this paper, we investigate a range of strategies for multiple machine learning algorithms for the task of Arabic characters recognition, where we are faced with im... Read More about Combining Machine Learning Classifiers for the Task of Arabic Characters Recognition.

A large-scale category-based evaluation of a visual language for adaptive hypermedia (2018)
Presentation / Conference Contribution
Khan, J., Cristea, A., & Alamri, A. (2018, June). A large-scale category-based evaluation of a visual language for adaptive hypermedia. Presented at 3rd International Conference on Information and Education Innovations (ICIEI'18), London

Adaptive Hypermedia (AH) provides a personalised and customised approach, enhancing the usability of hypermedia, by building a model of various qualities of a user and applying this information to adapt the content and the navigation to their require... Read More about A large-scale category-based evaluation of a visual language for adaptive hypermedia.

On the need for fine-grained analysis of Gender versus Commenting Behaviour in MOOCs (2018)
Presentation / Conference Contribution
Alshehri, M., Foss, J., Cristea, A. I., Kayama, M., Shi, L., Alamri, A., & Tsakalidis, A. (2018, June). On the need for fine-grained analysis of Gender versus Commenting Behaviour in MOOCs. Presented at 3rd International Conference on Information and Education Innovations (ICIEI'18), London

Stereotyping is the first type of adaptation ever proposed. However, the early systems have never dealt with the numbers of learners that current Massive Open Online Courses (MOOCs) provide. Thus, the umbrella question that this work tackles is if le... Read More about On the need for fine-grained analysis of Gender versus Commenting Behaviour in MOOCs.

Real-time Low-Cost Omni-directional Stereo Vision via Bi-Polar Spherical Cameras (2018)
Presentation / Conference Contribution
Lin, K., & Breckon, T. (2018, June). Real-time Low-Cost Omni-directional Stereo Vision via Bi-Polar Spherical Cameras. Presented at 15th International Conference on Image Analysis and Recognition (ICIAR 2018)., Póvoa de Varzim, Portugal

With the rise of consumer-grade spherical cameras, offering full omni-directional 360∘ image capture, the potential for low-cost omni-directional stereo vision is ever present. Whilst this potentially offers novel low-cost omni-directional depth sens... Read More about Real-time Low-Cost Omni-directional Stereo Vision via Bi-Polar Spherical Cameras.

An intuitive Authoring System for a Personalised, Social, Gamified, Visualisation-supporting e-learning System (2018)
Presentation / Conference Contribution
Alamri, A., Rusby, H., Cristea, A. I., Khan, J., Shi, L., & Stewart, C. (2018, June). An intuitive Authoring System for a Personalised, Social, Gamified, Visualisation-supporting e-learning System. Presented at 3rd International Conference on Information and Education Innovations (ICIEI'18), London

Adaptive Educational Hypermedia (AEH) offers more advanced personalisation and customisation features to the field of e-learning compared to the outdated static systems (where every learner is given the same set of learning materials). AEH can improv... Read More about An intuitive Authoring System for a Personalised, Social, Gamified, Visualisation-supporting e-learning System.

TSFC: A Structure-Preserving Form Compiler (2018)
Journal Article
Homolya, M., Mitchell, L., Luporini, F., & Ham, D. A. (2018). TSFC: A Structure-Preserving Form Compiler. SIAM Journal on Scientific Computing, 40(3), C401-C428. https://doi.org/10.1137/17m1130642

A form compiler takes a high-level description of the weak form of partial differential equations and produces low-level code that carries out the finite element assembly. In this paper we present the Two-Stage Form Compiler (TSFC), a new form compil... Read More about TSFC: A Structure-Preserving Form Compiler.