African University of Science and Technology: Recent submissions

Now showing items 1-20 of 4540

  • A Cloud-Based C/C++ Compiler for Smart Devices 

    Egwim, Christian Nnaemeka (2017-11-12)
    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 Nation-Wide Integration of Biometric Information 

    Bello, Habibah Onyioyibo (2017-12-12)
    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 

    Adebayo, Gbenga Waliyi (2017-12-09)
    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 

    Aboki, Nasiru Aliu (2017-11-22)
    Deep Neural Networks are now deployed for many modern artificial Intelligence applications including computer vision, speech recognition, self-driving cars, cancer detection, gaming and robotics. Inspired by the mammalian ...

  • Enhancing Prediction Accuracy of a Multi-Criteria Recommender System using Adaptive Genetic Algorithm 

    Abdulsalam, Ometere Latifat (2017-12-12)
    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 General-Purpose Probabilistic Programming System with Programmable Inference 

    Unknown author (2018-11-26)
    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 

    Cekić, Mihajlo (University of CambridgeDepartment of Pure Mathematics and Mathematical StatisticsTrinity College, 2017-10-03)
    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 Dirichlet-to-Neumann (DN) ...

  • Symmetry in monotone Lagrangian Floer theory 

    Smith, Jack Edward (University of CambridgeDepartment of Pure Mathematics and Mathematical StatisticsTrinity College, 2017-10-01)
    In this thesis we study the self-Floer 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 

    Codogni, G; Fanelli, A; Svaldi, Roberto; Tasin, L (International Mathematics Research Notices, 2016-01-01)

  • Bounding cohomology for low rank algebraic groups 

    Rizkallah, John (University of CambridgeDPMMSHomerton, 2017-08-01)
    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 

    Bár, Filip (University of CambridgeDepartment of Pure Mathematics and Mathematical StatisticsHomerton College, 2017-11-25)
    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 ...

  • Combining different models 

    Rogers, Leonard Christopher

  • Type theoretic weak factorization systems 

    North, Paige Randall (University of CambridgeDepartment of Pure Mathematics and Mathematical StatisticsKing's, 2017-06-01)
    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 ...


    Berestycki, Nathanael Edouard; Lubetzky, Eyal; Peres, Yuval; Sly, Allan (ANNALS OF PROBABILITY, 2018-01)

  • The Rohde--Schramm theorem, via the Gaussian free field 

    Berestycki, Nathanael Edouard; Jackson, Henry

  • On the main conjectures of Iwasawa theory for certain elliptic curves with complex multiplication 

    Kezuka, Yukako (University of CambridgeMathematics, 2017-05-30)
    The conjecture of Birch and Swinnerton-Dyer 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 

    Jackson, Henry Richard (University of CambridgeDPMMSPeterhouse, 2016-10-01)
    This thesis studies the geometry of objects from 2-dimensional statistical physics in the continuum. Chapter 1 is an introduction to Schramm-Loewner evolutions (SLE). SLEs are the canonical family of non-self-intersecting, ...

  • On a Heegaard Floer theory for tangles 

    Zibrowius, Claudius (University of CambridgeDPMMS, 2017-03-10)
    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 3-sphere, i.e. a Heegaard Floer homology HFT^ for tangles in the 3-ball. The decategorification ...

  • $\textit{K}$-Theory of Fermat Curves 

    Cain, Christopher (Department of Pure Mathematics and Mathematical Statistics, University of CambridgeUniversity of CambridgeChurchill College, 2017-01-10)
    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 

    Tonkonog, Dmitry (Department of Pure Mathematics and Mathematical Statistics, University of CambridgeUniversity of CambridgeDepartment of Pure Mathematics and Mathematical Statistics, 2016-06-28)
    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 ...