Related papers: ReactionKinetics---A Mathematica Package with Appl…
We summarize and to discuss briefly the geometrical practice of modeling attitudes so far popular in treating reaction kinetics of solid-state processes. The model equations existing in the literature have been explored to describe the…
In the present work we compare reliability of several most widely used reduced detailed chemical kinetic schemes for hydrogen-air and hydrogen-oxygen combustible mixtures. The validation of the schemes includes detailed analysis of 0D and…
The increased interest in reactive synthesis over the last decade has led to many improved solutions but also to many new questions. In this paper, we discuss the question of how to deal with assumptions on environment behavior. We present…
A new tool for modeling electrochemical kinetics is presented. An extension of the Stochastic Simulation Algorithm framework to electrochemical systems is proposed. The physical justifications and constraints for the derivation of a…
We introduce FunKit, a Mathematica package for the derivation and tracing of functional equations from arbitrary master equations. FunKit provides an expression vocabulary and a set of rules that allow for derivations in any given field…
Passive documents and active programs now widely comingle. Document languages include Turing-complete programming elements, and programming languages include sophisticated document notations. However, there are no formal foundations that…
In this work, I present an automatic system for the evaluation of closed-type exercises in physics at the high school level or in the first year of a degree where physics is a mandatory course. It is expected that this will allow students…
This paper brings mathematical tools to bear on the study of package dependencies in software systems. We introduce structures known as Dependency Structures with Choice (DSC) that provide a mathematical account of such dependencies,…
Some aspects of the physical nature of language are discussed. In particular, physical models of language must exist that are efficiently implementable. The existence requirement is essential because without physical models no communication…
Sometimes we obtain attractive results when associating facts to simple elements. The goal of this work is to introduce a possible alternative in the study of the dynamics of rational maps.
Reactive synthesis is a paradigm for automatically building correct-by-construction systems that interact with an unknown or adversarial environment. We study how to do reactive synthesis when part of the specification of the system is that…
In this paper, we propose a new method to identify biochemical reaction networks (i.e. both reactions and kinetic parameters) from heterogeneous datasets. Such datasets can contain (a) data from several replicates of an experiment performed…
In a recent paper it was shown that, for chemical reaction networks possessing a subtle structural property called concordance, dynamical behavior of a very circumscribed (and largely stable) kind is enforced, so long as the kinetics lies…
This article summarizes new features and enhancements of the first major update of Package-X. Package-X 2.0 can now generate analytic expressions for arbitrarily high rank dimensionally regulated tensor integrals with up to four distinct…
A thermodynamic formulation of jammed matter is reviewed. Experiments and simulations of compressed emulsions and granular materials are then used to provide a foundation for the thermodynamics.
In the study of rare events in complex systems with many degrees of freedom, a key element is to identify the reaction coordinates of a given process. Over recent years, a number of methods and protocols have been developed to extract the…
This paper is devoted to path-dependent kinetics equations arising, in particular, from the analysis of the coupled backward - forward systems of equations of mean field games. We present local well-posedness, global existence and some…
I give in this brief tutorial a short practical introduction to the Mathematica package SARAH. First, it is shown how an existing model file can be changed to implement a new model in SARAH. In the second part, masses, vertices and…
Multivariate residues appear in many different contexts in theoretical physics and algebraic geometry. In theoretical physics, they for example give the proper definition of generalized-unitarity cuts, and they play a central role in the…
Given a group action on a simplicial complex such that each simplex stabiliser admits a cocompact model of classifying space for proper actions, we give conditions implying the existence of a cocompact model of classifying space for proper…