Case studies for contract-based systems

Of the ways in which agent behaviour can be regulated in a multiagent system, electronic contracting – based on explicit representation of different parties' responsibilities, and the agreement of all parties to them – has significant potential for modern industrial applications. Based on this assumption, the CONTRACT project aims to develop and apply electronic contracting and contract-based monitoring and verification techniques in real world applications. This paper presents results from the initial phase of the project, which focused on requirements solicitation and analysis. Specifically, we survey four use cases from diverse industrial applications, examine how they can benefit from an agent-based electronic contracting infrastructure and outline the technical requirements that would be placed on such an infrastructure. We present the designed CONTRACT architecture and describe how it may fulfil these requirements. In addition to motivating our work on the contract-based infrastructure, the paper aims to provide a much needed community resource in terms of use case themselves and to provide a clear commercial context for the development of work on contract-based system.

A economia como ciência. Dos clássicos a Keynes

Este ensaio se propõe confrontar a abordagem neoclássica da economia como ciência positiva, com a modelo keynesiano e a visão da economia dinâmica de Kalecki, onde a economia é tratada desde a perspectiva de uma ciência moral e normativa. Para tanto analisaremos as bases teóricas de cada modelo, seus pressupostos, leis fundamentais e principais conclusões. Dado o propósito didático do texto nos preocupamos em tentar explicar os antecedentes, axiomas, leis e relações funcionais de cada modelo, dando especial ênfase às que surgem da crítica de postulados anteriores, pois admitimos que cada modelo incorpora valores, pressupostos e metodologia própria, cuja crítica é essencial para o avanço da ciência. A economia neoclássica supõe agentes racionais, informação completa e ações e resultados imediatos. Seu método de análise é a otimização com restrições. O principio ordenador, necessário e suficiente da atividade econômica, consiste no comportamento racional dos agentes. Este modelo tem sua concepção política e ética das relações econômicas, consistente com seus pressupostos, o que fica patente, por exemplo, a propósito de sua teoria da distribuição da renda. Com a introdução de conceitos como: o tempo histórico; o caracter monetário da produção; a preferência pela liquidez; o comportamento subjetivo dos agentes; o predomínio da procura sobre a oferta; as expectativas e a incerteza em relação ao futuro, etc., a macroeconomia de Keynes consegue romper o paradigma anterior, do ajuste automático dos mercados de acordo com um feedeback contínuo e estável, capaz de garantir o equilíbrio de pleno emprego. Embora a análise keynesiana tivesse permitido a abordagem precisa de questões tão importantes como: a natureza e as causas do desemprego; o papel da moeda e do crédito; a determinação dos juros; os condicionantes do investimento, etc., faltava ainda uma teoria dos preços, da distribuição e do ciclo econômico, no que o trabalho de M. Kalecki, certamente parece ter avançado. Este autor parte de um contexto cultural e ideológico que lhe permite abordar sem entraves a natureza do capitalismo. Seu enfoque micro e macroeconômico é integrado e está apoiado no pressuposto da concorrência imperfeita. No universo keynesiano os mercados podem estar em equilíbrio, mas não no de pleno emprego, já segundo Kalecki o ciclo econômico é inevitável. Em ambos os casos os mercados não são perfeitos e não tendem naturalmente para o equilíbrio, o que justifica a ação reguladora do Estado, de acordo sua opção política e um código de valores preestabelecido. É de se imaginar que cada modelo de análise esteja condicionado pelo conjunto de valores dominantes do momento, o que não invalida o caracter de ciência social da economia. Por exemplo, desde a perspectiva individualista da troca mercantil, a economia se apresenta com a metodologia de ciência pura, porém, levando em conta as relações de classe social, é uma ciência moral.

Water Buffalo Genome Science Comes of Age

The water buffalo is vital to the lives of small farmers and to the economy of many countries worldwide. Not only are they draught animals, but they are also a source of meat, horns, skin and particularly the rich and precious milk that may be converted to creams, butter, yogurt and many cheeses. Genome analysis of water buffalo has advanced significantly in recent years. This review focuses on currently available genome resources in water buffalo in terms of cytogenetic characterization, whole genome mapping and next generation sequencing. No doubt, these resources indicate that genome science comes of age in the species and will provide knowledge and technologies to help optimize production potential, reproduction efficiency, product quality, nutritional value and resistance to diseases. As water buffalo and domestic cattle, both members of the Bovidae family, are closely related, the vast amount of cattle genetic/genomic resources might serve as shortcuts for the buffalo community to further advance genome science and biotechnologies in the species.

