Research
Research
Research
Research
15+ open-access research outputs.
Retrofitting and thermographic survey (TS) companies in Scotland collaborate with social housing providers to tackle fuel poverty. They employ ground-level infrared (IR) camera-based-TSs (GIRTSs) for …
Structural balance theory studies stability in networks. Given a $n$-vertex complete graph $G=(V,E)$ whose edges are labeled positive or negative, the graph is considered \emph{balanced} if every tria…
RESUMENLas vías de transmisión de la COVID-19 desde pacientes infectados al personal de la salud son actualmente objeto de debate, pero su consideración resulta fundamental para la selección del equip…
The IoT-as-a-Service (IoTaaS) business model has already been identified by some people from both industry and academia, but has not been formally defined. IoTaaS offers IoT devices on demand, with co…
Crowdsourcing is a process wherein an individual or an organisation utilizes the talent pool present over the Internet to accomplish their task. The existing crowdsourcing platforms and their reputati…
In this note we obtain a new bound for the acyclic edge chromatic number $a'(G)$ of a graph $G$ with maximum degree $D$ proving that $a'(G)\leq 3.569(D-1)$. To get this result we revisit and slightly …
Today's IoT systems include event-driven smart applications (apps) that interact with sensors and actuators. A problem specific to IoT systems is that buggy apps, unforeseen bad app interactions, or d…
In a previous work, we introduced an input/output variant of stochastic automata (IOSA) that, once the model is closed (i.e., all synchronizations are resolved), the resulting automaton is fully stoch…
Global IoT services (GIoTS) are combining locally available IoT resources with Cloud-based services. They are targeting world-wide services. GIoTS require interoperability between the locally installe…
In this paper, we introduce the concepts of gamma and beta approximations via general ordered topological approximation spaces. Also, increasing (decreasing) gamma and beta boundary, positive and nega…
We provide an alternative constructive proof of the Asymmetric Lov\'asz Local Lemma. Our proof uses the classic algorithmic framework of Moser and the analysis introduced by Giotis, Kirousis, Psaromil…
We give new sublinear and parallel algorithms for the extensively studied problem of approximating n-variable r-CSPs (constraint satisfaction problems with constraints of arity r up to an additive err…
The notion of quiescence - the absence of outputs - is vital in both behavioural modelling and testing theory. Although the need for quiescence was already recognised in the 90s, it has only been trea…
An action principle is presented for Vasiliev's Bosonic higher spin gauge theory in four spacetime dimensions. The action is of the form of a broken topological field theory, and arises by an extensio…
BACKGROUND: Biogeographic patterns of species invasions hold important clues to solving the recalcitrant 'who', 'where', and 'why' questions of invasion biology, but the few existing studies make no a…
Free open-access publishing with Google Scholar indexing.
Submission Guide →