Handling Mitigating Circumstances for Electronic Contracts

Electronic contracts are a means of representing agreed responsibilities and expected behaviour of autonomous agents acting on behalf of businesses. They can be used to regulate behaviour by providing negative consequences, penalties, where the responsibilities and expectations are not met, i.e. the contract is violated. However, long-term business relationships require some flexibility in the face of circumstances that do not conform to the assumptions of the contract, that is, mitigating circumstances. In this paper, we describe how contract parties can represent and enact policies on mitigating circumstances. As part of this, we require records of what has occurred within the system leading up to a violation: the provenance of the violation. We therefore bring together contract-based and provenance systems to solve the issue of mitigating circumstances.

Hamiltonian constraint analysis of vector field theories with spontaneous Lorentz symmetry breaking

Recent investigations of various quantum-gravity theories have revealed a variety of possible mechanisms that lead to Lorentz violation. One of the more elegant of these mechanisms is known as Spontaneous Lorentz Symmetry Breaking (SLSB), where a vector or tensor field acquires a nonzero vacuum expectation value. As a consequence of this symmetry breaking, massless Nambu-Goldstone modes appear with properties similar to the photon in Electromagnetism. This thesis considers the most general class of vector field theories that exhibit spontaneous Lorentz violation-known as bumblebee models-and examines their candidacy as potential alternative explanations of E&M, offering the possibility that Einstein-Maxwell theory could emerge as a result of SLSB rather than of local U(1) gauge invariance. With this aim we employ Dirac's Hamiltonian Constraint Analysis procedure to examine the constraint structures and degrees of freedom inherent in three candidate bumblebee models, each with a different potential function, and compare these results to those of Electromagnetism. We find that none of these models share similar constraint structures to that of E&M, and that the number of degrees of freedom for each model exceeds that of Electromagnetism by at least two, pointing to the potential existence of massive modes or propagating ghost modes in the bumblebee theories.

Leakage Detection And Localization Method Based On A Hybrid Inverse/Direct Modelling Approach Suitable For Handling Multiple-Leak Scenarios

When an accurate hydraulic network model is available, direct modeling techniques are very straightforward and reliable for on-line leakage detection and localization applied to large class of water distribution networks. In general, this type of techniques based on analytical models can be seen as an application of the well-known fault detection and isolation theory for complex industrial systems. Nonetheless, the assumption of single leak scenarios is usually made considering a certain leak size pattern which may not hold in real applications. Upgrading a leak detection and localization method based on a direct modeling approach to handle multiple-leak scenarios can be, on one hand, quite straightforward but, on the other hand, highly computational demanding for large class of water distribution networks given the huge number of potential water loss hotspots. This paper presents a leakage detection and localization method suitable for multiple-leak scenarios and large class of water distribution networks. This method can be seen as an upgrade of the above mentioned method based on a direct modeling approach in which a global search method based on genetic algorithms has been integrated in order to estimate those network water loss hotspots and the size of the leaks. This is an inverse / direct modeling method which tries to take benefit from both approaches: on one hand, the exploration capability of genetic algorithms to estimate network water loss hotspots and the size of the leaks and on the other hand, the straightforwardness and reliability offered by the availability of an accurate hydraulic model to assess those close network areas around the estimated hotspots. The application of the resulting method in a DMA of the Barcelona water distribution network is provided and discussed. The obtained results show that leakage detection and localization under multiple-leak scenarios may be performed efficiently following an easy procedure.

Should voters be afraid of hard budget constraint legislation? fiscal responsibility law in brazilian municipalities

This manuscript demonstrates that voters have nothing to be afraid of when new hard budget constraint legislation is implemented. Our claim is that this kind of legislation reduces the asymmetry of information between voters and incumbents over the budget and, as a consequence, the latter have incentives to increase the supply of public goods. As a nationwide institutional innovation, the Fiscal Responsibility Law (FRL) is exogenous to all municipalities; therefore, there is no self-selection bias in its implementation. We show that public goods expenditure increases after the FRL. Second, this increase occurs in municipalities located in the country’s poorest region. Third, our findings can be extended to the supply of public goods because the higher the expenditure with health and education, the greater the probability of incumbents being re-elected. Finally, there exists a “de facto” higher supply of public goods in education (number of per capita classrooms) after the FRL.

Neutralizing the tendency to the overvaluation of the exchange rate or assuming a foreign constraint and asking for foreign savings

