Search results for "AMS"
showing 10 items of 1497 documents
Towards Axiomatic Basis of Inductive Inference
2001
The language for the formulation of the interesting statements is, of course, most important. We use first order predicate logic. Our main achievement in this paper is an axiom system which we believe to be more powerful than any other natural general purpose discovery axiom system. We prove soundness of this axiom system in this paper. Additionally we prove that if we remove some of the requirements used in our axiom system, the system becomes not sound. We characterize the complexity of the quantifier prefix which guaranties provability of a true formula via our system. We prove also that if a true formula contains only monadic predicates, our axiom system is capable to prove this formula…
LA VIABILITÀ MINORE NELLA SICILIA CENTRO-MERIDIONALE: IL COMPRENSORIO DI CIGNANA TRA LA VIA SELINUNTINA E LA CATINA-AGRIGENTUM
2021
Obiettivo del contributo è esaminare il sistema stradale di età antica, con un’attenzione particolare rivolta alle vie secondarie, in un ben definito comprensorio della Sicilia meridionale, l’area del Progetto Cignana, pochi km ad est di Agrigento. Si tratta di cogliere non tanto i caratteri della viabilità di lunga percorrenza (la via Selinuntina e la via Catina-Agrigentum) quanto piuttosto le interconnessioni tra i principali assi viari, la rete secondaria (spesso attestata lungo i principali corsi d’acqua), gli insediamenti rurali e gli approdi sulla costa. This paper is aimed to analyze the ancient road system in a selected area of the Southern Sicily, between Agrigento and Licata (Cign…
Speckle based sensing device for fast detection of malaria
2012
We propose a new technique for malaria detection. It is based upon extraction of correlation based statistics of speckle patterns generated while illuminating red blood cells with a laser and inspecting them under a microscope.
Development of a nomogram to estimate the quality of life in asthmatic children using the Childhood Asthma Control Test
2016
Background: Pediatric Asthma Quality of Life Questionnaire (PAQLQ) provides detailed information on QoL in asthmatic children, whereas Childhood Asthma Control Test (C-ACT) Questionnaire is the most validated instrument for asthma control. No study assessed the relationship between C-ACT and QoL in children by means of those instruments. The aim of this study was to determine whether a QoL estimation is possible using the C-ACT questionnaire in asthmatic children. Methods: Medical history, spirometry, C-ACT, and PAQLQ were assessed in 144 (60% male) outpatient asthmatic children from September 2011 to November 2014. A generalized linear model (GLM) for the prediction of PAQLQ was obtained t…
EMG amplitude of the biceps femoris during jumping compared to landing movements.
2013
Abstract Hamstrings injury is a common occurrence in athletic performance. These injuries tend to occur during a deceleration or landing task suggesting the negative work may be a key component in hamstrings injury. The purpose of this study was to investigate the muscular activity (EMG) of the biceps femoris (BF) in different phases (concentric vs. eccentric) of a Counter Movement Jump (CMJ), Squat Jump (SJ) and the Braking Phase (BP) of a landing task. Twelve female volleyball players performed 5 CMJs, SJs and BPs while surface EMG was recorded using a MuscleLab (BoscoSystemTM, Norway). EMG values were normalized to an maximal voluntary contraction. A repeated measures analysis of varianc…
Assessing the quality of studies in meta-research: Review/guidelines on the most important quality assessment tools
2020
Systematic reviews and meta-analyses pool data from individual studies to generate a higher level of evidence to be evaluated by guidelines. These reviews ultimately guide clinicians and stakeholders in health-related decisions. However, the informativeness and quality of evidence synthesis inherently depend on the quality of what has been pooled into meta-research projects. Moreover, beyond the quality of included individual studies, only a methodologically correct process, in relation to systematic reviews and meta-analyses themselves, can produce a reliable and valid evidence synthesis. Hence, quality of meta-research projects also affects evidence synthesis reliability. In this overview…
Bayesian joint ordinal and survival modeling for breast cancer risk assessment
2016
We propose a joint model to analyze the structure and intensity of the association between longitudinal measurements of an ordinal marker and time to a relevant event. The longitudinal process is defined in terms of a proportional-odds cumulative logit model. Time-to-event is modeled through a left-truncated proportionalhazards model, which incorporates information of the longitudinal marker as well as baseline covariates. Both longitudinal and survival processes are connected by means of a common vector of random effects. General inferences are discussed under the Bayesian approach and include the posterior distribution of the probabilities associated to each longitudinal category and the …
Quantitative ergodicity for some switched dynamical systems
2012
International audience; We provide quantitative bounds for the long time behavior of a class of Piecewise Deterministic Markov Processes with state space Rd × E where E is a finite set. The continuous component evolves according to a smooth vector field that switches at the jump times of the discrete coordinate. The jump rates may depend on the whole position of the process. Under regularity assumptions on the jump rates and stability conditions for the vector fields we provide explicit exponential upper bounds for the convergence to equilibrium in terms of Wasserstein distances. As an example, we obtain convergence results for a stochastic version of the Morris-Lecar model of neurobiology.
Gaia DR2 reveals a star formation burst in the disc 2-3 Gyr ago
2019
We use Gaia DR2 magnitudes, colours and parallaxes for stars with G<12 to explore a 15-dimensional space that includes simultaneously the initial mass function (IMF) and a non-parametric star formation history (SFH) for the Galactic disc. This inference is performed by combining the Besancon Galaxy Model fast approximate simulations (BGM FASt) and an approximate Bayesian computation algorithm. We find in Gaia DR2 data an imprint of a star formation burst 2-3 Gyr ago, in the Galactic thin disc domain, and a present star formation rate (SFR) of about 1 Msun. Our results show a decreasing trend of the SFR from 9-10 Gyr to 6-7 Gyr ago. This is consistent with the cosmological star formation …
Metabolic activation of dibenzo[a,l]pyrene by human cytochrome P450 1A1 and P450 1B1 expressed in V79 Chinese hamster cells.
1999
Metabolic activation of the strongly carcinogenic polycyclic aromatic hydrocarbon (PAH) dibenzo[a,l]pyrene (DB[a,l]P) and its trans-8,9-dihydrodiol (trans-8,9-diol) catalyzed by human cytochromes P450 (P450) 1A1 and 1B1 was investigated. DNA binding of DB[a,l]P in mammalian cell lines has previously been shown to be preferentially mediated by fjord region DB[a,l]P-11,12-dihydrodiol 13,14-epoxides (DB[a,l]PDE). In order to elucidate different capabilities of both P450 enzymes for metabolic activation of DB[a, l]P V79 Chinese hamster cells, stably expressing human P450s 1A1 or 1B1 have been exposed to the parent PAH or its racemic trans-8, 9-diol. For this purpose, synthesis and spectroscopic…