African University of Science and Technology: Recent submissions
Now showing items 120 of 4540

A CloudBased C/C++ Compiler for Smart Devices
(20171112)The foundation of many of today’s programming languages is the C/C++ language, due to its success and directives that span across several programming paradigms, conceptual models and runtime environments. Smart devices ...

A Framework for NationWide Integration of Biometric Information
(20171212)Having a central database for Nigeria which organizations can rely on for identification/verification purposes has been a plan in the pipeline for many years now. This has become urgent because of the nation’s current ...

Study and Implementation of Wireless Sensor Networks to Manage Energy in a Smart Home
(20171209)Many studies have shown that smart homes can use energy more efficiently than traditional buildings. Thus, several researchers have advocated building a smart home in order to reduce energy consumption. In the literature, ...

Development and Design Space Exploration of Deep Convolution Neural Network for Image Recognition
(20171122)Deep Neural Networks are now deployed for many modern artificial Intelligence applications including computer vision, speech recognition, selfdriving cars, cancer detection, gaming and robotics. Inspired by the mammalian ...

Enhancing Prediction Accuracy of a MultiCriteria Recommender System using Adaptive Genetic Algorithm
(20171212)Recommender systems are powerful intelligent systems considered to be the solution to the problems of information overload. They provide users with personalized lists of recommended items, using some machine learning ...

Gen: A GeneralPurpose Probabilistic Programming System with Programmable Inference
(20181126)Probabilistic modeling and inference are central to many fields. A key challenge for wider adoption of probabilistic programming languages is designing systems that are both flexible and performant. This paper introduces ...

The Calderón problem for connections
(University of CambridgeDepartment of Pure Mathematics and Mathematical StatisticsTrinity College, 20171003)This thesis is concerned with the inverse problem of determining a unitary connection $A$ on a Hermitian vector bundle $E$ of rank $m$ over a compact Riemannian manifold $(M, g)$ from the DirichlettoNeumann (DN) ...

Symmetry in monotone Lagrangian Floer theory
(University of CambridgeDepartment of Pure Mathematics and Mathematical StatisticsTrinity College, 20171001)In this thesis we study the selfFloer theory of a monotone Lagrangian submanifold $L$ of a closed symplectic manifold $X$ in the presence of various kinds of symmetry. First we consider the group $\mathrm{Symp}(X, L)$ ...

Fano Varieties in Mori Fibre Spaces
(International Mathematics Research Notices, 20160101)

Bounding cohomology for low rank algebraic groups
(University of CambridgeDPMMSHomerton, 20170801)Let G be a semisimple linear algebraic group over an algebraically closed field of prime characteristic. In this thesis we outline the theory of such groups and their cohomology. We then concentrate on algebraic groups in ...

Infinitesimal Models of Algebraic Theories
(University of CambridgeDepartment of Pure Mathematics and Mathematical StatisticsHomerton College, 20171125)Smooth manifolds have been always understood intuitively as spaces that are infinitesimally linear at each point, and thus infinitesimally affine when forgetting about the base point. The aim of this thesis is to develop ...


Type theoretic weak factorization systems
(University of CambridgeDepartment of Pure Mathematics and Mathematical StatisticsKing's, 20170601)This thesis presents a characterization of those categories with weak factorization systems that can interpret the theory of intensional dependent type theory with Σ, Π, and identity types. We use display map categories ...

RANDOM WALKS ON THE RANDOM GRAPH
(ANNALS OF PROBABILITY, 201801)


On the main conjectures of Iwasawa theory for certain elliptic curves with complex multiplication
(University of CambridgeMathematics, 20170530)The conjecture of Birch and SwinnertonDyer is unquestionably one of the most important open problems in number theory today. Let $E$ be an elliptic curve defined over an imaginary quadratic field $K$ contained in $\mathbb{C}$, ...

Exploring Random Geometry with the Gaussian Free Field
(University of CambridgeDPMMSPeterhouse, 20161001)This thesis studies the geometry of objects from 2dimensional statistical physics in the continuum. Chapter 1 is an introduction to SchrammLoewner evolutions (SLE). SLEs are the canonical family of nonselfintersecting, ...

On a Heegaard Floer theory for tangles
(University of CambridgeDPMMS, 20170310)The purpose of this thesis is to define a “local” version of Ozsváth and Szabó’s Heegaard Floer homology HFL^ for links in the 3sphere, i.e. a Heegaard Floer homology HFT^ for tangles in the 3ball. The decategorification ...

$\textit{K}$Theory of Fermat Curves
(Department of Pure Mathematics and Mathematical Statistics, University of CambridgeUniversity of CambridgeChurchill College, 20170110)I investigate the $K_2$ groups of the quotients of Fermat curves given in projective coordinates by the equation $F_n:X^n+Y^n=Z^n$. On any quotient where the number of known elements is equal to the rank predicted by ...

Computations in monotone Floer theory
(Department of Pure Mathematics and Mathematical Statistics, University of CambridgeUniversity of CambridgeDepartment of Pure Mathematics and Mathematical Statistics, 20160628)Floer theory is a rich collection of tools for studying symplectic manifolds and their Lagrangian submanifolds with the help of holomorphic curves. Its origins lie in estimating the numbers of equilibria in Hamiltonian ...