Research
Research
Research
Research
21+ open-access research outputs.
Numerous studies have explored the SQL query refinement problem, where the objective is to minimally modify an input query so that it satisfies a specified set of constraints. However, these works typ…
Modern data processing workflows frequently encounter ragged data: collections with variable-length elements that arise naturally in domains like natural language processing, scientific measurements, …
Threat modeling is a crucial component of cybersecurity, particularly for industries such as banking, where the security of financial data is paramount. Traditional threat modeling approaches require …
This essay is a picaresque -- a first-person narrative relating the adventures of a rogue (me) sifting through the mind of Christopher Alexander as he left behind formalized design thinking in favor o…
Generally, COVID-19 is an acute contagious disease caused by the SARS‑‑CoV-2 virus. The main route of human-to-human transmission is through contact with infectious secretions from the respiratory tra…
Lifted (family-based) static analysis by abstract interpretation is capable of analyzing all variants of a program family simultaneously, in a single run without generating any of the variants explici…
This study aimed to explore the usability and applicability of face recognition sensors in public spaces to collect customer footfall data, which could then be analysed and evaluated for facility desi…
This paper provides the technical details of an article originally published in The Conversation in February 2020. The purpose is to use centrality measures to analyse the social network of movie star…
Kenneth Gillingham is an Associate Professor of Economics at Yale University, with a primary appointment in the School of Forestry & Environmental Studies. In 2015 to 2016, he served as the Senior Eco…
The article provides a comparative analysis of four communication protocols between Omron PLC and PC for their use in real-time control of an industrial robot. The need for real-time communication app…
The main difficulty when modelling gene networks is the identification of the parameters that govern their dynamics. It is particularly difficult for models in which time is continuous: parameters hav…
We investigate properties of convergent and forward-closed string rewriting systems in the context of the syntactic criteria introduced in \cite{LynchMorawska} by Christopher Lynch and Barbara Morawsk…
In this paper we investigate convergent term rewriting systems that conform to the criteria set out by Christopher Lynch and Barbara Morawska in their seminal paper "Basic Syntactic Mutation." The equ…
In this paper, we proposed the Survival Language, a pattern language to support survival when a catastrophic earthquake occurs. This proposal comes from the problem that the tragedies of earthquakes a…
We define and study a new abstract domain which is a fine-grained combination of zonotopes with polyhedric domains such as the interval, octagon, linear templates or polyhedron domain. While abstract …
The Stochastic Calculus of Looping Sequences is suitable to describe the evolution of microbiological systems, taking into account the speed of the described activities. We propose a type system for t…
Systems biology focuses on the study of entire biological systems rather than on their individual components. With the emergence of high-throughput data generation technologies for molecular biology a…
BACKGROUND: Enterotoxigenic Escherichia coli (ETEC) is a major cause of diarrhea in children and travelers to endemic areas. Secretion of the heat labile AB5 toxin (LT) is induced by alkaline conditio…
Clostridium difficile is the primary cause of nosocomial diarrhea and pseudomembranous colitis. It produces dormant spores, which serve as an infectious vehicle responsible for transmission of the dis…
The phage shock protein (psp) operon of Escherichia coli is strongly induced in response to heat, ethanol, osmotic shock, and infection by filamentous bacteriophages. The operon contains at least four…
Free open-access publishing with Google Scholar indexing.
Submission Guide →