A semi-Lagrangian scheme for the game pp-Laplacian via pp-averaging

We present and analyze an approximation scheme for the two-dimensional game $p$-Laplacian in the framework of viscosity solutions. The approximation is based on a semi-Lagrangian scheme which exploits the idea of $p$-averages. We study the properties of the scheme and prove that it converges, in particular cases, to the viscosity solution of the game $p$-Laplacian. We also present a numerical implementation of the scheme for different values of $p$; the numerical tests show that the scheme is accurate.Comment: 34 pages, 3 figures. To appear on Applied Numerical Mathematic

An approximation scheme for an Eikonal Equation with discontinuous coefficient

We consider the stationary Hamilton-Jacobi equation where the dynamics can vanish at some points, the cost function is strictly positive and is allowed to be discontinuous. More precisely, we consider special class of discontinuities for which the notion of viscosity solution is well-suited. We propose a semi-Lagrangian scheme for the numerical approximation of the viscosity solution in the sense of Ishii and we study its properties. We also prove an a-priori error estimate for the scheme in an integral norm. The last section contains some applications to control and image processing problems

Verifying Policy Enforcers

Policy enforcers are sophisticated runtime components that can prevent failures by enforcing the correct behavior of the software. While a single enforcer can be easily designed focusing only on the behavior of the application that must be monitored, the effect of multiple enforcers that enforce different policies might be hard to predict. So far, mechanisms to resolve interferences between enforcers have been based on priority mechanisms and heuristics. Although these methods provide a mechanism to take decisions when multiple enforcers try to affect the execution at a same time, they do not guarantee the lack of interference on the global behavior of the system. In this paper we present a verification strategy that can be exploited to discover interferences between sets of enforcers and thus safely identify a-priori the enforcers that can co-exist at run-time. In our evaluation, we experimented our verification method with several policy enforcers for Android and discovered some incompatibilities.Comment: Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, and Yli\`es Falcone. Verifying Policy Enforcers. Proceedings of 17th International Conference on Runtime Verification (RV), 2017. (to appear

Use of the KlADH4 promoter for ethanol-dependent production of recombinant human serum albumine in Kluyveromyces lactis

KlADH4 is a gene of Kluyveromyces lactis encoding a mitochondrial alcohol dehydrogenase activity which is specifically induced by ethanol. The promoter of this gene was used for the expression of heterologous proteins in K. lactis, a very promising organism which can be used as an alternative host to Saccharomyces cerevisiae due to its good secretory properties. In this paper we report the ethanol-driven expression in K. lactis of the bacterial beta-glucuronidase and of the human serum albumin (HSA) genes under the control of the KlADH4 promoter. In particular, we studied the extracellular production of recombinant HSA (rHSA) with integrative and replicative vectors and obtained a significant increase in the amount of the protein with multicopy vectors, showing that no limitation of KlADH4 trans-acting factors occurred in the cells. By deletion analysis of the promoter, we identified an element (UASE) which is sufficient for the induction of KlADH4 by ethanol and, when inserted in the respective promoters, allows ethanol-dependent activation of other yeast genes, such as PGK and LAC4. We also analyzed the effect of medium composition on cell growth and protein secretion. A clear improvement in the production of the recombinant protein was achieved by shifting from batch cultures (0.3 g/liter) to fed-batch cultures (1 g/liter) with ethanol as the preferred carbon source

Leptogenesis and Low-energy Observables

We relate leptogenesis in a class of theories to low-energy experimental observables: quark and lepton masses and mixings. With reasonable assumptions motivated by grand unification, one can show that the CP-asymmetry parameter takes a universal form. Furthermore the dilution mass is related to the light neutrino masses. Overall, these models offer a natural explanation for a lepton asymmetry in the early universe.Comment: 10 pages, revised discussion on light neutrino masse

Aplicación del Método Acelerado CAMBT para evaluar la reactividad alcalina de agregados

Para evaluar la reactividad alcalina de los agregados, en Argentina se aplican el análisis petrográfico (IRAM 1649 / ASTM C295), el acelerado de la barra de mortero (IRAM 1674 / ASTM C1260) y el del prisma de hormigón (IRAM 1700 / ASTM C1293). Dado que en algunos casos los resultados de métodos diferentes no concordaban entre sí, se recurrió a un método de ensayo acelerado, de origen chino (CAMBT). Conceptualmente se asemeja al método ASTM C1260 con diferencias en la granulometría y en las proporciones de los agregados, el tipo de cemento y el tamaño de las probetas. El estacionamiento se realiza en NaOH 1N a 80ºC y el límite de aceptación máximo para la expansión es de 0,093% a 16 días. Se muestran los resultados de 6 agregados, tres granitos, una sienita cuarcífera, una ortocuarcita y un basalto. Los resultados obtenidos son congruentes con las diferentes mineralogías y los estudios previos o el comportamiento en obras de hormigón existentes que utilizaron algunos de estos agregados.In order to evaluate the alkaline reactivity of aggregates, in Argentina are applied the petrographic analysis (IRAM 1649 / ASTM C295), accelerated mortar bar test (IRAM 1674 / ASTM C1260) and concrete prism test (IRAM 1700 / ASTM C1293 .) Since in some cases the results of different methods did not agree with each other, a Chinese accelerated mortar bar test (CAMBT) was tested. Conceptually it is similar to ASTM C1260 with differences in the granulometry and proportions of aggregates, cement type and specimens size. The storage is done in 1N NaOH at 80°C and the maximum limit of acceptance for the expansion is 0.093% at 16 days. The results of six aggregates, three granites, a quartz syenite, an ortoquartzite and a basalt are shown. The obtained results are consistent with the different mineralogies and previous studies, or its behaviour in several concrete structures made by using some of this aggregates

Meson Correlation Function and Screening Mass in Thermal QCD

Analytical results for the spatial dependence of the correlation functions for all meson excitations in perturbative Quantum Chromodynamics, the lowest order, are calculated. The meson screening mass is obtained as a large distance limit of the correlation function. Our analysis leads to a better understanding of the excitations of Quark Gluon Plasma at sufficiently large temperatures and may be of relevance for future numerical calculations with fully interacting Quantum Chromodynamics.Comment: 11 page

Fermion masses and mixings in gauge theories

The recent evidence for neutrino oscillations stimulate us to discuss again the problem of fermion masses and mixings in gauge theories. In the standard model, several forms for quark mass matrices are equivalent. They become ansatze within most extensions of the standard model, where also relations between quark and lepton sectors may hold. In a seesaw framework, these relations can constrain the scale of heavy neutrino mass, which is often related to the scale of intermediate or unification gauge symmetry. As a consequence, two main scenarios arise. Hierarchies of masses and mixings may be explained by broken horizontal symmetries.Comment: 25 pages, RevTex, no figures. Few misprints corrected and two references adde

Seesaw mechanism, baryon asymmetry and neutrinoless double beta decay

A simplified but very instructive analysis of the seesaw mechanism is here performed. Assuming a nearly diagonal Dirac neutrino mass matrix, we study the forms of the Majorana mass matrix of right-handed neutrinos, which reproduce the effective mass matrix of left-handed neutrinos. As a further step, the important effect of a non diagonal Dirac neutrino mass matrix is explored. The corresponding implications for the baryogenesis via leptogenesis and for the neutrinoless double beta decay are reviewed. We propose two distinct models where the baryon asymmetry is enhanced.Comment: 21 pages, RevTex. Revise

Testing quark mass matrices with right-handed mixings

In the standard model, several forms of quark mass matrices which correspond to the choice of weak bases lead to the same left-handed mixings $V_L=V_{CKM}$, while the right-handed mixings $V_R$ are not observable quantities. Instead, in a left-right extension of the standard model, such forms are ansatze and give different right-handed mixings which are now observable quantities. We partially select the reliable forms of quark mass matrices by means of constraints on right-handed mixings in some left-right models, in particular on $V^R_{cb}$. Hermitian matrices are easily excluded.Comment: 12 pages RevTex, no figures. Minor corrections. Comment on SO(10) changed and one reference adde