38 research outputs found
Young and Intermediate-age Distance Indicators
Distance measurements beyond geometrical and semi-geometrical methods, rely
mainly on standard candles. As the name suggests, these objects have known
luminosities by virtue of their intrinsic proprieties and play a major role in
our understanding of modern cosmology. The main caveats associated with
standard candles are their absolute calibration, contamination of the sample
from other sources and systematic uncertainties. The absolute calibration
mainly depends on their chemical composition and age. To understand the impact
of these effects on the distance scale, it is essential to develop methods
based on different sample of standard candles. Here we review the fundamental
properties of young and intermediate-age distance indicators such as Cepheids,
Mira variables and Red Clump stars and the recent developments in their
application as distance indicators.Comment: Review article, 63 pages (28 figures), Accepted for publication in
Space Science Reviews (Chapter 3 of a special collection resulting from the
May 2016 ISSI-BJ workshop on Astronomical Distance Determination in the Space
Age
On the logic of argumentation theory
The paper applies modal logic to formalize fragments of argumentation theory. Such formalization allows to import, for free, a wealth of new notions (e.g., argument equivalence), new techniques (e.g., calculi, model-checking games, bisimulation games), and results (e.g., completeness of calculi, adequacy of games, complexity of model-checking) from logic to argumentation
Strategic Executions of Choreographed Timed Normative Multi-Agent Systems
This paper proposes a combined mechanism for coordinating agents in timed normative multi-agent systems. Timing constraints in a multi-agent system make it possible to force action execution to happen before certain time invariants are violated. In such multiagent systems we achieve coordination at two orthogonal levels with respect to states and actions. On the one hand, the behaviour of
individual agents is regulated by means of social and organisational inspired concepts like norms and sanctions. On the other hand, the behaviour of sets of agents is restricted according to action-based coordination mechanisms called choreographies. In both cases, the
resulting behaviour is constrained by time
A simple qualitative determination of human antibodies to murine immunoglobulins (HAMA) in serum samples
Dependence theory via game theory
In the multi-agent systems community, dependence theory and game theory are often presented as two alternative perspectives on the analysis of social interaction. Up till now no research has been done relating these two approaches. The unification presented provides dependence theory with the sort of mathematical foundations which still lacks, and shows how game theory can incorporate dependence-theoretic considerations in a fully formal manner
Time constraints in mixed multi-unit combinatorial auctions: Extended abstract
We extend the framework of mixed multi-unit combinatorial auctions, which deals with transformations of goods rather than only with atomic goods, by allowing time constraints in the bids offering these transformations. This way, bidders can express their scheduling preferences, while previously the auctioneer alone could decide the order of transformations
Multiagent resource allocation with sharable items: simple protocols and Nash equilibria
We study a particular multiagent resource allocation problem with indivisible, but sharable resources. In our model, the utility of an agent for using a bundle of resources is the difference between the valuation of that bundle and a congestion cost (or delay), a figure formed by adding up the individual congestion costs of each resource in the bundle. The valuation and the delay can be agent-dependent. When the agents that share a resource also share the resource's control, the current users of a resource will require some compensation when a new agent wants to use the resource. We study the existence of distributed protocols that lead to a social optimum. Depending on constraints on the valuation functions (mainly modularity), on the delay functions (e.g., convexity), and the structural complexity of the deals between agents, we prove either the existence of some sequences of deals or the convergence of all sequences of deals to a social optimum. When the agents do not have joint control over the resources (i.e., they can use any resource they want), we study the existence of pure Nash equilibria. We provide results for modular valuation functions and relate them to results from the literature on congestion games
Complexity of judgment aggregation: safety of the agenda
Aggregating the judgments of a group of agents regarding a set of interdependent propositions can lead to inconsistent outcomes. One of the parameters involved is the agenda, the set of propositions on which agents are asked to express an opinion. We introduce the problem of checking the safety of the agenda: for a given agenda, can we guarantee that judgment aggregation will never produce an inconsistent outcome for any aggregation procedure satisfying a given set of axioms? We prove several characterisation results, establishing necessary and sufficient conditions for the safety of the agenda for different combinations of the most important axioms proposed in the literature, and we analyse the computational complexity of checking whether a given agenda satisfies these conditions