The paper presents a container stacking model that simulates, solves and optimizes the container stacking activity within a fluvial or maritime port. This activity constitutes a real world problem that is omnipresent in logistic and transportation domain. Given container arrivals in a container port terminal, the objective is to assign a slot to each one in a storage area at least cost with res...

We exploit the ability to represent data types as container functors [2,1,3] to develop a novel approach to proving properties of lists using arithmetic decision procedures. Containers capture the idea that concrete data types can be characterised by specifying the shape values take and for every possible shape, explaining where positions within that shape are stored. More importantly, a repres...

This paper presents a genetic algorithm (GA)-based optimisation approach to improve container handling operations at the Patrick AutoStrad container terminal located in Brisbane Australia. In this paper we focus on scheduling for container transfers and encode the problem using a two-part chromosome approach which is then solved using a modified genetic algorithm. In simulation experiments, the...

After the terrorist attack on September 11, 2001 in U.S., the container security issue got high attention, especially by U.S. government, which deployed a lot of measures to promote or improve security systems. U.S. government not only enhances its national security system, but allies with other countries against the potential terrorist attacks in the future. For example CSI (Container Security...

Parsing of sentences based on Dependency Grammar is emulated with a constraintand unification-based mechanism that preserves single-headedness and projectivity in syntactic dependency. Working on Chinese, and referring to English at times, the authors have treated subcategorization properties of verbs on the assumptions that relative positions of obligatory complements of a verb are fixed, and ...

This study describes a new method developed to determine the 3D positional displacements of the drainage networks extracted from Digital Elevation Models (DEMs). The proposed method establishes several stages for data preparation. The displacements are derived by means of linestring-based assessment methods, which can be applied in 2D and 3D. Also, we propose the use of several tools (maps, agg...

Chikungunya fever (CHIKV), a viral disease transmitted by mosquitoes, is currently affecting several territories in the Caribbean. The vector is found in the Americas from South Florida to Brazil and the Caribbean is a highly connected region. There is therefore a significant risk for the epidemic to quickly expand to a wide area in the Americas, and of introduction to Europe where competent ve...

Workload placement on servers has been traditionally driven by mainly performance objectives. In this work, we investigate the design, implementation, and evaluation of a power-aware application placement controller in the context of an environment with heterogeneous virtualized server clusters. The placement component of the application management middleware takes into account the power and mi...

We present some modifications of the Hoede-Bakker index defined in a social network in which players may influence each other. Due to influences of the other actors, the final decision of a player may be different from his original inclination. The modifications presented in the paper are defined for an arbitrary probability distribution over all inclination vectors. In particular, they concern...

This paper models the sea port system with the objective of determining the optimal storage strategy and container-handling schedule. It presents an iterative search algorithm that integrates a container transfer model with a container location model in a cyclic fashion to determine both optimal locations and corresponding handling schedule. A genetic algorithm, a tabu search and a tabu search/...