Wave-breaking and generic singularities of nonlinear hyperbolic equations

Wave-breaking is studied analytically first and the results are compared with accurate numerical simulations of 3D wave-breaking. We focus on the time dependence of various quantities becoming singular at the onset of breaking. The power laws derived from general arguments and the singular behavior of solutions of nonlinear hyperbolic differential equations are in excellent agreement with the numerical results. This shows the power of the analysis by methods using generic concepts of nonlinear science

Solving Linux Upgradeability Problems Using Boolean Optimization

Managing the software complexity of package-based systems can be regarded as one of the main challenges in software architectures. Upgrades are required on a short time basis and systems are expected to be reliable and consistent after that. For each package in the system, a set of dependencies and a set of conflicts have to be taken into account. Although this problem is computationally hard to solve, efficient tools are required. In the best scenario, the solutions provided should also be optimal in order to better fulfill users requirements and expectations. This paper describes two different tools, both based on Boolean satisfiability (SAT), for solving Linux upgradeability problems. The problem instances used in the evaluation of these tools were mainly obtained from real environments, and are subject to two different lexicographic optimization criteria. The developed tools can provide optimal solutions for many of the instances, but a few challenges remain. Moreover, it is our understanding that this problem has many similarities with other configuration problems, and therefore the same techniques can be used in other domains.Comment: In Proceedings LoCoCo 2010, arXiv:1007.083

Direct microcontact printing of oligonucleotides for biochip applications

BACKGROUND: A critical step in the fabrication of biochips is the controlled placement of probes molecules on solid surfaces. This is currently performed by sequential deposition of probes on a target surface with split or solid pins. In this article, we present a cost-effective procedure namely microcontact printing using stamps, for a parallel deposition of probes applicable for manufacturing biochips. RESULTS: Contrary to a previous work, we showed that the stamps tailored with an elastomeric poly(dimethylsiloxane) material did not require any surface modification to be able to adsorb oligonucleotides or PCR products. The adsorbed DNA molecules are subsequently printed efficiently on a target surface with high sub-micron resolution. Secondly, we showed that successive stamping is characterized by an exponential decay of the amount of transferred DNA molecules to the surface up the 4(th )print, then followed by a second regime of transfer that was dependent on the contact time and which resulted in reduced quality of the features. Thus, while consecutive stamping was possible, this procedure turned out to be less reproducible and more time consuming than simply re-inking the stamps between each print. Thirdly, we showed that the hybridization signals on arrays made by microcontact printing were 5 to 10-times higher than those made by conventional spotting methods. Finally, we demonstrated the validity of this microcontact printing method in manufacturing oligonucleotides arrays for mutations recognition in a yeast gene. CONCLUSION: The microcontact printing can be considered as a new potential technology platform to pattern DNA microarrays that may have significant advantages over the conventional spotting technologies as it is easy to implement, it uses low cost material to make the stamp, and the arrays made by this technology are 10-times more sensitive in term of hybridization signals than those manufactured by conventional spotting technology

Invasive pulmonary aspergillosis in chronic obstructive pulmonary disease: an emerging fungal pathogen

ABSTRACTAcute invasive pulmonary aspergillosis occurs predominantly in immunocompromised hosts, with increasing numbers of cases of invasive aspergillosis among patients with chronic obstructive pulmonary disease (COPD) being reported. Among 13 cases of invasive aspergillosis diagnosed in COPD patients admitted to the intensive care unit with acute respiratory distress, the only risk factor for invasive fungal infection was corticosteroid treatment. Invasive aspergillosis should be suspected in COPD patients receiving steroid treatment who have extensive pulmonary infiltrates. Survival depends on rapid diagnosis and early appropriate treatment. A decrease or interruption of steroid treatment should be considered as part of the overall therapeutic strategy

Spatiotemporal communication with synchronized optical chaos

We propose a model system that allows communication of spatiotemporal information using an optical chaotic carrier waveform. The system is based on broad-area nonlinear optical ring cavities, which exhibit spatiotemporal chaos in a wide parameter range. Message recovery is possible through chaotic synchronization between transmitter and receiver. Numerical simulations demonstrate the feasibility of the proposed scheme, and the benefit of the parallelism of information transfer with optical wavefronts.Comment: 4 pages, 5 figure

