Filetype
We describe a class of semantic extensive entailment game (eeg) with algorithmic players, related to game-theoretic semantics (gts), and generalized to classical first-order semantic entailment. Players have preferences for parsimonious spending of computational resources, and compute partial strategies, under qualitative uncertainty about future histories. We prove the existence of local preferen
During recent years the increasing power of computers and communications has led to the use of more advanced analysis approaches within the mechanical engineering design process, or design process for short. Predictive Design Analysis (PDA), see [1], is an approach in which the final behavior of a product is predicted by combining information from different analysis techniques. This paper presents
The paper discusses some research questions related to event-based control over networks and presents preliminary results regarding event-based minimum-variance control of first-order systems with specified minimum inter-event times.
Popular Abstract in Swedish Avhandlingens titel: Självskadebeteende bland ungdomar: resultat från tvärsnitts- och longitudinella studier i svenska skolor. Självskadebeteende bland ungdomar (exempelvis när någon skär, bränner eller slår sig själva, eller avsiktligt åsamkar sig direkta skador på något annat sätt) har uppmärksammats som ett växande problem under de senaste årtiondena. Kunskap om omfaSelf-injury in adolescents (e.g. when individuals cut, burn, hit or otherwise deliberately cause themselves direct injury), has gained recognition as a potentially important mental health problem during the past decade. Relatively little has been known about the scope and characteristics of this behavior in Swedish adolescents. This thesis consists of three studies that in different ways explore
A new target chamber as well as a new 7-axes translation stage with goniometer will shortly be implemented at the LIPSION nanoprobe in Leipzig. This new stage should enable linear motion as well as rotary motion with high precision, positioning accuracy and repeatability. These different features have been investigated online as well as offline, with encouraging results. Along with the new equipme
As a first step towards understanding the regulatory mechanisms underlying the asynchronous oogenesis in repetitive spawning fish, full-length cDNAs encoding the receptors for follicle stimulating hormone (FSH-R) and luteinizing hormone (LH-R) were isolated from the gonads of the flatfish Atlantic halibut (Hippoglossus hippoglossus). The predicted halibut FSH-R and LH-R of 664 and 698 amino acids,
