Quantum-state protection in cavities

We show how an initially prepared quantum state of a radiation mode in a cavity can be preserved for a long time using a feedback scheme based on the injection of appropriately prepared atoms. We present a feedback scheme both for optical cavities, which can be continuously monitored by a photodetector, and for microwave cavities, which can be monitored only indirectly via the detection of atoms that have interacted with the cavity field. We also discuss the possibility of applying these methods for decoherence control in quantum information processing.

Formal derivation of finite state machines for class testing

Previous work on generating state machines for the purpose of class testing has not been formally based. There has also been work on deriving state machines from formal specifications for testing non-object-oriented software. We build on this work by presenting a method for deriving a state machine for testing purposes from a formal specification of the class under test. We also show how the resulting state machine can be used as the basis for a test suite developed and executed using an existing framework for class testing. To derive the state machine, we identify the states and possible interactions of the operations of the class under test. The Test Template Framework is used to formally derive the states from the Object-Z specification of the class under test. The transitions of the finite state machine are calculated from the derived states and the class's operations. The formally derived finite state machine is transformed to a ClassBench testgraph, which is used as input to the ClassBench framework to test a C++ implementation of the class. The method is illustrated using a simple bounded queue example.

Programming internet based DAI applications in Qu-Prolog

This paper presents the unique collection of additional features of Qu-Prolog, a variant of the Al programming language Prolog, and illustrates how they can be used for implementing DAI applications. By this we mean applications comprising communicating information servers, expert systems, or agents, with sophisticated reasoning capabilities and internal concurrency. Such an application exploits the key features of Qu-Prolog: support for the programming of sound non-clausal inference systems, multi-threading, and high level inter-thread message communication between Qu-Prolog query threads anywhere on the internet. The inter-thread communication uses email style symbolic names for threads, allowing easy construction of distributed applications using public names for threads. How threads react to received messages is specified by a disjunction of reaction rules which the thread periodically executes. A communications API allows smooth integration of components written in C, which to Qu-Prolog, look like remote query threads.

Simultaneous steady state and dynamic design of process systems using structural indicators

The simultaneous design of the steady-state and dynamic performance of a process has the ability to satisfy much more demanding dynamic performance criteria than the design of dynamics only by the connection of a control system. A method for designing process dynamics based on the use of a linearised systems' eigenvalues has been developed. The eigenvalues are associated with system states using the unit perturbation spectral resolution (UPSR), characterising the dynamics of each state. The design method uses a homotopy approach to determine a final design which satisfies both steady-state and dynamic performance criteria. A highly interacting single stage forced circulation evaporator system, including control loops, was designed by this method with the goal of reducing the time taken for the liquid composition to reach steady-state. Initially the system was successfully redesigned to speed up the eigenvalue associated with the liquid composition state, but this did not result in an improved startup performance. Further analysis showed that the integral action of the composition controller was the source of the limiting eigenvalue. Design changes made to speed up this eigenvalue did result in an improved startup performance. The proposed approach provides a structured way to address the design-control interface, giving significant insight into the dynamic behaviour of the system such that a systematic design or redesign of an existing system can be undertaken with confidence.

Systemic Model for Diagnosis of the Micro, Small and Medium Enterprises from Two Cities from the Countryside of the State of So Paulo in Brazil

This article presents a proposal of a systemic model composed for the micro and small companies (MSE) of the region of Ribeiro Preto and the agents which influenced their environment. The proposed model was based on Stafford Beer`s (Diagnosing the system for organizations. Chichester, Wiley, 1985) systemic methodologies VSM (Viable System Model) and on Werner Ulrich`s (1983) CSH (Critical Systems Heuristics). The VSM is a model for the diagnosis of the structure of an organization and of its flows of information through the application of the cybernetics concepts (Narvarte, In El Modelo del Sistema Viable-MSV: experiencias de su aplicacin en Chile. Proyecto Cerebro Colectivo del IAS, Santiago, 2001). On the other hand, CSH focus on the context of the social group applied to the systemic vision as a counterpoint to the organizational management view considered by the VSM. MSE of Ribeiro Preto and Sertozinho had been analyzed as organizations inserted in systems that relate and integrate with other systems concerning the public administration, entities of representation and promotion agencies. The research questions: which are the bonds of interaction among the subsystems in this process and who are the agents involved? The systemic approach not only diagnosed a social group, formed by MSE of Ribeiro Preto and Sertozinho, public authorities and support entities, but could also delineate answers that aimed the clarification of obscure questions generating financial assistance to the formularization of efficient actions for the development of this system.

