Verifying and Synthesising Multi-Agent Systems against One-Goal Strategy Logic Specifications

© Copyright 2015, Association for the Advancement of Artificial Intelligence (www.aaa1.org). All rights reserved.Strategy Logic (SL) has recently come to the fore as a useful specification language to reason about multi-agent systems. Its one-goal fragment, or SL[1g], is of particular interest as it strictly subsumes widely used logics such as ATL∗, while maintaining attractive complexity features. In this paper we put forward an automata-based methodology for verifying and synthesising multi-agent systems against specifications given in SL[Ig], We show that the algorithm is sound and optimal from a computational point of view. A key feature of the approach is that all data structures and operations on them can be performed on BDDs. We report on a BDD-based model checker implementing the algorithm and evaluate its performance on the fair process scheduler synthesis

Theoretical spin-wave dispersions in the antiferromagnetic phase AF1 of MnWO4_4 based on the polar atomistic model in P2

The spin wave dispersions of the low temperature antiferromagnetic phase (AF1) MnWO$_4$ have been numerically calculated based on the recently reported non-collinear spin configuration with two different canting angles. A Heisenberg model with competing magnetic exchange couplings and single-ion anisotropy terms could properly describe the spin wave excitations, including the newly observed low-lying energy excitation mode $\omega_2$=0.45 meV appearing at the magnetic zone centre. The spin wave dispersion and intensities are highly sensitive to two differently aligned spin-canting sublattices in the AF1 model. Thus this study reinsures the otherwise hardly provable hidden polar character in MnWO$_4$.Comment: 7 pages, 5 figure

Experimental and numerical study of local mean age of air

This paper presents the results from the experimental and numerical study of a room with mixing ventilation, focused on the local mean age of air (LMA). The measurements were performed using the tracer gas concentration decay method. The numerical predictions were obtained from the computational fluid dynamics (CFD) module of the latest version of the ESP-r software

UWB Propagation through Walls

The propagation of ultra wide band (UWB) signals through walls is analyzed. For this propagation studies, it is necessary to consider not only propagation at a single frequency but in the whole band. The UWB radar output signal is formed by both transmitter and antenna. The effects of antenna receiving and transmitting responses for various antenna types (such as small and aperture antennas) are studied in the frequency as well as time domain. Moreover, UWB radar output signals can be substantially affected due to electromagnetic wave propagation through walls and multipath effects

The METCRAX II Field Experiment: A Study of Downslope Windstorm-Type Flows in Arizona\u2019s Meteor Crater

The second Meteor Crater Experiment (METCRAX II) was conducted in October 2013 at Arizona\u2019s Meteor Crater. The experiment was designed to investigate nighttime downslope windstorm 12type flows that form regularly above the inner southwest sidewall of the 1.2-km diameter crater as a southwesterly mesoscale katabatic flow cascades over the crater rim. The objective of METCRAX II is to determine the causes of these strong, intermittent, and turbulent inflows that bring warm-air intrusions into the southwest part of the crater. This article provides an overview of the scientific goals of the experiment; summarizes the measurements, the crater topography, and the synoptic meteorology of the study period; and presents initial analysis results

What determines auditory similarity? The effect of stimulus group and methodology.

Two experiments on the internal representation of auditory stimuli compared the pairwise and grouping methodologies as means of deriving similarity judgements. A total of 45 undergraduate students participated in each experiment, judging the similarity of short auditory stimuli, using one of the methodologies. The experiments support and extend Bonebright's (1996) findings, using a further 60 stimuli. Results from both methodologies highlight the importance of category information and acoustic features, such as root mean square (RMS) power and pitch, in similarity judgements. Results showed that the grouping task is a viable alternative to the pairwise task with N > 20 sounds whilst highlighting subtle differences, such as cluster tightness, between the different task results. The grouping task is more likely to yield category information as underlying similarity judgements

The German Young Geoscientists Group – promoting exchange and information among the next generation of geoscientists

The group „Young geoscientists” of the Senate Commission for Joint Geoscientific Research (Geokommisson, www.geokommission.de) of the German Research Foundation (DFG), is dedicated towards the development of the working environment, workforce and scientific outcome of the next generation of geoscientists in Germany.Geoscientific research – basic as, well as applied – provides crucial contributions for mastering the economic, environmental and societal challenges of the near and medium-term future. Politics and society call for immediate answers, while geoscientific phenomena are complex and act on a large range of temporal and spatial scales.These demands, together with increases mobility requirements, lead to increasing pressure especially on young geoscientists. In this situation the main goals of the group “Young geoscientists” are:Promotion of networking among young geoscientistsInformation about science policy developments, funding opportunities and other relevant mattersRepresenting the interests of young scientists towards (science)-policy makersThe dynamic development of geoscientific research, particularly collaborations across traditional disciplines, as well as in increasing demands from public and policy, calls for a continuous integration of young scientists. We promote this process by organizing round-table discussions, e.g. on “Guaranteeing good scientific praxis” or on “Hot topics and research funding”, by communicating information via the internet and by identifying structural deficiencies that might hinder the advancement of the geosciences and reporting them to decision makers. In this context, we are looking for:European or international collaboratorsYoung geoscientists wishing to participate in / contribute to our activitiesSuggestions on how to improve working conditions of the young and advancing geoscientists</ul

From the zero-field metal-insulator transition in two dimensions to the quantum Hall transition: a percolation-effective-medium theory

Effective-medium theory is applied to the percolation description of the metal-insulator transition in two dimensions with emphasis on the continuous connection between the zero-magnetic-field transition and the quantum Hall transition. In this model the system consists of puddles connected via saddle points, and there is loss of quantum coherence inside the puddles. The effective conductance of the network is calculated using appropriate integration over the distribution of conductances, leading to a determination of the magnetic field dependence of the critical density. Excellent quantitative agreement is obtained with the experimental data, which allows an estimate of the puddle physical parameters