The present work investigates a Dynamic Vehicle Allocation problem (DVAP) which is faced by major forwarding companies active in road transportation. A company owning a limited fleet of vehicles wants to maximize its operational profit over an infinite horizon divided into equal periods (days). The profit stems from revenues for transporting full truckloads (FTL) and from costs derived from wai...

We study a game with strategic vendors (the agents) who own multiple items and a single buyer with a submodular valuation function. The goal of the vendors is to maximize their revenue via pricing of the items, given that the buyer will buy the set of items that maximizes his net payoff. We show this game may not always have a pure Nash equilibrium, in contrast to previous results for the speci...

It presents an SPFA(Standing for Segmented Progressive Filter Algorithm).The basic idea behind SPFA is to first segment the database into sub-databases in such a way that item in each sub-database will have either the common starting time or the common ending time. Then, for each sub-databse, SPFA progressively filters candidate 2-itemsets with cumulative filtering thresholds either forward or ...

In this paper we propose a data model for representing moving objects with uncertain positions in database systems. It is called the Moving Objects Spatio-Temporal (MOST) data model. We also propose Future Temporal Logic (FTL) as the query language for the MOST model, and devise an algorithm for processing FTL queries in MOST.

In this paper we propose a data model for representing moving objects in database systems. It is called the Moving Objects Spatio-Temporal (MOST) data model. We also propose Future Temporal Logic (FTL) as the query language for the MOST model, and devise an algorithm for processing FTL queries in MOST.

This paper presents a research study which aims at determining optimal locations of regional distribution centers in a collaborative distribution network. We consider a multi-layered distribution system between a cluster of suppliers from a given region and several thousands customers spread over the whole country. The optimization problem consists of finding the locations of intermediate logis...

Flash translation layer (FTL) is generally used for NAND flash memory in order to handle the mapping between logical page address and physical page address. Log buffer-based FTLs provide good performances with small-sized mapping information. In designing the log buffer-based FTL, one important factor is to determine the mapping architecture between data block and log block, called associativit...

Constructing flash memory based storage, FTL (Flash Translation Layer) manages mapping between logical address and physical address. Since FTLwrites everydata to new region by itsmappingmethod, the previous data is not overwritten by new write operation. When a journaling file system is set up upon FTL, it duplicates data between the journal region and its home location for the file system cons...

Design patterns are usually described in terms of instances. Templates describe sentences of some language with a particular form, generate sentences upon instantiation, and can be used to describe those commonly occurring structures that make a pattern. This paper presents FTL, a language to express templates, and an approach to proof with templates. This enables reuse at the level of formal m...