Knowledge Representation with Multiple Logical Theories and Time

We present a knowledge representation framework where a collection of logic programs can be combined together by means of meta-level program composition operations. Each object-level program is composed of a collection of extended clauses, equipped with a time interval representing the time period in which they hold. The interaction between program composition operations and time yields a powerful knowledge representation language in which many applications can be naturally developed. The language is given a meta-level semantics which also provides an executable specification. Moreover, we define an abstract semantics by extending the immediate consequence operator from a single logic program to compositions of logic programs and taking into account time intervals. The operational, meta-level semantics is proven sound and complete with respect to the abstract bottom-up semantics. The approach is further extended in order to cope with the problem of reasoning over joined intervals of time. Three applications in the field of business regulations are shown

Artificial neural network for tilting pad journal bearing characterization

Tilting pad journal bearings (TPJBs) are modeled with Reynold-based models or computational fluid dynamics (CFD) approach. In both cases, the estimation of the dynamic coefficients of the oil-film forces and the static characteristic, can be computationally expensive and time consuming. Artificial Intelligence (AI) is assuming a key role in engineering but is rarely applied in fluid film bearing analysis. A properly trained Deep Learning (DL) model can perform very fast predictions of TPJB behavior with accuracy comparable to more time-consuming models. In this case, the main drawback is the time required to build the training dataset. In this work, an Artificial Neural Network (ANN) is trained to predict the dynamic stiffness and damping coefficients along with the main static quantities of TPJBs, such as minimum oil-film thickness and inlet flowrate. At first, a design of experiment is performed to build an appropriate training dataset. Secondly, a Reynolds-based thermo-hydrodynamic (THD) model is used to populate the training dataset and an appropriate test dataset. Then, a feedforward ANN is trained with Levenberg–Marquardt backpropagation and its architecture is optimized to increase accuracy. Finally, the accuracy of the ANN is tested using the test dataset and experimental data. The time and computational effort required by the ANN regression are much less than those required by the THD model. Therefore, the trained ANN is an effective and efficient tool for the characterization of TPJBs

Insulin resistance in mice lacking neuronal nitric oxide synthase is related to an alpha-adrenergic mechanism.

BACKGROUND: nitric oxide (NO) plays an important role in the regulation of cardiovascular and glucose homeostasis. Mice lacking the gene encoding the neuronal isoform of nitric oxide synthase (nNOS) are insulin-resistant, but the underlying mechanism is unknown. nNOS is expressed in skeletal muscle tissue where it may regulate glucose uptake. Alternatively, nNOS driven NO synthesis may facilitate skeletal muscle perfusion and substrate delivery. Finally, nNOS dependent NO in the central nervous system may facilitate glucose disposal by decreasing sympathetic nerve activity. METHODS: in nNOS null and control mice, we studied whole body glucose uptake and skeletal muscle blood flow during hyperinsulinaemic clamp studies in vivo and glucose uptake in skeletal muscle preparations in vitro. We also examined the effects of alpha-adrenergic blockade (phentolamine) on glucose uptake during the clamp studies. RESULTS: as expected, the glucose infusion rate during clamping was roughly 15 percent lower in nNOS null than in control mice (89 (17) vs 101 (12) [-22 to -2]). Insulin stimulation of muscle blood flow in vivo, and intrinsic muscle glucose uptake in vitro, were comparable in the two groups. Phentolamine, which had no effect in the wild-type mice, normalised the insulin sensitivity in the mice lacking the nNOS gene. CONCLUSIONS: insulin resistance in nNOS null mice was not related to defective insulin stimulation of skeletal muscle perfusion and substrate delivery or insulin signaling in the skeletal muscle cell, but to a sympathetic alpha-adrenergic mechanism

Integrative Taxonomy of Armeria Taxa (Plumbaginaceae) Endemic to Sardinia and Corsica

