Quantum Parrondo's games

Parrondo's paradox arises when two losing games are combined to produce a winning one. A history-dependent quantum Parrondo game is studied where the rotation operators that represent the toss of a classical biased coin are replaced by general SU(2) operators to transform the game into the quantum domain. In the initial state, a superposition of qubits can be used to couple the games and produce interference leading to quite different payoffs to those in the classical case. (C) 2002 Elsevier Science B.V. All rights reserved.

Copper transfer from the Cu(I) chaperone, CopZ, to the repressor, Zn(II)CopY: Metal coordination environments and protein interactions

Extracellular copper regulates the DNA binding activity of the CopY repressor of Enterococcus hirae and thereby controls expression of the copper homeostatic genes encoded by the cop operon. CopY has a CxCxxxxCxC metal binding motif. CopZ, a copper chaperone belonging to a family of metallochaperones characterized by a MxCxxC metal binding motif, transfers copper to CopY. The copper binding stoichiometries of CopZ and CopY were determined by in vitro metal reconstitutions. The stoichiometries were found to be one copper(l) per CopZ and two copper(l) per CopY monomer. X-ray absorption studies suggested a mixture of two- and three-coordinate copper in Cu(1)CopZ, but a purely three-coordinate copper coordination with a Cu-Cu interaction for Cu(1)(2)CopY. The latter coordination is consistent with the formation of a compact binuclear Cu(l)-thiolate core in the CxCxxxxCxC binding motif of CopY. Displacement of zinc, by copper. from CopY was monitored with 2,4-pyridylazoresorcinol. Two copper(l) ions were required to release the single zinc(II) ion bound per CopY monomer. The specificity of copper transfer between CopZ and CopY was dependent on electrostatic interactions. Relative copper binding affinities of the proteins were investigated using the chelator, diethyldithiocarbamic acid (DDC). These data suggest that CopY has a higher affinity for copper than CopZ. However, this affinity difference is not the sole factor in the copper exchange: a charge-based interaction between the two proteins is required for the transfer reaction to proceed. Gain-of-function mutation of a CopZ homologue demonstrated the necessity of four lysine residues on the chaperone for the interaction with CopY. Taken together, these results suggest a mechanism for copper exchange between CopZ and CopY.

Work domain analysis and sensors I: principles and simple example

In this paper we establish a foundation for understanding the instrumentation needs of complex dynamic systems if ecological interface design (EID)-based interfaces are to be robust in the face of instrumentation failures. EID-based interfaces often include configural displays which reveal the higher-order properties of complex systems. However, concerns have been expressed that such displays might be misleading when instrumentation is unreliable or unavailable. Rasmussen's abstraction hierarchy (AH) formalism can be extended to include representations of sensors near the functions or properties about which they provide information, resulting in what we call a sensor-annotated abstraction hierarchy. Sensor-annotated AHs help the analyst determine the impact of different instrumentation engineering policies on higher-order system information by showing how the data provided from individual sensors propagates within and across levels of abstraction in the AH. The use of sensor-annotated AHs with a configural display is illustrated with a simple water reservoir example. We argue that if EID is to be effectively employed in the design of interfaces for complex systems, then the information needs of the human operator need to be considered at the earliest stages of system development while instrumentation requirements are being formulated. In this way, Rasmussen's AH promotes a formative approach to instrumentation engineering. (C) 2002 Elsevier Science Ltd. All rights reserved.

A framework for table driven testing of Java classes

With the advent of object-oriented languages and the portability of Java, the development and use of class libraries has become widespread. Effective class reuse depends on class reliability which in turn depends on thorough testing. This paper describes a class testing approach based on modeling each test case with a tuple and then generating large numbers of tuples to thoroughly cover an input space with many interesting combinations of values. The testing approach is supported by the Roast framework for the testing of Java classes. Roast provides automated tuple generation based on boundary values, unit operations that support driver standardization, and test case templates used for code generation. Roast produces thorough, compact test drivers with low development and maintenance cost. The framework and tool support are illustrated on a number of non-trivial classes, including a graphical user interface policy manager. Quantitative results are presented to substantiate the practicality and effectiveness of the approach. Copyright (C) 2002 John Wiley Sons, Ltd.

Comparisons between bone and cementum compositions and the possible basis for their layered appearances

