Related papers: ReactionKinetics - A Mathematica package with appl…
Reactive synthesis transforms a specification of a reactive system, given in a temporal logic, into an implementation. The main advantage of synthesis is that it is automatic. The main disadvantage is that the implementation is usually very…
Here practical aspects of conducting research via computer simulations are discussed. The following issues are addressed: software engineering, object-oriented software development, programming style, macros, make files, scripts, libraries,…
Physics makes powerful use of mathematics, yet the way this use is made is often poorly understood. Professionals closely integrate their mathematical symbology with physical meaning, resulting in a powerful and productive structure. But…
We analyse a mechanical system in two-dimensional relative motion with friction. Although the system is simple, the peculiar interplay between two kinetic friction forces and gravity leads to the wide range of admissible solutions exceeding…
For reaction-diffusion processes with at most bimolecular reactants, we derive well-behaved, numerically tractable, exact Langevin equations that govern a stochastic variable related to the response field in field theory. Using duality…
The behavior of dynamical system interacting with non-equilibrium medium is investigated. Formally exact kinetic equations are derived for the statistical operator of the dynamical system and the macroscopic parameters of the medium. In the…
Mathematica is a powerful application package for doing mathematics and is used almost in all branches of science. It has widespread applications ranging from quantum computation, statistical analysis, number theory, zoology, astronomy, and…
This preprint contains a description of a package for Mathematica called EinS. This package allows one to perform various calculations with indexed objects.
This PhD thesis deals with a number of different problems in mathematical physics with the common thread that they have probabilistic aspects. The problems all stem from mathematical studies of lattice systems in statistical and quantum…
A non-conventional approach to calculating reactions in quantum mechanics is presented. Reaction observables are obtained with bound state calculation techniques. The accuracy of the method to calculate few-nucleon response functions is…
We offer an insight into our mathematical endeavors, which aim to advance the foundational understanding of energy systems in a broad context, encompassing facets such as charge transport, energy storage, markets, and collective behavior.…
Chemical reactions involving diffusion of reactants and subsequent chemical fixation steps are generally termed "diffusion-influenced" (DI). Virtually all biochemical processes in living media can be counted among them, together with those…
A zone of reactions is determined and then exploited as a tool in studying the space-time structure of an interacting system formed in a collision of relativistic nuclei. The time dependence of the reaction rates integrated over spatial…
We commonly think of mathematics as bringing precision to application domains, but its relationship with computer science is more complex. This experience report on the use of Racket and Haskell to teach a required first university CS…
The various non-linear transformations incurred by the rays in an optical system can be modelled by matrix products up to any desired order of approximation. Mathematica software has been used to find the appropriate matrix coefficients for…
A second quantization procedure for the field-theoretic description of interactive games is analyzed. Its relation to the dynamical inverse problem of representation theory is emphasized.
Development of several alternative mathematical models for the biological system in question and discrimination between such models using experimental data is the best way to robust conclusions. Models which challenge existing theories are…
This paper addresses different aspects of "coupled" model descriptions in computational electromagnetics. This includes domain decomposition, multiscale problems, multiple or hybrid discrete field formulation and multi-physics problems.…
The effective equations of motion for a point charged particle taking account of radiation reaction are considered in various space-time dimensions. The divergencies steaming from the pointness of the particle are studied and the effective…
RA is a software package that couples machine learning with formal reasoning in an attempt to find the laws that generate the empirical data that it has been given access to. A brief outline of RA in its initial stage of development is…