Search
Search Results
-
Surrogate Constraints for Synchronized Energy Production/Consumption
We deal here with job scheduling under encapsulated renewable and non-renewable resource constraints, while relying on a case study related to energy... -
Neuron Pairs in Binarized Neural Networks Robustness Verification via Integer Linear Programming
In the context of classification, robustness verification of a neural network is the problem which consists in determining if small changes of inputs... -
Optimal Charging Station Location in a Linear Cycle Path with Deviations
Bicycle tourism is on the rise thanks to assisted-pedaling bikes, also known as e-bikes. While pedalling is still required on these bikes, they allow... -
On a Geometric Graph-Covering Problem Related to Optimal Safety-Landing-Site Location
We develop a set-cover based integer-programming approach to an optimal safety-landing-site location arising in the design of urban... -
Multi-agent Simulation of Intelligent Energy Regulation in Vehicle-to-Grid
The vehicle-to-grid feature of today’s electric vehicles suggests using them as batteries for stabilizing the power grid besides using them to... -
Aspects of Modeling Human Behavior in Agent-Based Social Simulation – What Can We Learn from the COVID-19 Pandemic?
Proper modeling of human behavior is crucial when develo** agent-based models to investigate the effects of policies, such as the potential... -
Combining Constraint-Based and Imperative Programming in MABS for More Reliable Modelling
We argue for a combination of declarative/constraint and imperative programming approaches for MABS: a declarative layer that specified the ontology,... -
Enhancing Cognition Through Cooperative Learning and Augmented Mentorship
With increasing cybercrime, educational institutions are working to create increased opportunities for people to enter the cyber workforce. Some... -
Assessment of a Novel Virtual Environment for Examining Cognitive-Motor Processes During Execution of Action Sequences in a Human-Robot Teaming Context
With the development of advanced AI and robotic systems, there is a growing interest in examining human-robot teaming. While the vast majority of... -
Early Use of Augmented Cognition for Online Learning Games in Hawai‘i
This paper provides a historical and regional perspective on the adoption of technologies in online learning, focusing on gamification as an aspect... -
Distance-Based Lifestyle Medicine for Veterans with Chronic Multi-symptom Illness (CMI): Health Coaching as Behavioral Health Intervention for Clinical Adherence
Chronic multi-symptom illness (CMI) is characterized by persistent, difficult to treat symptoms that interfere with daily functioning, affecting... -
Can Neurofeedback Training Decrease Cognitive Bias? An Exploratory Analysis
Cognitive biases are ubiquitous and finding ways to mitigate them has been an ongoing challenge. Here, we explore the possibility that brain training... -
Small Languages and Big Models: Using ML to Generate Norwegian Language Social Media Content for Training Purposes
The advancement of language models has showcased their tremendous potential for both good purposes, and harmful misuse. However, the majority of... -
Enhancing Representation Learning of EEG Data with Masked Autoencoders
Self-supervised learning has been a powerful training paradigm to facilitate representation learning. In this study, we design a masked autoencoder... -
Enhancing Cognitive Rehabilitation with Augmented Reality: The Role of Virtual Characters in Attention Restoration
This study investigates the efficacy of Augmented Reality (AR) in enhancing attention restoration, leveraging the conceptual framework of Attention... -
A Virtual Reality Based Therapeutic Approach for Stuttering Intervention
Stuttering, a speech disorder with far-reaching effects on communication and emotional well-being, has long posed challenges for those affected. This... -
Z3VR - An Interactive VR Learning Environment for One of the First Computers (Konrad Zuse’s Z3)
This paper presents Z3VR, an interactive simulation of Konrad Zuse’s Z3 computer in a Virtual Reality (VR) environment, intended to give users the... -
Mixed-Integer Programming for Adaptive VR Workflow Training
With advances in consumer-grade virtual reality (VR) devices, VR training gains unprecedented attention in research and industries. Although the... -
Exploring a Behavioral Model of “Positive Friction” in Human-AI Interaction
Designing seamless, frictionless user experiences has long been a dominant trend in both applied behavioral science and artificial intelligence (AI),... -
Framework for a Project Methodology in Design - Interactions in Speculation and Fictional Futures
Exploring concepts such as speculation, fiction, and critical design in disciplines where creativity overcomes is an approach to identifying...