The use of electrospray ionization tandem mass spectrometry on the structural characterization of novel asymmetric metallo-organic supermolecules, based on pentafluorophenylporphyrins and ruthenium complexes

The novel asymmetric metallo-organic triads cis- and trans-[B(4-py)BPFPH(2){Ru(3)O(Ac)(6)(py)(2)}(Ru(bpy)(2)Cl}](PF(6))(2) (5a,b) for which cis- and trans-B(4-py)BPFPH(2)=5,10-bis(pentafluorophenyl)-15,20-bis(4-pyridyl)porphyrin and 5,15-bis(pentafluorophenyl)-10,20-bis(4-pyridyl)porphyrin, respectively; Ac = acetate; py = pyridine and bpy = 2,2`-bipyridine, as well as their corresponding monosubstituted dyads cis- and trans-[B(4-py)BPFPH(2){Ru(3)O(Ac)(6)(py)(2)}]PF(6) (4a,b) have been structurally characterized via electrospray ionization mass spectrometry (ESI-MS and ESI-MS/MS). The ESI-MS of dyads 4a,b display two characteristic Ru-multicomponent clusters of isotopologue ions corresponding to singly charged ions 4a,b(+) of m/z 1629 and doubly charged ions [4a,b+H](2+) of m/z 815 and the triads 5a,b are detected by ESI-MS as the intact doubly charged cluster of isotopologue ions of m/z 1039 [5a,b](2+). The ESI-MS/MS of 4a,b(+), [4a,b+H](2+) and [5a,b](2+) reveal characteristic dissociation pathways, which confirm the structural assignments providing additional information on the intrinsic binding strengths of the gaseous ions. Although the gas-phase behavior of each pair of isomers was rather similar, the less symmetric dyads 4a,b are distinguished via the (1)H NMR spectral profile of the pyrrolic signals. Exploratory photophysical assays have shown that both modifying motifs alter the porphyrinic core emission profile, opening the possibility to use these asymmetric systems as photophysical devices. (C) 2008 Elsevier Ltd. All rights reserved.

Population-based mammography screening and breast cancer incidence in New South Wales, Australia

To analyse breast cancer incidence trends in New South Wales (NSW), Australia, in relation to population-based mammography screening targeting women aged 50 to 69 years. Trends in age-specific incidence of invasive breast cancers in NSW women aged >= 40 years were examined in relation to mammography screening rates and screening cancer detection rates. Incidence of invasive breast cancer in NSW women increased in all age-groups over 1972 to 2002. The incidence trend for women aged 50 to 69 years showed that the steepest rise was associated with increased participation in population-based mammography screening, which was implemented from 1988 and achieved state-wide coverage in 1995. The elevated incidence of invasive cancer significantly exceeded pre-screening levels, and persisted after rates of initial screens declined. This elevated incidence was sustained by the contribution of cancers diagnosed through subsequent screening, and resulted from increased cancer detection rates in subsequent screens. The recent increase in invasive breast cancer incidence in NSW is associated with mammography screening, and occurred mostly in the target age-group women. Persistence of higher incidence after 1994 was not explicable by inflation of cancer incidence due to detection of prevalent screen cases, but was associated with a trend of increased cancer detection rates in subsequent screening rounds, probably consequent to quality improvements in mammography screening diagnosis.

Molecular orbital calculations of two-electron states for P-donor solid-state spin qubits

We theoretically study the Hilbert space structure of two neighboring P-donor electrons in silicon-based quantum computer architectures. To use electron spins as qubits, a crucial condition is the isolation of the electron spins from their environment, including the electronic orbital degrees of freedom. We provide detailed electronic structure calculations of both the single donor electron wave function and the two-electron pair wave function. We adopted a molecular orbital method for the two-electron problem, forming a basis with the calculated single donor electron orbitals. Our two-electron basis contains many singlet and triplet orbital excited states, in addition to the two simple ground state singlet and triplet orbitals usually used in the Heitler-London approximation to describe the two-electron donor pair wave function. We determined the excitation spectrum of the two-donor system, and study its dependence on strain, lattice position, and interdonor separation. This allows us to determine how isolated the ground state singlet and triplet orbitals are from the rest of the excited state Hilbert space. In addition to calculating the energy spectrum, we are also able to evaluate the exchange coupling between the two donor electrons, and the double occupancy probability that both electrons will reside on the same P donor. These two quantities are very important for logical operations in solid-state quantum computing devices, as a large exchange coupling achieves faster gating times, while the magnitude of the double occupancy probability can affect the error rate.

Leishmania (Viannia) braziliensis identification by PCR in the state of Para, Brazil

The incidence of cutaneous leishmaniasis (CL) is increasing and there is limited surveillance of Leishmania species throughout the world. We identified the species associated with CL in a region of Amazonia, an area recognized for its Leishmania species variability. Clinical findings were analyzed and correlated with the species identified in 93 patients. PCR assays were based on small subunit ribosomal DNA (SSU-rDNA) and G6PD, and were performed in a laboratory located 3,500 km away. Leishmania (V.) braziliensis was identified in 53 patients (57%). The other 40 patients (43%) carried a different species (including six cases of L (L) amazonensis). Molecular methods can be employed, using special media, to allow transport to distant laboratories. L (V.) braziliensis is the most common species in the area of Para. The location of ulcers can suggest CL species (C) 2010 Royal Society of Tropical Medicine and Hygiene. Published by Elsevier Ltd. All rights reserved.

Evaluating SVM and MLDA in the extraction of discriminant regions for mental state prediction

Pattern recognition methods have been successfully applied in several functional neuroimaging studies. These methods can be used to infer cognitive states, so-called brain decoding. Using such approaches, it is possible to predict the mental state of a subject or a stimulus class by analyzing the spatial distribution of neural responses. In addition it is possible to identify the regions of the brain containing the information that underlies the classification. The Support Vector Machine (SVM) is one of the most popular methods used to carry out this type of analysis. The aim of the current study is the evaluation of SVM and Maximum uncertainty Linear Discrimination Analysis (MLDA) in extracting the voxels containing discriminative information for the prediction of mental states. The comparison has been carried out using fMRI data from 41 healthy control subjects who participated in two experiments, one involving visual-auditory stimulation and the other based on bimanual fingertapping sequences. The results suggest that MLDA uses significantly more voxels containing discriminative information (related to different experimental conditions) to classify the data. On the other hand, SVM is more parsimonious and uses less voxels to achieve similar classification accuracies. In conclusion, MLDA is mostly focused on extracting all discriminative information available, while SVM extracts the information which is sufficient for classification. (C) 2009 Elsevier Inc. All rights reserved.

Magnetic characterization by SQUID and FMR of a biocompatible ferrofluid based on Fe(3)O(4)

Biocompatible superparamagnetic iron oxide nanoparticles of magnetite coated with dextran were magnetically characterized using the techniques of SQUID (superconducting quantum interference device) magnetometry and ferromagnetic resonance (FMR). The SQUID magnetometry characterization was performed by isothermal measurements under applied magnetic field using the methods of zero-field-cooling (ZFC) and field-cooling (FC). The magnetic behavior of the nanoparticles indicated their superparamagnetic nature and it was assumed that they consisted exclusively of monodomains. The transition to a blocked state was observed at the temperature T(B) = (43 +/- 1) K for frozen ferrofluid and at (52 +/- 1) K for the lyophilized ferrofluid samples. The FMR analysis showed that the derivative peak-to-peak linewidth (Delta H(PP)), gyromagnetic factor (g), number of spins (N(S)), and spin-spin relaxation time (T(2)) were strongly dependent on both temperature and super-exchange interaction. This information is important for possible nanotechnological applications, mainly those which are strongly dependent on the magnetic parameters.

Limitations of the Mini-Mental State Examination for screening dementia in a community with low socioeconomic status

The Mini-Mental State Examination (MMSE) is the most widely used instrument for the screening of cognitive impairment worldwide, but its ability to produce valid estimates of dementia in populations of low socioeconomic status and minimal literacy skills has not been adequately established. The authors investigated the psychometric properties of the MMSE in a community-based sample of older Brazilians. Cross-sectional one-phase population-based study of all residents of pre-defined areas of the city of Sao Paulo, aged 65 years or over. The Brazilian version of the MMSE was compared with DSM-IV diagnosis of dementia assessed with a harmonized one-phase procedure developed by the 10/66 Dementia Research Group. Analyses were performed with 1,933 participants of the SPAH study. Receiver operating characteristic analysis showed that the MMSE cut-point of 14/15 was associated with 78.7% sensitivity and 77.8% specificity for the diagnosis of dementia amongst participants with no formal education, and the cut-point 17/18 with 91.9% sensitivity and 89.5% specificity for those with at least 1 year of formal education (areas under the curves 0.87 and 0.94, respectively; P = 0.03). Even with these best fitting cut-points, the MMSE estimate of the prevalence of dementia was four times higher than determined by the DSM-IV criteria. Education, age, sex and income influenced MMSE scores, independently of dementia caseness. The MMSE is an adequate tool for screening dementia in older adults with minimum literacy skills, but misclassification is unacceptably high for older adults who are illiterate, which has serious consequences for research and clinical practice in low and middle income countries, where the proportion of illiteracy among older adults is high.

Association between degenerative aortic valve disease and long-term exposure to cardiovascular risk factors: results of the longitudinal population-based KORA/MONICA survey

Degenerative aortic valve disease (DAVD), a common finding in the elderly, is associated with an increased risk of death due to cardiovascular causes. Taking advantage of its longitudinal design, this study evaluates the prevalence of DAVD and its temporal associations with long-term exposure to cardiovascular risk factors in the general population. We studied 953 subjects (aged 25-74 years) from a random sample of German residents. Risk factors had been determined at a baseline investigation in 1994/95. At a follow-up investigation, 10 years later, standardized echocardiography determined aortic valve morphology and aortic valve area (AVA) as well as left ventricular geometry and function. At the follow-up study, the overall prevalence of DAVD was 28%. In logistic regression models adjusting for traditional cardiovascular risk factors at baseline age (OR 2.0 [1.7-2.3] per 10 years, P < 0.001), active smoking (OR 1.7 [1.1-2.4], P = 0.009) and elevated total cholesterol levels (OR 1.2 [1.1-1.3] per increase of 20 mg/dL, P < 0.001) were significantly related to DAVD at follow-up. Furthermore, age, baseline status of smoking, and total cholesterol level were significant predictors of a smaller AVA at follow-up study. In contrast, hypertension and obesity had no detectable relationship with long-term changes of aortic valve structure. In the general population we observed a high prevalence of DAVD that is associated with long-term exposure to elevated cholesterol levels and active smoking. These findings strengthen the notion that smoking cessation and cholesterol lowering are promising treatment targets for prevention of DAVD.

Toxoplasma gondii isolates: Multi locus RFLP-PCR genotyping from human patients in Sao Paulo State, Brazil identified distinct genotypes

This study investigated the genetic characteristics of Toxoplasma gondii samples collected from 62 patients with toxoplasmosis in Sao Paulo State, Brazil. DNA samples were isolated from blood, cerebrospinal fluid and amniotic fluids of 25 patients with cerebral toxoplasmosis and AIDS, two patients with acute toxoplasmosis, 12 patients with ocular toxoplasmosis, six newborns with congenital toxoplasmosis and 17 pregnant women with acute infection. Diagnosis of toxoplasmosis was based in clinical, radiological and laboratory features. Genotyping was performed using multilocus PCR-RFLP genetic markers including SAG1, SAG2, 5`- and 3`-SAG2, alt.SAG2, SAG3, BTUB, GRA6, C22-8, c29-2, L358, PK1 and Apico. Among the 62 clinical samples, 20 (32%) were successfully genotyped at eight or more genetic loci and were grouped to three distinct genotypes. Eighteen samples belonged to ToxoDB Genotype #65 and the other two samples were identified as ToxoDB Genotypes #6 and #71, respectively (http://toxodb.org/toxo/). Patients presenting Genotypes #6 and #71 had severe and atypical cerebral toxoplasmosis, characterized by diffuse encephalitis without extensive brain lesions. These results indicate that T. gondii Genotype #65 may have a high frequency in causing human toxoplasmosis in Sao Paulo State, Brazil. This unusual finding highlights the need to investigate the possible association of parasite genotypes with human toxoplasmosis. (C) 2011 Elsevier Inc. All rights reserved.