CMS physics technical design report, volume II: Physics performance

CMS is a general purpose experiment, designed to study the physics of pp collisions at 14 TeV at the Large Hadron Collider ( LHC). It currently involves more than 2000 physicists from more than 150 institutes and 37 countries. The LHC will provide extraordinary opportunities for particle physics based on its unprecedented collision energy and luminosity when it begins operation in 2007. The principal aim of this report is to present the strategy of CMS to explore the rich physics programme offered by the LHC. This volume demonstrates the physics capability of the CMS experiment. The prime goals of CMS are to explore physics at the TeV scale and to study the mechanism of electroweak symmetry breaking - through the discovery of the Higgs particle or otherwise. To carry out this task, CMS must be prepared to search for new particles, such as the Higgs boson or supersymmetric partners of the Standard Model particles, from the start- up of the LHC since new physics at the TeV scale may manifest itself with modest data samples of the order of a few fb(-1) or less. The analysis tools that have been developed are applied to study in great detail and with all the methodology of performing an analysis on CMS data specific benchmark processes upon which to gauge the performance of CMS. These processes cover several Higgs boson decay channels, the production and decay of new particles such as Z' and supersymmetric particles, B-s production and processes in heavy ion collisions. The simulation of these benchmark processes includes subtle effects such as possible detector miscalibration and misalignment. Besides these benchmark processes, the physics reach of CMS is studied for a large number of signatures arising in the Standard Model and also in theories beyond the Standard Model for integrated luminosities ranging from 1 fb(-1) to 30 fb(-1). The Standard Model processes include QCD, B-physics, diffraction, detailed studies of the top quark properties, and electroweak physics topics such as the W and Z(0) boson properties. The production and decay of the Higgs particle is studied for many observable decays, and the precision with which the Higgs boson properties can be derived is determined. About ten different supersymmetry benchmark points are analysed using full simulation. The CMS discovery reach is evaluated in the SUSY parameter space covering a large variety of decay signatures. Furthermore, the discovery reach for a plethora of alternative models for new physics is explored, notably extra dimensions, new vector boson high mass states, little Higgs models, technicolour and others. Methods to discriminate between models have been investigated. This report is organized as follows. Chapter 1, the Introduction, describes the context of this document. Chapters 2-6 describe examples of full analyses, with photons, electrons, muons, jets, missing E-T, B-mesons and tau's, and for quarkonia in heavy ion collisions. Chapters 7-15 describe the physics reach for Standard Model processes, Higgs discovery and searches for new physics beyond the Standard Model.

The CMS experiment at the CERN LHC

The Compact Muon Solenoid (CMS) detector is described. The detector operates at the Large Hadron Collider (LHC) at CERN. It was conceived to study proton-proton (and lead-lead) collisions at a centre-of-mass energy of 14 TeV (5.5 TeV nucleon-nucleon) and at luminosities up to 10(34)cm(-2)s(-1) (10(27)cm(-2)s(-1)). At the core of the CMS detector sits a high-magnetic-field and large-bore superconducting solenoid surrounding an all-silicon pixel and strip tracker, a lead-tungstate scintillating-crystals electromagnetic calorimeter, and a brass-scintillator sampling hadron calorimeter. The iron yoke of the flux-return is instrumented with four stations of muon detectors covering most of the 4 pi solid angle. Forward sampling calorimeters extend the pseudo-rapidity coverage to high values (vertical bar eta vertical bar <= 5) assuring very good hermeticity. The overall dimensions of the CMS detector are a length of 21.6 m, a diameter of 14.6 m and a total weight of 12500 t.

Aspartic acid racemization dating of Holocene brachiopods and bivalves from the southern Brazilian shelf, South Atlantic

The extent of racemization of aspartic acid (Asp) has been used to estimate the ages of 9 shells of the epifaunal calcitic brachiopod Bouchardia rosea and 9 shells of the infaunal aragonitic bivalve Semele casali. Both taxa were collected concurrently from the same sites at depths of 10 m and 30 m off the coast of Brazil. Asp D/L values show an excellent correlation with radiocarbon age at both sites and for both taxa (r(Site)(2) (9) (B. rosea) = 0.97 r(Site)(2) (1) (B.) (rosea) = 0.997, r(Site)(2) (9) (S.) (casali) = 0.9998, r(2) (Site) (1) (S.casali) = 0.93). The Asp ratios plotted against reservoir-corrected AMS radiocarbon ages over the time span of multiple millennia can thus be used to develop reliable and precise geochronologies not only for aragonitic mollusks (widely used for dating previously), but also for calcitic brachiopods. At each collection site, Bouchardia specimens display consistently higher D/L values than specimens of Semele. Thermal differences between sites are also notable and in agreement with theoretical expectations, as extents of racemization for both taxa are greater at the warmer, shallower site than at the cooler, deeper one. In late Holocene marine settings, concurrent time series of aragonitic and calcitic shells can be assembled using Asp racemization dating, and parallel multi-centennial to multi-millennial records can be developed simultaneously for multiple biomineral systems. (c) 2006 University of Washington. All rights reserved.