Sardinia and Corsica are two Mediterranean islands where the genus Armeria is represented by 11 taxa, 10 out of which are endemic. An integrative approach, using molecular phylogeny, karyology, and seed and plant morphometry was used to resolve the complex taxonomy and systematics in this group. We found that several taxa are no longer supported by newly produced data. Accordingly, we describe a new taxonomic hypothesis that only considers five species: Armeria leucocephala and A. soleirolii, endemic to Corsica, and A. morisii, A. sardoa, and A. sulcitana, endemic to Sardinia

Salmeterol for the prevention of high-altitude pulmonary edema.

BACKGROUND: Pulmonary edema results from a persistent imbalance between forces that drive water into the air space and the physiologic mechanisms that remove it. Among the latter, the absorption of liquid driven by active alveolar transepithelial sodium transport has an important role; a defect of this mechanism may predispose patients to pulmonary edema. Beta-adrenergic agonists up-regulate the clearance of alveolar fluid and attenuate pulmonary edema in animal models. METHODS: In a double-blind, randomized, placebo-controlled study, we assessed the effects of prophylactic inhalation of the beta-adrenergic agonist salmeterol on the incidence of pulmonary edema during exposure to high altitudes (4559 m, reached in less than 22 hours) in 37 subjects who were susceptible to high-altitude pulmonary edema. We also measured the nasal transepithelial potential difference, a marker of the transepithelial sodium and water transport in the distal airways, in 33 mountaineers who were prone to high-altitude pulmonary edema and 33 mountaineers who were resistant to this condition. RESULTS: Prophylactic inhalation of salmeterol decreased the incidence of high-altitude pulmonary edema in susceptible subjects by more than 50 percent, from 74 percent with placebo to 33 percent (P=0.02). The nasal potential-difference value under low-altitude conditions was more than 30 percent lower in the subjects who were susceptible to high-altitude pulmonary edema than in those who were not susceptible (P<0.001). CONCLUSIONS: Prophylactic inhalation of a beta-adrenergic agonist reduces the risk of high-altitude pulmonary edema. Sodium-dependent absorption of liquid from the airways may be defective in patients who are susceptible to high-altitude pulmonary edema. These findings support the concept that sodium-driven clearance of alveolar fluid may have a pathogenic role in pulmonary edema in humans and therefore represent an appropriate target for therapy

Construction and Performance of Large-Area Triple-GEM Prototypes for Future Upgrades of the CMS Forward Muon System

At present, part of the forward RPC muon system of the CMS detector at the CERN LHC remains uninstrumented in the high-\eta region. An international collaboration is investigating the possibility of covering the 1.6 < |\eta| < 2.4 region of the muon endcaps with large-area triple-GEM detectors. Given their good spatial resolution, high rate capability, and radiation hardness, these micro-pattern gas detectors are an appealing option for simultaneously enhancing muon tracking and triggering capabilities in a future upgrade of the CMS detector. A general overview of this feasibility study will be presented. The design and construction of small (10\times10 cm2) and full-size trapezoidal (1\times0.5 m2) triple-GEM prototypes will be described. During detector assembly, different techniques for stretching the GEM foils were tested. Results from measurements with x-rays and from test beam campaigns at the CERN SPS will be shown for the small and large prototypes. Preliminary simulation studies on the expected muon reconstruction and trigger performances of this proposed upgraded muon system will be reported.Comment: 7 pages, 25 figures, submitted for publication in conference record of the 2011 IEEE Nuclear Science Symposium, Valencia, Spai

First Results from the TOTEM Experiment

The first physics results from the TOTEM experiment are here reported, concerning the measurements of the total, differential elastic, elastic and inelastic pp cross-section at the LHC energy of $\sqrt{s}$ = 7 TeV, obtained using the luminosity measurement from CMS. A preliminary measurement of the forward charged particle $\eta$ distribution is also shown.Comment: Conference Proceeding. MPI@LHC 2010: 2nd International Workshop on Multiple Partonic Interactions at the LHC. Glasgow (UK), 29th of November to the 3rd of December 201

