1,298 research outputs found
Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study
Many automated system analysis techniques (e.g., model checking, model-based
testing) rely on first obtaining a model of the system under analysis. System
modeling is often done manually, which is often considered as a hindrance to
adopt model-based system analysis and development techniques. To overcome this
problem, researchers have proposed to automatically "learn" models based on
sample system executions and shown that the learned models can be useful
sometimes. There are however many questions to be answered. For instance, how
much shall we generalize from the observed samples and how fast would learning
converge? Or, would the analysis result based on the learned model be more
accurate than the estimation we could have obtained by sampling many system
executions within the same amount of time? In this work, we investigate
existing algorithms for learning probabilistic models for model checking,
propose an evolution-based approach for better controlling the degree of
generalization and conduct an empirical study in order to answer the questions.
One of our findings is that the effectiveness of learning may sometimes be
limited.Comment: 15 pages, plus 2 reference pages, accepted by FASE 2017 in ETAP
Superparamagnetic Iron Oxide Nanoparticles Labeling of Bone Marrow Stromal (Mesenchymal) Cells Does Not Affect Their âStemnessâ
Superparamagnetic iron oxide nanoparticles (SPION) are increasingly used to label human bone marrow stromal cells (BMSCs, also called âmesenchymal stem cellsâ) to monitor their fate by in vivo MRI, and by histology after Prussian blue (PB) staining. SPION-labeling appears to be safe as assessed by in vitro differentiation of BMSCs, however, we chose to resolve the question of the effect of labeling on maintaining the âstemnessâ of cells within the BMSC population in vivo. Assays performed include colony forming efficiency, CD146 expression, gene expression profiling, and the âgold standardâ of evaluating bone and myelosupportive stroma formation in vivo in immuncompromised recipients. SPION-labeling did not alter these assays. Comparable abundant bone with adjoining host hematopoietic cells were seen in cohorts of mice that were implanted with SPION-labeled or unlabeled BMSCs. PB+ adipocytes were noted, demonstrating their donor origin, as well as PB+ pericytes, indicative of self-renewal of the stem cell in the BMSC population. This study confirms that SPION labeling does not alter the differentiation potential of the subset of stem cells within BMSCs
Levothyroxine Monotherapy Cannot Guarantee Euthyroidism in All Athyreotic Patients
CONTEXT: Levothyroxine monotherapy is the treatment of choice for hypothyroid patients because peripheral T4 to T3 conversion is believed to account for the overall tissue requirement for thyroid hormones. However, there are indirect evidences that this may not be the case in all patients. OBJECTIVE: To evaluate in a large series of athyreotic patients whether levothyroxine monotherapy can normalize serum thyroid hormones and thyroid-pituitary feedback. DESIGN: Retrospective study. SETTING: Academic hospital. PATIENTS: 1,811 athyreotic patients with normal TSH levels under levothyroxine monotherapy and 3,875 euthyroid controls. MEASUREMENTS: TSH, FT4 and FT3 concentrations by immunoassays. RESULTS: FT4 levels were significantly higher and FT3 levels were significantly lower (p<0.001 in both cases) in levothyroxine-treated athyreotic patients than in matched euthyroid controls. Among the levothyroxine-treated patients 15.2% had lower serum FT3 and 7.2% had higher serum FT4 compared to euthyroid controls. A wide range of FT3/FT4 ratios indicated a major heterogeneity in the peripheral T3 production capacity in different individuals. The correlation between thyroid hormones and serum TSH levels indicated an abnormal feedback mechanism in levothyroxine-treated patients. CONCLUSIONS: Athyreotic patients have a highly heterogeneous T3 production capacity from orally administered levothyroxine. More than 20% of these patients, despite normal TSH levels, do not maintain FT3 or FT4 values in the reference range, reflecting the inadequacy of peripheral deiodination to compensate for the absent T3 secretion. The long-term effects of chronic tissue exposure to abnormal T3/T4 ratio are unknown but a sensitive marker of target organ response to thyroid hormones (serum TSH) suggests that this condition causes an abnormal pituitary response. A more physiological treatment than levothyroxine monotherapy may be required in some hypothyroid patients
Observational and Physical Classification of Supernovae
This chapter describes the current classification scheme of supernovae (SNe).
This scheme has evolved over many decades and now includes numerous SN Types
and sub-types. Many of these are universally recognized, while there are
controversies regarding the definitions, membership and even the names of some
sub-classes; we will try to review here the commonly-used nomenclature, noting
the main variants when possible. SN Types are defined according to
observational properties; mostly visible-light spectra near maximum light, as
well as according to their photometric properties. However, a long-term goal of
SN classification is to associate observationally-defined classes with specific
physical explosive phenomena. We show here that this aspiration is now finally
coming to fruition, and we establish the SN classification scheme upon direct
observational evidence connecting SN groups with specific progenitor stars.
Observationally, the broad class of Type II SNe contains objects showing strong
spectroscopic signatures of hydrogen, while objects lacking such signatures are
of Type I, which is further divided to numerous subclasses. Recently a class of
super-luminous SNe (SLSNe, typically 10 times more luminous than standard
events) has been identified, and it is discussed. We end this chapter by
briefly describing a proposed alternative classification scheme that is
inspired by the stellar classification system. This system presents our
emerging physical understanding of SN explosions, while clearly separating
robust observational properties from physical inferences that can be debated.
This new system is quantitative, and naturally deals with events distributed
along a continuum, rather than being strictly divided into discrete classes.
Thus, it may be more suitable to the coming era where SN numbers will quickly
expand from a few thousands to millions of events.Comment: Extended final draft of a chapter in the "SN Handbook". Comments most
welcom
The Evolution of Compact Binary Star Systems
We review the formation and evolution of compact binary stars consisting of
white dwarfs (WDs), neutron stars (NSs), and black holes (BHs). Binary NSs and
BHs are thought to be the primary astrophysical sources of gravitational waves
(GWs) within the frequency band of ground-based detectors, while compact
binaries of WDs are important sources of GWs at lower frequencies to be covered
by space interferometers (LISA). Major uncertainties in the current
understanding of properties of NSs and BHs most relevant to the GW studies are
discussed, including the treatment of the natal kicks which compact stellar
remnants acquire during the core collapse of massive stars and the common
envelope phase of binary evolution. We discuss the coalescence rates of binary
NSs and BHs and prospects for their detections, the formation and evolution of
binary WDs and their observational manifestations. Special attention is given
to AM CVn-stars -- compact binaries in which the Roche lobe is filled by
another WD or a low-mass partially degenerate helium-star, as these stars are
thought to be the best LISA verification binary GW sources.Comment: 105 pages, 18 figure
Evidence for a common progenitor of epithelial and mesenchymal components of the liver
Tissues of the adult organism maintain the homeostasis and respond to injury by means of progenitor/stem cell compartments capable to give rise to appropriate progeny. In organs composed by histotypes of different embryological origins (e.g. The liver), the tissue turnover may in theory involve different stem/precursor cells able to respond coordinately to physiological or pathological stimuli. In the liver, a progenitor cell compartment, giving rise to hepatocytes and cholangiocytes, can be activated by chronic injury inhibiting hepatocyte proliferation. The precursor compartment guaranteeing turnover of hepatic stellate cells (HSCs) (perisinusoidal cells implicated with the origin of the liver fibrosis) in adult organ is yet unveiled. We show here that epithelial and mesenchymal liver cells (hepatocytes and HSCs) may arise from a common progenitor. Sca+ murine progenitor cells were found to coexpress markers of epithelial and mesenchymal lineages and to give rise, within few generations, to cells that segregate the lineage-specific markers into two distinct subpopulations. Notably, these progenitor cells, clonally derived, when transplanted in healthy livers, were found to generate epithelial and mesenchymal liver-specific derivatives (i.e. hepatocytes and HSCs) properly integrated in the liver architecture. These evidences suggest the existence of a 'bona fide' organ-specific meso-endodermal precursor cell, thus profoundly modifying current models of adult progenitor commitment believed, so far, to be lineage-restricted. Heterotopic transplantations, which confirm the dual differentiation potentiality of those cells, indicates as tissue local cues are necessary to drive a full hepatic differentiation. These data provide first evidences for an adult stem/precursor cell capable to differentiate in both parenchymal and non-parenchymal organ-specific components and candidate the liver as the instructive site for the reservoir compartment of HSC precursors as yet non-localized in the adult. ĂŠ 2013 Macmillan Publishers Limited All rights reserved
Performance of CMS muon reconstruction in pp collision events at sqrt(s) = 7 TeV
The performance of muon reconstruction, identification, and triggering in CMS
has been studied using 40 inverse picobarns of data collected in pp collisions
at sqrt(s) = 7 TeV at the LHC in 2010. A few benchmark sets of selection
criteria covering a wide range of physics analysis needs have been examined.
For all considered selections, the efficiency to reconstruct and identify a
muon with a transverse momentum pT larger than a few GeV is above 95% over the
whole region of pseudorapidity covered by the CMS muon system, abs(eta) < 2.4,
while the probability to misidentify a hadron as a muon is well below 1%. The
efficiency to trigger on single muons with pT above a few GeV is higher than
90% over the full eta range, and typically substantially better. The overall
momentum scale is measured to a precision of 0.2% with muons from Z decays. The
transverse momentum resolution varies from 1% to 6% depending on pseudorapidity
for muons with pT below 100 GeV and, using cosmic rays, it is shown to be
better than 10% in the central region up to pT = 1 TeV. Observed distributions
of all quantities are well reproduced by the Monte Carlo simulation.Comment: Replaced with published version. Added journal reference and DO
- âŚ