Search
Now showing items 161-170 of 221
Quiver algebras as Fukaya categories
(Mathematical Sciences PublishersGeometry & Topology, 2015-10-20)
We embed triangulated categories defined by quivers with potential arising from ideal triangulations of marked bordered surfaces into Fukaya categories of quasiprojective 3–folds associated to meromorphic quadratic ...
Polynomials and models of type theory
(University of CambridgeDepartment of Pure Mathematics and Mathematical StatisticsMagdalene College, 2015-06-30)
This thesis studies the structure of categories of polynomials, the diagrams that represent polynomial functors. Specifically, we construct new models of intensional dependent type theory based on these categories.
Firstly, ...
Refactoring learning management systems for multi-device use in developing countries
(2015)
Although learning management systems (LMSs) have been widely adopted by universities in developing countries, their potential to support students' learning has not been fully exploited due to several factors. Some of the ...
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 ...