Due to the vast amount of data that is being generated by the sensors through the smart devices in smart cities, streams of data must be processed in real time to gain insight quickly and to make decisions that are in most ...

With the exponential growth of the information technology, nowadays tremendous amounts of data including images, audio, text and videos, up to millions or billions, are collected for training machine learning models. Deep ...

Developing countries have been plagued by recurrent cases of infectious disease outbreaks;coupled with the limitation of traditional disease control strategies, other approaches have been explored for disease control, with ...

This paper presents the results of a combined experimental and analytical/computational study of viscoelastic cell deformation and detachment from poly-di-methyl-siloxane (PDMS) surfaces. Fluid mechanics and fracture ...

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 ...

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 ...

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, ...

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 ...

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 ...

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 ...

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) ...

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)$ ...

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 ...

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 ...

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 ...

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}$, ...