On the complexity of resource-bounded logics

We revisit decidability results for resource-bounded logics and use decision problems on vector addition systems with states (VASS) in order to establish complexity characterisations of (decidable) model checking problems. We show that the model checking problem for the logic RB+-ATL is 2EXPTIME-complete by using recent results on alternating VASS (and in EXPTIME when the number of resources is bounded). Moreover, we establish that the model checking problem for RBTL is EXPSPACE-complete. The problem is decidable and of the same complexity for RBTL*, proving a new decidability result as a by-product of the approach. When the number of resources is bounded, the problem is in PSPACE. We also establish that the model checking problem for RB+-ATL*, the extension of RB+-ATL with arbitrary path formulae, is decidable by a reduction to parity games for single-sided VASS (a variant of alternating VASS). Furthermore, we are able to synthesise values for resource parameters. Hence, the paper establishes formal correspondences between model checking problems for resource bounded logics advocated in the AI literature and decision problems on alternating VASS, paving the way for more applications and cross-fertilizations

On the complexity of resource-bounded logics

We revisit decidability results for resource-bounded logics and use decision problems for vector addition systems with states (VASS) to characterise the complexity of (decidable) model-checking problems. We show that the model-checking problem for the logic RB+-ATL is 2EXPTIME-complete by using recent results on alternating VASS. In addition, we establish that the model-checking problem for RBTL is decidable and has the same complexity as for RBTL* (the extension of RBTL with arbitrary path formulae), namely EXPSPACE-complete, proving a new decidability result as a by-product of the approach. Finally, we establish that the model-checking problem for RB+-ATL* is decidable by a reduction to parity games, and show how to synthesise values for resource parameters

Characterizations of how species mediate ecosystem properties require more comprehensive functional effect descriptors

The importance of individual species in mediating ecosystem process and functioning is generally accepted, but categorical descriptors that summarize species-specific contributions to ecosystems tend to reference a limited number of biological traits and underestimate the importance of how organisms interact with their environment. Here, we show how three functionally contrasting sediment-dwelling marine invertebrates affect fluid and particle transport - important processes in mediating nutrient cycling - and use high-resolution reconstructions of burrow geometry to determine the extent and nature of biogenic modification. We find that individual functional effect descriptors fall short of being able to adequately characterize how species mediate the stocks and flows of important ecosystem properties and that, in contrary to common practice and understanding, they are not substitutable with one another because they emphasize different aspects of species activity and behavior. When information derived from these metrics is combined with knowledge of how species behave and modify their environment, however, detailed mechanistic information emerges that increases the likelihood that a species functional standing will be appropriately summarized. Our study provides evidence that more comprehensive functional effect descriptors are required if they are to be of value to those tasked with projecting how altered biodiversity will influence future ecosystems

A serious games platform for cognitive rehabilitation with preliminary evaluation

In recent years Serious Games have evolved substantially, solving problems in diverse areas. In particular, in Cognitive Rehabilitation, Serious Games assume a relevant role. Traditional cognitive therapies are often considered repetitive and discouraging for patients and Serious Games can be used to create more dynamic rehabilitation processes, holding patients' attention throughout the process and motivating them during their road to recovery. This paper reviews Serious Games and user interfaces in rehabilitation area and details a Serious Games platform for Cognitive Rehabilitation that includes a set of features such as: natural and multimodal user interfaces and social features (competition, collaboration, and handicapping) which can contribute to augment the motivation of patients during the rehabilitation process. The web platform was tested with healthy subjects. Results of this preliminary evaluation show the motivation and the interest of the participants by playing the games.- This work has been supported by FCT - Fundacao para a Ciencia e Tecnologia in the scope of the projects: PEst-UID/CEC/00319/2015 and PEst-UID/CEC/00027/2015. The authors would like to thank also all the volunteers that participated in the study

Logics of knowledge and action: critical analysis and challenges

International audienceWe overview the most prominent logics of knowledge and action that were proposed and studied in the multiagent systems literature. We classify them according to these two dimensions, knowledge and action, and moreover introduce a distinction between individual knowledge and group knowledge, and between a nonstrategic an a strategic interpretation of action operators. For each of the logics in our classification we highlight problematic properties. They indicate weaknesses in the design of these logics and call into question their suitability to represent knowledge and reason about it. This leads to a list of research challenges