Comparative analysis of drilling frequencies in recent brachiopod-mollusk associations from the Southern Brazilian Shelf

Over 14,000 specimens-5,204 brachiopods, 9,137 bivalves, and 178 gastropods-acquired from 30 collecting stations (0 to 45 m depth) in the Ubatuba and Picinguaba bays, southern Brazil, were compared for drilling frequencies. Beveled (countersunk) circular-to-subcircular borings (Oichnus-like drill holes) were found in diverse bivalves but also in the rhynchonelliform brachiopod Bouchardia rosea-a small, semi-infaunal to epifaunal, free-lying species that dominates the brachiopod fauna of the southern Brazilian shelf. Drill holes in bivalve mollusks and brachiopods are comparable in their morphology, average diameter, and diameter range, indicating attacks by a single type of drilling organism. Drill holes in brachiopods were rare (0.4%) and found only at five sampling sites. Drillings in bivalves were over 10 times as frequent as in brachiopods, but the average drilling frequency was still low (5.6%) compared to typical boring frequencies of Cenozoic mollusks. Some common bivalve species, however, were drilled at frequencies up to 50 times higher than those observed for shells of B. rosea from the same samples. Due to scarcity of drilled brachiopods, it is not possible to evaluate if the driller displayed a nonrandom (stereotyped) site, size, or valve preference. Drilled brachiopods may record (1) naticid or muricid predation, (2) predation by other drillers, (3) parasitic drillings, and (4) mistaken or opportunistic attacks. Low drilling frequency in brachiopods is consistent with recent reports on ancient and modern examples. The scarcity of drilling in brachiopods, coupled with much higher drilling frequencies observed in sympatric bivalves, suggests that drilling in brachiopods may have been due to facultative or erroneous attacks. The drilling frequencies observed here for the brachiopod-bivalve assemblages are remarkably similar to those reported for Permian brachiopod-bivalves associations. This report adds to the growing evidence for an intriguing macroecological stasis: multiple meta-analytical surveys of present-day and fossil rhynchonelliform brachiopods conducted in recent years also point to persistent scarcity and low intensity of biotic interactions between brachiopods and drilling organisms throughout their evolutionary history.

Effect of air humidity on the egg viability of predatory mites (Acari: Phytoseiidae, Stigmaeidae) common on rubber trees in Brazil

Rubber pest mites, Calacarus heveae and Tenuipalpus heveae, reach economic damage levels at the end of the rainy season and the beginning of the dry season in Brazil. Therefore, low humidity adaptation might be an important characteristic for predatory mites to successfully control pest organisms. This study determined the effect of the relative humidity (RH) levels of 30-100% on the hatching of larvae of Amblyseius acalyphus, Euseius citrifolius, Iphiseiodes zuluagai, Metaseiulus camelliae, Agistemus floridanus and Zetzellia malvinae at 25 ± 0.5°C. These predatory mites are common on rubber trees in the state of São Paulo and might be used for introduction in the major rubber tree production regions in the state of Mato Grosso. At 70% RH or higher, viability was 70% or higher for all species, indicating that their performance might be higher during the rainy season than during the dry season. Eggs of E. citrifolius and M. camelliae presented higher viability at the lower relative humidity levels than those of other species, indicating that these species might have higher chance to persist in the dry season. It is suggested that M. camelliae should be further evaluated for introduction in the state of Mato Grosso, considering that this mite is not yet present in that area. © Springer 2006.

Status and promise of particle interferometry in heavy-ion collisions

After five years of running at RHIC, and on the eve of the LHC heavy-ion program, we highlight the status of femtoscopic measurements. We emphasize the role interferometry plays in addressing fundamental questions about the state of matter created in such collisions, and present an enumerated list of measurements, analyses and calculations that are needed to advance the field in the coming years.