An oracle approach for interaction neighborhood estimation in random fields

We consider the problem of interaction neighborhood estimation from the partial observation of a finite number of realizations of a random field. We introduce a model selection rule to choose estimators of conditional probabilities among natural candidates. Our main result is an oracle inequality satisfied by the resulting estimator. We use then this selection rule in a two-step procedure to evaluate the interacting neighborhoods. The selection rule selects a small prior set of possible interacting points and a cutting step remove from this prior set the irrelevant points. We also prove that the Ising models satisfy the assumptions of the main theorems, without restrictions on the temperature, on the structure of the interacting graph or on the range of the interactions. It provides therefore a large class of applications for our results. We give a computationally efficient procedure in these models. We finally show the practical efficiency of our approach in a simulation study.

The Lobel-Komlos-Sos conjecture for trees of diameter 5 and for certain caterpillars

Loebl, Komlos, and Sos conjectured that if at least half the vertices of a graph G have degree at least some k is an element of N, then every tree with at most k edges is a subgraph of G. We prove the conjecture for all trees of diameter at most 5 and for a class of caterpillars. Our result implies a bound on the Ramsey number r( T, T') of trees T, T' from the above classes.

Green Chemistry-Sensitive Analytical Procedure for Photometric Determination of Orthophosphate in River and Tap Water by Use of a Simple LED-Based Photometer

In the current work a Green Analytical Chemistry (GAC) procedure for photometric determination of orthophosphate in river water at mu g L-1 concentration level is described. The flow system module and the LED-based photometer were assembled together to constitute a compact unit in order to allow that a flow cell with optical path-length of 100mm was coupled to them. The photometric procedure based on the molybdenum blue method was implemented employing the multicommuted flow injection analysis approach, which provided facilities to allow reduction of reagent consumption and as well as waste generation. Aiming to prove the usefulness of the system, orthophosphate in river and tap waters was determined. Accuracy was ascertained by spiking samples with orthophosphate solution yielding recoveries ranging from 96% up to 107%. Other profitable features such as a wide linear response range between 10 to 800 mu g L-1 [image omitted]; a detection limit (3 sigma criterion) of 2.4 mu g L-1 [image omitted]; a relative standard deviation (n=7) of 2% using a typical water sample with concentration of 120 mu g L-1 [image omitted]; reagent consumption of 3.0mg ammonium molybdate, 0.3mg hydrazine sulfate, and 0.03mg stannous chloride per determination; a waste generation of 2.4mL per determination; and a sampling throughput of 20 determination per hours were also achieved.

SYNCHRONIZATION OF A CLASS OF SECOND-ORDER NONLINEAR SYSTEMS

The asymptotic behavior of a class of coupled second-order nonlinear dynamical systems is studied in this paper. Using very mild assumptions on the vector-field, conditions on the coupling parameters that guarantee synchronization are provided. The proposed result does not require solutions to be ultimately bounded in order to prove synchronization, therefore it can be used to study coupled systems that do not globally synchronize, including synchronization of unbounded solutions. In this case, estimates of the synchronization region are obtained. Synchronization of two-coupled nonlinear pendulums and two-coupled Duffing systems are studied to illustrate the application of the proposed theory.

One-time signature scheme from syndrome decoding over generic error-correcting codes

We describe a one-time signature scheme based on the hardness of the syndrome decoding problem, and prove it secure in the random oracle model. Our proposal can be instantiated on general linear error correcting codes, rather than restricted families like alternant codes for which a decoding trapdoor is known to exist. (C) 2010 Elsevier Inc. All rights reserved,

Infinite horizon MPC with non-minimal state space feedback

In the MPC literature, stability is usually assured under the assumption that the state is measured. Since the closed-loop system may be nonlinear because of the constraints, it is not possible to apply the separation principle to prove global stability for the Output feedback case. It is well known that, a nonlinear closed-loop system with the state estimated via an exponentially converging observer combined with a state feedback controller can be unstable even when the controller is stable. One alternative to overcome the state estimation problem is to adopt a non-minimal state space model, in which the states are represented by measured past inputs and outputs [P.C. Young, M.A. Behzadi, C.L. Wang, A. Chotai, Direct digital and adaptative control by input-output, state variable feedback pole assignment, International journal of Control 46 (1987) 1867-1881; C. Wang, P.C. Young, Direct digital control by input-output, state variable feedback: theoretical background, International journal of Control 47 (1988) 97-109]. In this case, no observer is needed since the state variables can be directly measured. However, an important disadvantage of this approach is that the realigned model is not of minimal order, which makes the infinite horizon approach to obtain nominal stability difficult to apply. Here, we propose a method to properly formulate an infinite horizon MPC based on the output-realigned model, which avoids the use of an observer and guarantees the closed loop stability. The simulation results show that, besides providing closed-loop stability for systems with integrating and stable modes, the proposed controller may have a better performance than those MPC controllers that make use of an observer to estimate the current states. (C) 2008 Elsevier Ltd. All rights reserved.

Title Model for Computer Networks Optimization

The TCP/IP architecture was consolidated as a standard to the distributed systems. However, there are several researches and discussions about alternatives to the evolution of this architecture and, in this study area, this work presents the Title Model to contribute with the application needs support by the cross layer ontology use and the horizontal addressing, in a next generation Internet. For a practical viewpoint, is showed the network cost reduction for the distributed programming example, in networks with layer 2 connectivity. To prove the title model enhancement, it is presented the network analysis performed for the message passing interface, sending a vector of integers and returning its sum. By this analysis, it is confirmed that the current proposal allows, in this environment, a reduction of 15,23% over the total network traffic, in bytes.

An RFID Bulk Cargo Supervising System

In this work, a system using active RFID tags to supervise truck bulk cargo is described. The tags are attached to the bodies of the trucks and readers are distributed in the cargo buildings and attached to weighs and the discharge platforms. PDAs with camera and support to a WiFi network are provided to the inspectors and access points are installed throughout the discharge area to allow effective confirmations of unload actions and the acquisition of pictures for future audit. Broadband radio equipments are used to establish efficient communication links between the weighs and cargo buildings which are usually located very far from each other in the field. A web application software was especially developed to enable robust communication between the equipments for efficient device management, data processing and reports generation to the operating personal. The system was deployed in a cargo station of a Brazilian seashore port. The obtained results prove the effectiveness of the proposed system.

Tree-ring characterization of Araucaria columnaris Hook and its applicability as a lead indicator in environmental monitoring

Tree-rings have frequently been used for dating of trees and to determine annual growth increments and forest dynamics, but little is known in tropical conditions about their utilization for environmental monitoring. This paper presents the results of Araucaria columnaris tree-ring characterization by wood anatomy and X-ray densitometric analysis and the determination of Pb concentration. Core samples from twelve araucaria trees were extracted from two sites exposed to air pollution due to intense traffic of vehicles and industrial activities. The tree-rings distinctly presented radial variation in early-latewood thickness and density, and characteristics of juvenile and mature wood. Anatomical and X-ray densitometric analysis were useful to delimit the tree-ring boundaries and to date the tree-rings, as well as to prove the annual formation. The lead concentration in annual araucaria tree-rings, analyzed with graphite furnace atomic absorption spectrometry, indicated the seasonal presence of the heavy metal in the environment during the 30 years studied, although the Pb did not affect tree growth. (c) 2008 Elsevier GmbH. All rights reserved.

Process Capability Indexes Determination on Tabletting Performance during the Process Validation for Metamizol Tablets

The aim of the present study was to provide a numerical measure, through the process capability indexes (PCIs), C(p) and C(pk), on whether or not the manufacturing process can be considered capable of producing metamizol (500 mg) tablets. They were also used as statistical tool in order to prove the consistency of the tabletting process, making sure that the tablet weight and the content uniformity of metamizol are able to comply with the preset requirements. Besides that, the ANOVA, the t-test and the test for equal variances were applied to this study, allowing additional knowledge of the tabletting phase. Therefore, the proposed statistical approach intended to assure more safety, precision and accuracy on the process validation analysis.

An alpha-type phospholipase A(2) inhibitor from Bothrops jararacussu snake plasma: Structural and functional characterization

An inhibitory protein that neutralizes the enzymatic, toxic and pharmacological activities of several phospholipases A(2) from Bothrops venoms was isolated from B. jararacussu snake plasma by affinity chromatography using the immobilized myotoxin BthTX-I on Sepharose gel. Biochemical characterization of this inhibitory protein, denominated alpha BjussuMIP, showed it to be an oligomeric glycoprotein with M-r of 24,000 for the monomeric subunit. Secondary structural analysis by circular dichroism revealed 44% alpha-helix, 18% beta-sheet, 10% beta-turn and 28% random coil structures. Circular dichroism spectroscopy indicated that no significant alterations in the secondary structure of either alpha BjussuMIP or the target protein occur following their interaction. The product from the reaction with reverse transcriptase produced a cDNA fragment of 432 bp that codifies for a mature protein of 144 amino acid residues. The first 21 amino acid residues from the N-terminal and five tryptic peptides were characterized by mass spectrometry of the mature protein and confirmed by the nucleotide sequence. Alignment of alpha BjussuMIP with other snake inhibitors showed a sequence similarity of 73-92% with these alpha PLIs. alpha BjussuMIP was relatively stable within the pH range of 6-12 and temperatures from 0 degrees C to 80 degrees C, even after deglycosylation. The results showed effects against Bothrops phospholipase A(2) activities (enzymatic, edema inducing, myotoxic, cytotoxic and bactericidal), suggesting that alpha BjussuMIP may prove useful in the treatment of snakebite envenomations. (C) 2008 Elsevier Masson SAS. All rights reserved.

One size doesn't fit all: Research methodologies in a language variation study of Sudanese teens

The research reported here draws on a study of five teenagers from a Dinka-speaking community of Sudanese settling in Australia. A range of factors including language proficiency, social network structure and language attitudes are examined as possible causes for the variability of language use. The results and discussion illustrate how the use of a triangular research approach captured the complexity of the participants' language situation and was critical to developing a full understanding of the interplay of factors influencing the teens' language maintenance and shift in a way that no single method could. Further, it shows that employment of different methodologies allowed for flexibility in data collection to ensure the fullest response from participants. Overall, this research suggests that for studies of non-standard communities, variability in research methods may prove more of a strength that the use of standardised instruments and approaches.

Fault-tolerant quantum computation with cluster states

The one-way quantum computing model introduced by Raussendorf and Briegel [Phys. Rev. Lett. 86, 5188 (2001)] shows that it is possible to quantum compute using only a fixed entangled resource known as a cluster state, and adaptive single-qubit measurements. This model is the basis for several practical proposals for quantum computation, including a promising proposal for optical quantum computation based on cluster states [M. A. Nielsen, Phys. Rev. Lett. (to be published), quant-ph/0402005]. A significant open question is whether such proposals are scalable in the presence of physically realistic noise. In this paper we prove two threshold theorems which show that scalable fault-tolerant quantum computation may be achieved in implementations based on cluster states, provided the noise in the implementations is below some constant threshold value. Our first threshold theorem applies to a class of implementations in which entangling gates are applied deterministically, but with a small amount of noise. We expect this threshold to be applicable in a wide variety of physical systems. Our second threshold theorem is specifically adapted to proposals such as the optical cluster-state proposal, in which nondeterministic entangling gates are used. A critical technical component of our proofs is two powerful theorems which relate the properties of noisy unitary operations restricted to act on a subspace of state space to extensions of those operations acting on the entire state space. We expect these theorems to have a variety of applications in other areas of quantum-information science.

Prospects for control of African trypanosomiasis by tsetse vector manipulation

The extensive antigenic variation phenomena African trypanosomes display in their mammalian host have hampered efforts to develop effective vaccines against trypanosomiasis. Human disease management aims largely to treat infected hosts by chemotherapy, whereas control of animal diseases relies on reducing tsetse populations as well as on drug therapy. The control strategies for animal diseases are carried out and financed by livestock owners, who have an obvious economic incentive. Sustaining largely insecticide-based control at a local level and relying on drugs for treatment of infected hosts for a disease for which there is no evidence of acquired immunity could prove extremely costly in the long run. It is more likely that a combination of several methods in an integrated, phased and area-wide approach would be more effective in controlling these diseases and subsequently improving agricultural output. New approaches that are environmentally acceptable, efficacious and affordable are clearly desirable for control of various medically and agriculturally important insects including tsetse. Here, Serap Aksoy and colleagues discuss molecular genetic approaches to modulate tsetse vector competence.

Trace Semantics for the Owicki-Gries Theory Integrated with the Progress Logic from UNITY

The theory of Owicki and Gries has been used as a platform for safety-based verifcation and derivation of concurrent programs. It has also been integrated with the progress logic of UNITY which has allowed newer techniques of progress-based verifcation and derivation to be developed. However, a theoretical basis for the integrated theory has thus far been missing. In this paper, we provide a theoretical background for the logic of Owicki and Gries integrated with the logic of progress from UNITY. An operational semantics for the new framework is provided which is used to prove soundness of the progress logic.