Dou Shou Qi is a game in which two players control a number of pieces, each of them aiming to move one of their pieces onto a given square. We implemented an engine for analyzing the game. Moreover, we created a series of endgame tablebases containing all configurations with up to four pieces. These tablebases are the first steps towards theoretically solving the game. Finally, we constructed d...

An I/O automata solution to the problem posed in 1994 by Broy & Lamport at the Dagstuhl Workshop on Reactive Systems is presented. The problem calls for speciication and veriication of memory and remote procedure call components. The problem speciication consists of an untimed and a timed part. In this paper, both parts are solved completely.

Van der Heijden’s ENDGAME STUDY DATABASE IV, HhdbIV, is the definitive collection of 76,132 chess studies. In each one, White is to achieve the stipulated goal, win or draw: study solutions should be essentially unique with minor alternatives at most. In this second note on the mining of the database, we use the definitive Nalimov endgame tables to benchmark White’s moves in sub-7-man chess aga...

Conceptualizing procedural knowledge is one of the most challenging tasks of building systems for intelligent tutoring. We present an algorithm that enables teachers to accomplish this task semi automatically. We used the algorithm on a difficult king, bishop, and knight versus the lone king (KBNK) chess endgame, and obtained concepts that could serve as textbook instructions. A pilot experimen...

The debate over how to tame private medical spending tends to pit advocates of government-provided insurance--a single-payer scheme--against those who would prefer to harness market forces to hold down costs. When it is mentioned at all, the possibility of regulating the medical industry as a public utility is brusquely dismissed as anathema to the American regulatory tradition. This dismissive...

Despite the advantages and simplicity of stack machines, they are not very often found or supported in commercial computer systems. This paper explains the need for stacks in modern programming languages and describes three dimensions used to categorize the different stack implementations. Furthermore, we will discuss the application and support of stacks and their integration in modern computi...

The chess endgame is increasingly being seen through the lens of, and therefore effectively defined by, a data ‘model’ of itself. It is vital that such models are clearly faithful to the reality they purport to represent. This paper examines that issue and systems engineering responses to it, using the chess endgame as the exemplar scenario. A structured survey has been carried out of the intri...

As shown by the development of Special Relativity the simultaneity concept should be related to that of reference frame. Poincaré proposed to define the simultaneity of two events by means of light signals following what is nowadays known as the Einstein simultaneity convention. The need of a simultaneity definition is present also in general relativity and in curved spacetimes in order to prov...

S6.1 Genome-wide Structural Variant Detection We used whole-genome shotgun paired-end sequence data generated with both Illumina and Applied Biosystems SOLiD platforms from the genomes of six canid samples (including a additional Basenji only sequenced to low coverage on the Illumina platform, but excluding the Chinese wolf), to estimate the fraction of the genome with segmental duplications. O...

Identifying the genomic targets of transcription factors is an important step in understanding the regulatory networks of gene transcription in yeast. We have developed a method that utilizes what we refer to as transposon “calling cards,” in which a transcription factor directs the Ty5 retrotransposase to insert transposons into the genome adjacent to where the transcription factor binds. This...