Search
Search Results
-
SonOpt: Sonifying Bi-objective Population-Based Optimization Algorithms
We propose SonOpt, the first (open source) data sonification application for monitoring the progress of bi-objective population-based optimization...
-
Dual-Hop Direct Diffusion Routing Protocol for Energy-Efficient Wireless Sensor Network
In this COVID-19 pandemic situation, health care is on the priority of every human being. The recent development in the miniaturization of...
-
Population Protocols: Beyond Runtime Analysis
We survey our recent work on the verification of population protocols and their state complexity.
-
Population Protocols with Unreliable Communication
Population protocols are a model of distributed computation intended for the study of networks of independent computing agents with dynamic...
-
Proposal of a Multi-parametric Ergonomic Assessment Protocol Integrating Intra-operative Use of Wearable Technology to Evaluate Musculoskeletal Discomfort for Surgeon During Laryngeal Surgery
Musculoskeletal disorders (MSDs) represent a cross-cutting problem among healthcare workers; particular attention should be given to surgeons who are...
-
Modeling and Optimal Control for Resource Allocation in the Epidemic Monitoring of a Multi-group Population
In the last 3 years, the entire world has been facing the sanitary emergency due to the SARS-CoV2; it has been stressed the mutual interdependence of...
-
Trust-based secure routing and message delivery protocol for signal processing attacks in IoT applications
Internet of Things (IoT) has a wide concentration in today’s technological world. It has a significant impact on smart infrastructure with a security...
-
The complexity of verifying population protocols
Population protocols (Angluin et al. in PODC, 2004) are a model of distributed computation in which indistinguishable, finite-state agents interact...
-
A Novel Swarm Intelligence Routing Protocol in Wireless Sensor Networks
Wireless sensor network (WSN) is partitioned into clusters for efficient data collection in the context of energy dissipation. Other than the...
-
Optimization of Routing Protocol for Underwater Acoustic Sensor Network Using Modified Lion Algorithm Over DPSO
This chapter aims to develop an Energy Optimization routing protocol to reduce delay, energy usage, and normalised routing overhead in Underwater...
-
The RinasciMENTE 2.0 Project: A Study Protocol for a Randomized Controlled Trial Evaluating the Efficacy of an Internet-Based Self-Help Program for Managing Psychological Distress Within the Broader Italian Population
Objective: The aim of this study is to assess the feasibility and effectiveness of the RinasciMENTE 2.0 initiative, an internet-based self-help...
-
SonOpt: understanding the behaviour of bi-objective population-based optimisation algorithms through sound
We present an extension of SonOpt, the first ever openly available tool for the sonification of bi-objective population-based optimisation...
-
Real-Time Emotion Detection System’s Impact on Pivotal Response Training Protocol
In recent years, there has been a growing emphasis on Autism Spectrum Disorder (ASD), marked by evolving classifications and increasing global...
-
A novel energy-efficient clustering protocol in wireless sensor network: multi-objective analysis based on hybrid meta-heuristic algorithm
Energy efficiency is one of the major challenges in the growing WSNs. Since communication offers a vast place in the consumption of energy, effective...
-
Considerations for collecting data in Māori population for automatic detection of schizophrenia using natural language processing: a New Zealand experience
In this paper, we describe the challenges of collecting data in the Māori population for automatic detection of schizophrenia using natural language...
-
Performance Evaluation of ZooKeeper Atomic Broadcast Protocol
In this paper, we present a performance model of the Zab protocol formally specified using the Markovian process algebra PEPA. The model is...
-
An Efficient Cluster Based Energy Routing Protocol (E-CBERP) for Wireless Body Area Networks Using Soft Computing Technique
The Wireless Body Area Networks (WBAN) is very popular in medical industry and plays a significant role to monitor critical patient information. In...
-
Modelling a Fair-Exchange Protocol in the Presence of Misbehaviour Using PEPA
This paper explores the performance costs introduced by a security protocol known as an anonymous and failure resilient fair-exchange e-commerce...
-
The Simulated User Impairment Testing (SUIT) Protocol and Toolbox for Digital Artifacts
User testing involving people with varying abilities and impairments are two of the key ingredients of universal design that can help to increase the...
-
Performance Analysis of Optimized ACO-AOMDV Routing Protocol with AODV and AOMDV in MANET
MANET is made up of nodes that uses routing protocols to transfer a packet from source to sink using store and forward method. These packets are sent...