We study a singular limit problem of the Allen-Cahn equation with Neumann boundary conditions and general initial data of uniformly bounded energy. We prove that the time-parametrized family of limit energy measures is Brakke’s mean curvature flow with a generalized right angle condition on the boundary.

This paper presents a new methodology based on AHP and ANP (Saaty, 1980, 1996) to estimate the value and transfer fees of professional football players. The paper extends the AHP multicriteria methodology proposed by Moreno-Jiménez et al. (2010) for estimating the value of these sportsmen. The new approach multiplicatively combines the (intrinsic) value of the player (estimated by means of AHP ...

Electoral systems are complex entities composed of a set of phases that form a process to which performance parameters can be associated. One of the key points of every electoral system is represented by the electoral formula that can be characterized by a wide spectrum of properties that, according to Arrow’s Impossibility Theorem and other theoretical results, cannot be all satisfied at the s...

The lattice Boltzmann (LB) method is used to study the kinetics of domain growth of a binary fluid in a number of geometries modeling porous media. Unlike the traditional methods which solve the Cahn-Hilliard equation, the LB method correctly simulates fluid properties, phase segregation, interface dynamics and wetting. Our results, based on lattice sizes of up to 4096× 4096, do not show eviden...

We derive an exact nonlinear nonlocal macroscopic equation for the time evolution of the conserved order parameter rsr, td of a microscopic model binary alloy undergoing phase segregation: a d-dimensional lattice gas evolving via Kawasaki exchange dynamics, satisfying detailed balance for a Hamiltonian with a long range pair potential gdJsgjxjd. The macroscopic evolution is on the spatial scale...

This paper presents the specification of a programming language for cognitive agents. This programming language is an extension of 3APL (An Abstract Agent Programming Language) and allows the programmer to implement agents’ mental attitudes like beliefs, goals, plans, and actions, and agents’ reasoning rules by means of which agents can modify their mental attitudes. The formal syntax and seman...

This paper presents the specification of a programming language for cognitive agents. This programming language is an extension of 3APL (An Abstract Agent Programming Language) and allows the programmer to implement agents’ mental attitudes like beliefs, goals, plans, and actions, and agents’ reasoning rules by means of which agents can modify their mental attitudes. The formal syntax and seman...

Standard procedures of logic programming do not take into account program updates. If the given program is updated during or after the evaluation of a query, the answer to the query is not correct any longer. This paper shows how to use Dynamic SLDNF (DSLDNF), a new extension of SLDNF, which works under changing logic programs in order to construct plans for robot navigation in dynamic environm...