Bounds for the mass of the heaviest right-handed neutrino in SO(10) theories

By relating the Dirac neutrino mass matrix to the mass of the charged fermions and assuming that the product of the masses of the two lightest left-handed neutrinos is of the order of $\Delta m^2_{sol}$, we derive, within a leptogenesis scenario, a range of values for the mass of the heaviest right-handed neutrino, centered around the scale of $B-L$ symmetry breaking in the SO(10) theory with Pati-Salam intermediate symmetry.Comment: 7 pages, RevTex4. Few correction

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

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

A preliminary evaluation of LANDSAT-4 thematic mapper data for their geometric and radiometric accuracies

Some LANDSAT thematic mapper data collected over the eastern United States were analyzed for their whole scene geometric accuracy, band to band registration and radiometric accuracy. Band ratio images were created for a part of one scene in order to assess the capability of mapping geologic units with contrasting spectral properties. Systematic errors were found in the geometric accuracy of whole scenes, part of which were attributable to the film writing device used to record the images to film. Band to band registration showed that bands 1 through 4 were registered to within one pixel. Likewise, bands 5 and 7 also were registered to within one pixel. However, bands 5 and 7 were misregistered with bands 1 through 4 by 1 to 2 pixels. Band 6 was misregistered by 4 pixels to bands 1 through 4. Radiometric analysis indicated two kinds of banding, a modulo-16 stripping and an alternate light dark group of 16 scanlines. A color ratio composite image consisting of TM band ratios 3/4, 5/2, and 5/7 showed limonitic clay rich soils, limonitic clay poor soils, and nonlimonitic materials as distinctly different colors on the image

Advanced thermoplastic resins, phase 1

Eight thermoplastic polyimide resin systems were evaluated as composite matrix materials. Two resins were selected for more extensive mechanical testing and both were versions of LaRC-TPI (Langley Research Center - Thermoplastic Polyimide). One resin was made with LaRC-TPI and contained 2 weight percent of a di(amic acid) dopant as a melt flow aid. The second system was a 1:1 slurry of semicrystalline LaRC-TPI powder in a polyimidesulfone resin diglyme solution. The LaRC-TPI powder melts during processing and increases the melt flow of the resin. Testing included dynamic mechanical analysis, tension and compression testing, and compression-after-impact testing. The test results demonstrated that the LaRC-TPI resins have very good properties compared to other thermoplastics, and that they are promising matrix materials for advanced composite structures

KRAS early testing. Consensus initiative and cost-effectiveness evaluation for metastatic colorectal patients in an italian setting

KRAS testing is relevant for the choice of the most appropriate first-line therapy of metastatic colorectal cancer (CRC). Strategies for preventing unequal access to the test should be implemented, but their relevance in the practice is related to economic sustainability. The study adopted the Delphi technique to reach a consensus on several topics. Issues related to execution of KRAS testing were identified by an expert's board and proposed to 108 Italian oncologists and pathologists through two subsequent questionnaires. The emerging proposal was evaluated by decision analyses models employed by technology assessment agencies in order to assess cost-effectiveness. Alternative therapeutic strategies included most commonly used chemotherapy regimens alone or in combination with cetuximab or bevacizumab. The survey indicated that time interval for obtaining KRAS test should not exceed 15 days, 10 days being an optimal interval. To assure the access to proper treatment, a useful strategy should be to anticipate the test after radical resection in patients at high risk of relapse. Early KRAS testing in high risk CRC patients generates incremental cost-effectiveness ratios between 6,000 and 13,000 Euro per quality adjusted life year (QALY) gained. In extensive sensitivity analyses ICER's were always below 15,000 Euro per QALY gained, far within the threshold of 60,000 Euro/QALY gained accepted by regulatory institutions in Italy. In metastatic CRC a time interval higher than 15 days for result of KRAS testing limits access to therapeutic choices. Anticipating KRAS testing before the onset of metastatic disease in patients at high risk does not affect the sustainability and cost-effectiveness profile of cetuximab in first-line mCRC. Early KRAS testing may prevent this inequality in high-risk patients, whether they develop metastases, and is a cost-effective strategy. Based on these results, present joined recommendations of Italian societies of Oncology and Pathology should be updated including early KRAS testing

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

Rural Crime and Policing in American Indian Communities

While people in rural places generally have less crime, American Indians and communities are an anomaly, by sufferingfrom unusually high rates of criminal victimization despite being predominantly rural.One element with thisheightened vulnerability to crime is the historic under-policing of Indian reservations and communities. This paper examines the policing of Indian communities, first by tracing the historical development of Indian tribal police in the United States overthe past two centuries, which shapes the legal-social context for presentday Indian police agencies. Next the paper identifies three major factorslimiting the implementation of effective police forces by Indian communities: (1) legal limitations on the policing authority of tribal governments as historical vestiges; (2) cultural conflicts between traditional Native American values and modern bureaucratic policing practices; and (3) ecological limitations on tribal police from the extremely rural settings in which most Indian communities are located