4,345 research outputs found
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
mass and for the matrix element responsible of the
neutrinoless double beta decay, around eV and
smaller than 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
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
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
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 ,
while the right-handed mixings 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
. Hermitian matrices are easily excluded.Comment: 12 pages RevTex, no figures. Minor corrections. Comment on SO(10)
changed and one reference adde
- …