We are concerned with the structural stability of dynamic phase changes occurring across sharp interfaces in a multidimensional van der Waals uid. Such phase transitions can be viewed as propagating discontinuities. However, they are usually subsonic, thus violating the Lax criterion. The lacking information lies in an additional jump condition, which is rather simple in the case of reversible ...

We propose a definition of admissible Dirichlet series as the analog of Hayman’s [6] 1956 definition of admissible power series.

The paper is devoted to problems caused by the nonlinearity of logical time in distributed, especially cyber-physical, systems. Two approaches to the modelling of such systems are considered in the paper. The operational approach is based on the traditional model that defines the admissible system behaviour as a set of acceptable schedules of the system. The paper argues in favour of restrictin...

This paper addresses the elaboration of a relation-logical compositional semantics for the meaning content of nominals using formal ontologies as semantic domains. Prepositions are conceived as denoting binary semantic role relations between concepts in the ontology. The ontology comes with ontological affinities specifying the admissible ontological combinations. The key idea is to establish a...

We investigate the structure of the nonlocal closure relation in the kinetic equation for a soliton gas. This kinetic equation represents an integro-differential nonlinear system which has been recently shown to possess a number of remarkable properties and seems to be a representative of an entirely new class of integrable systems. In this paper, we identify the nonlocal kinetic closure relati...

Nowadays there is a growing research activity centred in automated processing of texts on electronic form. One of the most common problems in this field is coreference resolution, i.e. the way of knowing when, in one or more texts, different descriptions refer to the same entity. A full co-reference resolution is difficult to achieve and too computationally demanding; moreover, in many applicat...

In this paper, we describe a Prolog implementation of a new theorem prover for (normal propositional) modal and multi–modal logics. The theorem prover, which is called KEM , arises from the combination of a classical refutation system which incorporates a restricted (“analytic”) version of the cut rule with a label formalism which allows for a specialised, logic–dependent unification algorithm....

Finite-state automata called transducers, which have both input and output, can be used to model simple mechanisms of biological mutation. We present a methodology whereby numerically-weighted versions of such specifications can be mechanically adapted to create string edit machines that are essentially equivalent to recurrence relations of the sort that characterize dynamic programming alignme...

We study admissible subcategories of derived categories coherent sheaves on del Pezzo surfaces and rational elliptic surfaces. Using a relation between anticanonical divisors we prove the following results. First, classify all projective plane by showing that each is generated subcollection full exceptional collection. Second, show do not contain any phantom subcategories. This provides first e...

In this review paper, we discuss the relation between recent advances in theory of partial differential equations and their applications to quantum field on curved spacetimes. particular, focus hyperbolic propagators role they play construction physically admissible states—the so-called Hadamard states—on globally We will notion a propagator how it can be constructed an explicit invariant fashi...