Trypanosoma cruzi genotypes associated with domestic Triatoma sordida in Bolivia

Triatoma sordida is the second species of Triatominae considered of epidemiological significance in Bolivia. Associated with Triatoma infestans in various regions, it is as yet the only triatomine species established in human dwellings in localities of Velasco province, Department of Santa Cruz. This domestication is considered as primary. Flagellate parasites were detected in 16.2% of domiciliary T. sordida and the kDNA-PCR confirmed the presence of Trypanosoma cruzi. Frequencies of T. cruzi clonets 20 and 39, common clonets in Bolivian domestic cycle (T. infestans), were established by their direct detection in feces using PCR and hybridization. These clonets present low frequencies in T. sordida and synanthropic mammals. Forty-six stocks were isolated and analysed by multilocus enzyme electrophoresis (MLEE). The MLEE showed a higher clonal diversity than in T. infestans domestic cycle and the genotypes were clustered in the two principal lineages of T. cruzi. Within each lineage, a broad variability was observed. Mixture of genotypes was mostly observed in mammals. The large diversity of T. cruzi in this cycle should be related to its sylvatic origin. Moreover, the current limited sample of stocks suggests a lineage association with specific hosts.     

What can you verify and enforce at runtime?

The underlying property, its definition, and representation play a major role when monitoring a system. Having a suitable and convenient framework to express properties is thus a concern for runtime analysis. It is desirable to delineate in this framework the sets of properties for which runtime analysis approaches can be applied to. This paper presents a unified view of runtime verification and enforcement of properties in the Safety-Progress classification. First, we extend the Safety-Progress classification of properties in a runtime context. Second, we characterize the set of properties which can be verified (monitorable properties) and enforced (enforceable properties) at runtime. We propose in particular an alternative definition of ??property monitoring?? to the one classically used in this context. Finally, for the delineated sets of properties, we define specialized verification and enforcement monitors.     

Deformation of NiO single crystals below room temperature: dislocation configurations

NiO single crystals prepared by two crystal growth techniques (zone melting in an arc-image furnace and Verneuil crystallization have been deformed by compression along 001 at temperatures as low as 4.2 K, and the dislocation substructure observed by transmission electron microscopy. The Peierls mechanism has been suggested as the mechanism controlling the mechanical behaviour at the lower temperatures. The dislocations generated at cavities found in the zone-melted crystals may be responsible for the increase of the flow stress of these crystals compared with the Verneuil ones.     

“Modification V” of poly 4-methylpentene-1 from cyclopentane solutions and gels

A new crystalline structure of poly 4-methylpentene-1 (P4MP1), modiification named modification V, is obtained from cyclopentane solutions and gels, for polymer volume fractions between 0.01 and 0.10. The effect of the thermal history imparted to the solution is analyzed. The relation between gelation, polymorphism and existence of helical conformations of P4MP1 in solution is discussed. Modification V is tentatively indexed on the basis of an hexagonal unit cell with dimensions a = 22.17 ± 0.14 Å and c = 6.69 ±0.02 Å. The crystal transforms into modification I at 130 ± 5°C, the heat of transition being + 15 ±2 J.g^?1.     

Zinc Coated Steel/Epoxy Adhesive Systems: Investigation of the Interfacial Zone by FTIR Spectroscopy

The present study takes advantage of the ability of Fourier Transform Infrared Spectroscopy (FTIR) for the analysis of ultrathin organic films on metals. FTIR in the reflection mode (IRRAS) is used in order to study the interaction of ultrathin films of dicyandiamide (hardener of most one-pack epoxy resins) with various substrates, model ones such as gold or zinc and industrial ones such as steel and zinc-coated steels.

Pure zinc surfaces and, to a lesser extent, zinc-coated steels are shown to react with dicyandiamide after heating at 180°C, as evidenced by the frequency shift of the absorption band (at about 2200 cm^-1) characteristic for nitrile groups. As real systems consist of thick layers of a fully formulated adhesive cured onto a metallic substrate, the direct investigation of such a buried interphase is no longer possible by FTIR and by most of the known spectroscopies. Some mechanically tested specimens are then analysed, after failure, by FTIR microspectrometry. The spectra obtained, corresponding to the fracture initiation zone which is about 100 μm in diameter, advocate for the presence of an ultrathin layer of modified polymer still covering the substrate.     

Discovering social structures of local influence by using tweetStimuli

Information diffusion in large-scale networks has been studied to identify the users influence. The influence has been targeted as a key feature either to reach large populations or influencing public opinion. Through the use of micro-blogs, such as Twitter, global influencers have been identified and ranked based on message propagation (retweets). In this paper, a new application is presented, which allows to find first and classify then the local influence on Twitter: who have influenced you and who have been influenced by you. Until now, social structures of tweets’ original authors that have been either retweeted or marked as favourites are unobservable. Throughout this application, these structures can be discovered and they reveal the existence of communities formed by users of similar profile (that are connected among them) interrelated with other similar profile users’ communities.     

Study of UAV tracking based on CNN in noisy environment

Multimedia Tools and Applications - Recently, there are lots of tracking methods proposed to improve the performance of visual tracking in videos with challenging situations, such as background...     

Dynamic Model Adaptation for Multiscale Simulation of Hyperbolic Systems with Relaxation

In numerous industrial CFD applications, it is usual to use two (or more) different codes to solve a physical phenomenon: where the flow is a priori assumed to have a simple behavior, a code based on a coarse model is applied, while a code based on a fine model is used elsewhere. This leads to a complex coupling problem with fixed interfaces. The aim of the present work is to provide a numerical indicator to optimize to position of these coupling interfaces. In other words, thanks to this numerical indicator, one could verify if the use of the coarser model and of the resulting coupling does not introduce spurious effects. In order to validate this indicator, we use it in a dynamical multiscale method with moving coupling interfaces. The principle of this method is to use as much as possible a coarse model instead of the fine model in the computational domain, in order to obtain an accuracy which is comparable with the one provided by the fine model. We focus here on general hyperbolic systems with stiff relaxation source terms together with the corresponding hyperbolic equilibrium systems. Using a numerical Chapman–Enskog expansion and the distance to the equilibrium manifold, we construct the numerical indicator. Based on several works on the coupling of different hyperbolic models, an original numerical method of dynamic model adaptation is proposed. We prove that this multiscale method preserves invariant domains and that the entropy of the numerical solution decreases with respect to time. The reliability of the adaptation procedure is assessed on various 1D and 2D test cases coming from two-phase flow modeling.     

A memetic algorithm to solve an unrelated parallel machine scheduling problem with auxiliary resources in semiconductor manufacturing

In this paper, we propose a metaheuristic for solving an original scheduling problem with auxiliary resources in a photolithography workshop of a semiconductor plant. The photolithography workshop is often a bottleneck, and improving scheduling decisions in this workshop can help to improve indicators of the whole plant. Two optimization criteria are separately considered: the weighted flow time (to minimize) and the number of products that are processed (to maximize). After stating the problem and giving some properties on the solution space, we show how these properties help us to efficiently solve the problem with the proposed memetic algorithm, which has been implemented and tested on large generated instances. Numerical experiments show that good solutions are obtained within a reasonable computational time.