Skip to main content

Research Repository

Advanced Search

Outputs (100)

Development of communicating stream x-machine tool for modeling and generating test cases for automated teller machine (2022)
Presentation / Conference Contribution

The improvement of this paper takes advantage of the existing formal method called Stream X-Machine by optimizing the theory and applying it to practice in a large-scale system. This optimized formal approach called Communicating Stream X-Machine (CS... Read More about Development of communicating stream x-machine tool for modeling and generating test cases for automated teller machine.

An energy-aware and Q-learning-based area coverage for oil pipeline monitoring systems using sensors and Internet of Things (2022)
Journal Article

Pipelines are the safest tools for transporting oil and gas. However, the environmental effects and sabotage of hostile people cause corrosion and decay of pipelines, which bring financial and environmental damages. Today, new technologies such as th... Read More about An energy-aware and Q-learning-based area coverage for oil pipeline monitoring systems using sensors and Internet of Things.

Bespoke anywhere (2021)
Presentation / Conference Contribution

This paper reports on a project aimed to break away from the portability concerns of native DSP code between different platforms, thus freeing the instrument designer from the burden of porting new Digital Musical Instruments (DMIs) to different arch... Read More about Bespoke anywhere.

Automatic for the people: Crowd-driven generative scores using Manhattan and machine vision (2021)
Presentation / Conference Contribution

This paper details a workshop and optional public installation based on the development of situational scores that combine music notation, AI, and code to create dynamic interactive art driven by the realtime movements of objects and people in a live... Read More about Automatic for the people: Crowd-driven generative scores using Manhattan and machine vision.