This paper proposes a new scheduling method for a marshaling in the container yard terminal. The proposed method is derived based on Q-Learning algorithm considering the desired position of containers that are to be loaded into a ship. In the method, 3 processes can be optimized simultaneously: rearrangement order of containers, layout of containers assuring explicit transfer of container to th...

For critical software development, containers such as lists, vectors, sets or maps are an attractive alternative to ad-hoc data structures based on pointers. As standards like DO-178C put formal verification and testing on an equal footing, it is important to give users the ability to apply both to the verification of code using containers. In this paper, we present a definition of containers w...

Container terminals offer transfer facilities to move containers from vessels to trucks, trains and barges and vice versa. Within the terminal the container yard serves as a temporary buffer where incoming containers are piled up in stacks. Only the topmost container of each stack can be accessed. If another container has to be retrieved, containers stored above it must be relocated first. Cont...

This paper proposes a simulation model to analyze the handling and the transfer system of containers in Le Havre seaport. The decision variables of simulation are determined by using the CPLEX optimization software. The goal is to determine the least expensive strategy for the transfer of a set of containers between container terminals. The simulation model is developed using an object-oriented...

In a container terminal, many operations occur within the storage area: containers import, containers export and containers shifting. All these operations require the respect of many rules and even laws in order to guarantee the port safety and to prevent risks, especially when hazardous material is concerned. In this paper, we propose a hybrid architecture, using a Cellular Automaton and a Mul...

The evolution of sociality remains a challenge in evolutionary biology and a central question is whether association between kin is a critical factor favouring the evolution of cooperation. This study examines genetic structure of Anelosimus studiosus, a spider exhibiting polymorphic social behaviour. Two phenotypes have been identified: an 'asocial' phenotype with solitary female nests and a '...

Minimising stress in farmed crocodiles is not only important for improving animal welfare, but may also improve skin blemish healing and infection resistance, which influence the quality of the final skin product. Forty near-harvest size saltwater crocodiles (1.6-1.8 m TL) from two Australian farms were sampled to evaluate the effect of different pen types (communal pens n=20; individual pens n...

This research was conducted to examine the hypothesis that expressing gratitude to a relationship partner enhances one's perception of the relationship's communal strength. In Study 1 (N = 137), a cross-sectional survey, expressing gratitude to a relationship partner was positively associated with the expresser's perception of the communal strength of the relationship. In Study 2 (N = 218), exp...

The purpose of this research was to investigate the effects of agentic and communal traitnarrative congruence on nostalgia and to replicate previous research showing that self-esteem and positive affect are mediators of the relationship between nostalgia and optimism (Cheung et al., 2013). In Study 1, participants completed ratings of agentic and communal traits and were asked to write about a ...

In 2 studies that draw from the social role theory of sex differences (A. H. Eagly, W. Wood, & A. B. Diekman, 2000), the authors investigated differences in agentic and communal characteristics in letters of recommendation for men and women for academic positions and whether such differences influenced selection decisions in academia. The results supported the hypotheses, indicating (a) that wo...