Some Results on the Boundary Control of Systems of Conservation Laws

This note is concerned with the study of the initial boundary value problem for systems of conservation laws from the point of view of control theory, where the initial data is fixed and the boundary data are regarded as control functions. We first consider the problem of controllability at a fixed time for genuinely nonlinear Temple class systems, and present a description of the set of attainable configurations of the corresponding solutions in terms of suitable Oleinik-type estimates. We next present a result concerning the asymptotic stabilization near a constant state for general $n\times n$ systems. Finally we show with an example that in general one cannot achieve exact controllability to a constant state in finite time.Comment: 10 pages, 4 figures, conferenc

Nonlinear hyperbolic systems: Non-degenerate flux, inner speed variation, and graph solutions

We study the Cauchy problem for general, nonlinear, strictly hyperbolic systems of partial differential equations in one space variable. First, we re-visit the construction of the solution to the Riemann problem and introduce the notion of a nondegenerate (ND) system. This is the optimal condition guaranteeing, as we show it, that the Riemann problem can be solved with finitely many waves, only; we establish that the ND condition is generic in the sense of Baire (for the Whitney topology), so that any system can be approached by a ND system. Second, we introduce the concept of inner speed variation and we derive new interaction estimates on wave speeds. Third, we design a wave front tracking scheme and establish its strong convergence to the entropy solution of the Cauchy problem; this provides a new existence proof as well as an approximation algorithm. As an application, we investigate the time-regularity of the graph solutions $(X,U)$ introduced by the second author, and propose a geometric version of our scheme; in turn, the spatial component $X$ of a graph solution can be chosen to be continuous in both time and space, while its component $U$ is continuous in space and has bounded variation in time.Comment: 74 page

A comparative study of Gaussian Graphical Model approaches for genomic data

The inference of networks of dependencies by Gaussian Graphical models on high-throughput data is an open issue in modern molecular biology. In this paper we provide a comparative study of three methods to obtain small sample and high dimension estimates of partial correlation coefficients: the Moore-Penrose pseudoinverse (PINV), residual correlation (RCM) and covariance-regularized method $(\ell_{2C})$. We first compare them on simulated datasets and we find that PINV is less stable in terms of AUC performance when the number of variables changes. The two regularized methods have comparable performances but $\ell_{2C}$ is much faster than RCM. Finally, we present the results of an application of $\ell_{2C}$ for the inference of a gene network for isoprenoid biosynthesis pathways in Arabidopsis thaliana.Comment: 7 pages, 1 figure, RevTex4, version to appear in the proceedings of 1st International Workshop on Pattern Recognition, Proteomics, Structural Biology and Bioinformatics: PR PS BB 2011, Ravenna, Italy, 13 September 201

Dynamic rotor mode in antiferromagnetic nanoparticles

We present experimental, numerical, and theoretical evidence for a new mode of antiferromagnetic dynamics in nanoparticles. Elastic neutron scattering experiments on 8 nm particles of hematite display a loss of diffraction intensity with temperature, the intensity vanishing around 150 K. However, the signal from inelastic neutron scattering remains above that temperature, indicating a magnetic system in constant motion. In addition, the precession frequency of the inelastic magnetic signal shows an increase above 100 K. Numerical Langevin simulations of spin dynamics reproduce all measured neutron data and reveal that thermally activated spin canting gives rise to a new type of coherent magnetic precession mode. This "rotor" mode can be seen as a high-temperature version of superparamagnetism and is driven by exchange interactions between the two magnetic sublattices. The frequency of the rotor mode behaves in fair agreement with a simple analytical model, based on a high temperature approximation of the generally accepted Hamiltonian of the system. The extracted model parameters, as the magnetic interaction and the axial anisotropy, are in excellent agreement with results from Mossbauer spectroscopy

Intersection types for unbind and rebind

