Formal modeling and analysis of cognitive agent behavior

From an external perspective, cognitive agent behavior can be described by specifying (temporal) correlations of a certain complexity between stimuli (input states) and (re)actions (output states) of the agent. From an internal perspective the agent’s dynamics can be characterized by direct (causal) temporal relations between internal and mental states of the agent. The latter type of specifications can be represented in a relatively simple, executable format, which enables different types of analysis of the agent’s behavior. In particular, simulations of the agent’s behavior under different (environmental) circumstances can be explored. Furthermore, by applying verification techniques, automated analysis of the consequences of the agent’s behavior can be carried out. To enable such types of analysis when only given an external behavioral specification, this has to be transformed first into some type of executable format. An automated procedure for such a transformation is proposed in this paper. The application of the transformation procedure is demonstrated for a number of cases, showing examples of the types of analysis as mentioned for different forms of behavior

Nitrogen uptake and internal recycling in Zostera marina exposed to oyster farming: eelgrass potential as a natural biofilter

Oyster farming in estuaries and coastal lagoons frequently overlaps with the distribution of seagrass meadows, yet there are few studies on how this aquaculture practice affects seagrass physiology. We compared in situ nitrogen uptake and the productivity of Zostera marina shoots growing near off-bottom longlines and at a site not affected by oyster farming in San Quintin Bay, a coastal lagoon in Baja California, Mexico. We used benthic chambers to measure leaf NH4 (+) uptake capacities by pulse labeling with (NH4)-N-15 (+) and plant photosynthesis and respiration. The internal N-15 resorption/recycling was measured in shoots 2 weeks after incubations. The natural isotopic composition of eelgrass tissues and vegetative descriptors were also examined. Plants growing at the oyster farming site showed a higher leaf NH4 (+) uptake rate (33.1 mmol NH4 (+) m(-2) day(-1)) relative to those not exposed to oyster cultures (25.6 mmol NH4 (+) m(-2) day(-1)). We calculated that an eelgrass meadow of 15-16 ha (which represents only about 3-4 % of the subtidal eelgrass meadow cover in the western arm of the lagoon) can potentially incorporate the total amount of NH4 (+) excreted by oysters (similar to 5.2 x 10(6) mmol NH4 (+) day(-1)). This highlights the potential of eelgrass to act as a natural biofilter for the NH4 (+) produced by oyster farming. Shoots exposed to oysters were more efficient in re-utilizing the internal N-15 into the growth of new leaf tissues or to translocate it to belowground tissues. Photosynthetic rates were greater in shoots exposed to oysters, which is consistent with higher NH4 (+) uptake and less negative delta C-13 values. Vegetative production (shoot size, leaf growth) was also higher in these shoots. Aboveground/belowground biomass ratio was lower in eelgrass beds not directly influenced by oyster farms, likely related to the higher investment in belowground biomass to incorporate sedimentary nutrients

A meta-analytic review of stand-alone interventions to improve body image

Objective Numerous stand-alone interventions to improve body image have been developed. The present review used meta-analysis to estimate the effectiveness of such interventions, and to identify the specific change techniques that lead to improvement in body image. Methods The inclusion criteria were that (a) the intervention was stand-alone (i.e., solely focused on improving body image), (b) a control group was used, (c) participants were randomly assigned to conditions, and (d) at least one pretest and one posttest measure of body image was taken. Effect sizes were meta-analysed and moderator analyses were conducted. A taxonomy of 48 change techniques used in interventions targeted at body image was developed; all interventions were coded using this taxonomy. Results The literature search identified 62 tests of interventions (N = 3,846). Interventions produced a small-to-medium improvement in body image (d+ = 0.38), a small-to-medium reduction in beauty ideal internalisation (d+ = -0.37), and a large reduction in social comparison tendencies (d+ = -0.72). However, the effect size for body image was inflated by bias both within and across studies, and was reliable but of small magnitude once corrections for bias were applied. Effect sizes for the other outcomes were no longer reliable once corrections for bias were applied. Several features of the sample, intervention, and methodology moderated intervention effects. Twelve change techniques were associated with improvements in body image, and three techniques were contra-indicated. Conclusions The findings show that interventions engender only small improvements in body image, and underline the need for large-scale, high-quality trials in this area. The review identifies effective techniques that could be deployed in future interventions

Design and testing of hydrophobic core/hydrophilic shell nano/micro particles for drug-eluting stent coating

