Search results for "RAMS"

Microcredit, Regional Programs and Credit Guarantees in Italy

2019

This work proposes an analysis of microcredit initiatives analyzed at the territorial level. The differences are analyzed on the basis of distinctive features to identify different ways to develop microcredit in Italy. An empirical analysis is also carried out to verify the existence of a statistically significant correlation between the characteristics of entrepreneurial microcredit programs and their default risk. The presence of credit guarantee systems and the role of bank intermediaries as promoters significantly mitigate the risk of default on these initiatives. Regional microcredit programs do not show significant territorial differences in terms of credit guarantees.

A teaching proposal for the didactics of Special Relativity: the spacetime globe

2022

Abstract Special Relativity introduces students to Modern Physics, whose importance in the high school is increasing. Nevertheless its teaching and learning is a critical issue. Different solutions have been developed to overcome the encountered difficulties. In this paper we describe the spacetime globe, a mechanical instrument that allows to experience Special Relativity hands-on. We show how it is possible to treat all the main phenomena foreseen by Special Relativity with simple laboratory experiences, using the idea of Minkowski’s spacetime diagrams. The aim is to develop the use of geometrical approach in learning Special Relativity in high schools.

Building a new CTL model checker using Web services

2013

This Computation Tree Logic (CTL) is widely used to capture compositions of reactive systems. Model checking is particularly well-suited for the automated verification of finite-state systems, both for software and for hardware. A CTL model checker tool allows designers to automatically verify that systems satisfy specifications expressed in the language of CTL logic. In this paper we present a new CTL model checker implemented in client-server paradigm. CTL Designer, the client tool, allows an interactive construction of the CTL models as state-transition graphs. Java and C# APIs are provided for programmatic construction of large models. The server part of our tool embeds the core of the …

Deciding properties of integral relational automata

1994

This paper investigates automated model checking possibilities for CTL* formulae over infinite transition systems represented by relational automata (RA). The general model checking problem for CTL* formulae over RA is shown undecidable, the undecidability being observed already on the class of Restricted CTL formulae. The decidability result, however, is obtained for another substantial subset of the logic, called A-CTL*+, which includes all ”linear time” formulae.

X-ray diffraction measurements of Mo melting to 119 GPa and the high pressure phase diagram

2009

In this paper, we report angle-dispersive X-ray diffraction data of molybdenum melting, measured in a double-sided laser-heated diamond-anvil cell up to a pressure of 119 GPa and temperatures up to 3400 K. The new melting temperatures are in excellent agreement with earlier measurements up to 90 GPa that relied on optical observations of melting and in strong contrast to most theoretical estimates. The X-ray measurements show that the solid melts from the bcc structure throughout the reported pressure range and provide no evidence for a high temperature transition from bcc to a close-packed structure, or to any other crystalline structure. This observation contradicts earlier interpretation…

Withdrawal of a mumps vaccine.

1994

An Exploratory Research of 18 Years on the Economic Burden of Diabetes for the Romanian National Health Insurance System

2020

The prevalence of diabetes mellitus (DM) rises constantly each year worldwide. Because of that, the funds allocated for the DM treatment have increased over time. Regarding the number of DM cases, Romania is among the top ten countries in Europe. Based on the National Diabetes Programme (NDP), antidiabetic drugs and other expenditures (Self-monitoring blood glucose (SMBG) test, HbA1c, insulin pumps/insulin pumps supplies) are free of charge. This programme has undergone many changes in drugs supply, in the last two decades: re-organizing the NDP, authorization of new molecules with high prices (e.g., SGLT-2 inhibitors, etc.) or new devices (e.g., insulin pumps, etc.) The main purpose of thi…

Three beta-decaying states in 128In and 130In resolved for the first time using Penning-trap techniques

2020

Isomeric states in 128In and 130In have been studied with the JYFLTRAP Penning trap at the IGISOL facility. By employing state-of-the-art ion manipulation techniques, three different beta-decaying states in 128In and 130In have been separated and their masses measured. JYFLTRAP was also used to select the ions of interest for identification at a post-trap decay spectroscopy station. A new beta-decaying high-spin isomer feeding the isomer in 128Sn has been discovered in 128In at 1797.6(20) keV. Shell-model calculations employing a CD-Bonn potential re-normalized with the perturbative G-matrix approach suggest this new isomer to be a 16⁺ spin-trap isomer. In 130In, the lowest-lying (10⁻) isom…

Electron Ion Collider: The Next QCD Frontier: Understanding the glue that binds us all

2016

International audience; This White Paper presents the science case of an Electron-Ion Collider (EIC), focused on the structure and interactions of gluon-dominated matter, with the intent to articulate it to the broader nuclear science community. It was commissioned by the managements of Brookhaven National Laboratory (BNL) and Thomas Jefferson National Accelerator Facility (JLab) with the objective of presenting a summary of scientific opportunities and goals of the EIC as a follow-up to the 2007 NSAC Long Range plan. This document is a culmination of a community-wide effort in nuclear science following a series of workshops on EIC physics over the past decades and, in particular, the focus…

Analysis of the Photoneutron Field Near the THz Dump of the CLEAR Accelerator at CERN With SEU Measurements and Simulations

2022

We study the radiation environment near the terahertz (THz) dump of the CERN Linear Electron Accelerator for Research (CLEAR) electron accelerator at CERN, using FLUktuierende KAskade in German (FLUKA) simulations and single-event upset (SEU) measurements taken with 32-Mbit Integrated Silicon Solution Inc. (ISSI) static random access memories (SRAMs). The main focus is on the characterization of the neutron field to evaluate its suitability for radiation tests of electronics in comparison with other irradiation facilities. Neutrons at CLEAR are produced via photonuclear reactions, mostly initiated by photons from the electromagnetic cascades that occur when the beam is absorbed by the dump …