Research
Research
Research
Research
17+ open-access research outputs.
The escalating sophistication and variety of cyber threats have rendered static honeypots inadequate, necessitating adaptive, intelligence-driven deception. In this work, ADLAH is introduced: an Adapt…
Existing human mesh recovery methods assume a standard human body structure, overlooking diverse anatomical conditions such as limb loss. This assumption introduces bias when applied to individuals wi…
Extensive-Form Game (EFG) represents a fundamental model for analyzing sequential interactions among multiple agents and the primary challenge to solve it lies in mitigating sample complexity. Existin…
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…
Human-system interface is one of the key advanced design features applied to modern digital instrumentation and control systems of nuclear power plants. The conventional design is based on a compact w…
Automatic code summarization is beneficial to daily software development since it could help reduce the requirement of manual writing. Currently, artificial intelligence is undergoing a paradigm shift…
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…
As of April 16, 2021, U.S. correctional and detention facilities reported 399,631 cases of COVID-19 in incarcerated persons, resulting in 2,574 deaths (1). During July 14-November 30, 2020, COVID-19 w…
Ever since the first case of the novel coronavirus disease (COVID-19) was confirmed in Wuhan, China, social distancing has been promoted worldwide, including the United States. It is one of the major …
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…
Stigma is the deleterious, structural force that devalues members of groups that hold undesirable characteristics. Since stigma is created and reinforced by society-through in-person and online social…
The recent COVID-19 outbreak has forced notable adjustments to surgical procedure preparation, including neurosurgical services. However, due to the uniqueness of the recent situation, neurosurgical c…
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…
Free open-access publishing with Google Scholar indexing.
Submission Guide →