5,105 research outputs found

    Large System Analysis of Game-Theoretic Power Control in UWB Wireless Networks with Rake Receivers

    Full text link
    This paper studies the performance of partial-Rake (PRake) receivers in impulse-radio ultrawideband wireless networks when an energy-efficient power control scheme is adopted. Due to the large bandwidth of the system, the multipath channel is assumed to be frequency-selective. By using noncooperative game-theoretic models and large system analysis, explicit expressions are derived in terms of network parameters to measure the effects of self- and multiple-access interference at a receiving access point. Performance of the PRake is compared in terms of achieved utilities and loss to that of the all-Rake receiver.Comment: To appear in the Proceedings of the 8th IEEE International Workshop on Signal Processing Advances in Wireless Communications (SPAWC), Helsinki, Finland, June 17-20, 200

    Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

    Get PDF
    The probabilistic bisimilarity distance of Deng et al. has been proposed as a robust quantitative generalization of Segala and Lynch's probabilistic bisimilarity for probabilistic automata. In this paper, we present a characterization of the bisimilarity distance as the solution of a simple stochastic game. The characterization gives us an algorithm to compute the distances by applying Condon's simple policy iteration on these games. The correctness of Condon's approach, however, relies on the assumption that the games are stopping. Our games may be non-stopping in general, yet we are able to prove termination for this extended class of games. Already other algorithms have been proposed in the literature to compute these distances, with complexity in UPcoUP\textbf{UP} \cap \textbf{coUP} and \textbf{PPAD}. Despite the theoretical relevance, these algorithms are inefficient in practice. To the best of our knowledge, our algorithm is the first practical solution. The characterization of the probabilistic bisimilarity distance mentioned above crucially uses a dual presentation of the Hausdorff distance due to M\'emoli. As an additional contribution, in this paper we show that M\'emoli's result can be used also to prove that the bisimilarity distance bounds the difference in the maximal (or minimal) probability of two states to satisfying arbitrary ω\omega-regular properties, expressed, eg., as LTL formulas

    Complete Axiomatization for the Bisimilarity Distance on Markov Chains

    Get PDF
    In this paper we propose a complete axiomatization of the bisimilarity distance of Desharnais et al. for the class of finite labelled Markov chains. Our axiomatization is given in the style of a quantitative extension of equational logic recently proposed by Mardare, Panangaden, and Plotkin (LICS\u2716) that uses equality relations t =_e s indexed by rationals, expressing that "t is approximately equal to s up to an error e". Notably, our quantitative deductive system extends in a natural way the equational system for probabilistic bisimilarity given by Stark and Smolka by introducing an axiom for dealing with the Kantorovich distance between probability distributions

    Maxillary nerve block: A comparison between the greater palatine canal and high tuberosity approaches.

    Get PDF
    Aim: Analgesia and anxiolysis during dental procedures are important for dental care and patient compliance. This study aims to compare two classical maxillary nerve block (MNB) techniques: the greater palatine canal (GPC) and the high tuberosity (HT) approaches, seldom used in routine dental practice. Methods: The study was conducted on 30 patients, scheduled for sinus lift surgery, who were randomly divided into 2 groups: the GPC approach to the MNB was used in 15 and the HT one in the other 15 patients. Anxiolysis was also used, depending on the results of the pre- preoperative assessment. Patients\u2019 sensations/pain during the procedure, details about anesthesia, and the dentist\u2019s considerations were all recorded. Data are expressed as mean \ub1SD. Statistical tests including ANOVA, \u3c72 following Yates correction and linear regression analysis were carried out. A < 0.05 p value was considered significant. Results: Study results showed that the anesthesia was effective and constant in the molar and premolar area. Additional infiltrations of local anesthetics were necessary for vestibular and palatal areas in the anterior oral cavity, respectively, in the GPC and HT groups. The two techniques were equally difficult to carry out in the dentist\u2019s opinion. There were no differences in pain or unpleasant sensations between the two groups, nor were any anesthesia-related complications reported. Conclusion: The GPC approach ensures effective anesthesia in the posterior maxillary region as far as both the dental pulp and the palatal/vestibular mucous membranes are concerned; the HT approach did not guarantee adequate anesthesia of the pterygopalatine branch of the maxillary nerve. These regional anesthesia techniques were characterized by a low incidence of intra and postoperative pain, no noteworthy complications, and high patient satisfaction

    On the Metric-Based Approximate Minimization of Markov Chains

    Get PDF
    We address the behavioral metric-based approximate minimization problem of Markov Chains (MCs), i.e., given a finite MC and a positive integer k, we are interested in finding a k-state MC of minimal distance to the original. By considering as metric the bisimilarity distance of Desharnais at al., we show that optimal approximations always exist; show that the problem can be solved as a bilinear program; and prove that its threshold problem is in PSPACE and NP-hard. Finally, we present an approach inspired by expectation maximization techniques that provides suboptimal solutions. Experiments suggest that our method gives a practical approach that outperforms the bilinear program implementation run on state-of-the-art bilinear solvers

    Study of RPC gas mixtures for the ARGO-YBJ experiment

    Get PDF
    The ARGO-YBJ experiment consists of a RPC carpet to be operated at the Yangbajing laboratory (Tibet, P.R. China), 4300 m a.s.l., and devoted to the detection of showers initiated by photon primaries in the energy range 100 GeV - 20 TeV. The measurement technique, namely the timing on the shower front with a few tens of particles, requires RPC operation with 1 ns time resolution, low strip multiplicity, high efficiency and low single counting rate. We have tested RPCs with many gas mixtures, at sea level, in order to optimize these parameters. The results of this study are reported.Comment: 6 pages, 3 figures. To be published in Nucl. Instr. Meth. A, talk given at the "5th International Workshop on RPCs and Related Detectors", Bari (Italy) 199

    New results from an extensive aging test on bakelite Resistive Plate Chambers

    Get PDF
    We present recent results of an extensive aging test, performed at the CERN Gamma Irradiation Facility on two single--gap RPC prototypes, developed for the LHCb Muon System. With a method based on a model describing the behaviour of an RPC under high particle flux conditions, we have periodically measured the electrode resistance R of the two RPC prototypes over three years: we observe a large spontaneous increase of R with time, from the initial value of about 2 MOhm to more than 250 MOhm. A corresponding degradation of the RPC rate capabilities, from more than 3 kHz/cm2 to less than 0.15 kHz/cm2 is also found.Comment: 6 pages, 7 figures, presented at Siena 2002, 8th Topical Seminar on Innovative Particle and Radiation Detectors 21-24 October 2002, Siena, Ital

    Salinity and Bacterial Diversity: To What Extent Does the Concentration of Salt Affect the Bacterial Community in a Saline Soil?

    Get PDF
    In this study, the evaluation of soil characteristics was coupled with a pyrosequencing analysis of the V2-V3 16S rRNA gene region in order to investigate the bacterial community structure and diversity in the A horizon of a natural saline soil located in Sicily (Italy). The main aim of the research was to assess the organisation and diversity of microbial taxa using a spatial scale that revealed physical and chemical heterogeneity of the habitat under investigation. The results provided information on the type of distribution of different bacterial groups as a function of spatial gradients of soil salinity and pH. The analysis of bacterial 16S rRNA showed differences in bacterial composition and diversity due to a variable salt oncentration in the soil. The bacterial community showed a statistically significant spatial variability. Some bacterial phyla appeared spread in the whole area, whatever the salinity gradient. It emerged therefore that a patchy saline soil can not contain just a single microbial community selected to withstand extreme osmotic phenomena, but many communities that can be variously correlated to one or more environmental parameters. Sequences have been deposited to the SRA database and can be accessed on ID Project PRJNA241061

    Distribution patterns of fungi and bacteria in saline soils

    Get PDF
    Saline soils are environments characterized by uneven temporal and spatial water distribution and localized high concentrations of salts. Spatial distribution patterns of fungi and bacteria in saline soils, and the link between microbial community dynamics and salts accumulation are critical issues throughout the world (Ettema, Wardle 2002). This study was focused on spatial distribution patterns of soil fungi and bacteria in a saline soil located in Piana del Signore (Gela, Italy) where some ecological variables acted as shaping factors in aboveground and belowground communities distribution. Bacterial, archaeal, and fungal communities diversity and distribution in ten soil sites (A horizons, 0-10cm), were characterized by 16S rDNA genes with T-RFLP method. Pyrosequencing-based analysis of the V2-V3 16S rRNA gene region was performed to characterize the sites on the basis of bacterial groups distribution, diversity and assemblage. To better investigate the ecological niches of some of the main culturable species of this environment, it was carried out the isolation and identification of the fungal flora from soil, using Warcup plating within two different salt concentrations (NaCl 5% and 15%), combined with a metabolic screening of some representative isolates (Di Lonardo et al., 2013). A natural gradient of soil salinity shaped the distribution of microbial species in the environment. The different concentration of salt (NaCl), and calcium sulfate (Ca2SO4) in soil influenced the structure and distribution of the microbial communities even when comparing neighboring areas within a 50 m scale. Some bacterial phyla, together with some fungal species, appeared spread in the whole area, independently of the salinity gradient, thus highlighting the presence of organisms with a very different survival strategy in such an extreme environment. In conclusion, the organization and diversity of microbial taxa at a spatial scale reflected the scales of heterogeneity of physical and chemical properties of the habitat under investigation
    corecore