96 resultados para Compensations


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Tarpon have high resting or routine hematocrits (Hct) (37.6+/-3.4%) and hemoglobin concentrations (120.6+/-7.3 g 1(-1)) that increased significantly following bouts of angling-induced exercise (51.9+/-3.7% and 142.8+/-13.5 g 1(-1), respectively). Strenuous exercise was accompanied by an approximately tenfold increase in blood lactate and a muscle metabolite profile indicative of a high energy demand teleost. Routine blood values were quickly restored only when this facultative air-breathing fish was given access to atmospheric air. In vitro studies of oxygen transport capacity, a function of carrying capacity and viscosity, revealed that the optimal Hct range corresponded to that observed in fish under routine behaviour. During strenuous exercise however, further increase in viscosity was largely offset by a pronounced reduction in the shear-dependence of blood which conformed closely to an ideal Newtonian fluid. The mechanism for this behaviour of the erythrocytes appears to involve the activation of surface adrenergic receptors because pre-treatment with propranolol abolished the response. High levels of activity in tarpon living in hypoxic habitats are therefore supported by an elevated Hct with adrenergically mediated viscosity reduction, and air-breathing behaviour that enables rapid metabolic recovery. (C) 2002 Elsevier Science Inc. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Direito, Programa de Pós-Graduação em Direito, 2016.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Mestrado em Controlo e gestão dos negócios

Relevância:

10.00% 10.00%

Publicador:

Resumo:

One fundamental idea of service-oriented computing is that applications should be developed by composing already available services. Due to the long running nature of service interactions, a main challenge in service composition is ensuring correctness of transaction recovery. In this paper, we use a process calculus suitable for modelling long running transactions with a recovery mechanism based on compensations. Within this setting, we discuss and formally state correctness criteria for compensable processes compositions, assuming that each process is correct with respect to transaction recovery. Under our theory, we formally interpret self-healing compositions, that can detect and recover from faults, as correct compositions of compensable processes. Moreover, we develop an automated verification approach and we apply it to an illustrative case study.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A Masters Thesis, presented as part of the requirements for the award of a Research Masters Degree in Economics from NOVA – School of Business and Economics

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Most of today’s systems, especially when related to the Web or to multi-agent systems, are not standalone or independent, but are part of a greater ecosystem, where they need to interact with other entities, react to complex changes in the environment, and act both over its own knowledge base and on the external environment itself. Moreover, these systems are clearly not static, but are constantly evolving due to the execution of self updates or external actions. Whenever actions and updates are possible, the need to ensure properties regarding the outcome of performing such actions emerges. Originally purposed in the context of databases, transactions solve this problem by guaranteeing atomicity, consistency, isolation and durability of a special set of actions. However, current transaction solutions fail to guarantee such properties in dynamic environments, since they cannot combine transaction execution with reactive features, or with the execution of actions over domains that the system does not completely control (thus making rolling back a non-viable proposition). In this thesis, we investigate what and how transaction properties can be ensured over these dynamic environments. To achieve this goal, we provide logic-based solutions, based on Transaction Logic, to precisely model and execute transactions in such environments, and where knowledge bases can be defined by arbitrary logic theories.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Relatório de atividade profissional de mestrado em Direito dos Contratos e da Empresa

Relevância:

10.00% 10.00%

Publicador:

Resumo:

We study a simple model of assigning indivisible objects (e.g., houses, jobs, offices, etc.) to agents. Each agent receives at most one object and monetary compensations are not possible. We completely describe all rules satisfying efficiency and resource-monotonicity. The characterized rules assign the objects in a sequence of steps such that at each step there is either a dictator or two agents "trade" objects from their hierarchically specified "endowments."