Search
Search Results
-
A. Proof of Thm. 4.34
Abstract not available
-
Index
Abstract not available
-
-
-
-
References
Abstract not available
-
-
-
-
-
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...
-
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...
-
Exploration of Cultural IP Image and Common Pattern Gene Extraction in Virtual Reality Design Interaction
This paper first studies the origin and flow of IP images from the interactive perspective of design, explores the definition and rules of IP in the...
-
Assessing Body Dissatisfaction and Attentional Bias Towards the Body Using Eye-Tracking Technology in Virtual Reality
This study investigates body image perception, focusing on the impact of exposure to “ideal thinness” images on body dissatisfaction and attentional...