91 resultados para Execution semantics
Resumo:
We developed a novel delay discounting task to investigate outcome impulsivity in pigs. As impulsivity can affect aggression, and might also relate to proactive and reactive coping styles, eight proactive (HR) and eight reactive (LR) pigs identified in a manual restraint test ("Backtest", after Bolhuis et al., 2003) were weaned and mixed in four pens of four unfamiliar pigs, so that each pen had two HR and two LR pigs, and aggression was scored in the 9h after mixing. In the delay discounting task, each pig chose between two levers, one always delivering a small immediate reward, the other a large delayed reward with daily increasing delays, impulsive individuals being the ones discounting the value of the large reward quicker. Two novel strategies emerged: some pigs gradually switched their preference towards the small reward ('Switchers') as predicted, but others persistently preferred the large reward until they stopped making choices ('Omitters'). Outcome impulsivity itself was unrelated to these strategies, to urinary serotonin metabolite (5-HIAA) or dopamine metabolite (HVA) levels, aggression at weaning, or coping style. However, HVA was relatively higher in Omitters than Switchers, and positively correlated with behavioural measures of indecisiveness and frustration during choosing. The delay discounting task thus revealed two response strategies that seemed to be related to the activity of the dopamine system and might indicate a difference in execution, rather than outcome, impulsivity.
Resumo:
Robot-assisted therapy has become increasingly common in neurorehabilitation. Sophisticated controllers have been developed for robots to assist and cooperate with the patient. It is difficult for the patient to judge to what extent the robot contributes to the execution of a movement. Therefore, methods to comprehensively quantify the patient's contribution and provide feedback are of key importance. We developed a method comprehensively to estimate the patient's contribution by combining kinematic measures and the motor assistance applied. Inverse dynamic models of the robot and the passive human arm calculate the required torques to move the robot and the arm and build, together with the recorded motor torque, a metric (in percentage) that represents the patient's contribution to the movement. To evaluate the developed metric, 12 nondisabled subjects and 7 patients with neurological problems simulated instructed movement contributions. The results are compared with a common performance metric. The estimation shows very satisfying results for both groups, even though the arm model used was strongly simplified. Displaying this metric to patients during therapy can potentially motivate them to actively participate in the training.
Resumo:
IT has turned out to be a key factor for the purposes of gaining maturity in Business Process Management (BPM). This book presents a worldwide investigation that was conducted among companies from the ‘Forbes Global 2000’ list to explore the current usage of software throughout the BPM life cycle and to identify the companies’ requirements concerning process modelling. The responses from 130 companies indicate that, at the present time, it is mainly software for process description and analysis that is required, while process execution is supported by general software such as databases, ERP systems and office tools. The resulting complex system landscapes give rise to distinct requirements for BPM software, while the process modelling requirements can be equally satisfied by the most common languages (BPMN, UML, EPC).
Resumo:
QUESTIONS UNDER STUDY: After years of advocating ABC (Airway-Breathing-Circulation), current guidelines of cardiopulmonary resuscitation (CPR) recommend CAB (Circulation-Airway-Breathing). This trial compared ABC with CAB as initial approach to CPR from the arrival of rescuers until the completion of the first resuscitation cycle. METHODS: 108 teams, consisting of two physicians each, were randomized to receive a graphical display of either the ABC algorithm or the CAB algorithm. Subsequently teams had to treat a simulated cardiac arrest. Data analysis was performed using video recordings obtained during simulations. The primary endpoint was the time to completion of the first resuscitation cycle of 30 compressions and two ventilations. RESULTS: The time to execution of the first resuscitation measure was 32 ± 12 seconds in ABC teams and 25 ± 10 seconds in CAB teams (P = 0.002). 18/53 ABC teams (34%) and none of the 55 CAB teams (P = 0.006) applied more than the recommended two initial rescue breaths which caused a longer duration of the first cycle of 30 compressions and two ventilations in ABC teams (31 ± 13 vs.23 ± 6 sec; P = 0.001). Overall, the time to completion of the first resuscitation cycle was longer in ABC teams (63 ± 17 vs. 48 ± 10 sec; P <0.0001).CONCLUSIONS: This randomized controlled trial found CAB superior to ABC with an earlier start of CPR and a shorter time to completion of the first 30:2 resuscitation cycle. These findings endorse the change from ABC to CAB in international resuscitation guidelines.
Resumo:
This paper presents a survey on the usage, opportunities and pitfalls of semantic technologies in the Internet of Things. The survey was conducted in the context of a semantic enterprise integration platform. In total we surveyed sixty-one individuals from industry and academia on their views and current usage of IoT technologies in general, and semantic technologies in particular. Our semantic enterprise integration platform aims for interoperability at a service level, as well as at a protocol level. Therefore, also questions regarding the use of application layer protocols, network layer protocols and management protocols were integrated into the survey. The survey suggests that there is still a lot of heterogeneity in IoT technologies, but first indications of the use of standardized protocols exist. Semantic technologies are being recognized as of potential use, mainly in the management of things and services. Nonetheless, the participants still see many obstacles which hinder the widespread use of semantic technologies: Firstly, a lack of training as traditional embedded programmers are not well aware of semantic technologies. Secondly, a lack of standardization in ontologies, which would enable interoperability and thirdly, a lack of good tooling support.
Resumo:
Bacterial meningitis causes neuronal apoptosis in the hippocampal dentate gyrus, which is associated with learning and memory impairments after cured disease. The execution of the apoptotic program involves pathways that converge on activation of caspase-3, which is required for morphological changes associated with apoptosis. Here, the time course and the role of caspase-3 in neuronal apoptosis was assessed in an infant rat model of pneumococcal meningitis. During clinically asymptotic meningitis (0-12 h after infection), only minor apoptotic damage to the dentate gyrus was observed, while the acute phase (18-24 h) was characterized by a massive increase of apoptotic cells, which peaked at 36 h. In the subacute phase of the disease (36-72 h), the number of apoptotic cells decreased to control levels. Enzymatic caspase-3 activity was significantly increased in hippocampal tissue of infected animals compared to controls at 22 h. The activated enzyme was localized to immature cells of the dentate gyrus, and in vivo activity was evidenced by cleavage of the amyloid-beta precursor protein. Intracisternal administration of the caspase-3-specific inhibitor Ac-DEVD-CHO significantly reduced apoptosis in the hippocampal dentate gyrus. In contrast to a study where the decrease of hippocampal apoptosis after administration of a pan-caspase inhibitor was due to downmodulation of the inflammatory response, our data demonstrate that specific inhibition of caspase-3 did not affect inflammation assessed by TNF-alpha and IL-1beta concentrations in the cerebrospinal fluid space. Taken together, the present results identify caspase-3 as a key effector of neuronal apoptosis in pneumococcal meningitis.
Resumo:
There is great demand for easily-accessible, user-friendly dietary self-management applications. Yet accurate, fully-automatic estimation of nutritional intake using computer vision methods remains an open research problem. One key element of this problem is the volume estimation, which can be computed from 3D models obtained using multi-view geometry. The paper presents a computational system for volume estimation based on the processing of two meal images. A 3D model of the served meal is reconstructed using the acquired images and the volume is computed from the shape. The algorithm was tested on food models (dummy foods) with known volume and on real served food. Volume accuracy was in the order of 90 %, while the total execution time was below 15 seconds per image pair. The proposed system combines simple and computational affordable methods for 3D reconstruction, remained stable throughout the experiments, operates in near real time, and places minimum constraints on users.
Resumo:
Introduction So far, social psychology in sport has preliminary focused on team cohesion, and many studies and meta-analyses tried to demonstrate a relation between cohesiveness of a team and its performance. How a team really co-operates and how the individual actions are integrated towards a team action is a question that has received relatively little attention in research. This may, at least in part, be due to a lack of a theoretical framework for collective actions, a dearth that has only recently begun to challenge sport psychologists. Objectives In this presentation a framework for a comprehensive theory of teams in sport is outlined and its potential to integrate research in the domain of team performance and, more specifically, the following presentations, is put up for discussion. Method Based on a model developed by von Cranach, Ochsenbein and Valach (1986), teams are considered to be information processing organisms, and team actions need to be investigated on two levels: the individual team member and the group as an entity. Elements to be considered are the task, the social structure, the information processing structure and the execution structure. Obviously, different task require different social structures, communication processes and co-ordination of individual movements. Especially in rapid interactive sports planning and execution of movements based on feedback loops are not possible. Deliberate planning may be a solution mainly for offensive actions, whereas defensive actions have to adjust to the opponent team's actions. Consequently, mental representations must be developed to allow a feed-forward regulation of team member's actions. Results and Conclusions Some preliminary findings based on this conceptual framework as well as further consequences for empirical investigations will be presented. References Cranach, M.v., Ochsenbein, G. & Valach, L. (1986). The group as a self-active system: Outline of a theory of group action. European Journal of Social Psychology, 16, 193-229.
Resumo:
Execution of an enzymatic reaction performed in a capillary with subsequent electrophoretic analysis of the formed products is referred to as electrophoretically mediated microanalysis (EMMA). An EMMA method was developed to investigate the stereoselectivity of the CYP3A4-mediated N-demethylation of ketamine. Ketamine was incubated in a 50 μm id bare fused-silica capillary together with human CYP3A4 Supersomes using a 100 mM phosphate buffer (pH 7.4) at 37°C. A plug containing racemic ketamine and the NADPH regenerating system including all required cofactors for the enzymatic reaction was injected, followed by a plug of the metabolizing enzyme CYP3A4 (500 nM). These two plugs were bracketed by plugs of incubation buffer to ensure proper conditions for the enzymatic reaction. The rest of the capillary was filled with a pH 2.5 running buffer comprising 50 mM Tris, phosphoric acid, and 2% w/v of highly sulfated γ-cyclodextrin. Mixing of reaction plugs was enhanced via application of -10 kV for 10 s. After an incubation of 8 min at 37°C without power application (zero-potential amplification), the capillary was cooled to 25°C within 3 min followed by application of -10 kV for the separation and detection of the formed enantiomers of norketamine. Norketamine formation rates were fitted to the Michaelis-Menten model and the elucidated values for V(max) and K(m) were found to be comparable to those obtained from the off-line assay of a previous study.
Resumo:
Equipped with state-of-the-art smartphones and mobile devices, today's highly interconnected urban population is increasingly dependent on these gadgets to organize and plan their daily lives. These applications often rely on current (or preferred) locations of individual users or a group of users to provide the desired service, which jeopardizes their privacy; users do not necessarily want to reveal their current (or preferred) locations to the service provider or to other, possibly untrusted, users. In this paper, we propose privacy-preserving algorithms for determining an optimal meeting location for a group of users. We perform a thorough privacy evaluation by formally quantifying privacy-loss of the proposed approaches. In order to study the performance of our algorithms in a real deployment, we implement and test their execution efficiency on Nokia smartphones. By means of a targeted user-study, we attempt to get an insight into the privacy-awareness of users in location-based services and the usability of the proposed solutions.
Resumo:
Pneumolysin (PLY), a key virulence factor of Streptococcus pneumoniae, permeabilizes eukaryotic cells by forming large trans-membrane pores. PLY imposes a puzzling multitude of diverse, often mutually excluding actions on eukaryotic cells. Whereas cytotoxicity of PLY can be directly attributed to the pore-mediated effects, mechanisms that are responsible for the PLY-induced activation of host cells are poorly understood. We show that PLY pores can be repaired and thereby PLY-induced cell death can be prevented. Pore-induced Ca2+ entry from the extracellular milieu is of paramount importance for the initiation of plasmalemmal repair. Nevertheless, active Ca2+ sequestration that prevents excessive Ca2+ elevation during the execution phase of plasmalemmal repair is of no less importance. The efficacy of plasmalemmal repair does not only define the fate of targeted cells but also intensity, duration and repetitiveness of PLY-induced Ca2+ signals in cells that were able to survive after PLY attack. Intracellular Ca2+ dynamics evoked by the combined action of pore formation and their elimination mimic the pattern of receptor-mediated Ca2+ signaling, which is responsible for the activation of host immune responses. Therefore, we postulate that plasmalemmal repair of PLY pores might provoke cellular responses that are similar to those currently ascribed to the receptor-mediated PLY effects. Our data provide new insights into the understanding of the complexity of cellular non-immune defense responses to a major pneumococcal toxin that plays a critical role in the establishment and the progression of life-threatening diseases. Therapies boosting plasmalemmal repair of host cells and their metabolic fitness might prove beneficial for the treatment of pneumococcal infections.
Resumo:
The concept of a dialogue is considered in general terms from the standpoint of its referential presuppositions. The semantics of dialogue implies that dialogue participants must generally have a collective intentionality of agreed-upon references that is minimally sufficient for them to be able to disagree about other things, and ideally for outstanding disagreements to become clearer at successive stages of the dialogue. These points are detailed and illustrated in a fictional dialogue, in which precisely these kinds of referential confusions impede progress in shared understanding. It is only through a continuous exchange of question and answer in this dialogue case study that the meanings of key terms and anaphorical references are disambiguated, and a relevantly complete collective intentionality of shared meaning between dialogue participants is achieved. The importance of a minimally shared referential semantics for the terms entering into reasoning and argument in dialogue contexts broadly construed cannot be over-estimated. Where to draw the line between referential agreement and disagreement within any chosen dialogue, as participants work toward better mutual understanding in clearing up referential incongruities, is sometimes among the dialogue’s main points of dispute.
Resumo:
Software corpora facilitate reproducibility of analyses, however, static analysis for an entire corpus still requires considerable effort, often duplicated unnecessarily by multiple users. Moreover, most corpora are designed for single languages increasing the effort for cross-language analysis. To address these aspects we propose Pangea, an infrastructure allowing fast development of static analyses on multi-language corpora. Pangea uses language-independent meta-models stored as object model snapshots that can be directly loaded into memory and queried without any parsing overhead. To reduce the effort of performing static analyses, Pangea provides out-of-the box support for: creating and refining analyses in a dedicated environment, deploying an analysis on an entire corpus, using a runner that supports parallel execution, and exporting results in various formats. In this tool demonstration we introduce Pangea and provide several usage scenarios that illustrate how it reduces the cost of analysis.
Resumo:
Debuggers are crucial tools for developing object-oriented software systems as they give developers direct access to the running systems. Nevertheless, traditional debuggers rely on generic mechanisms to explore and exhibit the execution stack and system state, while developers reason about and formulate domain-specific questions using concepts and abstractions from their application domains. This creates an abstraction gap between the debugging needs and the debugging support leading to an inefficient and error-prone debugging effort. To reduce this gap, we propose a framework for developing domain-specific debuggers called the Moldable Debugger. The Moldable Debugger is adapted to a domain by creating and combining domain-specific debugging operations with domain-specific debugging views, and adapts itself to a domain by selecting, at run time, appropriate debugging operations and views. We motivate the need for domain-specific debugging, identify a set of key requirements and show how our approach improves debugging by adapting the debugger to several domains.