879 research outputs found
Second-Order Belief Hidden Markov Models
Hidden Markov Models (HMMs) are learning methods for pattern recognition. The
probabilistic HMMs have been one of the most used techniques based on the
Bayesian model. First-order probabilistic HMMs were adapted to the theory of
belief functions such that Bayesian probabilities were replaced with mass
functions. In this paper, we present a second-order Hidden Markov Model using
belief functions. Previous works in belief HMMs have been focused on the
first-order HMMs. We extend them to the second-order model
Optimal stability and instability for near-linear Hamiltonians
In this paper, we will prove a very general result of stability for
perturbations of linear integrable Hamiltonian systems, and we will construct
an example of instability showing that both our result and our example are
optimal. Moreover, in the same spirit as the notion of KAM stable integrable
Hamiltonians, we will introduce a notion of effectively stable integrable
Hamiltonians, conjecture a characterization of these Hamiltonians and show that
our result prove this conjecture in the linear case
Towards a method for rigorous development of generic requirements patterns
We present work in progress on a method for the engineering, validation and verification of generic requirements using domain engineering and formal methods. The need to develop a generic requirement set for subsequent system instantiation is complicated by the addition of the high levels of verification demanded by safety-critical domains such as avionics. Our chosen application domain is the failure detection and management function for engine control systems: here generic requirements drive a software product line of target systems. A pilot formal specification and design exercise is undertaken on a small (twosensor) system element. This exercise has a number of aims: to support the domain analysis, to gain a view of appropriate design abstractions, for a B novice to gain experience in the B method and tools, and to evaluate the usability and utility of that method.We also present a prototype method for the production and verification of a generic requirement set in our UML-based formal notation, UML-B, and tooling developed in support. The formal verification both of the structural generic requirement set, and of a particular application, is achieved via translation to the formal specification language, B, using our U2B and ProB tools
Infinite ergodic theory and Non-extensive entropies
We bring into account a series of result in the infinite ergodic theory that
we believe that they are relevant to the theory of non-extensive entropie
Cap inflammation leads to higher plaque cap strain and lower cap stress: An MRI-PET/CT-based FSI modeling approach.
Plaque rupture may be triggered by extreme stress/strain conditions. Inflammation is also implicated and can be imaged using novel imaging techniques. The impact of cap inflammation on plaque stress/strain and flow shear stress were investigated. A patient-specific MRI-PET/CT-based modeling approach was used to develop 3D fluid-structure interaction models and investigate the impact of inflammation on plaque stress/strain conditions for better plaque assessment. 18FDG-PET/CT and MRI data were acquired from 4 male patients (average age: 66) to assess plaque characteristics and inflammation. Material stiffness for the fibrous cap was adjusted lower to reflect cap weakening causing by inflammation. Setting stiffness ratio (SR) to be 1.0 (fibrous tissue) for baseline, results for SR=0.5, 0.25, and 0.1 were obtained. Thin cap and hypertension were also considered. Combining results from the 4 patients, mean cap stress from 729 cap nodes was lowered by 25.2% as SR went from 1.0 to 0.1. Mean cap strain value for SR=0.1 was 0.313, 114% higher than that from SR=1.0 model. The thin cap SR=0.1 model had 40% mean cap stress decrease and 81% cap strain increase compared with SR=1.0 model. The hypertension SR=0.1 model had 19.5% cap stress decrease and 98.6% cap strain increase compared with SR=1.0 model. Differences of flow shear stress with 4 different SR values were limited (<10%). Cap inflammation may lead to large cap strain conditions when combined with thin cap and hypertension. Inflammation also led to lower cap stress. This shows the influence of inflammation on stress/strain calculations which are closely related to plaque assessment.This work was supported in part by NIH grants NIH/NIBIB R01 EB004759, NIH/NHLBI R01 HL071021, and National Natural Sciences Foundation of China grant 11672001, 11171030
Analysis of steroid hormones and their conjugated forms in water and urine by on-line solid-phase extraction coupled to liquid chromatography tandem mass spectrometry
Background: In recent years, endocrine disrupting compounds (EDCs) have been found in rivers that receive significant inputs of wastewater. Among EDCs, natural and synthetic steroid hormones are recognized for their potential to mimic or interfere with normal hormonal functions (development, growth and reproduction), even at ultratrace levels (ng L-1). Although conjugated hormones are less active than free hormones, they can be cleaved and release the unconjugated estrogens through microbial processes before or during the treatment of wastewater. Due to the need to identify and quantify these compounds, a new fully automated method was developed for the simultaneous determination of the two forms of several steroid hormones (free and conjugated) in different water matrixes and in urine.Results: The method is based on online solid phase extraction coupled with liquid chromatography and tandem mass spectrometry (SPE-LC-MS/MS). Several parameters were assessed in order to optimize the efficiency of the method, such as the type and flow rate of the mobile phase, the various SPE columns, chromatography as well as different sources and ionization modes for MS. The method demonstrated good linearity (R-2 > 0.993) and precision with a coefficient of variance of less than 10 %. The quantification limits vary from a minimum of 3-15 ng L-1 for an injection volume of 1 and 5 mL, respectively, with the recovery values of the compounds varying from 72 to 117 %.Conclusion: The suggested method has been validated and successfully applied for the simultaneous analysis of several steroid hormones in different water matrixes and in urine
Engineering of lipid-coated PLGA nanoparticles with a tunable payload of diagnostically active nanocrystals for medical imaging
Polylactic-co-glycolic acid (PLGA) based nanoparticles are biocompatible and biodegradable and therefore have been extensively investigated as therapeutic carriers. Here, we engineered diagnostically active PLGA nanoparticles that incorporate high payloads of nanocrystals into their core for tunable bioimaging features. We accomplished this through esterification reactions of PLGA to generate polymers modified with nanocrystals. The PLGA nanoparticles formed from modified PLGA polymers that were functionalized with either gold nanocrystals or quantum dots exhibited favorable features for computed tomography and optical imaging, respectively.National Heart, Lung, and Blood Institute (Programs of Excellence in Nanotechnology (PEN) Award, Contract #HHSN268201000045C))National Institutes of Health (U.S.) (R01 EB009638)National Institutes of Health (U.S.) (R01 CA155432)National Institutes of Health (U.S.) (K99 EB012165)Netherlands Organization for Scientific Research ((NWO) ECHO.06.B.047
Sonogashira diversification of unprotected halotryptophans, halotryptophan containing tripeptides; and generation of a new to nature bromo-natural product and its diversification in water
The blending together of synthetic chemistry with natural product biosynthesis represents a potentially powerful approach to synthesis; to enable this, further synthetic tools and methodologies are needed. To this end, we have explored the first Sonogashira cross-coupling to halotryptophans in water. Broad reaction scope is demonstrated and we have explored the limits of the scope of the reaction. We have demonstrated this methodology to work excellently in the modification of model tripeptides. Furthermore, through precursor directed biosynthesis, we have generated for the first time a new to nature brominated natural product bromo-cystargamide, and demonstrated the applicability of our reaction conditions to modify this novel metabolite
- …