Related papers: ReactionKinetics---A Mathematica Package with Appl…
To study implementations and optimisations of interaction net systems we propose a calculus to allow us to reason about nets, a concrete data-structure that is in close correspondence with the calculus, and a low-level language to create…
Reactive programs are ubiquitous in modern applications, and so verification is highly desirable. We present a verification strategy for reactive programs with a large or infinite state space utilising algebraic laws for reactive relations.…
This paper describes the RationalMaps package for Macaulay2. This package provides functionality for computing several aspects of rational maps such as whether a map is birational, or a closed embedding.
The actuality of material attached to the article is caused by the necessity to develop and implement high-tech information and communication, educational and scientific environment to the leaning process. One of the examples of such…
Mathematics has many useful properties for developing of complex software systems. One is that it can exactly describe a physical situation of the object or outcome of an action. Mathematics support abstraction and this is an excellent…
Mathematical learning environments give domain-specific and immediate feedback to students solving a mathematical exercise. Based on a language for specifying strategies, we have developed a feedback framework that automatically calculates…
Requirements are informal and semi-formal descriptions of the expected behavior of a system. They are usually expressed in the form of natural language sentences and checked for errors manually, e.g., by peer reviews. Manual checks are…
This document defines the mathematical backbone of the Statebox programming language. In the simplest way possible, Statebox can be seen as a clever way to tie together different theoretical structures to maximize their benefits and limit…
The role of mathematics in physical sciences is discussed, particularly how higher mathematics found applications in empirical problems. Several examples are given to illustrate this role.
A generalization of the force approach to radiation reaction is given, taken into consideration an arbitrary motion of the charged particle . The expression obtained brings about the expression already given for the linear an the circular…
We present a software package DiracQ, for use in quantum many-body Physics. It is designed for helping with typical algebraic manipulations that arise in quantum Condensed Matter Physics and Nuclear Physics problems, and also in some…
We define a general mathematical framework for studying post-translational modification processes under the assumption of mass action kinetics.
Ammonia is a promising zero-carbon fuel for industrial and transport applications, but its combustion is hindered by flame instabilities, incomplete oxidation, and the formation of nitrogen oxides. Accurate and detailed kinetic models are…
Reaction-diffusion models have been used over decades to study biological systems. In this context, evolution equations for probability distribution functions and the associated stochastic differential equations have nowadays become…
There are many scientific problems generated by the multiple and conflicting alternative definitions of linguistic recursion and human recursive processing that exist in the literature. The purpose of this article is to make available to…
Kinematical relativistic effects are analyzed within the plane-wave impulse approximation for outgoing nucleon polarized responses in coincidence electron scattering. Following recent approaches for non-relativistic reductions of the…
This guide contains brief, practically oriented instructions for the use of the AngCor package for computing angular correlations following nuclear reactions. This guide serves as a lasting reference for the AngCor package and complements…
This work addresses multistationarity of fully open reaction networks equipped with mass action kinetics. We improve upon the existing results relating existence of positive feedback loops in a reaction network and multistationarity; and we…
It is shown that physical mechanics for pointlike bodies can be effectively modeled in terms of the action of transformation groups that act as symmetries of the solutions of systems of differential equations that describe the integrability…
We present a kinetic Monte Carlo method for simulating chemical transformations specified by reaction rules, which can be viewed as generators of chemical reactions, or equivalently, definitions of reaction classes. A rule identifies the…