An experimental and theoretical investigation of the reaction between chlorine atoms and propane/deuterated propane (C3H8/C3D8) was performed. The experimental work aimed to determine absolute and site-specific rate constants for hydrogen and deuteri...
Symbolic execution is well known as a dynamic vulnerability discovery technique. Its greatest advantage is the capability to analyze the execution information of the program and to explore the path in the program deterministically. This is a more acc...
The reaction of alkenes with hydroxyl (OH) radical is of great importance to atmospheric and combustion chemistry. This work used a combined ab initio/transition state theory (TST) method to study the reaction mechanisms and kinetics for hydrogen abs...
Hydrogen atom abstraction from propargyl C-H sites of alkynes plays a critical role in determining the reactivity of alkyne molecules and understanding the formation of soot precursors. This work reports a systematic theoretical study on the reaction...
Language plays a prominent role in the activities of human beings and other intelligent creatures. One of the most important functions of languages is communication. Inspired by this, we attempt to develop a novel language for cooperation between art...
Xylenes are important components of gasoline fuels, and their hydrogen abstraction reactions are crucial in the consumption pathways of combustion processes. In existing models, rate constants for these reactions are commonly derived by estimation, w...
A comprehensive Quasi-Classical Trajectory (QCT) investigation is reported for the hydrogen-abstraction reaction, OH (ν = 0, j = 2) + D2 (ν = 0, j = 2) → HOD* + D, aimed at clarifying the mechanisms of energy and angular-momentum disposal...
The triplet excited state reactivity towards phenolic hydrogen of the α-diketones benzil and 2,2′-furil in the ionic liquid 1-n-butyl-3-methyl imidazolium hexafluorophosphate [bmim.PF6] was investigated employing the nanosecond laser flas...
Since 1945, official Catholic discourse around nuclear weapons has condemned their existence on the one hand and supported them as deterrents on the other. This paper argues the largely abstracted discourse on nuclear weapons within the World Church...
Dynamic scheduling systems often rely on structured domain knowledge for real-time optimization and decision making. However, much of this knowledge originates from unstructured text, such as operational manuals, maintenance logs, and expert records....
The functional abstract second order impulsive differential equation with state dependent delay is studied in this paper. First, we consider a second order system and use a control to determine the controllability result. Then, using Sadovskii’s fixe...
This article surveys fundamental and applied aspects of symmetry in system models, and of symmetry reduction methods used to counter state explosion in model checking, an automated formal verification technique. While covering the research field broa...
The present work aims to compare two possible pathways of a pre-reaction complex in the reaction of transfer of a hydrogen atom from ammonia to a nitro compound forming. Nitrobenzene, nitromethane, and HNO2 were used as nitro compounds. The proposed...
The pure states of two-qubit quantum systems are described by a four-dimensional vector of complex numbers, and unitary operators transferring a two-qubit quantum system from one state to another have the form of a
Network games (NGs) are played on directed graphs and are extensively used in network design and analysis. Search problems for NGs include finding special strategy profiles such as a Nash equilibrium and a globally-optimal solution. The networks mode...
This article is mainly devoted to the study of the existence of solutions for second-order abstract non-autonomous integro-differential evolution equations with infinite state-dependent delay. In the first part, we are concerned with second-order abs...
In this paper, from linear operator, semigroup and Sturm–Liouville problem theories, an abstract system model for the convection–diffusion (C–D) equation is proposed. The state operator for this abstract system model is here defined...
In text classifier models, the complexity of recurrent neural networks (RNNs) is very high because of the vast state space and uncertainty of transitions, which makes the RNN classifier’s explainability insufficient. It is almost impossible to...
In this work, we study how diffusion-based generative models produce high-dimensional data, such as images, by relying on latent abstractions that guide the generative process. We introduce a novel theoretical framework extending Nonlinear Filtering...
27 September 2022
There are two possible ways to conceptualize the term “insomnia”: insomnia disorder and insomnia symptoms, which are often poorly reported. The purpose of this study was to examine the proportion of randomized controlled trials (RCTs) and systematic...
Background: The embodied cognition approach, as applied to concrete knowledge, is centred on the role of the perceptual and motor aspects of experience. To extend the embodied framework to abstract knowledge, some studies have suggested that further...
Durational action timed automata (daTAs) are state transition systems like timed automata (TAs) that capture information regarding the concurrent execution of actions and their durations using maximality-based semantics. As the underlying semantics o...
Background: he increasing cost of cancer drugs underscores the importance of economic analyses. Although guide-lines for abstract reporting of randomized controlled studies and phase i trials are available, similar rec-ommendations for conference abs...
Synthesizing plans for a deformable object to transit from initial observations to goal observations, both of which are represented by high-dimensional data (namely “raw” data), is challenging due to the difficulty of learning abstract state represen...
In the scale of abstract Banach spaces, the existence as well as the controllability are considered for a class of evolution systems involving conformable fractional derivatives. Under essential conditions on nonlinearity, among other conditions, exi...
Social stress can be caused by many factors. The United Nations Convention on the Rights of Persons with Disabilities (CRPD) highlights many social stressors disabled people experience in their daily lives. How social stressors experienced by disable...
Abstract concepts play a vital role in decision-making or recall operations because the associations among them are essential for contextual processing. Abstract concepts are complex and difficult to represent (conceptually, formally, or computationa...
Forestry research produces different kinds of knowledge, including ecological explanations, resource assessments, decision tools, and policy analyses, yet its practical content is usually judged by the recommendations it contains. Drawing on full-tex...
Using low-temperature (shallow) groundwater as a heat source or heat sink is a common practice to supply space heating or cooling, especially in the United States, Canada, China, and several European countries. The groundwater heat pump (GWHP) system...
Groundwater is a crucial resource for water supply and irrigation in many parts of the world, especially in the Middle East. The Eocene aquifer, located in the northern part of the West Bank, Palestine, is threatened by unsustainable groundwater abst...
Malware allegedly developed by nation-states, also known as advanced persistent threats (APT), are becoming more common. The task of attributing an APT to a specific nation-state or classifying it to the correct APT family is challenging for several...
We propose a framework that integrates norm entrepreneurship from human society into the dynamics of an agent society. Most work in agent coordination in a distributed environment studies norms that are provided to agents as part of their specificati...
Reinforcement learning (RL) allows an agent to solve sequential decision-making problems by interacting with an environment in a trial-and-error fashion. When these environments are very complex, pure random exploration of possible solutions often fa...
19 March 2021
Severe dengue outbreaks (DOs) affect the majority of Asian and Latin American countries. Whether all DOs always occurred in sub-tropical and tropical areas (STTA) has not been verified. We downloaded abstracts by searching keywords “dengue (MeSH Majo...
This paper introduces a multidisciplinary conceptual perspective encompassing artificial intelligence (AI), artificial general intelligence (AGI), and cybernetics, framed within what we call the formalism of generalized neuromorphism. Drawing from re...
Image abstraction simplifies complex images, highlights specific features, and preserves different levels of structures to achieve a desired style. This paper presents a constructive and adjustable data hiding algorithm to convey various secret messa...
A systematic review allows synthesizing the state of knowledge related to a clearly formulated research question as well as understanding the correlations between exposures and outcomes. A systematic review usually leverages explicit, reproducible, a...
Process mining analyzes events that are logged during the execution of a process, with the aim of gathering useful information and knowledge. Process discovery algorithms derive process models that represent these processes. The level of abstraction...
Product quality is an important part of enterprise competitiveness. Product processing is the key process of quality formation. In smart factories, the improvement of data acquisition and processing capability provides a basis for data-based quality...
The envisioned introduction of autonomous Small Unmanned Aircraft Systems (sUAS) into low-altitude urban airspace necessitates high levels of system safety. Despite increased system autonomy, humans will most likely remain an essential component in a...
In a previous paper, we introduced an axiomatic system for information thermodynamics, deriving an entropy function that includes both thermodynamic and information components. From this function, we derived an entropic probability distribution for c...
Recently, neural sequence-to-sequence models have made impressive progress in abstractive document summarization. Unfortunately, as neural abstractive summarization research is in a primitive stage, the performance of these models is still far from i...
The essays gathered in this Special Issue of Arts concern artists working in the United States and Europe since the 1960s who have leveraged sculptural abstraction to address topical issues without ceding to the classical framework of figuration [...]
The chlorothiophenoxy radicals (CTPRs) are key intermediate species in the formation of polychlorinated dibenzothiophenes/thianthrenes (PCDT/TAs). In this work, the formation of CTPRs from the complete series reactions of 19 chlorothiophenol (CTP)...
Studies of user-generated video game reviews make sampling decisions that limit how far their findings can be generalized. How often these decisions are reported has not been measured. This abstract-level systematic mapping study screened 868 records...
Data type abstraction plays a crucial role in software verification. In this paper, we introduce a domain for abstracting strings in the C programming language, where strings are managed as null-terminated arrays of characters. The new domain M-Strin...
The design of microfluidic devices is a cumbersome and tedious process that can be significantly improved by simulation. Methods based on Computational Fluid Dynamics (CFD) are considered state-of-the-art, but require extensive compute time—oft...
The concept of Platonism is extended by introducing the new concept of a “Platonic computer” which is incorporated in metacomputics. The theoretical framework of metacomputics postulates that such a Platonic computer exists within the rea...
We consider an evolutionary inclusion associated with a time-dependent convex in an abstract Hilbert space. We recall a unique solvability result obtained based on arguments of nonlinear equations with maximal monotone operators combined with a penal...
In this manuscript, we implement Bohnenblust–Karlin’s fixed point theorem to demonstrate the existence of mild solutions for a class of impulsive fractional integro-differential inclusions (IFIDI) with state-dependent delay (SDD) in Banach spaces. An...
of 20