Cumene Hydroperoxide (CHP) has been used in the production of Dicumyl Hydroperoxide (DCPO) and phenol. In Taiwan, several severe fire or explosion incidents have occurred due to its thermal instability or reactivity. In this research, the exothermic decomposition of CHP in Cumene was characterized by isothermal microcalorimeter, TAM (thermal activity monitor), because isothermal testing offers ...

We study approximate reasoning about continuous-state labeled Markov processes. We show how to approximate a labeled Markov process by a family of finite-state labeled Markov chains. We show that the collection of labeled Markov processes carries a Polish space structure with a countable basis given by finite state Markov chains with rational probabilities. The primary technical tools that we d...

Abstract. A remarkable result due to Kou, Liu & Luo states that the condition of continuity for a dcpo can be split into quasi-continuity and meet-continuity. Their argument contained a gap, however, which is probably why the authors of the monograph Continuous Lattices and Domains used a different (and fairly sophisticated) sequence of lemmas in order to establish the result. In this note we s...

We use a generic notion of flatness in the enriched context to define various completions of metric spaces – enrichments over [0, ∞] – and preorders – enrichments over 2. We characterize the weights of colimits commuting in [0, ∞] with the conical terminal object and cotensors. These weights can be interpreted in metric terms as peculiar filters, the so-called filters of type 1. This generalize...

Complexity of a recursive algorithm typically is related to the solution to a recurrence equation based on its recursive structure. For a broad class of recursive algorithms we model their complexity in what we call the complexity approach space, the space of all functions in X = ]0,∞]Y , where Y can be a more dimensional input space. The set X, which is a dcpo for the pointwise order, moreover...

This study aims to assess the trend of domestic crimes reported in Davao City. The followed quantitative research method and utilized secondary domestic/criminal violence data collected by City Police Office (DCPO). Descriptive statistics, analysis, percentage change were used analyze gathered. Results revealed that theft attained highest incidence among crime cases as 2017, 2018, 2019 but was ...

A new approach to simulations is proposed within the theory of coalgebras by taking a notion of order on a functor as primitive. Such an order forms a basic building block for a “lax relation lifting”, or “relator” as used by other authors. Simulations appear as coalgebras of this lifted functor, and similarity as greatest simulation. Two-way similarity is then similarity in both directions. In...

In this article we study a type of directed completion for posets and T0-spaces introduced by O. Wyler [Wy81] that we call the D-completion. The category D of monotone convergence spaces is a full reflective subcategory of the category of topological spaces and continuous maps, and the D-completion gives the reflection of a topological space into D, and as such exhibits a useful universal prope...

For every metric space X, we deene a continuous poset BX such that X is home-omorphic to the set of maximal elements of BX with the relative Scott topology. The poset BX is a dcpo ii X is complete, and !-continuous ii X is separable. The computational model BX is used to give domain-theoretic proofs of Banach's xed point theorem and of two classical results of Hutchinson: on a complete metric s...

We describe categorical models of a circuit-based (quantum) functional pro- gramming language. We show that enriched categories play a crucial role. Following earlier work on QWire by Paykin et al., we consider both a simple first-order linear language for circuits, and a more powerful host language, such that the circuit language is embedded inside the host language. Our categorical semantics ...