اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدHow do we remember the past in randomised strategies?
309
0
0.0
(
0
)
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
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
munity. However, so far there is no clear overview of how evaluations are performed in self-adaptive systems. To address this gap, we conduct a mapping study. The study focuses on experimental evaluations published in the last decade at the prime venue of research in software engineering for self-adaptive systems -- the International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). Results point out that specifics of self-adaptive systems require special attention in the experimental process, including the distinction of the managing system (i.e., the target of evaluation) and the managed system, the presence of uncertainties that affect the system behavior and hence need to be taken into account in data analysis, and the potential of managed systems to be reused across experiments, beyond replications. To conclude, we offer a set of suggestions derived from our study that can be used as input to enhance future experiments in self-adaptive systems.
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
on stars, and cluster formation, are confronted with constraints from experiments and astrophysical observations. There are just very few models which are compatible even with this very restricted set of constraints. These remaining models illustrate the uncertainty of the uniform nuclear matter EOS at high densities. In addition, at finite temperatures the medium modifications of nuclear clusters represent a conceptual challenge. In conclusion, there has been significant development in the recent years, but there is still need for further improved general purpose EOS tables.
144 -
V. S. Gerdjikov (Institute for Nuclear Research
, Nuclear Energy
, n Bulgarian Academy of Sciences
2007
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
dressing procedure, the reduction technique and other tools characteristic for that method.
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
s or on the composition of meteorites. This type of information is also required in order to make the best possible use of future high precision data on the actinide composition of galactic cosmic rays, of the local interstellar medium, or of meteoritic grains of presumed circumstellar origin. This paper provides the practitioners in these various fields with the most detailed and careful analysis of the r-process actinide production available to-date. In total, thirty-two different multi-event canonical calculations using different nuclear ingredients or astrophysics conditions are presented, and are considered to give a fair picture of the level of reliability of the predictions of the actinide production, at least in the framework of a simple r-process model. This simplicity is imposed by our inability to identify the proper astrophysical sites for the r-process. Constraints on the actinide yield predictions and associated uncertainties are suggested on grounds of the measured abundances of r-nuclides, including Th and U, in the star CS 31082-001, and under the critical and questionable assumption of the `universality of the r-process. We also define alternative constraints based on the nucleo-cosmochronological results derived from the present actinide content of meteorites. Implications to the different above-cited fields, and in particular nucleo-cosmochronometry are discussed.
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
erhaps as a direct result of it, there is not a very good agreement on a single angular diameter value. This is particularly unsettling if one considers that Aldebaran is also used as a primary calibrator for some angular resolution methods, notably for optical and infrared long baseline interferometry. Directly connected to Aldebarans angular diameter and its uncertainties is its effective temperature, which also has been used for several empirical calibrations. Among the proposed explanations for the elusiveness of an accurate determination of the angular diameter of Aldebaran are the possibility of temporal variations as well as a possible dependence of the angular diameter on the wavelength. We present here a few, very accurate new determinations obtained by means of lunar occultations and long baseline interferometry. We derive an average value of 19.96+-0.03 milliarcseconds for the uniform disk diameter. The corresponding limb-darkened value is 20.58+-0.03 milliarcseconds, or 44.2+-0.9 R(sun). We discuss this result, in connection with previous determinations and with possible problems that may affect such measurements.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
