ﻻ يوجد ملخص باللغة العربية
Graph games of infinite length are a natural model for open reactive processes: one player represents the controller, trying to ensure a given specification, and the other represents a hostile environment. The evolution of the system depends on the decisions of both players, supplemented by chance. In this work, we focus on the notion of randomised strategy. More specifically, we show that three natural definitions may lead to very different results: in the most general cases, an almost-surely winning situation may become almost-surely losing if the player is only allowed to use a weaker notion of strategy. In more reasonable settings, translations exist, but they require infinite memory, even in simple cases. Finally, some traditional problems becomes undecidable for the strongest type of strategies.
With the increase of research in self-adaptive systems, there is a need to better understand the way research contributions are evaluated. Such insights will support researchers to better compare new findings when developing new knowledge for the com
We give an overview about equations of state (EOS) which are currently available for simulations of core-collapse supernovae and neutron star mergers. A few selected important aspects of the EOS, such as the symmetry energy, the maximum mass of neutr
We consider several ways of how one could classify the various types of soliton solutions related to nonlinear evolution equations which are solvable by the inverse scattering method. In doing so we make use of the fundamental analytic solutions, the
The reliable evaluation of the r-process production of the actinides and careful estimates of the uncertainties affecting these predictions are key ingredients especially in nucleo-cosmochronology studies based on the analysis of very metal-poor star
The bright, well-known K5 giant Aldebaran, alpha Tau, is probably the star with the largest number of direct angular diameter determinations, achieved over a long time by several authors using various techniques. In spite of this wealth of data, or p