Research
Research
Research
Research
17+ open-access research outputs.
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…
An appropriate ethical framework around the use of Artificial Intelligence (AI) in healthcare has become a key desirable with the increasingly widespread deployment of this technology. Advances in AI …
Model transformations play a fundamental role in model-driven software development. They can be used to solve or support central tasks, such as creating models, handling model co-evolution, and model …
The Panopticon (which means "watcher of everything") is a well-known structure of continuous surveillance and discipline proposed by Bentham in 1785. This device was, later, used by Foucault and other…
We comment on two formal proofs of Fermat's sum of two squares theorem, written using the Mathematical Components libraries of the Coq proof assistant. The first one follows Zagier's celebrated one-se…
Coronavirus disease 2019 (COVID-19) is a systemic infection with cardiovascular, pulmonary, gastrointestinal, neurological, and hematological manifestations. Abnormal hematological findings are though…
Coronavirus disease 2019 (COVID-19) is characterized by a high contagiousness requiring isolation measures. At this time, diagnosis is based on the positivity of specific RT-PCR and/or chest computed …
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…
Viral diseases are responsible for several deaths around the world. Over the past few years, the world has seen several outbreaks caused by viral diseases that for a long time seemed to possess no ris…
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…
In several game situations, the behavior of the players may depend not only on individual interests, but also on what each player considers as the correct thing to do. This work presents a game theore…
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…
Types for Proofs and Programs is the annual meeting of the Types Project, whose aim is to develop the technology of formal reasoning and computer programming based on Type Theory. This is done by impr…
BACKGROUND: Adjusting maternal serum markers for maternal weight is considered to be a standard practice when screening for pregnancies associated with Down's syndrome. The choice of model for taking …
Cytokine responses in the Japanese pufferfish (Takifugu rubripes) head kidney (HK) cells to heat-killed lactic acid bacteria probiotics isolated from the Mongolian dairy products were investigated by …
Free open-access publishing with Google Scholar indexing.
Submission Guide →