We introduce constraints necessary for type checking a higher-order concurrent constraint language, and solve them with an incremental algorithm. Our constraint system extends rational unification by constraints x⊆y saying that “x has at least the structure of y”, modelled by a weak instance relation between trees. This notion of instance has been carefully chosen to be weaker than the usual on...

We study the Cauchy problem for the Hamilton-Jacobi equation with a semi-concave initial condition. We prove an inequality between the two types of weak solutions emanating from such an initial condition (the variational and the viscosity solution). We also give conditions for an explicit semi-concave function to be a viscosity solution. These conditions generalize the entropy inequality charac...

We investigate various language famili$:s which can be obtained from sentential form languages of semi-Thue systems by applying codmgs, weak codings, non-erasing homomorphisms, and arbitrary homomorphi5rns. We also distinguish between monotone, contexi-independent, and context-dependent semi-Thur systems with at most one or finitely many starting words. Finally, we study the effect of erasing p...

We classify the foliations associated to semi-complete vector fields at an isolated singularity of saddle-node type in C, i.e., associated to semi-complete vector fields in C, whose linear part is diagonalizable and with an isolated singularity, where the n − 1 non-vanishing eigenvalues of its linear part are nonresonant and in the Poincaré Domain. We will also analyse the semi-completude of a ...

In this paper, we study the Gevrey regularity of weak solutions for a class of linear and semi-linear kinetic equations, which are the linear model of spatially inhomogeneous Boltzmann equations without an angular cutoff.

The Yarkovsky effect is a weak non gravitational force that can modify the semi-major axis of asteroid. It has an important effect on the long term evolution of Near Earth Asteroids. The aim of this paper is to detect secular drift in the semi-major axis of some asteroids. The datamining can help to detect such a drift by extending the orbital arc. Finally the Yarkovsky effect is also considere...

We consider a semi-discrete car-following model and the macroscopic Aw–Rascle model for traffic flow given in Lagrangian form. The solution of the car-following model converges to a weak entropy solution of the system of hyperbolic balance laws with Cauchy initial data. For the homogeneous system, we allow vacuum in the initial data. By using properties of the semi-discrete model, we show that ...

— The lattice method for the calculation of weak decay amplitudes of heavy quark systems is introduced. Results for leptonic and semi-leptonic decays of heavy mesons and B − B mixing are reviewed.

The non-centrosymmetric crystal structure of the novel semi-organic title compound, C(2)H(5)N(4) (+)·NO(3) (-), is based on alternating layers of 4-amino-1H-1,2,4-triazolinium cations (formed by parallel chains of cations mediated by weak C-H⋯N hydrogen bonds) and nitrate anions inter-connected via linear and bifurcated N-H⋯O hydrogen bonds and weak C-H⋯O hydrogen bonds. N-H⋯N hydrogen bonds li...

Themaximal strong andweak bisimulations on any class of processes can be obtained as the limits of decreasing chains of binary relations, approximants. In the case of strong bisimulation and Basic Process Algebras this chain has length at most !which enables semidecidability of strong bisimilarity. We show that it is not so for weak bisimulation where the chain can grow much longer, and discuss...