In humans, age estimation from the adult skeleton represents an attempt to determine chronological age based on growth and maturational events. In teeth, such events can be characterized by appositional growth layers in midroot cementum. The purpose of this study was to determine the underlying cause of the layered microstructure of human midroot cementum. Whether cementum growth layers are caused by changes in relative mineralization, collagen packing and/or orientation, or by variations in organic matrix apposition was investigated by subjecting midroot sections of human canine teeth to analysis using polarized light and scanning electron microscopy (SEM). Polarized light was used to examine transverse midroot sections in both mineralized and demineralized states. Mineralized sections were also reexamined following subsequent decollagenization. Polarized light was additionally used in the examination of mineralized sections taken transversely, longitudinally, and obliquely from the same tooth root. From the birefringence patterns it was concluded that collagen orientation does not change with varying section plane. Instead, the mineral phase was most responsible for the birefringence of the cementum. SEM studies suggested that neither collagen packing nor collagen orientation change across the width of the cementum, confirming and validating the results of the polarized light examination. Also, SEM analysis using electron backscatter and the electron probe suggested no changes in the mean atomic number density, calcium, phosphate, and sulfur levels across the width of the cementum. Therefore, we conclude that crystalline orientation and/or size is responsible for the layered appearance of cementum. (Bone 30:386-392; 2002) (C) 2002 by Elsevier Science Inc. All rights reserved.

Application of the maximum entropy method to the (2 + 1)D four-fermion model

We investigate spectral functions extracted using the maximum entropy method from correlators measured in lattice simulations of the (2+1)-dimensional four-fermion model. This model is particularly interesting because it has both a chirally broken phase with a rich spectrum of mesonic bound states and a symmetric phase where there are only resonances. In the broken phase we study the elementary fermion, pion, sigma, and massive pseudoscalar meson; our results confirm the Goldstone nature of the π and permit an estimate of the meson binding energy. We have, however, seen no signal of σ→ππ decay as the chiral limit is approached. In the symmetric phase we observe a resonance of nonzero width in qualitative agreement with analytic expectations; in addition the ultraviolet behavior of the spectral functions is consistent with the large nonperturbative anomalous dimension for fermion composite operators expected in this model.

Farm exposures, parental occupation, and risk of Ewing's sarcoma in Australia: a national case-control study

Objective: It has been suggested that parental occupation, particularly farming, increased the risk of Ewing's sarcoma in the offspring. In a national case-control study we examined the relationship between farm and other parental occupational exposures and the risk of cancer in the offspring. Methods: Cases were 106 persons with confirmed Ewing's sarcoma or peripheral primitive neuroectodermal tumor. Population-based controls (344) were selected randomly via telephone. Information was collected by interview (84% face-to-face). Results: We found an excess of case mothers who worked on farms at conception and/or pregnancy (odds ratio (OR) = 2.3, 95% confidence interval (CI) 0.5-12.0) and a slightly smaller excess of farming fathers; more case mothers usually worked as laborers, machine operators, or drivers (OR = 1.8, 95% CI 0.9-3.9). Risk doubled for those whose mothers handled pesticides and insecticides, or fathers who handled solvents and glues, and oils and greases. Further, more cases lived on farms (OR = 1.6, 95% CI 0.9-2.8). In the 0-20 years group, the risk doubled for those who ever lived on a farm (OR = 2.0, 95% CI 1.0-3.9), and more than tripled for those with farming fathers at conception and/or pregnancy (OR = 3.5, 95% CI 1.0-11.9). Conclusions: Our data support the general hypothesis of an association of Ewing's sarcoma family of tumors with farming, particularly at younger ages, who represent the bulk of cases, and are more likely to share etiologic factors.

High irradiance increases organogenesis in friable callus of Caustis blakei Kuk. (Cyperaceae)

Caustis blakei is an attractive cut foliage plant harvested from the wild in Australia and marketed under the name of koala fern. Previous attempts to propagate large numbers of this plant have been unsuccessful. The effect of four light irradiances on organogenesis from compact and friable callus of C. blakei was studied for 21 wk. Both callus types produced numerous primordial shoots but many failed to develop into green plantlets. However, significantly more primordial shoots and green plantlets developed on the friable callus than on the compact callus, and significantly more green plantlets were regenerated under the higher photon irradiances of 200 and 300 mumol m(-2) s(-1) than under the lower irradiances of 100 and 150 mumol m(-2) s(-1). The compact callus produced its maximum number of green plantlets early in the experiment (after 9 wk), while the friable callus continued to produce primordial shoots and green plantlets throughout the period of the experiment, and reached its maximum production of green plantlets at 21 wk under the irradiance of 300 mumol m(-2) s(-1). Organogenesis from friable callus under high irradiance (300 mumol m(-2) s(-1)) offers an efficient propagation method for C. blakei.

Full-scale demonstration of biological nutrient removal in a single tank SBR process

