• A Wearable, Customizable, and Automated Auditory Cueing System to Stimulate Gait in Parkinson’s

  • Visual Cognitive Function Measurement System for Unilateral Spatial Neglect Using Smartphone VR

  • An Interactive Analysis of the Costs of Technologically Assisted Medical Reviews

  • The Lilypad System A Data Collection Tool to Support the Care of Individuals with Chronic Conditions

  • Real-time guidance for cardiopulmonary resuscitation in Mixed Reality

  • Demonstration of a Micro-Services Based Multi-Purpose Sensor Platform for Supporting Ambient Assisted Living Systems

  • Identity and Behavior in Online Health Communities

  • Linking Dynamic Capabilities and Healthcare Innovations: A Case Study Approach

  • Towards Healthy Office Environments: A worker-centric Internet of Things Approach

  • An investigation into the feasibility of an adaptive coaching smartphone application used in conjunction with a novel exercise programme in sedentary individuals with type 2 diabetes mellitus

  • BeeSmart: A Videogame for Supporting Children with Down Syndrome in Eye-hand Coordination and Literacy Skills

  • Comparative Study on Power Gating Techniques for Lower Power Delay Product, Smaller Power Loss, Faster Wakeup Time

  • Distributed Optimization Framework for Industry 4.0 Automated Warehouses

  • Phase and Time Synchronization for 5G C-RAN: Requirements, Design Challenges and Recent Advances in Standardization

  • Adaptive Holding time and Depth-Based Routing for Underwater Wireless Sensor Networks

  • Performance Evaluation of Network Topologies using Graph-Based Deep Learning

  • Runtime Performance Prediction of Big Data Workflows with I/O-aware Simulation

  • Markovian Modeling of Wireless Trace Data

  • Perturbation of CTMC Trapping Probabilities with Application to Model Repair

  • Efficient Computation of Renaming Functions for ρ-reversible Discrete and Continuous Time Markov Chains

  • FCFS Parallel Service Systems and Matching Models

  • Some Notes on Rare-Event Simulation Challenges

  • Reciprocity-driven Sparse Network Formation

  • Three-way Optimisation of Response Time, Subtask Dispersion and Energy Consumption in Split--Merge Systems

  • Capacity Expansion of Neutral ISPs via Content Peering Charges: The Bargaining Edge

  • MCMC Approaches to Rumor Source Inference using Pairwise Information

  • On dimensioning Cloud-RAN systems

  • Fast Min-plus Convolution and Deconvolution on GPUs

  • Automatic verification of reliability requirements of spatio-temporal analysis using Three-Valued Spatio-Temporal Logic

  • Achievable region with impatient customers

  • Modelling user behaviour at a stochastic road traffic bottleneck

  • Evaluating the robustness of scheduling in uncertain environment with Petri nets

  • Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro

  • Modeling and evaluating performances of complex edge computing based systems: a firefighting support system case study

  • Scalable analytical model of the reliability of multi-core systems-on-chip by interacting Markovian agents

  • Self, Social and Monopoly Optimization in Observable Queues

  • Whittle networks with resets

  • Beyond Shortest Queue Routing with Heterogeneous Servers and General Cost Functions

  • VITO: VIrtual Testbed Orchestration for Automation of Networking Experiments

  • Automated and Adaptable Decision Support for Software Performance Engineering

  • Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters

  • Trading Optimality for Performance in Location Privacy

  • HYPEG: Statistical Model Checking for hybrid Petri nets

  • Flent: The FLExible Network Tester

  • Size-Based Routing to Balance Performance of the Queues

  • Network Emulation Support in ns-3 Through Kernel Bypass Techniques

  • The Back End is Only One Part of the Picture: Mobile-Aware Application Performance Monitoring and Problem Diagnosis

  • Advanced Stochastic Petri Net Modeling with the Mercury Scripting Language

  • Resource allocation in a cloud under virus attacks

  • marmoteCore: a Markov Modeling Platform