We define a type system with intersection types for an extension of lambda-calculus with unbind and rebind operators. In this calculus, a term with free variables, representing open code, can be packed into an "unbound" term, and passed around as a value. In order to execute inside code, an unbound term should be explicitly rebound at the point where it is used. Unbinding and rebinding are hierarchical, that is, the term can contain arbitrarily nested unbound terms, whose inside code can only be executed after a sequence of rebinds has been applied. Correspondingly, types are decorated with levels, and a term has type decorated with k if it needs k rebinds in order to reduce to a value. With intersection types we model the fact that a term can be used differently in contexts providing different numbers of unbinds. In particular, top-level terms, that is, terms not requiring unbinds to reduce to values, should have a value type, that is, an intersection type where at least one element has level 0. With the proposed intersection type system we get soundness under the call-by-value strategy, an issue which was not resolved by previous type systems.Comment: In Proceedings ITRS 2010, arXiv:1101.410

Rapid prototyping of plastic lab-on-a-chip by femtosecond laser micromachining and removable insert microinjection molding

We have introduced a new hybrid fabrication method for lab-on-a-chip devices through the combination of femtosecond laser micromachining and removable insert micro-injection molding. This method is particularly suited for the fast prototyping of new devices, while maintaining a competitive low cost. To demonstrate the effectiveness of our approach, we designed, fabricated, and tested a completely integrated flow cytometer coupled to a portable media device. The system operation was tested with fluorescent plastic micro-bead solutions ranging from 100 beads/?L to 500 beads/?L. We demonstrated that this hybrid lab-on-a-chip fabrication technology is suitable for producing low-cost and portable biological microsystems and for effectively bridging the gap between new device concepts and their mass production

Nyquist method for Wigner-Poisson quantum plasmas

By means of the Nyquist method, we investigate the linear stability of electrostatic waves in homogeneous equilibria of quantum plasmas described by the Wigner-Poisson system. We show that, unlike the classical Vlasov-Poisson system, the Wigner-Poisson case does not necessarily possess a Penrose functional determining its linear stability properties. The Nyquist method is then applied to a two-stream distribution, for which we obtain an exact, necessary and sufficient condition for linear stability, as well as to a bump-in-tail equilibrium.Comment: 6 figure

A Pathogen Secreted Protein as a Detection Marker for Citrus Huanglongbing.

The citrus industry is facing an unprecedented crisis due to Huanglongbing (HLB, aka citrus greening disease), a bacterial disease associated with the pathogen Candidatus Liberibacter asiaticus (CLas) that affects all commercial varieties. Transmitted by the Asian citrus psyllid (ACP), CLas colonizes citrus phloem, leading to reduced yield and fruit quality, and eventually tree decline and death. Since adequate curative measures are not available, a key step in HLB management is to restrict the spread of the disease by identifying infected trees and removing them in a timely manner. However, uneven distribution of CLas cells in infected trees and the long latency for disease symptom development makes sampling of trees for CLas detection challenging. Here, we report that a CLas secreted protein can be used as a biomarker for detecting HLB infected citrus. Proteins secreted from CLas cells can presumably move along the phloem, beyond the site of ACP inoculation and CLas colonized plant cells, thereby increasing the chance of detecting infected trees. We generated a polyclonal antibody that effectively binds to the secreted protein and developed serological assays that can successfully detect CLas infection. This work demonstrates that antibody-based diagnosis using a CLas secreted protein as the detection marker for infected trees offers a high-throughput and economic approach that complements the approved quantitative polymerase chain reaction-based methods to enhance HLB management programs

Singular solutions of fully nonlinear elliptic equations and applications

We study the properties of solutions of fully nonlinear, positively homogeneous elliptic equations near boundary points of Lipschitz domains at which the solution may be singular. We show that these equations have two positive solutions in each cone of $\mathbb{R}^n$, and the solutions are unique in an appropriate sense. We introduce a new method for analyzing the behavior of solutions near certain Lipschitz boundary points, which permits us to classify isolated boundary singularities of solutions which are bounded from either above or below. We also obtain a sharp Phragm\'en-Lindel\"of result as well as a principle of positive singularities in certain Lipschitz domains.Comment: 41 pages, 2 figure