Complete biological nutrient removal (BNR) in a single tank, sequencing batch reactor (SBR) process, is demonstrated here at full-scale on a typical domestic wastewater. The unique feature of the UniFed process is the introduction of the influent into the settled sludge blanket during the settling and decant periods of the SBR operation. This achieves suitable conditions for denitrification and anaerobic phosphate release which is critical to successful biological phosphorus removal, It also achieves a selector effect, which helps in generating a compact, well settling biomass in the reactor. The results of this demonstration show that it is possible to achieve well over 90% removal of GOD, nitrogen and phosphorus in such a process. Effluent quality achieved over a six-month operating period directly after commissioning was: 29 mg/l GOD, 0.5 mg/l NH4-N, 1.5 mg/l NOx-N and 1.5 mg/l PO4-P (50%-iles of daily samples). During an 8-day, intensive sampling period, the effluent BOD5 was

API documentation with executable examples

The rise of component-based software development has created an urgent need for effective application program interface (API) documentation. Experience has shown that it is hard to create precise and readable documentation. Prose documentation can provide a good overview but lacks precision. Formal methods offer precision but the resulting documentation is expensive to develop. Worse, few developers have the skill or inclination to read formal documentation. We present a pragmatic solution to the problem of API documentation. We augment the prose documentation with executable test cases, including expected outputs, and use the prose plus the test cases as the documentation. With appropriate tool support, the test cases are easy to develop and read. Such test cases constitute a completely formal, albeit partial, specification of input/output behavior. Equally important, consistency between code and documentation is demonstrated by running the test cases. This approach provides an attractive bridge between formal and informal documentation. We also present a tool that supports compact and readable test cases; and generation of test drivers and documentation, and illustrate the approach with detailed case studies. (C) 2002 Elsevier Science Inc. All rights reserved.

Structural refinement of systems specified in object-z and CSP

This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.

Optical experiments beyond the quantum limit: Squeezing entanglement and teleportation

Results of experiments recently performed are reported, in which two optical parametric amplifiers were set up to generate two independently quadrature squeezed continuous wave laser beams. The transformation of quadrature squeezed states into polarization squeezed states and into states with spatial quantum correlations is demonstrated. By utilizing two squeezed laser beams, a polarization squeezed state exhibiting three simultaneously squeezed Stokes operator variances was generated. Continuous variable polarization entanglement was generated and the Einstein-Podolsky-Rosen paradox was observed. A pair of Stokes operators satisfied both the inseparability criterion and the conditional variance criterion. Values of 0.49 and 0.77, respectively, were observed, with entanglement requiring values below unity. The inseparability measure of the observed quadrature entanglement was 0.44. This value is sufficient for a demonstration of quantum teleportation, which is the next experimental goal of the authors.

Continuous variable polarization entanglement, experiment and analysis

We generate and characterize continuous variable polarization entanglement between two optical beams. We first produce quadrature entanglement, and by performing local operations we transform it into a polarization basis. We extend two entanglement criteria, the inseparability criteria proposed by Duan et al (2000 Phys. Rev. Lett. 84 2722) and the Einstein–Podolsky–Rosen (EPR) paradox criteria proposed by Reid and Drummond (1988 Phys. Rev. Lett. 60 2731), to Stokes operators; and use them to characterize the entanglement. Our results for the EPR paradox criteria are visualized in terms of uncertainty balls on the Poincaré sphere. We demonstrate theoretically that using two quadrature entangled pairs it is possible to entangle three orthogonal Stokes operators between a pair of beams, although with a bound √3 times more stringent than for the quadrature entanglement.

Um estudo sobre os resultados da utiliza????o da Bolsa Eletr??nica de Compras no governo do estado de S??o Paulo

Esta ?? uma pesquisa com o objetivo de estudar e analisar os resultados da utiliza????o da Bolsa Eletr??nica de Compras (BEC) no Governo do Estado de S??o Paulo. O estudo permitiu responder a quest??es b??sicas, tais como: relacionamento com fornecedores, investimentos em treinamento, assimila????o, condi????es de trabalho e benef??cios operacionais. O estudo ?? uma pesquisa descritiva, que tenta obter uma descri????o completa e precisa de uma situa????o. A coleta de dados baseou-se em um question??rio, enviado por e-mail, respondido pelos usu??rios e operadores da BEC e pelos fornecedores. Os principais resultados obtidos demonstraram que utiliza????o da BEC n??o melhorou o relacionamento da Administra????o P??blica com seus fornecedores, por??m trouxe mais economia, credibilidade e transpar??ncia ao Governo do Estado de S??o Paulo.