927 resultados para Equivalence Proof
Resumo:
Purpose: A computationally efficient algorithm (linear iterative type) based on singular value decomposition (SVD) of the Jacobian has been developed that can be used in rapid dynamic near-infrared (NIR) diffuse optical tomography. Methods: Numerical and experimental studies have been conducted to prove the computational efficacy of this SVD-based algorithm over conventional optical image reconstruction algorithms. Results: These studies indicate that the performance of linear iterative algorithms in terms of contrast recovery (quantitation of optical images) is better compared to nonlinear iterative (conventional) algorithms, provided the initial guess is close to the actual solution. The nonlinear algorithms can provide better quality images compared to the linear iterative type algorithms. Moreover, the analytical and numerical equivalence of the SVD-based algorithm to linear iterative algorithms was also established as a part of this work. It is also demonstrated that the SVD-based image reconstruction typically requires O(NN2) operations per iteration, as contrasted with linear and nonlinear iterative methods that, respectively, requir O(NN3) and O(NN6) operations, with ``NN'' being the number of unknown parameters in the optical image reconstruction procedure. Conclusions: This SVD-based computationally efficient algorithm can make the integration of image reconstruction procedure with the data acquisition feasible, in turn making the rapid dynamic NIR tomography viable in the clinic to continuously monitor hemodynamic changes in the tissue pathophysiology.
Resumo:
Malaria causes a worldwide annual mortality of about a million people.Rapidly evolving drug-resistant species of the parasite have created a pressing need for the identification of new drug targets and vaccine candidates. By developing fractionation protocols to enrich parasites from low-parasitemia patient samples, we have carried out the first ever proteomics analysis of clinical isolates of early stages of Plasmodium falciparum (Pf) and P. vivax. Patient-derived malarial parasites were directly processed and analyzed using shotgun proteomics approach using high-sensitivity MS for protein identification. Our study revealed about 100 parasite-coded gene products that included many known drug targets such as Pf hypoxanthine guanine phosphoribosyl transferase, Pf L-lactate dehydrogenase, and Plasmepsins. In addition,our study reports the expression of several parasite proteins in clinical ring stages that have never been reported in the ring stages of the laboratory-cultivated parasite strain. This proof-of-principle study represents a noteworthy step forward in our understanding of pathways elaborated by the parasite within the malaria patient and will pave the way towards identification of new drug and vaccine targets that can aid malaria therapy.
Resumo:
Exploring high-performance anode materials is currently one of the most urgent issues towards practical sodium-ion batteries (SIBs). In this work, Bi2S3 is demonstrated to be a high-capacity anode for SIBs for the first time. The specific capacity of Bi2S3 nanorods achieves up to 658 and 264 mAh g-1 at a current density of 100 and 2000 mA g-1, respectively. A full cell with Na3V2(PO4)3-based cathode is also assembled as a proof of concept and delivers 340 mAh g-1 at 100 mA g-1. The sodium storage mechanism of Bi2S3 is investigated by ex-situ XRD coupled with high-resolution TEM (HRTEM), and it is found that sodium storage is achieved by a combined conversion-intercalation mechanism.
Resumo:
Prostate cancer (PCa) is the most commonly diagnosed non-skin cancer and second leading cause of cancer-related death of men in developed countries. Measurement of prostate specific antigen (PSA) is a very sensitive method for diagnosing and monitoring of prostate cancer (PCa), but the specificity needs improvement. Measurements of different molecular forms of PSA have been shown to improve differentiation between PCa and benign prostatic diseases. However, accurate measurement of some isoforms has not been achieved in previous assays. The aim of the present study was to develop new assays that reliably measure enzymatically active PSA, PSA-α1-chymotryposin (PSA-ACT) and PSA-α1-protease inhibitor (PSA-API), and to evaluate their diagnostic value. Double-label immunofluorometric assays using a novel monoclonal antibody (MAb) and another antibody to either free PSA (fPSA) or total PSA (tPSA) were developed and used to measure PSA-ACT and fPSA or tPSA at the same time. These assays provide enough sensitivity for measurement of PSA-ACT in sera with low PSA levels. The results obtained confirmed that proportion of PSA-ACT to tPSA (%PSA-ACT) was as useful as proportion of fPSA to tPSA (%fPSA) for discrimination between PCa and benign prostatic hyperplasia (BPH). We developed an immunoassay for detection of PSA-API based on proximity ligation, which improved assay sensitivity 10-fold compared with conventional assays. Our results confirmed previous findings that the PSA-API level is somewhat lower in men with than without PCa, and the combination of %fPSA and proportion of PSA-API to tPSA (%PSA-API) provides diagnostic improvement compared with either method alone. Assays based on this principle should be applicable to other immunoassays in which the nonspecific background is a problem. An immunopeptidometric sandwich assay (IPMA) was developed to measure the enzymatically active PSA. This assay showed high specificity, but sensitivity was not good enough for measurement of PSA concentrations in the gray zone, 2-10 µg/L, in which tPSA does not efficiently differentiate between PCa and BPH. We further developed a solid-phase proximity ligation immunoassay, which provided a 10-fold improvement in sensitivity. This proof of concept study shows that peptides reacting with proteins are potentially useful for sensitive and specific measurement of protein variants for which specific MAbs cannot be obtained.
Resumo:
Despite positive testing in animal studies, more than 80% of novel drug candidates fail to proof their efficacy when tested in humans. This is primarily due to the use of preclinical models that are not able to recapitulate the physiological or pathological processes in humans. Hence, one of the key challenges in the field of translational medicine is to “make the model organism mouse more human.” To get answers to questions that would be prognostic of outcomes in human medicine, the mouse's genome can be altered in order to create a more permissive host that allows the engraftment of human cell systems. It has been shown in the past that these strategies can improve our understanding of tumor immunology. However, the translational benefits of these platforms have still to be proven. In the 21st century, several research groups and consortia around the world take up the challenge to improve our understanding of how to humanize the animal's genetic code, its cells and, based on tissue engineering principles, its extracellular microenvironment, its tissues, or entire organs with the ultimate goal to foster the translation of new therapeutic strategies from bench to bedside. This article provides an overview of the state of the art of humanized models of tumor immunology and highlights future developments in the field such as the application of tissue engineering and regenerative medicine strategies to further enhance humanized murine model systems.
Resumo:
A d-dimensional box is a Cartesian product of d closed intervals on the real line. The boxicity of a graph is the minimum dimension d such that it is representable as the intersection graph of d-dimensional boxes. We give a short constructive proof that every graph with maximum degree D has boxicity at most 2D2. We also conjecture that the best upper bound is linear in D.
Resumo:
We explore an isoparametric interpolation of total quaternion for geometrically consistent, strain-objective and path-independent finite element solutions of the geometrically exact beam. This interpolation is a variant of the broader class known as slerp. The equivalence between the proposed interpolation and that of relative rotation is shown without any recourse to local bijection between quaternions and rotations. We show that, for a two-noded beam element, the use of relative rotation is not mandatory for attaining consistency cum objectivity and an appropriate interpolation of total rotation variables is sufficient. The interpolation of total quaternion, which is computationally more efficient than the one based on local rotations, converts nodal rotation vectors to quaternions and interpolates them in a manner consistent with the character of the rotation manifold. This interpolation, unlike the additive interpolation of total rotation, corresponds to a geodesic on the rotation manifold. For beam elements with more than two nodes, however, a consistent extension of the proposed quaternion interpolation is difficult. Alternatively, a quaternion-based procedure involving interpolation of relative rotations is proposed for such higher order elements. We also briefly discuss a strategy for the removal of possible singularity in the interpolation of quaternions, proposed in [I. Romero, The interpolation of rotations and its application to finite element models of geometrically exact rods, Comput. Mech. 34 (2004) 121–133]. The strain-objectivity and path-independence of solutions are justified theoretically and then demonstrated through numerical experiments. This study, being focused only on the interpolation of rotations, uses a standard finite element discretization, as adopted by Simo and Vu-Quoc [J.C. Simo, L. Vu-Quoc, A three-dimensional finite rod model part II: computational aspects, Comput. Methods Appl. Mech. Engrg. 58 (1986) 79–116]. The rotation update is achieved via quaternion multiplication followed by the extraction of the rotation vector. Nodal rotations are stored in terms of rotation vectors and no secondary storages are required.
Resumo:
In this paper we propose and analyze a novel racetrack resonator based vibration sensor for inertial grade application. The resonator is formed with an Anti Resonance Reflecting Optical Waveguide (ARROW) structure which offers the advantage of low loss and single mode propagation. The waveguide is designed to operate at 1310nm and TM mode of propagation since the Photo-elastic co-efficient is larger than TE mode in a SiO2/ Si3N4/ SiO2. The longer side of the resonator is placed over a cantilever beam with a proof mass. A single bus waveguide is coupled to the resonator structure. When the beam vibrates the resonator arm at the foot of the cantilever experiences maximum stress. Due to opto-mechanical coupling the effective refractive index of the resonator changes hence the resonance wavelength shifts. The non uniform cantilever beam has a dimension of 1.75mm X 0.45mm X 0.020mm and the proof mass has a dimension of 3mm X 3mm X 0.380mm. The proof mass lowers the natural frequency of vibration to 410Hz, hence designed for inertial navigation application. The operating band of frequency is from DC to 100Hz and acceleration of less than 1g. The resonator has a Free Spectral Range (FSR) of 893pm and produces a phase change of 22.4mrad/g.
Resumo:
Little is known about the neural mechanisms by which transcranial direct current stimulation (tDCS) impacts on language processing in post-stroke aphasia. This was addressed in a proof-of-principle study that explored the effects of tDCS application in aphasia during simultaneous functional magnetic resonance imaging (fMRI). We employed a single subject, cross-over, sham-tDCS controlled design, and the stimulation was administered to an individualized perilesional stimulation site that was identified by a baseline fMRI scan and a picture naming task. Peak activity during the baseline scan was located in the spared left inferior frontal gyrus and this area was stimulated during a subsequent cross-over phase. tDCS was successfully administered to the target region and anodal- vs. sham-tDCS resulted in selectively increased activity at the stimulation site. Our results thus demonstrate that it is feasible to precisely target an individualized stimulation site in aphasia patients during simultaneous fMRI, which allows assessing the neural mechanisms underlying tDCS application. The functional imaging results of this case report highlight one possible mechanism that may have contributed to beneficial behavioral stimulation effects in previous clinical tDCS trials in aphasia. In the future, this approach will allow identifying distinct patterns of stimulation effects on neural processing in larger cohorts of patients. This may ultimately yield information about the variability of tDCS effects on brain functions in aphasia.
Resumo:
Despite an increased risk of mental health problems in adolescents with Autism Spectrum Disorder (ASD), there is limited research on effective prevention approaches for this population. Funded by the Cooperative Research Centre for Living with Autism, a theoretically and empirically supported school-based preventative model has been developed to alter the negative trajectory and promote wellbeing and positive mental health in adolescents with ASD. This conceptual paper provides the rationale, theoretical, empirical and methodological framework of a multilayered intervention targeting the school, parents, and adolescents on the spectrum. Two important interrelated protective factors have been identified in community adolescent samples, namely the sense of belonging (connectedness) to school, and the capacity for self and affect regulation in the face of stress (i.e., resilience). We describe how a confluence of theories from social psychology, developmental psychology and family systems theory, along with empirical evidence (including emerging neurobiological evidence) supports the interrelationships between these protective factors and many indices of wellbeing. However, the characteristics of ASD (including social and communication difficulties, and frequently difficulties with changes and transitions, and diminished optimism and self-esteem) impair access to these vital protective factors. The paper describes how evidenced-based interventions at the school level for promoting inclusive schools (using the Index for Inclusion), and interventions for adolescents and parents to promote resilience and belonging (using the Resourceful Adolescent Program (RAP)), are adapted and integrated for adolescents with ASD. This multisite proof of concept study will confirm whether this multilevel school-based intervention is promising, feasible and sustainable.
Resumo:
Osteoporosis is a disease of low bone mass most often caused by an increase in bone resorption that is not sufficiently compensated for by a corresponding increase in bone formation(1). As gut-derived serotonin (GDS) inhibits bone formation(2), we asked whether hampering its biosynthesis could treat osteoporosis through an anabolic mechanism (that is, by increasing bone formation). We synthesized and used LP533401, a small molecule inhibitor of tryptophan hydroxylase-1 (Tph-1), the initial enzyme in GDS biosynthesis. Oral administration of this small molecule once daily for up to six weeks acts prophylactically or therapeutically, in a dose-dependent manner, to treat osteoporosis in ovariectomized rodents because of an isolated increase in bone formation. These results provide a proof of principle that inhibiting GDS biosynthesis could become a new anabolic treatment for osteoporosis.
Resumo:
We prove that if (M-n, g), n >= 4, is a compact, orientable, locally irreducible Riemannian manifold with nonnegative isotropic curvature,then one of the following possibilities hold: (i) M admits a metric with positive isotropic curvature. (ii) (M, g) is isometric to a locally symmetric space. (iii) (M, g) is Kahler and biholomorphic to CPn/2. (iv) (M, g) is quaternionic-Kahler. This is implied by the following result: Let (M-2n, g) be a compact, locally irreducible Kahler manifold with nonnegative isotropic curvature. Then either M is biholomorphic to CPn or isometric to a compact Hermitian symmetric space. This answers a question of Micallef and Wang in the affirmative. The proof is based on the recent work of Brendle and Schoen on the Ricci flow.
Resumo:
In this paper we first describe a framework to model the sponsored search auction on the web as a mechanism design problem. Using this framework, we design a novel auction which we call the OPT (optimal) auction. The OPT mechanism maximizes the search engine's expected revenue while achieving Bayesian incentive compatibility and individual rationality of the advertisers. We show that the OPT mechanism is superior to two of the most commonly used mechanisms for sponsored search namely (1) GSP (Generalized Second Price) and (2) VCG (Vickrey-Clarke-Groves). We then show an important revenue equivalence result that the expected revenue earned by the search engine is the same for all the three mechanisms provided the advertisers are symmetric and the number of sponsored slots is strictly less than the number of advertisers.
Resumo:
We propose two algorithms for Q-learning that use the two-timescale stochastic approximation methodology. The first of these updates Q-values of all feasible state–action pairs at each instant while the second updates Q-values of states with actions chosen according to the ‘current’ randomized policy updates. A proof of convergence of the algorithms is shown. Finally, numerical experiments using the proposed algorithms on an application of routing in communication networks are presented on a few different settings.
Resumo:
Fractures and arthritic joint destruction are common in the hand. A reliable and stable fracture fixation can be achieved by metal implants, which however, become unnecessary or even harmful after consolidation. The silicone implant arthroplasty is the current method of choice for reconstruction of metacarpophalangeal joints in rheumatoid patients. However, the outcome tends to worsen with long-term follow-up and implant-related complications become frequent. To address these problems, bioabsorbable implants were designed for the hand area. Aims of the studies were: 1) to evaluate the biomechanical stabilities provided by self- reinforced (SR) bioabsorbable implants in a transverse and an oblique osteotomy of small tubular bones and to compare them with those provided by metal implants; 2) to evaluate the SR poly-L/DL-lactide 70/30 plate for osteosynthesis in a proof-of-principle type of experiment in three cases of hand injuries; and 3) to evaluate the poly-L/D-lactide (PLA) 96/4 joint scaffold, a composite joint implant with a supplementary intramedullary Polyactive® stem and Swanson silicone implant in an experimental small joint arthroplasty model. Methods used were: 1) 112 fresh frozen human cadaver and 160 pig metacarpal bones osteotomised transversally or obliquely, respectively, and tested ex vivo in three point bending and in torsion; 2) three patient cases of complex hand injuries; and 3) the fifth metacarpophalangeal joints reconstructed in 18 skeletally-mature minipigs and studied radiologically and histologically. The initial fixation stabilities provided by bioabsorbable implants in the tubular bones of the hand were comparable with currently-employed metal fixation techniques, and were sufficient for fracture stabilisation in three preliminary cases in the hand. However, in torsion the stabilities provided by bioabsorbable implants were lower than that provided by metal counterparts. The bioabsorbable plate enhanced the bending stability for the bioabsorbable fixation construct. PLA 96/4 joint scaffolds demonstrated good biocompatibility and enabled fibrous tissue in-growth in situ. After scaffold degradation, a functional, stable pseudarthrosis with dense fibrous connective tissue was formed. However, the supplementary Polyactive® stem caused a deleterious tissue reaction and therefore the stem can not be applied to the composite joint implant. The bioabsorbable implants have potential for use in clinical hand surgery, but have to await validation in clinical patient series and controlled trials.