Quorum-sensing activity and related virulence factor expression in clinically pathogenic isolates of Pseudomonas aeruginosa

AbstractRespiratory isolates of Pseudomonas aeruginosa were collected from 58 critically-ill patients with ventilator-associated pneumonia. Expression of elastase and pyocyanin was assessed semi-quantitatively, while quorum-sensing activity was assessed by quantifying the levels of the autoinducers N-3-oxododecanoyl-L-homoserine lactone (C12-HSL) and N-butanoyl-L-homoserine lactone (C4-HSL). Correlations were sought between quorum-sensing activity and the expression of these two virulence factors, and all results were compared to those obtained with the laboratory reference strains PA103, a strain defective in quorum-sensing, and PAO1, a functional quorum-sensing strain. More than two-thirds of clinically pathogenic isolates had increased levels of elastase and/or pyocyanin, and high quorum-sensing activity, as assessed by autoinducer levels. However, a strong correlation between quorum-sensing activity and virulence factor production was revealed only for elastase and not for pyocyanin (C12-HSL/elastase, r = 0.7, p 2 × 10−9; C4-HSL/elastase, r = 0.7, p 2 × 10−9). These data suggest that the pathogenicity of P. aeruginosa isolates from critically-ill patients with ventilator-associated pneumonia is caused, at least in part, by an increase in elastase production regulated by quorum-sensing, while increased pyocyanin production in these isolates may be regulated predominantly by mechanisms other than quorum-sensing

Generalized Totalizer Encoding for Pseudo-Boolean Constraints

Pseudo-Boolean constraints, also known as 0-1 Integer Linear Constraints, are used to model many real-world problems. A common approach to solve these constraints is to encode them into a SAT formula. The runtime of the SAT solver on such formula is sensitive to the manner in which the given pseudo-Boolean constraints are encoded. In this paper, we propose generalized Totalizer encoding (GTE), which is an arc-consistency preserving extension of the Totalizer encoding to pseudo-Boolean constraints. Unlike some other encodings, the number of auxiliary variables required for GTE does not depend on the magnitudes of the coefficients. Instead, it depends on the number of distinct combinations of these coefficients. We show the superiority of GTE with respect to other encodings when large pseudo-Boolean constraints have low number of distinct coefficients. Our experimental results also show that GTE remains competitive even when the pseudo-Boolean constraints do not have this characteristic.Comment: 10 pages, 2 figures, 2 tables. To be published in 21st International Conference on Principles and Practice of Constraint Programming 201

Experimental observation of spatial antibunching of photons

We report an interference experiment that shows transverse spatial antibunching of photons. Using collinear parametric down-conversion in a Young-type fourth-order interference setup we show interference patterns that violate the classical Schwarz inequality and should not exist at all in a classical description.Comment: 4 pages, 7 figure

Polarization coupling and pattern selection in a type-II optical parametric oscillator

We study the role of a direct intracavity polarization coupling in the dynamics of transverse pattern formation in type-II optical parametric oscillators. Transverse intensity patterns are predicted from a stability analysis, numerically observed, and described in terms of amplitude equations. Standing wave intensity patterns for the two polarization components of the field arise from the nonlinear competition between two concentric rings of unstable modes in the far field. Close to threshold a wavelength is selected leading to standing waves with the same wavelength for the two polarization components. Far from threshold the competition stabilizes patterns in which two different wavelengths coexist.Comment: 14 figure

Frequency selection by soliton excitation in nondegenerate intracavity downconversion

We show that soliton excitation in intracavity downconversion naturally selects a strictly defined frequency difference between the signal and idler fields. In particular, this phenomenon implies that if the signal has smaller losses than the idler then its frequency is pulled away from the cavity resonance and the idler frequency is pulled towards the resonance and {\em vice versa}. The frequency selection is shown to be closely linked with the relative energy balance between the idler and signal fields.Comment: 5 pages, 3 figures. To appear in Phys Rev Let