927 resultados para Equivalence Proof
Resumo:
ADHD (attention deficit hyperactivity disorder) is developmental neurobiological disability. In adults, the prevalence of ADHD has been estimated to be about 4 %. In addition to the difficulties of attention, the problems in executive functioning are typical. The psychiatric comorbidities are common. The most extensively studied treatments are pharmacological. There is also evidence about the usefulness of the cognitive-behavioural therapy (CBT) in the treatment of adults with ADHD. There are some preliminary results about the effectiveness of cognitive training and hypnosis in children, but there is no scientific proof in adults. This dissertation is based on two intervention studies. In the first study, the usefulness of the new group CBT (n = 29) and the maintenance of the symptom reduction in the follow-up of six months were studied. In the second study, the usefulness of short hypnotherapy (n = 9), short individual CBT (n = 10) and computerized cognitive training (n = 9) were examined by comparing groups with each other and to the control group (n = 10). The participation in the group CBT and the participants' satisfaction were good. There were no changes in self-reports during waiting period of three months. After the rehabilitation, the symptoms decreased. Participants having symptom reduction during rehabilitation maintained their benefit through 6-month follow-up period. In a combined ADHD symptom score based on self-reports, seven participants in the hypnotherapy, six in the CBT, two in the cognitive training and two controls improved. Using independent evaluations, improvement was found in six of the hypnotherapy, seven of the CBT, two of the cognitive training and three of the control participants. There was no treatment-related improvement in cognitive performance. Thus, in the hypnotherapy and CBT groups, some encouraging improvement was seen. In the cognitive training group, there was improvement in the trained tasks but no generalization of the improvement. The results support the earlier results from the usefulness of CBT in the treatment of adults with ADHD. Also the hypnotherapy seems a useful rehabilitation. More research is needed to evaluate the usefulness of cognitive training. These promising results warrant further studies with more participants and with longer treatment duration. Also different measures of cognitive functioning and quality of life are needed. It is important in addition to the medication to arrange psychosocial interventions for the ADHD adults.
Resumo:
An on-line algorithm is developed for the location of single cross point faults in a PLA (FPLA). The main feature of the valgorithm is the determination of a fault set corresponding to the response obtained for a failed test. For the apparently small number of faults in this set, all other tests are generated and a fault table is formed. Subsequently, an adaptive procedure is used to diagnose the fault. Functional equivalence test is carried out to determine the actual fault class if the adaptive testing results in a set of faults with identical tests. The large amount of computation time and storage required in the determination, a priori, of all the fault equivalence classes or in the construction of a fault dictionary are not needed here. A brief study of functional equivalence among the cross point faults is also made.
Resumo:
Three different algorithms are described for the conversion of Hensel codes to Farey rationals. The first algorithm is based on the trial and error factorization of the weight of a Hensel code, inversion and range test. The second algorithm is deterministic and uses a pair of different p-adic systems for simultaneous computation; from the resulting weights of the two different Hensel codes of the same rational, two equivalence classes of rationals are generated using the respective primitive roots. The intersection of these two equivalence classes uniquely identifies the rational. Both the above algorithms are exponential (in time and/or space).
Resumo:
Rabbits released in Australia in 1859 spread to most areas of suitable habitat by 1910 causing great damage to the environment and primary industries. Measurement of damage is essential to justify spending money and utilising resources to remove rabbits. Damage to pasture and biodiversity may be irreversible and therefore difficult to measure without comparison with an area that has never suffered such damage. A rabbit proof fence completed in 1906 protected a large part of south east Queensland from rabbits. The Darling Downs Moreton Rabbit Board (DDMRB) continues to maintain the fence and keep the area relatively free of rabbits. This area is unique because it is highly suitable for rabbits and yet it has never ‘experienced’ the damage caused by plagues of uncontrolled rabbits. A study site was established where the DDMRB fence separates an area heavily used by rabbits (‘dirty side’) from an area that has never been infested by rabbits (‘clean side’). The number and location of all rabbit warrens and log piles were recorded. The absence of warrens from the ‘clean side’ shows clearly that the rabbit proof fence has prevented rabbits from establishing warren systems. The ‘dirty side’ is characterised by a high number of warrens, a high density of rabbits, fewer pasture species and low macropod activity. Future work will determine whether the rabbit populations are viable in the absence of rabbit warrens. We plan to radio collar rabbits on both sides of the fence to measure their survival rate. In selected warrens and log piles of varying degrees of complexity and size, rabbits will be trapped and information on reproduction and age structure will be collected. This will allow better targeting of the source of rabbits during control operations. Once the initial comparative analysis of the site has been completed, all rabbit warrens will be destroyed on the dirty side of the fence. After rabbits are removed from this area, monitoring will continue to determine if pasture and biodiversity on opposite sides of the fence begin to mirror each other.
Resumo:
To strive to improve the rehabilitation program of individuals with transfemoral amputation fitted with bone-anchored prosthesis based on data from direct measurements of the load applied on the residuum we first of all need to understand the load applied on the fixation. Therefore the load applied on the residuum was first directly measured during standardized activities of daily living such as straight line level walking, ascending and descending stairs and a ramp and walking around a circle. From measuring the load in standardized activities of daily living the load was also measured during different phases of the rehabilitation program such as during walking with walking aids and during load bearing exercises.[1-15] The rehabilitation program for individuals with a transfemoral amputation fitted with an OPRA implant relies on a combination of dynamic and static load bearing exercises.[16-20] This presentation will focus on the study of a set of experimental static load bearing exercises. [1] A group of eleven individuals with unilateral transfemoral amputation fitted with an OPRA implant participated in this study. The load on the implant during the static load bearing exercises was measured using a portable system including a commercial transducer embedded in a short pylon, a laptop and a customized software package. This apparatus was previously shown effective in a proof-of-concept study published by Prof. Frossard. [1-9] The analysis of the static load bearing exercises included an analysis of the reliability as well as the loading compliance. The analysis of the loading reliability showed a high reliability between the loading sessions indicating a correct repetition of the LBE by the participants. [1, 5] The analysis of the loading compliance showed a significant lack of axial compliance leading to a systematic underloading of the long axis of the implant during the proposed experimental static LBE.
Resumo:
It is well known that the notions of normal forms and acyclicity capture many practical desirable properties for database schemes. The basic schema design problem is to develop design methodologies that strive toward these ideals. The usual approach is to first normalize the database scheme as far as possible. If the resulting scheme is cyclic, then one tries to transform it into an acyclic scheme. In this paper, we argue in favor of carrying out these two phases of design concurrently. In order to do this efficiently, we need to be able to incrementally analyze the acyclicity status of a database scheme as it is being designed. To this end, we propose the formalism of "binary decompositions". Using this, we characterize design sequences that exactly generate theta-acyclic schemes, for theta = agr,beta. We then show how our results can be put to use in database design. Finally, we also show that our formalism above can be effectively used as a proof tool in dependency theory. We demonstrate its power by showing that it leads to a significant simplification of the proofs of some previous results connecting sets of multivalued dependencies and acyclic join dependencies.
Resumo:
With the rapid development of various technologies and applications in smart grid implementation, demand response has attracted growing research interests because of its potentials in enhancing power grid reliability with reduced system operation costs. This paper presents a new demand response model with elastic economic dispatch in a locational marginal pricing market. It models system economic dispatch as a feedback control process, and introduces a flexible and adjustable load cost as a controlled signal to adjust demand response. Compared with the conventional “one time use” static load dispatch model, this dynamic feedback demand response model may adjust the load to a desired level in a finite number of time steps and a proof of convergence is provided. In addition, Monte Carlo simulation and boundary calculation using interval mathematics are applied for describing uncertainty of end-user's response to an independent system operator's expected dispatch. A numerical analysis based on the modified Pennsylvania-Jersey-Maryland power pool five-bus system is introduced for simulation and the results verify the effectiveness of the proposed model. System operators may use the proposed model to obtain insights in demand response processes for their decision-making regarding system load levels and operation conditions.
Resumo:
Signed lower left by photographer
Resumo:
Kasvainten, ajatellaan syntyvän yksittäisen solun perimän mutaatioista, jonka seurauksena tuon solun kasvu häiriintyy. Ruoansulatuskanavan polyyppien syntyä käytetään usein mallina siitä, miten nämä epiteelisoluun kerääntyvät mutaatiot aiheuttavat asteittain pahenevan kasvuhäiriön. Peutz–Jeghersin oireyhtymä (PJS) on perinnöllinen polypoosisyndrooma, jossa oireita aiheuttavat erityisesti maha-suolikanavan hamartomatoottiset polyypit. Noin puolella PJS potilaista havaitaan mutaatioita LKB1 kasvunrajoite geenissä. Hiirille joilta toinen Lkb1 alleeli on poistettu (Lkb1+/-) kehittyy PJS-tyypin maha-suolikanavan polyyppeja, joissa on epiteelin liikakasvun lisäksi merkittävä sileälihaskomponentti, aivan kuten PJS polyypeissa. Kuten myös muissa ruoansulatuskanavan polypooseissa, sekä PJS että hiirten polyypeissa Cyclo-oxygenaasi-2:n (COX-2) määrä on usein kohonnut. PJS-polyyppien kehittymisen molekulaarinen mekanismi on kuitenkin selvittämättä. Koska vain osa PJS potilaista kantaa LKB1 mutaatioita, mutaatiot jossakin toisessa lokuksessa saattaisivat selittää osan PJS tapauksista. Jotta PJS:n geneettinen tausta selviäisi, seulottiin kolmen LKB1:n kanssa interaktoivan proteiinin (BRG1, STRADα ja MO25α) geenit PJS potilaista joilla ei ole havaittu LKB1 mutaatioita. Yhdessäkään tutkituista geeneistä ei havaittu tautia aiheuttavia mutaatioita. Näiden kolmen geenin pois sulkeminen, ja uusien menetelmien ansiosta kasvanut havaittujen Lkb1 mutaatioden määrä viittaavat LKB1:n olevan useimpien PJS tapausten taustalla. COX-2:n estäjien käyttö on tehokkaasti vähentänyt polyyppien määrää familiaarisessa adenomatoottisessa polypoosissa. Tästä johtuen COX-2:n eston tehokkuutta tutkittiin PJS polypoosissa. PJS-tyypin polypoosin havaittin pienenevän merkittävästi Lkb1+/- hiirissä, joilta oli lisäksi poistettu toinen tai molemmat COX-2:n alleeleista. Lisäksi farmakologinen COX-2:n esto Celecoxib:lla vähensi polypoosia tehokkaasti. Näin ollen COX-2:n eston tehokkuutta tutkittiin seuraavaksi PJS potilaissa. Kuuden kuukauden Celecoxib hoidon jälkeen polypoosin havaittiin vähentyneen merkittävästi osalla potilaista (2/6). Nämä tulokset osoittavat COX-2:n roolin PJS-polyyppien kehityksessä, ja viittaavat COX-2:n eston vähentävän polypoosia. Kasvunrajoitegeenin klassisen määritelmän mukaan kasvaimen kehitys vaatii perinnöllisen mutaation lisäksi geenin toisenkin alleelin mutaation, mutta PJS-polyyppien häiriintyneestä epiteelistä ei kuitenkaan systemaattisesti löydy toista LKB1:n mutaatiota. Havainto johti tutkimukseen, jossa selvitettiin voisiko LKB1:n kasvun rajoitus välittyäkin epäsuorasti tukikudokseksi ajatelluista sileälihassoluista. Tätä tutkittiin kehittämällä poistogeeninen hiirimalli jossa Lkb1 on mutatoitunut vain sileälihassoluissa. Näille hiirille kehittyi polyyppeja, jotka ovat kaikin tavoin PJS-polyyppien kaltaisia. Lkb1:n menettäneiden solujen havaittiin tuottavan vähemmän transformoivaa kasvutekijä beetaa (TGFß), joka aiheutti solujen välisen viestinnän heikentymisen ja mahdollisesti viereisten epiteelisolujen liikakasvun. Vastaava häiriö havaittiin myös PJS-potilaiden polyypeissa, mikä viittaa siihen, että potilaillakin sileälihassolujen häiriö on polyyppien taustalla. Havainto suuntaa täten hoitokohteiden etsintää ja osoittaa että LKB1 toimii kasvunrajoittajana epätyypillisellä tavalla pitäen naapurisolujen kasvun kurissa.
Resumo:
Using elementary comparison geometry, we prove: Let (M, g) be a simply-connected complete Riemannian manifold of dimension >= 3. Suppose that the sectional curvature K satisfies -1-s(r) <= K <= -1, where r denotes distance to a fixed point in M. If lim(r ->infinity) e(2r) s(r) = 0, then (M, g) has to be isometric to H-n.The same proof also yields that if K satisfies -s(r) <= K <= 0 where lim(r ->infinity) r(2) s(r) = 0, then (M, g) is isometric to R-n, a result due to Greene and Wu.Our second result is a local one: Let (M, g) be any Riemannian manifold. For a E R, if K < a on a geodesic ball Bp (R) in M and K = a on partial derivative B-p (R), then K = a on B-p (R).
Resumo:
Cattle ticks and buffalo flies impose significant economic burdens on the Northern Australian cattle and dairy industries. With the increased temperatures expected under climate change the range of parasites such as these is likely to extend. Current control options for these ectoparasites are limited by problems associated with chemical resistance and residues. Fungal biopesticides offer a sustainable and promising alternative method of control. Laboratory and animal studies have established the potential for the fungus Metarhizium in tick control and provided data that suggests a secondary effect of buffalo fly control is possible. Small field trials are required to obtain a proof of concept for the control of ticks and buffalo flies on animals.
Resumo:
Nephrin is a transmembrane protein belonging to the immunoglobulin superfamily and is expressed primarily in the podocytes, which are highly differentiated epithelial cells needed for primary urine formation in the kidney. Mutations leading to nephrin loss abrogate podocyte morphology, and result in massive protein loss into urine and consequent early death in humans carrying specific mutations in this gene. The disease phenotype is closely replicated in respective mouse models. The purpose of this thesis was to generate novel inducible mouse-lines, which allow targeted gene deletion in a time and tissue-specific manner. A proof of principle model for succesful gene therapy for this disease was generated, which allowed podocyte specific transgene replacement to rescue gene deficient mice from perinatal lethality. Furthermore, the phenotypic consequences of nephrin restoration in the kidney and nephrin deficiency in the testis, brain and pancreas in rescued mice were investigated. A novel podocyte-specific construct was achieved by using standard cloning techniques to provide an inducible tool for in vitro and in vivo gene targeting. Using modified constructs and microinjection procedures two novel transgenic mouse-lines were generated. First, a mouse-line with doxycycline inducible expression of Cre recombinase that allows podocyte-specific gene deletion was generated. Second, a mouse-line with doxycycline inducible expression of rat nephrin, which allows podocyte-specific nephrin over-expression was made. Furthermore, it was possible to rescue nephrin deficient mice from perinatal lethality by cross-breeding them with a mouse-line with inducible rat nephrin expression that restored the missing endogenous nephrin only in the kidney after doxycycline treatment. The rescued mice were smaller, infertile, showed genital malformations and developed distinct histological abnormalities in the kidney with an altered molecular composition of the podocytes. Histological changes were also found in the testis, cerebellum and pancreas. The expression of another molecule with limited tissue expression, densin, was localized to the plasma membranes of Sertoli cells in the testis by immunofluorescence staining. Densin may be an essential adherens junction protein between Sertoli cells and developing germ cells and these junctions share similar protein assembly with kidney podocytes. This single, binary conditional construct serves as a cost- and time-efficient tool to increase the understanding of podocyte-specific key proteins in health and disease. The results verified a tightly controlled inducible podocyte-specific transgene expression in vitro and in vivo as expected. These novel mouse-lines with doxycycline inducible Cre recombinase and with rat nephrin expression will be useful for conditional gene targeting of essential podocyte proteins and to study in detail their functions in the adult mice. This is important for future diagnostic and pharmacologic development platforms.
Resumo:
Database schemes can be viewed as hypergraphs with individual relation schemes corresponding to the edges of a hypergraph. Under this setting, a new class of "acyclic" database schemes was recently introduced and was shown to have a claim to a number of desirable properties. However, unlike the case of ordinary undirected graphs, there are several unequivalent notions of acyclicity of hypergraphs. Of special interest among these are agr-, beta-, and gamma-, degrees of acyclicity, each characterizing an equivalence class of desirable properties for database schemes, represented as hypergraphs. In this paper, two complementary approaches to designing beta-acyclic database schemes have been presented. For the first part, a new notion called "independent cycle" is introduced. Based on this, a criterion for beta-acyclicity is developed and is shown equivalent to the existing definitions of beta-acyclicity. From this and the concept of the dual of a hypergraph, an efficient algorithm for testing beta-acyclicity is developed. As for the second part, a procedure is evolved for top-down generation of beta-acyclic schemes and its correctness is established. Finally, extensions and applications of ideas are described.
Resumo:
Association mapping seeks to identify marker alleles present at significantly different frequencies in cases carrying a particular disease or trait compared with controls. Genome-wide association studies are increasingly replacing candidate gene-based association studies for complex diseases, where a number of loci are likely to contribute to disease risk and the effect size of each particular risk allele is typically modest or low. Good study design is essential to the success of an association study, and factors such as the heritability of the disease under investigation, the choice of controls, statistical power, multiple testing and whether the association can be replicated need to be considered before beginning. Likewise, thorough quality control of the genotype data needs to be undertaken prior to running any association analyses. Finally, it should be kept in mind that a significant genetic association is not proof positive that a particular genetic locus causes a disease, but rather an important first step in discovering the genetic variants underlying a complex disease.