A Comparison of Well-Quasi Orders on Trees

Well-quasi orders such as homeomorphic embedding are commonly used to ensure termination of program analysis and program transformation, in particular supercompilation. We compare eight well-quasi orders on how discriminative they are and their computational complexity. The studied well-quasi orders comprise two very simple examples, two examples from literature on supercompilation and four new proposed by the author. We also discuss combining several well-quasi orders to get well-quasi orders of higher discriminative power. This adds 19 more well-quasi orders to the list.Comment: In Proceedings Festschrift for Dave Schmidt, arXiv:1309.455

Troll, a Language for specifying Dice-rolls

ABSTRACT Dice are used in many games, and often in fairly complex ways that make it difficult to unambiguously describe the dice-roll mechanism in plain language. Many role-playing games, such as Dungeons & Dragons, use a formalised notation for some instances of dice-rolls. This notation, once explained, make dice-roll descriptions concise and unambiguous. Furthermore, the notation has been used in automated tools for pseudo-random dice-rolling (typically used when playing over the Internet). This notation is, however, fairly limited in the types of dice-rolls it can describe, so most games still use natural language to describe rolls. Even Dungeons & Dragons use formal notation only for some of the dice-roll methods used in the game. Hence, a more complete notation is in this paper proposed, and a tool for pseudo-random rolls and (nearly) exact probability calculations is described. The notation is called "Troll", combining the initial of the Danish word for dice ("terninger") with the English word "roll". It is a development of the language Roll described in an earlier paper. The present paper describes the most important features of Troll and its implementation

Koens fysiologiske status og indflydelse heraf på produktion og sundhed omkring kælvning afhængig af foderniveau og næringsstofforsyning

Selvforsyning er ikke et regelkrav, men i tråd med det økologiske nærhedsprincip, dvs. at arbejde mest muligt i lukkede næringsstofkredsløb og dermed en fodring baseret på udelukkende hjemmeavlede fodermidler dyrket inden for bedriftens eget arealgrundlag. Det nuværende regelsæt har en minimumsgrænse for grovfodertildeling: 60% af tørstof i den daglige ration, dog 50% af tørstof til køer mindre end 3 måneder fra kælvning. I forbindelse med regelsættet er der imidlertid en række spørgsmål vedrørende dyrenes sundhed og produktion. På den baggrund er der gennemført forsøg med det formål at belyse produktion og metabolske parametre for tre typer 100% økologiske rationer baseret på korn, rapsfrø og kløvergræs dyrket på et givent areal pr. ko