The objectives of these notes are two. The first objective is to analyze whether the strategy of growth with absorption of foreign savings leads to a trajectory of the economy that is sustainable in the long run. The second one is to evaluate the possibility of success of a policy of administered devaluation of the exchange rate in Brazil.

Graphical constraints: a graphical user interface for constraint problems

A constraint satisfaction problem is a classical artificial intelligence paradigm characterized by a set of variables (each variable with an associated domain of possible values), and a set of constraints that specify relations among subsets of these variables. Solutions are assignments of values to all variables that satisfy all the constraints. Many real world problems may be modelled by means of constraints. The range of problems that can use this representation is very diverse and embraces areas like resource allocation, scheduling, timetabling or vehicle routing. Constraint programming is a form of declarative programming in the sense that instead of specifying a sequence of steps to execute, it relies on properties of the solutions to be found, which are explicitly defined by constraints. The idea of constraint programming is to solve problems by stating constraints which must be satisfied by the solutions. Constraint programming is based on specialized constraint solvers that take advantage of constraints to search for solutions. The success and popularity of complex problem solving tools can be greatly enhanced by the availability of friendly user interfaces. User interfaces cover two fundamental areas: receiving information from the user and communicating it to the system; and getting information from the system and deliver it to the user. Despite its potential impact, adequate user interfaces are uncommon in constraint programming in general. The main goal of this project is to develop a graphical user interface that allows to, intuitively, represent constraint satisfaction problems. The idea is to visually represent the variables of the problem, their domains and the problem constraints and enable the user to interact with an adequate constraint solver to process the constraints and compute the solutions. Moreover, the graphical interface should be capable of configure the solver’s parameters and present solutions in an appealing interactive way. As a proof of concept, the developed application – GraphicalConstraints – focus on continuous constraint programming, which deals with real valued variables and numerical constraints (equations and inequalities). RealPaver, a state-of-the-art solver in continuous domains, was used in the application. The graphical interface supports all stages of constraint processing, from the design of the constraint network to the presentation of the end feasible space solutions as 2D or 3D boxes.

Dynamics of some limnological characteristics in pacu (Piaractus mesopotamicus) culture tanks as function of handling

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

Are cutout handles used when available in real occupational settings? Description of grips and upper extremities movements during industrial box handling

In order to achieve better postures and decrease musculoskeletal risks adequate design of hand/box couplings for manual materials handling (MMH) are still needed. No studies evaluating upper limb movement thorough direct measurements during box handling in workplace were identified in the literature. In this study we describe the types of grip and movements adopted by ten workers when handling redesigned boxes with cutout handles between different heights on industrial pallets. The new handles were used by 90% of the workers through different types of grip. Electrogoniometric measurements showed relatively safe forearm and wrist movements, although elbow inadequate range of movement was recorded. Despite the good acceptance of the cutout by workers, the new design requires extra internal space in the boxes reducing applications for this alternative of box.

Exercise Training and Caloric Restriction Prevent Reduction in Cardiac Ca2+-Handling Protein Profile in Obese Rats

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Obesity induces upregulation of genes involved in myocardial Ca2+ handling

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

Effects of temperament and acclimation to handling on feedlot performance of Bos taurus feeder cattle originated from a rangeland-based cow-calf system

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Association between handling stress in the corral and rabies antibody titers in selenium-supplemented cattle

This study determined the correlation between serum cortisol levels and rabies antibody titers in cattle primo-vaccinated against rabies and supplemented with dietary selenium (Se). Sixty Nelore male calves (10 to 12 months old) received daily and individual dietary supplementation with 0, 3.6, 5.4 and 6.4 mg Se (groups Gc, G(3.6), G(5.4) and G(6.4), respectively). The animals were vaccinated against rabies (day 0) and subjected to handling stress in the corral for 120 days. Blood sampling procedures were performed on days 0, 15, 30, 60, 90 and 120. Cortisol levels increased until day 90, but had dropped significantly by day 120 (P < 0.01). Rabies antibody titers on days 30 and 90 were similar among Se-supplemented groups; in the control group, rabies antibodies decreased significantly from day 30 to 60, and 90 to 120. Serum cortisol levels and antibody titers were not correlated in most of the groups or blood sampling days. A positive correlation among these variables was found only in G(6.4) on days 60 (R = 0.513; P = 0.05) and 120 (R = 0.644; P = 0.009). In conclusion, repeated handling in the corral stresses cattle, but without compromising rabies humoral immune response.