All Stories

  1. Computing for Social Good in Education
  2. Fairness, Bias, and Ethics in AI: Exploring the Factors Affecting Student Performance
  3. Improving Rice Yield Prediction Accuracy Using Regression Models with Climate Data
  4. Examples of computer science education for society
  5. Motivating Students to Learn How to Write Code Using a Gamified Programming Tutor
  6. Sustainable Language Training for Engineering Students: Integrating Resource-Efficiency into the Course Content through the Educational Process
  7. Why the Educational Metaverse Is Not All About Virtual Reality Apps
  8. Heuristic Evaluation of Microsoft Teams as an Online Teaching Platform: An Educators’ Perspective
  9. Synchronous Multi-User Cross-Platform Virtual Reality for School Teachers
  10. Increasing Engagement Through Explicit and Implicit Gamification in Higher Education
  11. Flexible Ontology-Driven Educational Apps and Social Media for Learners with a Disability
  12. The United Nations Sustainable Development Goals: a setting for Professional and Research skills
  13. Dependability Analysis Using Temporal Fault Trees and Monte Carlo Simulation
  14. Genetic Algorithms as a Feature Selection Tool in Heart Failure Disease
  15. Using Formal Game Design Methods to Embed Learning Outcomes into Game Mechanics and Avoid Emergent Behaviour
  16. A Flexible Approach to Introductory Programming
  17. Smart, Social, Flexible and Fun: Escaping the Flatlands of Virtual Learning Environments
  18. Approaches to Measuring Attendance and Engagement
  19. Constraints and autonomy for creativity in extracurricular gamejams and curricular assessment
  20. Using Formal Game Design Methods to Embed Learning Outcomes into Game Mechanics and Avoid Emergent Behaviour
  21. A Hybrid Evaluation Approach and Guidance for mHealth Education Applications
  22. Connecting Undergraduate Students as Partners in Computer Science Teaching and Research
  23. Computational methods for finding long simple cycles in complex networks
  24. A Guidance and Evaluation Approach for mHealth Education Applications
  25. Collaborative Hybrid Agent Provision of Learner Needs Using Ontology Based Semantic Technology
  26. Flexible Virtual Environments: Gamifying Immersive Learning
  27. Flexible Learning in Computer Science
  28. Using motivation derived from computer gaming in the context of computer based instruction
  29. Heuristic Evaluation for Serious Immersive Games and M-instruction
  30. An evaluation framework for mobile health education software
  31. Requirements Capture Analysis for MOOCS in Higher Education
  32. Safety analysis of clinical workflows: The case of the workflow within a radiology department
  33. Investigating Heuristic Evaluation as a Methodology for Evaluating Pedagogical Software: An Analysis Employing Three Case Studies
  34. Quantification of Temporal Fault Trees Based on Fuzzy Set Theory
  35. Technology-Enhanced Learning in Higher Education
  36. Using Simulation to Evaluate Dynamic Systems with Weibull or Lognormal Distributions
  37. Maximising Gain for Minimal Pain: Utilising Natural Game Mechanics
  38. Introducing Temporal Behaviour into Binary Decision Diagrams
  39. Quantification of Simultaneous-AND Gates in Temporal Fault Trees
  40. Quantification of Priority-OR Gates in Temporal Fault Trees
  41. Aspects of the Segre variety $${\mathcal{S}_{1,1,1}(2)}$$
  42. E-Services and the Digital Divide
  43. The cubic Segre variety in PG(5, 2)
  44. The Polynomial Degree of the Grassmannian $${\mathcal G_{\bf 1,}{\bf n,}{\bf 2}}$$
  45. Partial spreads in PG(4,2) and flats in PG(9,2) external to the Grassmannian G1
  46. The Classification of Flats in $${\boldsymbol {PG}}({\bf 9,2})$$ which are External to the Grassmannian $${\cal G}_{\bf 1,4,2}$$
  47. The Quintic Grassmannian G1, 4, 2in PG(9, 2)
  48. Wither mathematics, whither science?
  49. Point transfer matrices for the Schrödinger equation: the algebraic theory
  50. Calculating energy levels of a double-well potential in a two-dimensional system by expanding the potential function around its minimum
  51. Stable forward shooting for eigenvalues and expectation values
  52. Composition algebras and PG(m, 2)
  53. The lines of PG(4, 2) are the points on a quintic in PG(9,2)
  54. Enabling Personalised Learning through Formative and Summative Assessment