Post-feeding activity of Lucilia sericata (Diptera: Calliphoridae) on common domestic indoor surfaces and its effect on development.

Developmental data of forensically important blowflies used by entomologists to estimate minimum post mortem interval (mPMI) are established under controlled laboratory conditions for various temperature ranges throughout the stages of egg, 1st-3rd instar, puparia, and adult fly emergence. However, environmental conditions may influence the patterns of development and behaviour of blowflies, potentially impacting on these established development rates. Previous studies investigating indoor colonisation have focused on the delay to oviposition, with behaviour during the post-feeding phase in this setting often overlooked. The environment in which third instar larvae disperse when searching for a pupariation site may vary drastically at both outdoor and indoor scenarios, influencing the activity and distance travelled during this phase and possibly affecting developmental rates. This study investigated the effect of eight common domestic indoor surfaces on dispersal time, distance travelled, and behaviour of post-feeding Lucilia sericata as well as any resulting variation in development. It was found that pupariation and puparia length within a pupariation medium of sawdust (often used in laboratory settings) produced comparable results with that of carpeted environments (those deemed to be 'enclosed'). Non-carpeted environments (those which were 'exposed') produced a delay to pupariation likely due to increased activity and energy expenditure in searching for pupariation sites which enabled burial. In addition, the observed speed of travel during dispersal was seen via time lapse photography to be greater within 'exposed' conditions. Larvae which dispersed upon burnt laminate flooring were observed to travel faster than in all other conditions and showed the only significant variation (P=0.04) in the day of emergence in comparison to the control condition of sawdust. This study has demonstrated that wandering phase activity is affected by the environmental surface which has potential implications for estimating both the distance travelled by dispersing larvae in indoor conditions and with further research, may be a consideration in mPMI calculations.This work was supported by the University of Derby Undergraduate Research Scholarly Scheme (grant number URSS056)

A study on the natural history of scanning behaviour in patients with visual field defects after stroke

BACKGROUND: A visual field defect (VFD) is a common consequence of stroke with a detrimental effect upon the survivors' functional ability and quality of life. The identification of effective treatments for VFD is a key priority relating to life post-stroke. Understanding the natural evolution of scanning compensation over time may have important ramifications for the development of efficacious therapies. The study aims to unravel the natural history of visual scanning behaviour in patients with VFD. The assessment of scanning patterns in the acute to chronic stages of stroke will reveal who does and does not learn to compensate for vision loss. METHODS/DESIGN: Eye-tracking glasses are used to delineate eye movements in a cohort of 100 stroke patients immediately after stroke, and additionally at 6 and 12 months post-stroke. The longitudinal study will assess eye movements in static (sitting) and dynamic (walking) conditions. The primary outcome constitutes the change of lateral eye movements from the acute to chronic stages of stroke. Secondary outcomes include changes of lateral eye movements over time as a function of subgroup characteristics, such as side of VFD, stroke location, stroke severity and cognitive functioning. DISCUSSION: The longitudinal comparison of patients who do and do not learn compensatory scanning techniques may reveal important prognostic markers of natural recovery. Importantly, it may also help to determine the most effective treatment window for visual rehabilitation.Tobias Loetscher, Celia Chen, Sophie Wignall, Andreas Bulling, Sabrina Hoppe, Owen Churches, Nicole A Thomas, Michael E R Nicholls and Andrew Le

Biodiversity–production feedback effects lead to intensification traps in agricultural landscapes

Intensive agriculture with high reliance on pesticides and fertilizers constitutes a major strategy for ‘feeding the world’. However, such conventional intensification is linked to diminishing returns and can result in ‘intensification traps’—production declines triggered by the negative feedback of biodiversity loss at high input levels. Here we developed a novel framework that accounts for biodiversity feedback on crop yields to evaluate the risk and magnitude of intensification traps. Simulations grounded in systematic literature reviews showed that intensification traps emerge in most landscape types, but to a lesser extent in major cereal production systems. Furthermore, small reductions in maximal production (5–10%) could be frequently transmitted into substantial biodiversity gains, resulting in small-loss large-gain trade-offs prevailing across landscape types. However, sensitivity analyses revealed a strong context dependence of trap emergence, inducing substantial uncertainty in the identification of optimal management at the field scale. Hence, we recommend the development of case-specific safety margins for intensification preventing double losses in biodiversity and food security associated with intensification traps