Redevelopment of distressed and blighted areas are targeted by most of development policies.However, a number of policies have been changed as the result of the ineffectiveness of the previous experiences, theincompatibility of the development tools and plans, the lack of financial resources or social movements. Large-scaleredevelopment projects have usually been considered as the powerful tool...

Planning with sensing actions under partial observability is a computationally challenging problem that is fundamental to the realization of AI tasks in areas as diverse as robotics, game playing, and diagnostic problem solving. Recent work on generating plans for partially observable domains has advocated for online planning, claiming that offline plans are often too large to generate. Here we...

Programmers write programs, expressing plans for machines to execute. When composed so that they may cooperate, plans may instead interfere with each other in unanticipated ways. Plan coordination is the art of simultaneously enabling plans to cooperate, while avoiding hazards of destructive plan interference. For sequential computation within a single machine, object programming supports plan ...

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...

• In the quality control of a production process (of goods or services), from a statistical point of view, the focus is either on the process itself with application of Statistical Process Control or on its frontiers, with application of Acceptance Sampling (AS) and Experimental Design. AS is used to inspect either the process output (final product) or the process input (raw material). The purp...

Declarative large-scale machine learning (ML) aims at the specification of ML algorithms in a high-level language and automatic generation of hybrid runtime execution plans ranging from single node, in-memory computations to distributed computations on MapReduce (MR) or similar frameworks like Spark. The compilation of large-scale ML programs exhibits many opportunities for automatic optimizati...