Requirements modelling and formal analysis using graph operations

The increasing complexity of enterprise systems requires a more advanced analysis of the representation of services expected than is currently possible. Consequently, the specification stage, which could be facilitated by formal verification, becomes very important to the system life-cycle. This paper presents a formal modelling approach, which may be used in order to better represent the reality of the system and to verify the awaited or existing system’s properties, taking into account the environmental characteristics. For that, we firstly propose a formalization process based upon properties specification, and secondly we use Conceptual Graphs operations to develop reasoning mechanisms of verifying requirements statements. The graphic visualization of these reasoning enables us to correctly capture the system specifications by making it easier to determine if desired properties hold. It is applied to the field of Enterprise modelling

Age-Related Attenuation of Dominant Hand Superiority

The decline of motor performance of the human hand-arm system with age is well-documented. While dominant hand performance is superior to that of the non-dominant hand in young individuals, little is known of possible age-related changes in hand dominance. We investigated age-related alterations of hand dominance in 20 to 90 year old subjects. All subjects were unambiguously right-handed according to the Edinburgh Handedness Inventory. In Experiment 1, motor performance for aiming, postural tremor, precision of arm-hand movement, speed of arm-hand movement, and wrist-finger speed tasks were tested. In Experiment 2, accelerometer-sensors were used to obtain objective records of hand use in everyday activities

Pathophysiology of acute experimental pancreatitis: Lessons from genetically engineered animal models and new molecular approaches

The incidence of acute pancreatitis is growing and worldwide population-based studies report a doubling or tripling since the 1970s. 25% of acute pancreatitis are severe and associated with histological changes of necrotizing pancreatitis. There is still no specific medical treatment for acute pancreatitis. The average mortality resides around 10%. In order to develop new specific medical treatment strategies for acute pancreatitis, a better understanding of the pathophysiology during the onset of acute pancreatitis is necessary. Since it is difficult to study the early acinar events in human pancreatitis, several animal models of acute pancreatitis have been developed. By this, it is hoped that clues into human pathophysiology become possible. In the last decade, while employing molecular biology techniques, a major progress has been made. The genome of the mouse was recently sequenced. Various strategies are possible to prove a causal effect of a single gene or protein, using either gain-of-function (i.e., overexpression of the protein of interest) or loss-of-function studies (i.e., genetic deletion of the gene of interest). The availability of transgenic mouse models and gene deletion studies has clearly increased our knowledge about the pathophysiology of acute pancreatitis and enables us to study and confirm in vitro findings in animal models. In addition, transgenic models with specific genetic deletion or overexpression of genes help in understanding the role of one specific protein in a cascade of inflammatory processes such as pancreatitis where different proteins interact and co-react. This review summarizes the recent progress in this field. Copyright (c) 2005 S. Karger AG, Basel

Src Dependent Pancreatic Acinar Injury Can Be Initiated Independent of an Increase in Cytosolic Calcium

Several deleterious intra-acinar phenomena are simultaneously triggered on initiating acute pancreatitis. These culminate in acinar injury or inflammatory mediator generation in vitro and parenchymal damage in vivo. Supraphysiologic caerulein is one such initiator which simultaneously activates numerous signaling pathways including non-receptor tyrosine kinases such as of the Src family. It also causes a sustained increase in cytosolic calcium- a player thought to be crucial in regulating deleterious phenomena. We have shown Src to be involved in caerulein induced actin remodeling, and caerulein induced changes in the Golgi and post-Golgi trafficking to be involved in trypsinogen activation, which initiates acinar cell injury. However, it remains unclear whether an increase in cytosolic calcium is necessary to initiate acinar injury or if injury can be initiated at basal cytosolic calcium levels by an alternate pathway. To study the interplay between tyrosine kinase signaling and calcium, we treated mouse pancreatic acinar cells with the tyrosine phosphatase inhibitor pervanadate. We studied the effect of the clinically used Src inhibitor Dasatinib (BMS-354825) on pervanadate or caerulein induced changes in Src activation, trypsinogen activation, cell injury, upstream cytosolic calcium, actin and Golgi morphology. Pervanadate, like supraphysiologic caerulein, induced Src activation, redistribution of the F-actin from its normal location in the sub-apical area to the basolateral areas, and caused antegrade fragmentation of the Golgi. These changes, like those induced by supraphysiologic caerulein, were associated with trypsinogen activation and acinar injury, all of which were prevented by Dasatinib. Interestingly, however, pervanadate did not cause an increase in cytosolic calcium, and the caerulein induced increase in cytosolic calcium was not affected by Dasatinib. These findings suggest that intra-acinar deleterious phenomena may be initiated independent of an increase in cytosolic calcium. Other players resulting in acinar injury along with the Src family of tyrosine kinases remain to be explored. © 2013 Mishra et al

