949 resultados para Proof.
Construction of inverses with prescribed zero minors and applications to decentralized stabilization
Resumo:
We examine the following question: Suppose R is a principal ideal domain, and that F is an n × m matrix with elements in R, with n>m. When does there exist an m × n matrix G such that GF = Im, and such that certain prescribed minors of G equal zero? We show that there is a simple necessary condition for the existence of such a G, but that this condition is not sufficient in general. However, if the set of minors of G that are required to be zero has a certain pattern, then the condition is necessary as well as sufficient. We then show that the pattern mentioned above arises naturally in connection with the question of the existence of decentralized stabilizing controllers for a given plant. Hence our result allows us to derive an extremely simple proof of the fact that a necessary and sufficient condition for the existence of decentralized stabilizing controllers is the absence of unstable decentralized fixed modes, as well as to derive a very clean expression for these fixed modes. In addition to the application to decentralized stabilization, we believe that the result is of independent interest.
Resumo:
Energy conversion by living organisms is central dogma of bioenergetics. The effectiveness of the energy extraction by aerobic organisms is much greater than by anaerobic ones. In aerobic organisms the final stage of energy conversion occurs in respiratory chain that is located in the inner membrane of mitochondria or cell membrane of some aerobic bacteria. The terminal complex of the respiratory chain is cytochrome c oxidase (CcO) - the subject of this study. The primary function of CcO is to reduce oxygen to water. For this, CcO accepts electrons from a small soluble enzyme cytochrome c from one side of the membrane and protons from another side. Moreover, CcO translocates protons across the membrane. Both oxygen reduction and proton translocation contributes to generation of transmembrane electrochemical gradient that is used for ATP synthesis and different types of work in the cell. Although the structure of CcO is defined with a relatively high atomic resolution (1.8 Å), its function can hardly be elucidated from the structure. The electron transfer route within CcO and its steps are very well defined. Meanwhile, the proton transfer roots were predicted from the site-specific mutagenesis and later proved by X-ray crystallography, however, the more strong proof of the players of the proton translocation machine is still required. In this work we developed new methods to study CcO function based on FTIR (Fourier Transform Infrared) spectroscopy. Mainly with use of these methods we answered several questions that were controversial for many years: [i] the donor of H+ for dioxygen bond splitting was identified and [ii] the protolytic transitions of Glu-278 one of the key amino acid in proton translocation mechanism was shown for the first time.
Resumo:
Antitubercular treatment is directed against actively replicating organisms. There is an urgent need to develop drugs targeting persistent subpopulations of Mycobacterium tuberculosis. The DevR response regulator is believed to play a key role in bacterial dormancy adaptation during hypoxia. We developed a homology-based model of DevR and used it for the rational design of inhibitors. A phenylcoumarin derivative (compound 10) identified by in silico pharmacophore-based screening of 2.5 million compounds employing protocols with some novel features including a water-based pharmacophore query, was characterized further. Compound 10 inhibited DevR binding to target DNA, down-regulated dormancy genes transcription, and drastically reduced survival of hypoxic but not nutrient-starved dormant bacteria or actively growing organ ` isms. Our findings suggest that compound 10 ``locks'' DevR in an inactive conformation that is unable to bind cognate DNA and induce the dormancy regulon. These results provide proof-of-concept for DevR as a novel target to develop molecules with sterilizing activity against tubercle bacilli.
Resumo:
We have observed the exchange spring behavior in the soft (Fe3O4)-hard (BaCa2Fe16O27)-ferrite composite by tailoring the particle size of the individual phases and by suitable thermal treatment of the composite. The magnetization curve for the nanocomposite heated at 800 degrees C shows a single loop hysteresis showing the existence of the exchange spring phenomena in the composite and an enhancement of 13% in (BH)(max) compared to the parent hard ferrite (BaCa2Fe16O27). The Henkel plot provides the proof of the presence of the exchange interaction between the soft and hard grains as well as its dominance over the dipolar interaction in the nanocomposite.
Resumo:
We describe here a rapid, energy-efficient, green and economically scalable room temperature protocol for the synthesis of silver nanoparticles. Tannic acid, a polyphenolic compound derived from plant extracts is used as the reducing agent. Silver nanoparticles of mean size ranging from 3.3 to 22.1 nm were synthesized at room temperature by the addition of silver nitrate to tannic acid solution maintained at an alkaline pH. The mean size was tuned by varying the molar ratio of tannic acid to silver nitrate. We also present proof of concept results demonstrating its suitability for room temperature continuous flow processing.
Resumo:
Emerging embedded applications are based on evolving standards (e.g., MPEG2/4, H.264/265, IEEE802.11a/b/g/n). Since most of these applications run on handheld devices, there is an increasing need for a single chip solution that can dynamically interoperate between different standards and their derivatives. In order to achieve high resource utilization and low power dissipation, we propose REDEFINE, a polymorphic ASIC in which specialized hardware units are replaced with basic hardware units that can create the same functionality by runtime re-composition. It is a ``future-proof'' custom hardware solution for multiple applications and their derivatives in a domain. In this article, we describe a compiler framework and supporting hardware comprising compute, storage, and communication resources. Applications described in high-level language (e.g., C) are compiled into application substructures. For each application substructure, a set of compute elements on the hardware are interconnected during runtime to form a pattern that closely matches the communication pattern of that particular application. The advantage is that the bounded CEs are neither processor cores nor logic elements as in FPGAs. Hence, REDEFINE offers the power and performance advantage of an ASIC and the hardware reconfigurability and programmability of that of an FPGA/instruction set processor. In addition, the hardware supports custom instruction pipelining. Existing instruction-set extensible processors determine a sequence of instructions that repeatedly occur within the application to create custom instructions at design time to speed up the execution of this sequence. We extend this scheme further, where a kernel is compiled into custom instructions that bear strong producer-consumer relationship (and not limited to frequently occurring sequences of instructions). Custom instructions, realized as hardware compositions effected at runtime, allow several instances of the same to be active in parallel. A key distinguishing factor in majority of the emerging embedded applications is stream processing. To reduce the overheads of data transfer between custom instructions, direct communication paths are employed among custom instructions. In this article, we present the overview of the hardware-aware compiler framework, which determines the NoC-aware schedule of transports of the data exchanged between the custom instructions on the interconnect. The results for the FFT kernel indicate a 25% reduction in the number of loads/stores, and throughput improves by log(n) for n-point FFT when compared to sequential implementation. Overall, REDEFINE offers flexibility and a runtime reconfigurability at the expense of 1.16x in power and 8x in area when compared to an ASIC. REDEFINE implementation consumes 0.1x the power of an FPGA implementation. In addition, the configuration overhead of the FPGA implementation is 1,000x more than that of REDEFINE.
Resumo:
Gas fermentation using acetogenic bacteria offers a promising route for the sustainable production of low carbon fuels and commodity chemicals from abundant, inexpensive C1 feedstocks including industrial waste gases, syngas, reformed methane or methanol. Clostridium autoethanogenum is a model gas fermenting acetogen that produces fuel ethanol and 2,3-butanediol, a precursor for nylon and rubber. Acetogens have already been used in large scale industrial fermentations, they are ubiquitous and known to play a prominent role in the global carbon cycle. Still, they are considered to live on the thermodynamic edge of life and potential energy constraints when growing on C1 gases pose a major challange for the commercial production of fuels and chemicals. We have developed a systematic platform to investigate acetogenic energy metabolism, exemplified here by experiments contrasting heterotrophic and autotrophic metabolism. The platform is built from complete omics technologies, augmented with genetic tools and complemented by a manually curated genome-scale mathematical model. Together the tools enable the design and development of new, energy efficient pathways and strains for the production of chemicals and advanced fuels via C1 gas fermentation. As a proof-of-platform, we investigated heterotrophic growth on fructose versus autotrophic growth on gas that demonstrate the role of the Rnf complex and Nfn complex in maintaining growth using the Wood–Ljungdahl pathway. Pyruvate carboxykinase was found to control the rate-limiting step of gluconeogenesis and a new specialized glyceraldehyde-3-phosphate dehydrogenase was identified that potentially enhances anabolic capacity by reducing the amount of ATP consumed by gluconeogenesis. The results have been confirmed by the construction of mutant strains.
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:
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.