949 resultados para Proof.
Resumo:
While plums are traditionally bred for fresh fruit traits such as size, sweetness, yield and disease resistance the Queensland Government breeding program for Japanese plum ( Prunus salicina Lindl.) also selected for anthocyanin content to develop a new plum selection named 'Queen Garnet'. When ripe or overripe, it has a near black skin and deep red flesh colour, which when combined, result in exceptionally high anthocyanin content, reaching up to 277 mg/100 g fruit. The skin fraction contributes 36-66% of the total anthocyanin content of fruit. The plum is now being commercially grown to be processed into a range of functional products from food colourants to premium health products. These are sold on the basis of anthocyanin and antioxidant content. Protocols for increasing anthocyanin content have therefore been researched to maximise the total anthocyanin yield rather than fresh fruit weight and taste. The principal approach is through selective harvest of overripe plums high in colour, although post-harvest storage at 21°C results in further anthocyanin synthesis. Modified processing is also required to ensure recovery of anthocyanins from the skin fraction. The plum products have entered testing for assessing health properties beginning with an initial proof of in vivo bioavailability of the anthocyanins.
Resumo:
The efforts of combining quantum theory with general relativity have been great and marked by several successes. One field where progress has lately been made is the study of noncommutative quantum field theories that arise as a low energy limit in certain string theories. The idea of noncommutativity comes naturally when combining these two extremes and has profound implications on results widely accepted in traditional, commutative, theories. In this work I review the status of one of the most important connections in physics, the spin-statistics relation. The relation is deeply ingrained in our reality in that it gives us the structure for the periodic table and is of crucial importance for the stability of all matter. The dramatic effects of noncommutativity of space-time coordinates, mainly the loss of Lorentz invariance, call the spin-statistics relation into question. The spin-statistics theorem is first presented in its traditional setting, giving a clarifying proof starting from minimal requirements. Next the notion of noncommutativity is introduced and its implications studied. The discussion is essentially based on twisted Poincaré symmetry, the space-time symmetry of noncommutative quantum field theory. The controversial issue of microcausality in noncommutative quantum field theory is settled by showing for the first time that the light wedge microcausality condition is compatible with the twisted Poincaré symmetry. The spin-statistics relation is considered both from the point of view of braided statistics, and in the traditional Lagrangian formulation of Pauli, with the conclusion that Pauli's age-old theorem stands even this test so dramatic for the whole structure of space-time.
Resumo:
Our work focuses on the application of mesoporous silica nanoparticles as a combined delivery vehicle and adjuvant for vaccine applications. Here we present results using the viral protein, E2, from bovine viral diarrhoea virus (BVDV). BVDV infection occurs in the target species of cattle and sheep herds worldwide and is therefore of economic importance. E2 is a major immunogenic determinant of BVDV and is an ideal candidate for the development of a subunit based nanovaccine using mesoporous silica nanoparticles. Hollow type mesoporous silica nanoparticles with surface amino functionalisation (termed HMSA) were characterised and assessed for adsorption and desorption of E2. A codon-optimised version of the E2 protein (termed Opti-E2) was produced in Escherichia coli. HMSA (120 nm) had an adsorption capacity of 80 [small mu ]g Opti-E2 per mg HMSA and once bound E2 did not dissociate from the HMSA. Immunisation studies in mice with a 20 [small mu ]g dose of E2 adsorbed to 250 [small mu ]g HMSA was compared to immunisation with Opti-E2 (50 [small mu ]g) together with the traditional adjuvant Quillaja saponaria Molina tree saponins (QuilA, 10 [small mu ]g). The humoral responses with the Opti-E2/HMSA nanovaccine although slightly lower than those obtained for the Opti-E2 + QuilA group demonstrated that HMSA particles are an effective adjuvant that stimulated E2-specific antibody responses. Importantly the cell-mediated immune responses were consistently high in all mice immunised with Opti-E2/HMSA nanovaccine formulation. Therefore we have shown the Opti-E2/HMSA nanoformulation acts as an excellent adjuvant that gives both T-helper 1 and T-helper 2 mediated responses in a small animal model. This study has provided proof-of-concept towards the development of an E2 subunit nanoparticle based vaccine.
Resumo:
This article investigates teacher decision-making in a time of rapid educational reforms. Institutional ethnography is used to discover how teachers’ work is co-ordinated by the texts of a new national curriculum, and a system for the assessment and ratings of kindergarten, preschool and long day-care services in individual settings and across sites. The research draws on video recorded interview data gathered from five teachers working with three to five year old children in kindergarten classrooms throughout South East Queensland. Analysis shows the reported effects of policy regimes designed to improve the quality of learning young children experience, on classroom teachers’ work. Findings suggest that increasing levels of governance enacted through policy texts are creating an audit culture where teachers’ educational work with children is changing. The article argues that the reported workload associated with the production of evidence, and the focus on providing ‘proof of quality, is taking teachers away from time spent building educative relationships with children. Note: In Queensland, kindergarten caters for children aged three and a half to five years. This year is known as Preschool in some Australian states.
Resumo:
RECENT crystallographic studies of the dinucleosides ApU (ref. 1) and GpC (ref. 2) have given experimental proof for the base pairing arrangement proposed by Watson and Crick for the DNA double helix3. Another striking feature of this structure relates to the torsional angle about the C5'-C4' bond in the phosphate−sugar backbone chain. In the Crick and Watson model4, this conformation is gauche−trans (GT). Crystal structures of 5'-nucleotides, dinucleosides and dinucleotides so far studied, however, have shown only the gauche−gauche (GG) conformation about this bond. The GG conformer is also the only one found in the refined models of the proposed structure of the double helical nucleic acids and polynucleotides5−7. The only nucleotide with a GT conformation is 6-azauridine-5'-phosphate8 which is not a normal monomer unit of nucleic acids. It is also reported that 5'-dGMP assumes preferentially GT conformation in solution9.
Resumo:
Primarily correspondence relating to the Dropsie College for Hebrew and Cognate Learning, the Jewish encyclopedia, the Jewish Theological Seminary of America, the Smithsonian Institution and the American Jewish Historical Society. Contains also correspondence arranged alphabetically including letters from the staff of the American Hebrew, the American Jewish Committee, Theodor Herzl, the Jewish Agricultural and Industrial Aid Society, the Jewish Publication Society of America, Max J. Kohler, Louis Marshall, Jacob H. Schiff, Oscar S. Straus, Henrietta Szold, Stephen S. Wise and Israel Zangwill. Contains also material on the structure of the Jewish calendar, correspondence relating to the publication of the Jefferson Bible, correspondence and research material concerning Jewish servicemen in the Spanish-American War (published in the American Jewish year book, 1900-1901), a list of ... of the U.S. Congress, material ... immigration, the Jews in Rus ... cript proof articles from the Jewish quarterly review, numerous published articles by and ... Adler, and a large quantity of manuscript notes and material on Jewish history in general and American Jewish history in particular. Includes also David Sulzberger's collected data pertaining to the Jewish population in the United States-1900.
Resumo:
The goal of this research is to understand the function of allelic variation of genes underpinning the stay-green drought adaptation trait in sorghum in order to enhance yield in water-limited environments. Stay-green, a delayed leaf senescence phenotype in sorghum, is primarily an emergent consequence of the improved balance between the supply and demand of water. Positional and functional fine-mapping of candidate genes associated with stay-green in sorghum is the focus of an international research partnership between Australian (UQ/DAFFQ) and US (Texas A&M University) scientists. Stay-green was initially mapped to four chromosomal regions (Stg1, Stg2, Stg3, and Stg4) by a number of research groups in the US and Australia. Physiological dissection of near-isolines containing single introgressions of Stg QTL (Stg1-4) indicate that these QTL reduce water demand before flowering by constricting the size of the canopy, thereby increasing water availability during grain filling and, ultimately, grain yield. Stg and root angle QTL are also co-located and, together with crop water use data, suggest the role of roots in the stay-green phenomenon. Candidate genes have been identified in Stg1-4, including genes from the PIN family of auxin efflux carriers in Stg1 and Stg2, with 10 of 11 PIN genes in sorghum co-locating with Stg QTL. Modified gene expression in some of these PIN candidates in the stay-green compared with the senescent types has been found in preliminary RNA expression profiling studies. Further proof-of-function studies are underway, including comparative genomics, SNP analysis to assess diversity at candidate genes, reverse genetics and transformation.
Resumo:
This thesis is a study of a rather new logic called dependence logic and its closure under classical negation, team logic. In this thesis, dependence logic is investigated from several aspects. Some rules are presented for quantifier swapping in dependence logic and team logic. Such rules are among the basic tools one must be familiar with in order to gain the required intuition for using the logic for practical purposes. The thesis compares Ehrenfeucht-Fraïssé (EF) games of first order logic and dependence logic and defines a third EF game that characterises a mixed case where first order formulas are measured in the formula rank of dependence logic. The thesis contains detailed proofs of several translations between dependence logic, team logic, second order logic and its existential fragment. Translations are useful for showing relationships between the expressive powers of logics. Also, by inspecting the form of the translated formulas, one can see how an aspect of one logic can be expressed in the other logic. The thesis makes preliminary investigations into proof theory of dependence logic. Attempts focus on finding a complete proof system for a modest yet nontrivial fragment of dependence logic. A key problem is identified and addressed in adapting a known proof system of classical propositional logic to become a proof system for the fragment, namely that the rule of contraction is needed but is unsound in its unrestricted form. A proof system is suggested for the fragment and its completeness conjectured. Finally, the thesis investigates the very foundation of dependence logic. An alternative semantics called 1-semantics is suggested for the syntax of dependence logic. There are several key differences between 1-semantics and other semantics of dependence logic. 1-semantics is derived from first order semantics by a natural type shift. Therefore 1-semantics reflects an established semantics in a coherent manner. Negation in 1-semantics is a semantic operation and satisfies the law of excluded middle. A translation is provided from unrestricted formulas of existential second order logic into 1-semantics. Also game theoretic semantics are considerd in the light of 1-semantics.
Resumo:
The concept of an atomic decomposition was introduced by Coifman and Rochberg (1980) for weighted Bergman spaces on the unit disk. By the Riemann mapping theorem, functions in every simply connected domain in the complex plane have an atomic decomposition. However, a decomposition resulting from a conformal mapping of the unit disk tends to be very implicit and often lacks a clear connection to the geometry of the domain that it has been mapped into. The lattice of points, where the atoms of the decomposition are evaluated, usually follows the geometry of the original domain, but after mapping the domain into another this connection is easily lost and the layout of points becomes seemingly random. In the first article we construct an atomic decomposition directly on a weighted Bergman space on a class of regulated, simply connected domains. The construction uses the geometric properties of the regulated domain, but does not explicitly involve any conformal Riemann map from the unit disk. It is known that the Bergman projection is not bounded on the space L-infinity of bounded measurable functions. Taskinen (2004) introduced the locally convex spaces LV-infinity consisting of measurable and HV-infinity of analytic functions on the unit disk with the latter being a closed subspace of the former. They have the property that the Bergman projection is continuous from LV-infinity onto HV-infinity and, in some sense, the space HV-infinity is the smallest possible substitute to the space H-infinity of analytic functions. In the second article we extend the above result to a smoothly bounded strictly pseudoconvex domain. Here the related reproducing kernels are usually not known explicitly, and thus the proof of continuity of the Bergman projection is based on generalised Forelli-Rudin estimates instead of integral representations. The minimality of the space LV-infinity is shown by using peaking functions first constructed by Bell (1981). Taskinen (2003) showed that on the unit disk the space HV-infinity admits an atomic decomposition. This result is generalised in the third article by constructing an atomic decomposition for the space HV-infinity on a smoothly bounded strictly pseudoconvex domain. In this case every function can be presented as a linear combination of atoms such that the coefficient sequence belongs to a suitable Köthe co-echelon space.
Resumo:
We solve the Dynamic Ehrenfeucht-Fra\"iss\'e Game on linear orders for both players, yielding a normal form for quantifier-rank equivalence classes of linear orders in first-order logic, infinitary logic, and generalized-infinitary logics with linearly ordered clocks. We show that Scott Sentences can be manipulated quickly, classified into local information, and consistency can be decided effectively in the length of the Scott Sentence. We describe a finite set of linked automata moving continuously on a linear order. Running them on ordinals, we compute the ordinal truth predicate and compute truth in the constructible universe of set-theory. Among the corollaries are a study of semi-models as efficient database of both model-theoretic and formulaic information, and a new proof of the atomicity of the Boolean algebra of sentences consistent with the theory of linear order -- i.e., that the finitely axiomatized theories of linear order are dense.
Resumo:
Tools known as maximal functions are frequently used in harmonic analysis when studying local behaviour of functions. Typically they measure the suprema of local averages of non-negative functions. It is essential that the size (more precisely, the L^p-norm) of the maximal function is comparable to the size of the original function. When dealing with families of operators between Banach spaces we are often forced to replace the uniform bound with the larger R-bound. Hence such a replacement is also needed in the maximal function for functions taking values in spaces of operators. More specifically, the suprema of norms of local averages (i.e. their uniform bound in the operator norm) has to be replaced by their R-bound. This procedure gives us the Rademacher maximal function, which was introduced by Hytönen, McIntosh and Portal in order to prove a certain vector-valued Carleson's embedding theorem. They noticed that the sizes of an operator-valued function and its Rademacher maximal function are comparable for many common range spaces, but not for all. Certain requirements on the type and cotype of the spaces involved are necessary for this comparability, henceforth referred to as the “RMF-property”. It was shown, that other objects and parameters appearing in the definition, such as the domain of functions and the exponent p of the norm, make no difference to this. After a short introduction to randomized norms and geometry in Banach spaces we study the Rademacher maximal function on Euclidean spaces. The requirements on the type and cotype are considered, providing examples of spaces without RMF. L^p-spaces are shown to have RMF not only for p greater or equal to 2 (when it is trivial) but also for 1 < p < 2. A dyadic version of Carleson's embedding theorem is proven for scalar- and operator-valued functions. As the analysis with dyadic cubes can be generalized to filtrations on sigma-finite measure spaces, we consider the Rademacher maximal function in this case as well. It turns out that the RMF-property is independent of the filtration and the underlying measure space and that it is enough to consider very simple ones known as Haar filtrations. Scalar- and operator-valued analogues of Carleson's embedding theorem are also provided. With the RMF-property proven independent of the underlying measure space, we can use probabilistic notions and formulate it for martingales. Following a similar result for UMD-spaces, a weak type inequality is shown to be (necessary and) sufficient for the RMF-property. The RMF-property is also studied using concave functions giving yet another proof of its independence from various parameters.
Resumo:
This work combines the cognitive theory of folk-theoretical thought with the classical Aristotelian theory of artistic proof in rhetoric. The first half of the work discusses the common ground shared by the elements of artistic proof (logos, pathos, ethos) and the elements of folk-theoretical thought (naïve physics, folk biology, folk psychology, naïve sociology). Combining rhetoric with the cognitive theory of folk-theoretical thought creates a new point of view for argumentation analysis. The logos of an argument can be understood as the inferential relations established between the different parts of an argument. Consequently, within this study the analysis of logos is to be viewed as the analysis of the inferential folk-theoretical elements that make the suggested factual states-of-things appear plausible within given argumentative structures. The pathos of an argumentative structure can be understood as determining the quality of the argumentation in question in the sense that emotive elements play a great part in what can be called a distinction between good and deceptive rhetoric. In the context of this study the analysis of pathos is to be viewed as the analysis of the emotive content of argumentative structures and of whether they aim at facilitating surface- or deep cognitive elaboration of the suggested matters. The ethos of an argumentative structure means both the speaker-presentation and audience-construct that can be discerned within a body of argumentation. In the context of this study, the analysis of ethos is to be understood as the analysis of mutually manifest cognitive environments in the context of argumentation. The theory is used to analyse Catholic Internet discussion concerning cloning. The discussion is divided into six themes: Human Dignity, Sacred Family, Exploitation / Dehumanisation, Playing God, Monsters and Horror Scenarios and Ensoulment. Each theme is analysed for both the rhetorical and the cognitive elements that can be seen creating persuasive force within the argumentative structures presented. It is apparent that the Catholic voices on the Internet extensively oppose cloning. The voices utilise rhetoric that is aggressive and pejorative more often than not. Furthermore, deceptive rhetoric (in the sense presented above) plays a great part in argumentative structures of the Catholic voices. The theory of folk-theoretical thought can be seen as a useful tool for analysing the possible reasons why the Catholic speakers think about cloning and choose to present cloning in their argumentation as they do. The logos utilized in the argumentative structures presented can usually be viewed as based on folk-theoretical inference concerning biology and psychology. The structures of pathos utilized generally appear to aim at generating fear appeal in the assumed audiences, often incorporating counter-intuitive elements. The ethos utilised in the arguments generally revolves around Christian mythology and issues of social responsibility. These structures can also be viewed from the point of view of folk psychology and naïve sociological assumptions.
Resumo:
Anti-Semitism existed in Finland during the whole period covered by this study. The immoral acts associated with Jews in the articles were mostly regarded as universal habits, qualities and/or modes of action, that is, unconnected with any particular Finnish Jew. Researchers have tried to explain anti-Semitism in several ways. The theory of Jews as outsiders has been a popular explanation as well as xenophobia, chimerical anti-Semitism and the socio-economic models. The main sources of this study have been over 400 Finnish periodicals and magazines, literature and text books published between 1918 and 1944. This vast number of magazines includes those of the army and the civil guard, religion, humour and the papers of the Finnish extreme right. One can see a distinct foreign and especially German influence in the subjects and phraseology of Finnish anti-Semitic writings between 1918 and 1944. Several known Finnish anti-Semitic writers had some kind of link with Germany. Some Finnish organisations and societies were openly anti-Semitic during this period. There had been cycles in the activity of anti-Semitic writing in Finland, obvious peaks appearing in 1918 1919, 1929 1931, 1933 1938 and 1942 1944. The reason for the 1918 1919 activity was the civil rights which were granted to the Jews in Finland, and the Russian Bolshevik revolution. The worldwide depression from 1929 to 1932 seem to be the reason for new anti-Semitic writing activity. The rise of National Socialism in Germany and the influence this phenomenon had in Finland was the reason for the peak during 1933 1938. During the continuation war 1942 1944 National Socialist Germany was fighting side-by-side with Finland and their anti-Semitic propaganda found easier access to Finland. Of the 433 magazines, journals and newspapers which were used in this study, 71 or 16.4 per cent had at least one article that can be identified as anti-Semitic; especially the magazines of national socialists and other extreme right parties were making anti-Semitic annotations. There were about 50 people known to have written anti-Semitic articles. At least half of these known writers had studied at the university, including as many as 10 priests. Over and above these, there was an even larger number of people who wrote under a pseudonym. The material used suggested that anti-Semitism was not very popular in Finland between 1918 and 1944. Anti-Semitic articles appeared mostly in the magazines of the extreme right, but their circulation was not very large. A proof of the slight influence of these extreme right anti-Semitic ideas is that, beside the tightening of policy towards Jewish immigrants in 1938 and the handing over of eight of these refugees to Germany in 1942, the official policy of Finland never became anti-Semitic. As was stated before, despite the cycles in the number of writings, there does not appear to have been any noticeable change in public opinion. One must also remember that most Finns had not at that period actually met a Jew. The material used suggests that between 1918 and 1944 the so-called Jewish question was seemingly unimportant for most Finns and their attitude to Jews and Jewishness can be described as neutral.
Resumo:
In April 2014, the World Health Organization announced the beginning of a post-antibiotic era and declared antimicrobial resistance (AMR) a public health priority demanding global action. If no action is taken, by 2050 AMR will kill more people each year than cancer, with 10 million estimated annual deaths at a cost of $100 trillion to the global economy. New therapies to tackle multidrug resistant bacterial pathogens are urgently needed. Unlike traditional antibiotics, antivirulence drugs inhibit bacterial virulence instead of growth promising to offer a new class of superior therapeutics that will be ‘evolution-proof and ‘tailored-spectrum’. This mini-review discusses the latest emerging evidence on the promised benefits of antivirulence drugs over conventional antibiotics, also highlighting the challenges in evaluating these properties for each of the diverse virulence targets that are currently under investigation. The author argues that overcoming such challenges early in the development process constitutes an important step towards successfully progressing each of the expanding number of antivirulence strategies into next-generation therapies for common human and animal infections that are becoming increasingly refractory to all available antibiotics.
Resumo:
The work covered in this thesis is focused on the development of technology for bioconversion of glucose into D-erythorbic acid (D-EA) and 5-ketogluconic acid (5-KGA). The task was to show on proof-of-concept level the functionality of the enzymatic conversion or one-step bioconversion of glucose to these acids. The feasibility of both studies to be further developed for production processes was also evaluated. The glucose - D-EA bioconversion study was based on the use of a cloned gene encoding a D-EA forming soluble flavoprotein, D-gluconolactone oxidase (GLO). GLO was purified from Penicillium cyaneo-fulvum and partially sequenced. The peptide sequences obtained were used to isolate a cDNA clone encoding the enzyme. The cloned gene (GenBank accession no. AY576053) is homologous to the other known eukaryotic lactone oxidases and also to some putative prokaryotic lactone oxidases. Analysis of the deduced protein sequence of GLO indicated the presence of a typical secretion signal sequence at the N-terminus of the enzyme. No other targeting/anchoring signals were found, suggesting that GLO is the first known lactone oxidase that is secreted rather than targeted to the membranes of the endoplasmic reticulum or mitochondria. Experimental evidence supports this analysis, as near complete secretion of GLO was observed in two different yeast expression systems. Highest expression levels of GLO were obtained using Pichia pastoris as an expression host. Recombinant GLO was characterised and the suitability of purified GLO for the production of D-EA was studied. Immobilised GLO was found to be rapidly inactivated during D-EA production. The feasibility of in vivo glucose - D-EA conversion using a P. pastoris strain co-expressing the genes of GLO and glucose oxidase (GOD, E.C. 1.1.3.4) of A. niger was demonstrated. The glucose - 5-KGA bioconversion study followed a similar strategy to that used in the D-EA production research. The rationale was based on the use of a cloned gene encoding a membrane-bound pyrroloquinoline quinone (PQQ)-dependent gluconate 5-dehydrogenase (GA 5-DH). GA 5-DH was purified to homogeneity from the only source of this enzyme known in literature, Gluconobacter suboxydans, and partially sequenced. Using the amino acid sequence information, the GA 5-DH gene was cloned from a genomic library of G. suboxydans. The cloned gene was sequenced (GenBank accession no. AJ577472) and found to be an operon of two adjacent genes encoding two subunits of GA 5-DH. It turned out that GA 5-DH is a rather close homologue of a sorbitol dehydrogenase from another G. suboxydans strain. It was also found that GA 5-DH has significant polyol dehydrogenase activity. The G. suboxydans GA 5-DH gene was poorly expressed in E. coli. Under optimised conditions maximum expression levels of GA 5-DH did not exceed the levels found in wild-type G. suboxydans. Attempts to increase expression levels resulted in repression of growth and extensive cell lysis. However, the expression levels were sufficient to demonstrate the possibility of bioconversion of glucose and gluconate into 5-KGA using recombinant strains of E. coli. An uncharacterised homologue of GA 5-DH was identified in Xanthomonas campestris using in silico screening. This enzyme encoded by chromosomal locus NP_636946 was found by a sequencing project of X. campestris and named as a hypothetical glucose dehydrogenase. The gene encoding this uncharacterised enzyme was cloned, expressed in E. coli and found to encode a gluconate/polyol dehydrogenase without glucose dehydrogenase activity. Moreover, the X. campestris GA 5-DH gene was expressed in E. coli at nearly 30 times higher levels than the G. suboxydans GA 5-DH gene. Good expressability of the X. campestris GA-5DH gene makes it a valuable tool not only for 5-KGA production in the tartaric acid (TA) bioprocess, but possibly also for other bioprocesses (e.g. oxidation of sorbitol into L-sorbose). In addition to glucose - 5-KGA bioconversion, a preliminary study of the feasibility of enzymatic conversion of 5-KGA into TA was carried out. Here, the efficacy of the first step of a prospective two-step conversion route including a transketolase and a dehydrogenase was confirmed. It was found that transketolase convert 5-KGA into TA semialdehyde. A candidate for the second step was suggested to be succinic dehydrogenase, but this was not tested. The analysis of the two subprojects indicated that bioconversion of glucose to TA using X. campestris GA 5-DH should be prioritised first and the process development efforts in future should be focused on development of more efficient GA 5-DH production strains by screening a more suitable production host and by protein engineering.