Search
Search Results
-
On the Use of Deep Learning Models for Automatic Animal Classification of Native Species in the Amazon
Camera trap image analysis, although critical for habitat and species conservation, is often a manual, time-consuming, and expensive task. Thus,...
-
Spatial Shrinkage Prior: A Probabilistic Approach to Model for Categorical Variables with Many Levels
One of the most commonly used methods to prevent overfitting and select relevant variables in regression models with many predictors is the penalized...
-
Conclusions
This book aimed to introduce to the reader how heterogeneous hardware acceleration is changing the programming landscape, while posing a number of...
-
Introduction
This chapter aims to provide an introduction to both heterogeneous execution and managed runtime environments by discussing the current trends in...
-
Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink
IoT networks connect everyday devices to the internet to communicate with one another and humans. It is more cost-effective to analyse and verify the...
-
Machine Learning Data Suitability and Performance Testing Using Fault Injection Testing Framework
Creating resilient machine learning (ML) systems has become necessary to ensure production-ready ML systems that acquire user confidence seamlessly....
-
A Literature Survey of Assertions in Software Testing
Assertions are one of the most useful automated techniques for checking program’s behaviour and hence have been used for different verification and...
-
Formalization and Verification of MQTT-SN Communication Using CSP
The MQTT-SN protocol is a lightweight version of the MQTT protocol and is customized for Wireless Sensor Networks (WSN). It removes the need for the...
-
Learning in Uppaal for Test Case Generation for Cyber-Physical Systems
We propose a test-case generation method for testing cyber-physical systems by using learning and statistical model checking. We use timed game...
-
A Software Package (in progress) that Implements the Hammock-EFL Methodology
This poster paper presents a software package (in progress) that implements the Hammock-EFL approach for Project Management and Parallel Programming,...
-
A Federated Learning Algorithms Development Paradigm
At present many distributed and decentralized frameworks for federated learning algorithms are already available. However, development of such a...
-
The Importance of Knowing the Arrival Order in Combinatorial Bayesian Settings
We study the measure of order-competitive ratio introduced by Ezra et al. [16] for online algorithms in Bayesian combinatorial settings. In our...
-
Nash Stability in Fractional Hedonic Games with Bounded Size Coalitions
We consider fractional hedonic games, a natural and succinct subclass of hedonic games able to model many real-world settings in which agents have to...
-
Online Nash Welfare Maximization Without Predictions
The maximization of Nash welfare, which equals the geometric mean of agents’ utilities, is widely studied because it balances efficiency and fairness...
-
Equilibrium Analysis of Customer Attraction Games
We introduce a game model called “customer attraction game” to demonstrate the competition among online content providers. In this model, customers...
-
Target-Oriented Regret Minimization for Satisficing Monopolists
We study a robust monopoly pricing problem where a seller aspires to sell an item to a buyer. We assume that the seller, unaware of the buyer’s...
-
Assessing the Potential of Gene Tree Parsimony for Microbial Phylogenomics
A key challenge in microbial phylogenomics is that microbial gene families are often affected by extensive horizontal gene transfer (HGT). As a...
-
Evidence of Increased Adaptation of Omicron SARS-CoV-2 Codons to Humans
Viruses are highly dependent on their hosts to carry out cellular mechanisms and cause productive infection. Thus, they undergo extensive adaptations...
-
Memory-Mapped Input/Output
Have you ever wondered how your computer seamlessly interacts with external devices, such as storage drives, network interfaces, and peripherals? The...
-
Revisiting the Effects of MDR1 Variants Using Computational Approaches
P-glycoprotein, encoded by the MDR1 gene, is an ATP-dependent pump that exports various substances out of cells. Its overexpression is related to...