Search
Now showing items 141-150 of 198
Scaffolding java programming on a mobile phone for novice learners
(2015)
The ubiquity of mobile phones provides an opportunity to use them for learning programming beyond the classroom. This would be particularly useful for novice learners of programming in resource- constrained environments. ...
Accelerating radio transient detection using the Bispectrum algorithm and GPGPU
(2015)
Modern radio interferometers such as those in the Square Kilometre Array (SKA) project are powerful tools to discover completely new classes of astronomical phenomena. Amongst these phenomena are radio transients. Transients ...
Determining the optimal protocols for transfer of large data files
(2015)
The transfer of large data files remains a necessity for scientific research, including Bioinformatics, despite alternate solutions like cloud computing. When transferring large files, there are many transfer protocols to ...
An empirical evaluation of evolutionary controller design methods for collective gathering task
(2015)
This research aims to evaluate the performance of evolutionary controller design methods for developing a collective behaviour for a team of robots. The methods tested in this research are NEAT which is capable of finding ...
Spectral Alignment of Networks
(2015-02-18)
Network alignment refers to the problem of finding a bijective mapping across vertices of two or more graphs to maximize the number of overlapping edges and/or to minimize the number of mismatched interactions across ...
Efficiently Solving Repeated Integer Linear Programming Problems by Learning Solutions of Similar Linear Programming Problems using Boosting Trees
(2015-01-21)
It is challenging to obtain online solutions of large-scale integer linear programming (ILP) problems that occur frequently in slightly different forms during planning for autonomous systems. We refer to such ILP problems ...
An Analysis of Patch Plausibility and Correctness for Generate-And-Validate Patch Generation Systems
(2015-02-10)
We analyze reported patches for three prior generate-and-validate patch generation systems (GenProg, RSRepair, and AE). Because of experimental error, the majority of the reported patches violate the basic principle behind ...
On the Formal Semantics of the Cognitive Middleware AWDRAT
(2015-03-03)
The purpose of this work is two fold: on one hand we want to formalize the behavior of critical components of the self generating and adapting cognitive middleware AWDRAT such that the formalism not only helps to understand ...
Improved Caching Strategies for Publish/Subscribe Internet Networking
(2015-01-31)
The systemic structure of TCP/IP is outdated; a new scheme for data transportation is needed in order to make the internet more adaptive to modern demands of mobility, information-driven demand, ever-increasing quantity ...
An Analysis of Patch Plausibility and Correctness for Generate-And-Validate Patch Generation Systems (Supplementary Material)
(2015-02-02)
We analyze reported patches for three prior generate-and-validate patch generation systems (GenProg, RSRepair, and AE). Because of experimental error, the majority of the reported patches violate the basic principle behind ...