ArvandHerd is a sequential satisficing planner that uses a portfolio consisting of LAMA and Arvand. This planner won the multi-core track of the 2011 International Planning Competition. In this paper, we describe the various components of ArvandHerd, the updates made for the 2014 competition, and the modifications that allow ArvandHerd to compete in the single-core sequential satisficing tracks.

In this paper, a new cochannel speech separation algorithm using multi-pitch extraction and speaker model based sequential grouping is proposed. After auditory segmentation based on onset and offset analysis, robust multi-pitch estimation algorithm is performed on each segment and the corresponding voiced portions are segregated. Then speaker pair model based on support vector machine (SVM) is ...

SuperCollider [5] is a computer music system based on an object-oriented real-time scripting language and a separate audio synthesis server. The synthesis server is programmed using a sequential programming model and is only able to use one CPU core for audio synthesis, so it does not make full use of today’s multi-core CPUs. In order to overcome this limitation we have implemented Supernova, a...

The whole computer hardware industry embraced the multi-core. The extreme optimisation of sequential algorithms is then no longer sufficient to squeeze the real machine power, which can be only exploited via thread-level parallelism. Decision tree algorithms exhibit natural concurrency that makes them suitable to be parallelised. This paper presents an in-depth study of the parallelisation of a...

This paper presents theory and practical implementation of a method for multi-level logic synthesis of speedindependent circuits. An initial circuit implementation is assumed to satisfy the monotonous cover conditions but is technology independent. The proposed method performs both combinational (inserting new gates) and sequential (inserting new memory elements) decomposition of complex gates ...

We describe, and show in video format, the results of first-principles in-plane numerical calculations of non-sequential triple ionization (NSTI) of atoms in a linearly polarized intense laser pulse. In a fully classically correlated description, all three electrons respond dynamically to the nuclear attraction, the pairwise e-e repulsions and the laser force throughout the duration of a 780nm ...

The purpose of this paper consists of demonstrating an implementation methodology of sequential and distributed simulations using Java programming: two specific algorithms based on Java threads (single-channel and multi-channel algorithms) are proposed. From this point of view, the events are timely ordered into events lists and controlled by threads with respect to clock cycles. Each thread po...

A theoretical framework for selecting negotiation agenda strategies is developed for the common situation in which a single sales person is faced with bargaining with multi-functional buying teams. Two key strategic decisions regarding agenda setting, namely, the use of simultaneous versus sequential negotiation agendas, and the order of importance in which multiple issues should be bargained i...

Encoding can express the hierarchical relationship in the area of mining the multi-level sequential pattern, up to now all the algorithms of which find frequent sequences just according to frequency, but items have different importance in the real applications, therefore the weight constraint involved to the entire mining process is crucial. The MWSP algorithm based on the candidate generation-...

BACKGROUND Sequential and single grafting are two surgical procedures of coronary artery bypass grafting. However, it remains unclear if the sequential graft can be used between the right and left coronary artery system. The purpose of this paper is to clarify the possibility of right coronary artery system anastomosis to left coronary system. METHODS A patient-specific 3D model was first rec...