Effects of exenatide twice daily versus sitagliptin on 24-h glucose, glucoregulatory and hormonal measures: a randomized, double-blind, crossover study

Aim: To compare exenatide and sitagliptin glucose and glucoregulatory measures in subjects with type 2 diabetes

An Agent Based Approach of Collective Foraging

In this paper the behaviour of a bee colony is modeled as a society of communicating agents acting in parallel and synchroniz-ing their behaviour. Two computational models for defining the agents behaviour are introduced and compared and tools developed for these models are briefly illustrated.Ministerio de Ciencia y Tecnología TIC2002-04220-C03-0

Modelling of Multi-Agent Systems: Experiences with Membrane Computing and Future Challenges

Formal modelling of Multi-Agent Systems (MAS) is a challenging task due to high complexity, interaction, parallelism and continuous change of roles and organisation between agents. In this paper we record our research experience on formal modelling of MAS. We review our research throughout the last decade, by describing the problems we have encountered and the decisions we have made towards resolving them and providing solutions. Much of this work involved membrane computing and classes of P Systems, such as Tissue and Population P Systems, targeted to the modelling of MAS whose dynamic structure is a prominent characteristic. More particularly, social insects (such as colonies of ants, bees, etc.), biology inspired swarms and systems with emergent behaviour are indicative examples for which we developed formal MAS models. Here, we aim to review our work and disseminate our findings to fellow researchers who might face similar challenges and, furthermore, to discuss important issues for advancing research on the application of membrane computing in MAS modelling.Comment: In Proceedings AMCA-POP 2010, arXiv:1008.314

Testing timed systems modeled by stream X-machines

Stream X-machines have been used to specify real systems where complex data structures. They are a variety of extended finite state machine where a shared memory is used to represent communications between the components of systems. In this paper we introduce an extension of the Stream X-machines formalism in order to specify systems that present temporal requirements. We add time in two different ways. First, we consider that (output) actions take time to be performed. Second, our formalism allows to specify timeouts. Timeouts represent the time a system can wait for the environment to react without changing its internal state. Since timeous affect the set of available actions of the system, a relation focusing on the functional behavior of systems, that is, the actions that they can perform, must explicitly take into account the possible timeouts. In this paper we also propose a formal testing methodology allowing to systematically test a system with respect to a specification. Finally, we introduce a test derivation algorithm. Given a specification, the derived test suite is sound and complete, that is, a system under test successfully passes the test suite if and only if this system conforms to the specification

Helicobacter pylori and cancer among adults in Uganda

Data from Africa on infection with Helicobacter pylori (H. pylori) are sparse. Therefore, as part of an epidemiological study of cancer in Uganda, we investigated the prevalence and determinants of antibodies against H. pylori among 854 people with different cancer types and benign tumours. Patients were recruited from hospitals in Kampala, Uganda, interviewed about various demographic and lifestyle factors and tested for antibodies against H. pylori. In all patients combined, excluding those with stomach cancer (which has been associated with H. pylori infection), the prevalence of antibodies was 87% (723/833) overall, but declined with increasing age (p = 0.02) and was lower among people who were HIV seropositive compared to seronegative (p <0.001). Otherwise, there were few consistent epidemiological associations. Among those with stomach cancer, 18/21 (86%) had anti-H. pylori antibodies (odds ratio 0.8, 95% confidence intervals 0.2–2.9, p = 0.7; estimated using all other patients as controls, with adjustment for age, sex and HIV serostatus). No other cancer site or type was significantly associated with anti-H. pylori antibodies. The prevalence of H. pylori reported here is broadly in accord with results from other developing countries, although the determinants of infection and its' role in the aetiology of gastric cancer in Uganda remain unclear

Culture shapes how we look at faces

Background: Face processing, amongst many basic visual skills, is thought to be invariant across all humans. From as early as 1965, studies of eye movements have consistently revealed a systematic triangular sequence of fixations over the eyes and the mouth, suggesting that faces elicit a universal, biologically-determined information extraction pattern. Methodology/Principal Findings: Here we monitored the eye movements of Western Caucasian and East Asian observers while they learned, recognized, and categorized by race Western Caucasian and East Asian faces. Western Caucasian observers reproduced a scattered triangular pattern of fixations for faces of both races and across tasks. Contrary to intuition, East Asian observers focused more on the central region of the face. Conclusions/Significance: These results demonstrate that face processing can no longer be considered as arising from a universal series of perceptual events. The strategy employed to extract visual information from faces differs across cultures

Tamoxifen for prevention of breast cancer: extended long-term follow-up of the IBIS-I breast cancer prevention trial

© Cuzick et al. Open Access article distributed under the terms of CC BY.http://dx.doi.org/10.1016/S1470-2045(14)71171-