BISM: Bytecode-Level Instrumentation for Software Monitoring

BISM (Bytecode-Level Instrumentation for Software Monitoring) is a lightweight bytecode instrumentation tool that features an expressive high-level control-flow-aware instrumentation language. The language follows the aspect-oriented programming paradigm by adopting the joinpoint model, advice inlining, and separate instrumentation mechanisms. BISM provides joinpoints ranging from bytecode instruction to method execution, access to comprehensive static and dynamic context information, and instrumentation methods. BISM runs in two instrumentation modes: build-time and load-time. We demonstrate BISM effectiveness using two experiments: a security scenario and a general runtime verification case. The results show that BISM instrumentation incurs low runtime and memory overheads

2021 Graduate Program Rankings for UNLV & UNR

This Fact Sheet presents the 2021 U.S. News and World Report graduate program rankings for the University of Nevada, Las Vegas (UNLV) and the University of Nevada, Reno (UNR). The rankings for 2021 are important when taking into consideration that both UNLV and UNR achieved Carnegie R1 status in 2018. This status marks their place in the top 130 research universities in the country

An adaptive POD approximation method for the control of advection-diffusion equations

We present an algorithm for the approximation of a finite horizon optimal control problem for advection-diffusion equations. The method is based on the coupling between an adaptive POD representation of the solution and a Dynamic Programming approximation scheme for the corresponding evolutive Hamilton-Jacobi equation. We discuss several features regarding the adaptivity of the method, the role of error estimate indicators to choose a time subdivision of the problem and the computation of the basis functions. Some test problems are presented to illustrate the method.Comment: 17 pages, 18 figure

Neutrinoless double beta decay in SO(10) inspired seesaw models

By requiring the lower limit for the lightest right-handed neutrino mass, obtained in the baryogenesis from leptogenesis scenario, and a Dirac neutrino mass matrix similar to the up-quark mass matrix we predict small values for the $\nu_e$ mass and for the matrix element $m_{ee}$ responsible of the neutrinoless double beta decay, $m_{\nu_e}$ around $5\cdot10^{-3}$ eV and $m_{ee}$ smaller than $10^{-3}$ eV, respectively. The allowed range for the mass of the heaviest right-handed neutrino is centered around the value of the scale of B - L breaking in the SO(10) gauge theory with Pati-Salam intermediate symmetry.Comment: 9 pages, RevTex4. Revised, title change

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

Near-infrared spectroscopy study of tourniquet-induced forearm ischaemia in patients with coronary artery disease

Near-Infrared Spectroscopy (NIR) can be employed to monitor local changes in haemodynamics and oxygenation of human tissues. A preliminary study has been performed in order to evaluate the NIRS transmittance response to induced forearm ischaemia in patients with coronary artery disease (CAD). The population consists in 40 patients with cardiovascular risk factors and angiographically documented CAD, compared to a group of 13 normal subjects. By inflating and subsequently deflating a cuff placed around the patient arm, an ischaemia has been induced and released, and the patients have been observed until recovery of the basal conditions. A custom LAIRS spectrometer (IRIS) has been used to collect the backscattered light intensities from the patient forearm throughout the ischaemic and the recovery phase. The time dependence of the near-infrared transmittance on the control group is consistent with the available literature. On the contrary, the magnitude and dynamics of the NIRS signal on the CAD patients show deviations from the documented normal behavior, which can be tentatively attributed to abnormal vessel stiffness. These preliminary results, while validating the performance of the IRIS spectrometer, are strongly conducive towards the applicability of the NIRS technique to ischaemia analysis and to endothelial dysfunction characterization in CAD patients with cardiovascular risk factors.Publisher PD

MTOR cross-talk in cancer and potential for combination therapy

The mammalian Target of Rapamycin (mTOR) pathway plays an essential role in sensing and integrating a variety of exogenous cues to regulate cellular growth and metabolism, in both physiological and pathological conditions. mTOR functions through two functionally and structurally distinct multi-component complexes, mTORC1 and mTORC2, which interact with each other and with several elements of other signaling pathways. In the past few years, many new insights into mTOR function and regulation have been gained and extensive genetic and pharmacological studies in mice have enhanced our understanding of how mTOR dysfunction contributes to several diseases, including cancer. Single-agent mTOR targeting, mostly using rapalogs, has so far met limited clinical success; however, due to the extensive cross-talk between mTOR and other pathways, combined approaches are the most promising avenues to improve clinical efficacy of available therapeutics and overcome drug resistance. This review provides a brief and up-to-date narrative on the regulation of mTOR function, the relative contributions of mTORC1 and mTORC2 complexes to cancer development and progression, and prospects for mTOR inhibition as a therapeutic strategy

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

The networking dynamics of the Italian biofuel industry in time of crisis: Finding an effective instrument mix for fostering a sustainable energy transition

This paper aims to design the effective instrument mixes for fostering a sustainable energy transition in times of crises. We focus on a sufficiently developed green niche – namely the Italian biofuel sector – implementing a two-step investigation: 1) a social network analysis, to study the effects of the crisis on the basic niche development mechanisms, with the aim of eliciting its development needs; 2) a fuzzy inference simulation based on a causal-effect map drawn from experts' knowledge to identify the most effective instrument mix for the development of the niche studied. The major needs emerged in the case investigated are for an increase of actors' expectations towards the further development of the sector, and a need for a tailored networking activity, devoted to attracting specific knowledgeable actors. The results indicate that, among others, effective policy instruments are, in this case, the cooperation that has the best outcome in terms of networking, and the public procurement, which remarkably increases the level of expectation. The analysis presented constitutes a model to evaluate single policy drivers and their combinations to find adequate policy actions to promote the green energy transition in times of crisis

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