Sequence Skill Acquisition and Off-Line Learning in Normal Aging

It is well known that certain cognitive abilities decline with age. The ability to form certain new declarative memories, particularly memories for facts and events, has been widely shown to decline with advancing age. In contrast, the effects of aging on the ability to form new procedural memories such as skills are less well known, though it appears that older adults are able to acquire some new procedural skills over practice. The current study examines the effects of normal aging on procedural memory more closely by comparing the effects of aging on the encoding or acquisition stage of procedural learning versus its effects on the consolidation, or between-session stage of procedural learning. Twelve older and 14 young participants completed a sequence-learning task (the Serial Reaction Time Task) over a practice session and at a re-test session 24 hours later. Older participants actually demonstrated more sequence skill during acquisition than the young. However, older participants failed to show skill improvement at re-test as the young participants did. Age thus appears to have a differential effect upon procedural learning stages such that older adults' skill acquisition remains relatively intact, in some cases even superior, compared to that of young adults, while their skill consolidation may be poorer than that of young adults. Although the effect of normal aging on procedural consolidation remains unclear, aging may actually enhance skill acquisition on some procedural tasks

An Interprofessional, Tailored Behavioral Intervention for Sleep Problems in Autism: Use of Sensory Data to Inform Intervention

Purpose: The purpose of this poster is to demonstrate how Sensory Profile data informed occupational therapy sleep interventions for two participants as part of an Interprofessional Tailored Behavioral Intervention study

Should Research Ethics Encourage the Production of Cost-Effective Interventions?

This project considers whether and how research ethics can contribute to the provision of cost-effective medical interventions. Clinical research ethics represents an underexplored context for the promotion of cost-effectiveness. In particular, although scholars have recently argued that research on less-expensive, less-effective interventions can be ethical, there has been little or no discussion of whether ethical considerations justify curtailing research on more expensive, more effective interventions. Yet considering cost-effectiveness at the research stage can help ensure that scarce resources such as tissue samples or limited subject popula- tions are employed where they do the most good; can support parallel efforts by providers and insurers to promote cost-effectiveness; and can ensure that research has social value and benefits subjects. I discuss and rebut potential objections to the consideration of cost-effectiveness in research, including the difficulty of predicting effectiveness and cost at the research stage, concerns about limitations in cost-effectiveness analysis, and worries about overly limiting researchers’ freedom. I then consider the advantages and disadvantages of having certain participants in the research enterprise, including IRBs, advisory committees, sponsors, investigators, and subjects, consider cost-effectiveness. The project concludes by qualifiedly endorsing the consideration of cost-effectiveness at the research stage. While incorporating cost-effectiveness considerations into the ethical evaluation of human subjects research will not on its own ensure that the health care system realizes cost-effectiveness goals, doing so nonetheless represents an important part of a broader effort to control rising medical costs

Exercise-induced left bundle branch block and subsequent mechanical left ventricular dyssynchrony -resolved with pharmacological therapy

A 53-year-old man with depressed ejection fraction (EF) of 35% and QRS width of 88 ms at rest was admitted to our institution with a complaint of exertional chest discomfort and dyspnea. During treadmill exercise, left bundle-branch block (LBBB) with a QRS width of 152 ms occurred at a heart rate of 100 bpm. During LBBB, the patient showed significant mechanical dyssynchrony as evidenced by a two-dimensional speckle tracking radial strain of 260 ms (≥130 ms), defined as the time difference between anterior-septum and posterior wall. Five-month after carvedilol and candesartan administration, EF had improved to 49% and LBBB did not occur until a heart rate of 126 bpm was attained during treadmill exercise. It appears that pharmacological therapy may be useful for patients with heart failure and exercise-induced LBBB