LHC Optics Measurement with Proton Tracks Detected by the Roman Pots of the TOTEM Experiment

Precise knowledge of the beam optics at the LHC is crucial to fulfil the physics goals of the TOTEM experiment, where the kinematics of the scattered protons is reconstructed with the near-beam telescopes -- so-called Roman Pots (RP). Before being detected, the protons' trajectories are influenced by the magnetic fields of the accelerator lattice. Thus precise understanding of the proton transport is of key importance for the experiment. A novel method of optics evaluation is proposed which exploits kinematical distributions of elastically scattered protons observed in the RPs. Theoretical predictions, as well as Monte Carlo studies, show that the residual uncertainty of this optics estimation method is smaller than 0.25 percent.Comment: 20 pages, 11 figures, 5 figures, to be submitted to New J. Phy

Diamond Detectors for the TOTEM Timing Upgrade

This paper describes the design and the performance of the timing detector developed by the TOTEM Collaboration for the Roman Pots (RPs) to measure the Time-Of-Flight (TOF) of the protons produced in central diffractive interactions at the LHC. The measurement of the TOF of the protons allows the determination of the longitudinal position of the proton interaction vertex and its association with one of the vertices reconstructed by the CMS detectors. The TOF detector is based on single crystal Chemical Vapor Deposition (scCVD) diamond plates and is designed to measure the protons TOF with about 50 ps time precision. This upgrade to the TOTEM apparatus will be used in the LHC run 2 and will tag the central diffractive events up to an interaction pileup of about 1. A dedicated fast and low noise electronics for the signal amplification has been developed. The digitization of the diamond signal is performed by sampling the waveform. After introducing the physics studies that will most profit from the addition of these new detectors, we discuss in detail the optimization and the performance of the first TOF detector installed in the LHC in November 2015.Comment: 26 pages, 18 figures, 2 tables, submitted for publication to JINS

Performance of a Large-Area GEM Detector Prototype for the Upgrade of the CMS Muon Endcap System

Gas Electron Multiplier (GEM) technology is being considered for the forward muon upgrade of the CMS experiment in Phase 2 of the CERN LHC. Its first implementation is planned for the GE1/1 system in the $1.5 < \mid\eta\mid < 2.2$ region of the muon endcap mainly to control muon level-1 trigger rates after the second long LHC shutdown. A GE1/1 triple-GEM detector is read out by 3,072 radial strips with 455 $\mu$rad pitch arranged in eight $\eta$-sectors. We assembled a full-size GE1/1 prototype of 1m length at Florida Tech and tested it in 20-120 GeV hadron beams at Fermilab using Ar/CO$_{2}$ 70:30 and the RD51 scalable readout system. Four small GEM detectors with 2-D readout and an average measured azimuthal resolution of 36 $\mu$rad provided precise reference tracks. Construction of this largest GEM detector built to-date is described. Strip cluster parameters, detection efficiency, and spatial resolution are studied with position and high voltage scans. The plateau detection efficiency is [97.1 $\pm$ 0.2 (stat)]\%. The azimuthal resolution is found to be [123.5 $\pm$ 1.6 (stat)] $\mu$rad when operating in the center of the efficiency plateau and using full pulse height information. The resolution can be slightly improved by $\sim$ 10 $\mu$rad when correcting for the bias due to discrete readout strips. The CMS upgrade design calls for readout electronics with binary hit output. When strip clusters are formed correspondingly without charge-weighting and with fixed hit thresholds, a position resolution of [136.8 $\pm$ 2.5 stat] $\mu$rad is measured, consistent with the expected resolution of strip-pitch/$\sqrt{12}$ = 131.3 $\mu$rad. Other $\eta$-sectors of the detector show similar response and performance.Comment: 8 pages, 32 figures, submitted to Proc. 2014 IEEE Nucl. Sci. Symposium, Seattle, WA, reference adde