Reactive systems (RSs) represent a meta-framework aimed at deriving behavioral congruences for those computational formalisms whose operational semantics is provided by reduction rules. RSs proved a flexible specification device, yet so far most of the efforts dealing with their behavioural semantics focused on idem pushouts (IPOs) and saturated (also known as dynamic) bisimulations. In this pa...

0

An enormous variety of nonlinear differential equations and functions have been recast exactly in the canonical form called an S-system. This is a system of nonlinear ordinary differential equations, each with the same structure: the change in a variable is equal to a difference of products of power-law functions. We review the development of S-systems, prove that the minimum for the range of e...

Everything should be made as simple as possible, but not simpler.

The paper presents a novel approach for accurate polygonization of implicit surfaces with sharp features. The approach is based on mesh evolution towards a given implicit surface with simultaneous control of the mesh vertex positions and mesh normals.

In statistical mechanics, it is well known that finite-state classical lattice models can be recast as quantum models, with distinct classical configurations identified with orthogonal basis states. This mapping makes classical statistical mechanics on a lattice a special case of quantum statistical mechanics, and classical combinatorial entropy a special case of quantum entropy. In a similar m...

we introduce an implicit method for nding a common element of the set of solutions of systems of equilibrium problems and the set of common xed points of a sequence of nonexpansive mappings and a representation of nonexpansive mappings. then we prove the strong convergence of the proposed implicit schemes to the unique solution of a variational inequality, which is the optimality condition fo...

To suppress methanol crossover in direct methanol fuel cells DMFCs , a Nafion-Bi2V0.75Sb0.25O5.4 composite membrane was prepared by recast method. Oxygen-ion conductive Bi2V0.75Sb0.25O5.4 powders were highly dispersed in a Nafion 117 membrane to physically block methanol crossover and/or chemically oxidize the methanol, which was confirmed by the difference in the methanol diffusion coefficient...