In this study, we designed a novel drug-eluting coating for vascular implants consisting of a core coating of the anti-proliferative drug docetaxel (DTX) and a shell coating of the platelet glycoprotein IIb/IIIa receptor monoclonal antibody SZ-21. The core/shell structure was sprayed onto the surface of 316L stainless steel stents using a coaxial electrospray process with the aim of creating a coating that exhibited a differential release of the two drugs. The prepared stents displayed a uniform coating consisting of nano/micro particles. In vitro drug release experiments were performed, and we demonstrated that a biphasic mathematical model was capable of capturing the data, indicating that the release of the two drugs conformed to a diffusion-controlled release system. We demonstrated that our coating was capable of inhibiting the adhesion and activation of platelets, as well as the proliferation and migration of smooth muscle cells (SMCs), indicating its good biocompatibility and anti-proliferation qualities. In an in vivo porcine coronary artery model, the SZ-21/DTX drug-loaded hydrophobic core/hydrophilic shell particle coating stents were observed to promote re-endothelialization and inhibit neointimal hyperplasia. This core/shell particle-coated stent may serve as part of a new strategy for the differential release of different functional drugs to sequentially target thrombosis and in-stent restenosis during the vascular repair process and ensure rapid re-endothelialization in the field of cardiovascular disease

Herbal medicine use by surgery patients in Hungary: a descriptive study

BACKGROUND: The popularity of non-conventional treatments, especially the consumption of herbs is showing an increasing tendency all over the world. The consumption of herbal medicines might cause several complications during perioperative care. METHODS: The survey was conducted at the First Department of Surgery of Semmelweis University and focused on the demographics of patients consuming herbal medicines who had undergone elective surgery between July 1(st) 2014 and February 28(th) 2015. A one-page questionnaire, that the patients filled in individually and anonymously, was used. The response rate was 17.3 %. RESULTS: Out of the 390 patients who filled in the questionnaire, 7.2 % (28 patients) used herbal medicines, 3.6 % (14 patients) of them two weeks prior to their hospitalization. The other 3.6 % (14 patients) took herbal medicines sometime in the past. The majority of those who have ever consumed herbs are women (18/28), have completed secondary or tertiary education (23/28), more than half of them suffer from tumorous diseases and only a quarter of them (7/28) informed their physician about their use of herbal medication of their own accord. CONCLUSIONS: Attention must be paid to the exploration of herb consumption habits of surgery patients during the preoperative examinations in order to avoid potential side effects, complications or drug interactions. ELECTRONIC SUPPLEMENTARY MATERIAL: The online version of this article (doi:10.1186/s12906-015-0890-2) contains supplementary material, which is available to authorized users

Expert consensus and recommendations on safety criteria for active mobilization of mechanically ventilated critically ill adults

Introduction: The aim of this study was to develop consensus recommendations on safety parameters for mobilizing adult, mechanically ventilated, intensive care unit (ICU) patients. Methods: A systematic literature review was followed by a meeting of 23 multidisciplinary ICU experts to seek consensus regarding the safe mobilization of mechanically ventilated patients. Results: Safety considerations were summarized in four categories: respiratory, cardiovascular, neurological and other. Consensus was achieved on all criteria for safe mobilization, with the exception being levels of vasoactive agents. Intubation via an endotracheal tube was not a contraindication to early mobilization and a fraction of inspired oxygen less than 0.6 with a percutaneous oxygen saturation more than 90% and a respiratory rate less than 30 breaths/minute were considered safe criteria for in- and out-of-bed mobilization if there were no other contraindications. At an international meeting, 94 multidisciplinary ICU clinicians concurred with the proposed recommendations. Conclusion: Consensus recommendations regarding safety criteria for mobilization of adult, mechanically ventilated patients in the ICU have the potential to guide ICU rehabilitation whilst minimizing the risk of adverse events

Motor coordination problems in children and adolescents with ADHD rated by parents and teachers: effects of age and gender

Summary. Objective. ADHD is frequently accompanied by motor coordination problems. However, the co-occurrence of poor motor performance has received less attention in research than other coexisting problems in ADHD. The underlying mechanisms of this association remain unclear. Therefore, we investigated the prevalence of motor coordination problems in a large sample of children with ADHD, and the relationship between motor coordination problems and inattentive and hyperactive/impulsive symptoms. Furthermore, we assessed whether the association between ADHD and motor coordination problems was comparable across ages and was similar for both genders. Method. We investigated 486 children with ADHD and 269 normal controls. Motor coordination problems were rated by parents (Developmental Coordination Disorder Questionnaire) and teachers (Groningen Motor Observation Scale). Results. Parents and teachers reported motor coordination problems in about one third of children with ADHD. Problems of fine and gross motor skills, coordination skills and motor control were all related to inattentive rather than hyperactive/impulsive symptoms. Relative to controls, motor coordination problems in ADHD were still present in teenagers according to parents; the prevalence diminished somewhat according to teachers. Boys and girls with ADHD were comparably affected, but motor performance in controls was better in girls than in boys. Conclusions. Motor coordination problems were reported in one third of children with ADHD and affected both boys and girls. These problems were also apparent in adolescents with ADHD. Clinicians treating children with ADHD should pay attention to co-occurring motor coordination problems because of the high prevalence and the negative impact of motor coordination problems on daily life

Changing behaviour 'more or less'-do theories of behaviour inform strategies for implementation and de-implementation? A critical interpretive synthesis

BACKGROUND: Implementing evidence-based care requires healthcare practitioners to do less of some things (de-implementation) and more of others (implementation). Variations in effectiveness of behaviour change interventions may result from failure to consider a distinction between approaches by which behaviour increases and decreases in frequency. The distinction is not well represented in methods for designing interventions. This review aimed to identify whether there is a theoretical rationale to support this distinction. METHODS: Using Critical Interpretative Synthesis, this conceptual review included papers from a broad range of fields (biology, psychology, education, business) likely to report approaches for increasing or decreasing behaviour. Articles were identified from databases using search terms related to theory and behaviour change. Articles reporting changes in frequency of behaviour and explicit use of theory were included. Data extracted were direction of behaviour change, how theory was operationalised, and theory-based recommendations for behaviour change. Analyses of extracted data were conducted iteratively and involved inductive coding and critical exploration of ideas and purposive sampling of additional papers to explore theoretical concepts in greater detail. RESULTS: Critical analysis of 66 papers and their theoretical sources identified three key findings: (1) 9 of the 15 behavioural theories identified do not distinguish between implementation and de-implementation (5 theories were applied to only implementation or de-implementation, not both); (2) a common strategy for decreasing frequency was substituting one behaviour with another. No theoretical basis for this strategy was articulated, nor were methods proposed for selecting appropriate substitute behaviours; (3) Operant Learning Theory makes an explicit distinction between techniques for increasing and decreasing frequency. DISCUSSION: Behavioural theories provide little insight into the distinction between implementation and de-implementation. Operant Learning Theory identified different strategies for implementation and de-implementation, but these strategies may not be acceptable in health systems. Additionally, if behaviour substitution is an approach for de-implementation, further investigation may inform methods or rationale for selecting the substitute behaviour

Respective impacts of Arctic sea ice decline and increasing greenhouse gases concentration on Sahel precipitation

The impact of climate change on Sahel precipitation is uncertain and has to be widely documented. Recently, it has been shown that Arctic sea ice loss leverages the global warming effects worldwide, suggesting a potential impact of Arctic sea ice decline on tropical regions. However, defining the specific roles of increasing greenhouse gases (GHG) concentration and declining Arctic sea ice extent on Sahel climate is not straightforward since the former impacts the latter. We avoid this dependency by analysing idealized experiments performed with the CNRM-CM5 coupled model. Results show that the increase in GHG concentration explains most of the Sahel precipitation change. We found that the impact due to Arctic sea ice loss depends on the level of atmospheric GHG concentration. When the GHG concentration is relatively low (values representative of 1980s), then the impact is moderate over the Sahel. However, when the concentration in GHG is levelled up, then Arctic sea ice loss leads to increased Sahel precipitation. In this particular case the ocean-land meridional gradient of temperature strengthens, allowing a more intense monsoon circulation. We linked the non-linearity of Arctic sea ice decline impact with differences in temperature and sea level pressure changes over the North Atlantic Ocean. We argue that the impact of the Arctic sea ice loss will become more relevant with time, in the context of climate change

Human bipedal instability in tree canopy environments is reduced by “light touch” fingertip support

Whether tree canopy habitats played a sustained role in the ecology of ancestral bipedal hominins is unresolved. Some argue that arboreal bipedalism was prohibitively risky for hominins whose increasingly modern anatomy prevented them from gripping branches with their feet. Balancing on two legs is indeed challenging for humans under optimal conditions let alone in forest canopy, which is physically and visually highly dynamic. Here we quantify the impact of forest canopy characteristics on postural stability in humans. Viewing a movie of swaying branches while standing on a branch-like bouncy springboard destabilised the participants as much as wearing a blindfold. However “light touch”, a sensorimotor feedback strategy based on light fingertip support, significantly enhanced their balance and lowered their thigh muscle activity by up to 30%. This demonstrates how a light touch strategy could have been central to our ancestor’s ability to avoid falls and reduce the mechanical and metabolic cost of arboreal feeding and movement. Our results may also indicate that some adaptations in the hand that facilitated continued access to forest canopy may have complemented, rather than opposed, adaptations that facilitated precise manipulation and tool use