983 resultados para answer set programming
Resumo:
Considerable research has focused on the success of early intervention programs for children. However, minimal research has focused on the effect these programs have on the parents of targeted children. Many current early intervention programs champion family-focused and inclusive programming, but few have evaluated parent participation in early interventions and fewer still have evaluated the impact of these programs on beliefs and attitudes and parenting practices. Since parents will continue to play a key role in their child's developmental course long after early intervention programs end, it is vital to examine whether these programs empower parents to take action to make changes in the lives of their children. The goal of this study was to understand parental influences on the early development of literacy, and in particular how parental attitudes, beliefs and self efficacy impact parent and child engagement in early literacy intervention activities. A mixed method procedure using quantitative and qualitative strategies was employed. A quasi-experimental research design was used. The research sample, sixty parents who were part of naturally occurring community interventions in at- risk neighbourhoods in a south-western Ontario city participated in the quantitative phase. Largely individuals whose home language was other than English, these participants were divided amongst three early literacy intervention groups, a Prescriptive Interventionist type group, a Participatory Empowering type group and a drop-in parent- child neighbourhood Control group. Measures completed pre and post a six session literacy intervention, on all three literacy and evidence of change in parental empowerment. Parents in all three groups, on average, held beliefs about early literacy that were positive and that were compatible with current approaches to language development and emergent literacy. No significant change in early literacy beliefs and attitudes for pre to post intervention was found. Similarly, there was no significant difference between groups on empowerment scores, but there was a significant change post intervention in one group's empowerment score. There was a drop in the empowerment score for the Prescriptive Interventionist type group, suggesting a drop in empowerment level. The qualitative aspect of this study involved six in-depth interviews completed with a sub-set of the sixty research participants. Four similar themes emerged across the groups: learning takes place across time and place; participation is key; success is achieved by taking small steps; and learning occurs in multiple ways. The research findings have important implications for practitioners and policy makers who target at risk populations with early intervention programming and wish to sustain parental empowerment. Study results show the value parents place on early learning and point to the importance of including parents in the development and delivery of early intervention programs. groups, were analyzed for evidence of change in parental attitudes and beliefs about early literacy and evidence of change in parental empowerment. Parents in all three groups, on average, held beliefs about early literacy that were positive and that were compatible with current approaches to language development and emergent literacy. No significant change in early literacy beliefs and attitudes for pre to post intervention was found. Similarly, there was no significant difference between groups on empowerment scores, but there was a significant change post intervention in one group's empowerment score. There was a drop in the empowerment score for the Prescriptive Interventionist type group, suggesting a drop in empowerment level. The qualitative aspect of this study involved six in-depth interviews completed with a sub-set of the sixty research participants. Four similar themes emerged across the groups: learning takes place across time and place; participation is key; success is achieved by taking small steps; and learning occurs in multiple ways. The research findings have important implications for practitioners and policy makers who target at risk populations with early intervention programming and wish to sustain parental empowerment. Study results show the value parents place on early learning and point to the importance of including parents in the development and delivery of early intervention programs.
Resumo:
It was the purpose of this study to investigate attitudes toward leadership development education of one client group served by the ontario Ministry of Agriculture and Food. The survey, answered by 175 participants, attempted to answer the following questions: (a) What is a common definition of leadership?, (b) What leadership concepts are important to leadership development education? and, (c) What are client attitudes toward leadership development education? A descriptive research approach was used and the data were analyzed according to a model developed by Colaizzi. Concept maps were developed under the broad areas of: (a) Developing leader qualities; (b) Past experiences that developed leadership skills that worked on the jOb; (c) Leadership skills developed from present day positions; and (d) How leadership skills may be developed in future situations. A description of the dynamics of leadership development was written and the essential dynamics of leadership skill development in one volunteer organization was described. This study supports the linkages perspective of leadership within voluntary organizations developed by Vandenberg, Thullen and Fear (1987). The linkages perspective consists of three major components: perception, property and process. As a perception, leadership is the set of beliefs each group member holds regarding the behaviours and qualities characteristic of effective leaders. As a property, leadership represents the qualities attributed by group members to persons perceived as effectively (or potentially) influencing the goal achievement process. As a process, leadership involves the use of non-coercive influence to facilitate group accomplishment of valued goals. Leadership concepts important for development in a leadership development education program related to personal, organizational and societal development. The top five concepts in terms of rank order are communicating effectively, forming and working with groups, working creatively (tie), developing followers, managing meetings, directing projects or activities, understanding financial matters, managing negotiations (tie), developing resources and understanding and developing oneself (tie). Several recommendations are relevant for extension personnel as educators. Theoretical concepts on leadership need to be shared to extension practitioners involved in leadership development. currently used teaching materials for leadership development should be evaluated to see if they include concepts from preferrred theoretical leadership perceptions.
Resumo:
It is our intention in the course of the development of this thesis to give an account of how intersubjectivity is "eidetically" constituted by means of the application of the phenomenological reduction to our experience in the context of the thought of Edmund Husserl; contrasted with various representative thinkers in what H. Spiegelberg refers to as "the wider scene" of phenomenology. That is to say, we intend to show those structures of both consciousness and the relation which man has to the world which present themselves as the generic conditions for the possibility of overcoming our "radical sol itude" in order that we may gain access to the mental 1 ife of an Other as other human subject. It is clear that in order for us to give expression to these accounts in a coherent manner, along with their relative merits, it will be necessary to develop the common features of any phenomenological theory of consdousness whatever. Therefore, our preliminary inquiry, subordinate to the larger theme, shall be into some of the epistemological results of the application of the phenomenological method used to develop a transcendental theory of consciousness. Inherent in this will be the deliniation of the exigency for making this an lIintentional ll theory. We will then be able to see how itis possible to overcome transcendentally the Other as an object merely given among other merely given objects, and further, how this other is constituted specifically as other ego. The problem of transcendental intersubjectivity and its constitution in experience can be viewed as one of the most compelling, if not the most polemical of issues in phenomenology. To be sure, right from the beginning we are forced to ask a number of questions regarding Husserl's responses to the problem within the context of the methodological genesis of the Cartesian Meditations, and The Crisis of European Sciences and Transcendental Phenomenology. This we do in order to set the stage for amplification. First, we ask, has Husserl lived up to his goal, in this connexion, of an apodictic result? We recall that in his Logos article of 1911 he adminished that previous philosophy does not have at its disposal a merely incomplete and, in particular instances, imperfect doctrinal system; it simply has none whatever. Each and every question is herein controverted, each position is a matter of individual conviction, of the interpretation given byaschool, of a "point of view". 1. Moreover in the same article he writes that his goal is a philosophical system of doctrine that, after the gigantic preparatory work. of generations, really be- . gins from the ground up with a foundation free from doubt and rises up like any skilful construction, wherein stone is set upon store, each as solid as the other, in accord with directive insights. 2. Reflecting upon the fact that he foresaw "preparatory work of generations", we perhaps should not expect that he would claim that his was the last word on the matter of intersubjectivity. Indeed, with 2. 'Edmund Husserl, lIPhilosophy as a Rigorous Science" in Phenomenology and theCrisis6fPhilosophy, trans". with an introduction by Quentin Lauer (New York.: Harper & Row, 1965) pp. 74 .. 5. 2Ibid . pp. 75 .. 6. 3. the relatively small amount of published material by Husserl on the subject we can assume that he himself was not entirely satisfied with his solution. The second question we have is that if the transcendental reduction is to yield the generic and apodictic structures of the relationship of consciousness to its various possible objects, how far can we extend this particular constitutive synthetic function to intersubjectivity where the objects must of necessity always remain delitescent? To be sure, the type of 'object' here to be considered is unlike any other which might appear in the perceptual field. What kind of indubitable evidence will convince us that the characteristic which we label "alter-ego" and which we attribute to an object which appears to resemble another body which we have never, and can never see the whole of (namely, our own bodies), is nothing more than a cleverly contrived automaton? What;s the nature of this peculiar intentional function which enables us to say "you think just as I do"? If phenomenology is to take such great pains to reduce the takenfor- granted, lived, everyday world to an immanent world of pure presentation, we must ask the mode of presentation for transcendent sub .. jectivities. And in the end, we must ask if Husserl's argument is not reducible to a case (however special) of reasoning by analogy, and if so, tf this type of reasoning is not so removed from that from whtch the analogy is made that it would render all transcendental intersubjective understandtng impos'sible? 2. HistoticalandEidetic Priority: The Necessity of Abstraction 4. The problem is not a simple one. What is being sought are the conditions for the poss ibili:ty of experi encing other subjects. More precisely, the question of the possibility of intersubjectivity is the question of the essence of intersubjectivity. What we are seeking is the absolute route from one solitude to another. Inherent in this programme is the ultimate discovery of the meaning of community. That this route needs be lIabstract" requires some explanation. It requires little explanation that we agree with Husserl in the aim of fixing the goal of philosophy on apodictic, unquestionable results. This means that we seek a philosophical approach which is, though, not necessarily free from assumptions, one which examines and makes explicit all assumptions in a thorough manner. It would be helpful at this point to distinguish between lIeidetic ll priority, and JlhistoricallJpriority in order to shed some light on the value, in this context, of an abstraction.3 It is true that intersubjectivity is mundanely an accomplished fact, there havi.ng been so many mi.llions of years for humans to beIt eve in the exi s tence of one another I s abili ty to think as they do. But what we seek is not to study how this proceeded historically, but 3Cf• Maurice Natanson;·TheJburne in 'Self, a Stud in Philoso h and Social Role (Santa Cruz, U. of California Press, 1970 . rather the logical, nay, "psychological" conditions under which this is possible at all. It is therefore irrelevant to the exigesis of this monograph whether or not anyone should shrug his shoulders and mumble IIwhy worry about it, it is always already engaged". By way of an explanation of the value of logical priority, we can find an analogy in the case of language. Certainly the language 5. in a spoken or written form predates the formulation of the appropriate grammar. However, this grammar has a logical priority insofar as it lays out the conditions from which that language exhibits coherence. The act of formulating the grammar is a case of abstraction. The abstraction towards the discovery of the conditions for the poss; bi 1 ity of any experiencing whatever, for which intersubjective experience is a definite case, manifests itself as a sort of "grammar". This "grammar" is like the basic grammar of a language in the sense that these "rulesil are the ~ priori conditions for the possibility of that experience. There is, we shall say, an "eidetic priority", or a generic condition which is the logical antecedent to the taken-forgranted object of experience. In the case of intersubjectivity we readily grant that one may mundanely be aware of fellow-men as fellowmen, but in order to discover how that awareness is possible it is necessary to abstract from the mundane, believed-in experience. This process of abstraction is the paramount issue; the first step, in the search for an apodictic basis for social relations. How then is this abstraction to be accomplished? What is the nature of an abstraction which would permit us an Archimedean point, absolutely grounded, from which we may proceed? The answer can be discovered in an examination of Descartes in the light of Husserl's criticism. 3. The Impulse for Scientific Philosophy. The Method to which it Gives Rise. 6. Foremost in our inquiry is the discovery of a method appropriate to the discovery of our grounding point. For the purposes of our investigations, i.e., that of attempting to give a phenomenological view of the problem of intersubjectivity, it would appear to be of cardinal importance to trace the attempt of philosophy predating Husserl, particularly in the philosophy of Descartes, at founding a truly IIscientific ll philosophy. Paramount in this connexion would be the impulse in the Modern period, as the result of more or less recent discoveries in the natural sciences, to found philosophy upon scientific and mathematical principles. This impulse was intended to culminate in an all-encompassing knowledge which might extend to every realm of possible thought, viz., the universal science ot IIMathexis Universalis ll •4 This was a central issue for Descartes, whose conception of a universal science would include all the possible sciences of man. This inclination towards a science upon which all other sciences might be based waS not to be belittled by Husserl, who would appropriate 4This term, according to Jacab Klein, was first used by Barocius, the translator of Proclus into Latin, to designate the highest mathematical discipline. . 7. it himself in hopes of establishing, for the very first time, philosophy as a "rigorous science". It bears emphasizing that this in fact was the drive for the hardening of the foundations of philosophy, the link between the philosophical projects of Husserl and those of the philosophers of the modern period. Indeed, Husserl owes Descartes quite a debt for indicating the starting place from which to attempt a radical, presupositionless, and therefore scientific philosophy, in order not to begin philosophy anew, but rather for the first time.5 The aim of philosophy for Husserl is the search for apodictic, radical certitude. However while he attempted to locate in experience the type of necessity which is found in mathematics, he wished this necessity to be a function of our life in the world, as opposed to the definition and postulation of an axiomatic method as might be found in the unexpurgated attempts to found philosophy in Descartes. Beyond the necessity which is involved in experiencing the world, Husserl was searching for the certainty of roots, of the conditi'ons which underl ie experience and render it pOssible. Descartes believed that hi~ MeditatiOns had uncovered an absolute ground for knowledge, one founded upon the ineluctable givenness of thinking which is present even when one doubts thinking. Husserl, in acknowledging this procedure is certainly Cartesian, but moves, despite this debt to Descartes, far beyond Cartesian philosophy i.n his phenomenology (and in many respects, closer to home). 5Cf. Husserl, Philosophy as a Rigorous Science, pp. 74ff. 8 But wherein lies this Cartesian jumping off point by which we may vivify our theme? Descartes, through inner reflection, saw that all of his convictions and beliefs about the world were coloured in one way or another by prejudice: ... at the end I feel constrained to reply that there is nothing in a all that I formerly believed to be true, of which I cannot in some measure doubt, and that not merely through want of thought or through levity, but for reasons which are very powerful and maturely considered; so that henceforth I ought not the less carefully to refrain from giving credence to these opinions than to that which is manifestly false, if I desire to arrive at any certainty (in the sciences). 6 Doubts arise regardless of the nature of belief - one can never completely believe what one believes. Therefore, in order to establish absolutely grounded knowledge, which may serve as the basis fora "universal Science", one must use a method by which one may purge oneself of all doubts and thereby gain some radically indubitable insight into knowledge. Such a method, gescartes found, was that, as indicated above by hi,s own words, of II radical doubt" which "forbids in advance any judgemental use of (previous convictions and) which forbids taking any position with regard to their val idi'ty. ,,7 This is the method of the "sceptical epoche ll , the method of doubting all which had heretofor 6Descartes,Meditations on First Philosophy, first Med., (Libera 1 Arts Press, New York, 1954) trans. by L. LaFl eur. pp. 10. 7Husserl ,CrisiS of Eliroeari SCiences and Trariscendental Phenomenology, (Northwestern U. Press, Evanston, 1 7 ,p. 76. 9. been considered as belonging to the world, including the world itself. What then is left over? Via the process of a thorough and all-inclusive doubting, Descartes discovers that the ego which performs the epoche, or "reduction", is excluded from these things which can be doubted, and, in principle provides something which is beyond doubt. Consequently this ego provides an absolute and apodictic starting point for founding scientific philosophy. By way of this abstention. of bel ief, Desca'rtes managed to reduce the worl d of everyday 1 ife as bel ieved in, to mere 'phenomena', components of the rescogitans:. Thus:, having discovered his Archimedean point, the existence of the ego without question, he proceeds to deduce the 'rest' of the world with the aid of innate ideas and the veracity of God. In both Husserl and Descartes the compelling problem is that of establ ishing a scientific, apodictic phi'losophy based upon presuppos itionless groundwork .. Husserl, in thi.s regard, levels the charge at Descartes that the engagement of his method was not complete, such that hi.S: starting place was not indeed presupositionless, and that the validity of both causality and deductive methods were not called into question i.'n the performance of theepoche. In this way it is easy for an absolute evidence to make sure of the ego as: a first, "absolute, indubitablyexisting tag~end of the worldll , and it is then only a matter of inferring the absolute subs.tance and the other substances which belon.g to the world, along with my own mental substance, using a logically val i d deductive procedure. 8 8Husserl, E.;' Cartesian 'Meditation;, trans. Dorion Cairns (Martinus Nijhoff, The Hague, 1970), p. 24 ff.
Resumo:
A system comprised of a Bomem interferometer and a LT3-110 Heli-Tran cryostat was set up to measure the reflectance of materials in the mid-infrared spectral region. Several tests were conducted to ensure the consistency and reliability of the system. Silicon and Chromium, two materials with well known optical properties were measured to test the accuracy of the system, and the results were found to be in good agreement with the literature. Reflectance measurements on pure SnTe and several Pb and Mn-doped alloys were carried out. These materials were chosen because they exhibit a strong plasma edge in the mid infrared region. The optical conductivity and several related optical parameters were calculated from the measured reflectance. Very low temperature measurements were carried out in the far-infrared on Sn9SMn2Te, and the results are indicative of a spin glass phase at 0.8 K. Resistivity measurements were made at room temperature. The resistivity values were found, as expected, to decrease with increasing carrier concentration and to increase with increasing manganese concentration.
Resumo:
A review of literature revealed that the control of cigarette smoking could do more to improve health than any other single action in the field of preventive medicine. In Ontario, since 1989, both Public Health Units and Boards ofEducations have been mandated to provide educational studies related to tobacco use prevention. Even given this fact, there has been an increase in smoking behaviQurs at an earlier age and in females in particular. Smoking prevention progralns must use the most effective means to assist students to obtain the knowledge and skills required to remain or becom'e nonsmokers. In the Niagara Region, PAL smoking prevention programs are offered in some, but not all, schools. As a form of program evaluation, this research sought to determine if students who had PAL could answer correctly a greater number of smoking-related questions than students who did not have this program. Findings reported that students who had PAL in Grade 6 were able to correctly answer more knowledge-based questions (at a statistically significant level), could provide ways to refuse cigarettes at a greater rate, and were able to provide more reasons for remaining nonsmokers. Students who had smoking prevention programming re,ported smoking behavio'urs at a lower rate than those who did not receive this type of program.
Resumo:
A system comprised of a Martin-Puplett type polarizing interferometer and a Helium-3 cryostat was developed to study the transmission of materials in the very-far-infrared region of the spectrum. This region is of significant interest due to the low-energy excitations which many materials exhibit. The experimental transmission spectrum contains information concerning the optical properties of the material. The set-up of this system is described in detail along with the adaptations and improvements which have been made to the system to ensure the best results. Transmission experiments carried out with this new set-up for two different varieties of materials: superconducting thin films of lead and biological proteins, are discussed. Several thin films of lead deposited on fused silica quartz substrates were studied. From the ratio of the transmission in the superconducting state to that in the normal state the superconducting energy gap was determined to be approximately 25 cm-1 which corresponds to 2~/kBTc rv 5 in agreement with literature data. Furthermore, in agreement with theoretical predictions, the maximum in the transmission ratio was observed to increase as the film thickness was increased. These results provide verification of the system's ability to accurately measure the optical properties of thin low-Tc superconducting films. Transmission measurements were carried out on double deionized water, and a variety of different concentrations by weight of the globular protein, Bovine Serum Albumin, in the sol, gel and crystalline forms. The results of the water study agree well with literature values and thus further illustrate the reproducibility of the system. The results of the protein experiments, although preliminary, indicate that as the concentration increases the samples become more transparent. Some weak structure in the frequency dependent absorption coefficient, which is more prominent in crystalline samples, may be due to low frequency vibrations of the protein molecules.
Resumo:
The present study examined individual differences in Absorption and fantasy, as well as in Achiievement and achievement striving as possible moderators of the perceptual closure effect found by Snodgrass and Feenan (1990). The study also examined whether different instructions (experiential versus instrumental) interact with the personality variables to moderate the relationship between priming and subsequent performance on a picture completion task. 1 28 participants completed two sessions, one to fill out the MPQ and NEO personality inventories and the other to complete the experimental task. The experimental task consisted of a priming phase and a test phase, with pictures presented on a computer screen for both phases. Participants were shown 30 pictures in the priming phase, and then shovm the 30 primed pictures along with 30 new pictures for the test phase. Participants were randomly assigned to receive one of the two different instruction sets for the task. Two measures of performance were calculated, most fragmented measure and threshold. Results of the present study confirm that a five-second exposure time is long enough to produce the perceptual closure effect. The analysis of the two-way interaction effects indicated a significant quadratic interaction of Absorption with priming level on threshold performance. The results were in the opposite direction of predictions. Possible explanations for the Absorption results include lack of optimal conditions, lack of intrinsic motivation and measurement problems. Primary analyses also revealed two significant between-subject effects of fantasy and achievement striving on performance collapsed across priming levels. These results suggest that fantasy has a beneficial effect on performance at test for pictures primed at all levels, whereas achievement striving seems to have an adverse effect on performance at test for pictures primed at all levels. Results of the secondary analyses with a revised threshold performance measure indicated a significant quadratic interaction of Absorption, condition and priming level. In the experiential condition, test performance, based on Absorption scores for pictures primed at level 4, showed a positive slope and performance for pictures primed at levels 1 and 7 based on Absorption showed a negative slope. The reverse effect was found in the instrumental condition. The results suggest that Absorption, in combination with experiential involvement, may affect implicit memory. A second significant result of the secondary analyses was a linear three-way interaction of Achievement, condition and priming level on performance. Results suggest that as Achievement scores increased, test performance improved for less fragmented primed pictures in the instrumental condition and test performance improved for more highly fragmented primes in the experiential condition. Results from the secondary analyses suggest that the revised threshold measure may be more sensitive to individual differences. Results of the exploratory analyses with Openness to Experience, Conscientiousness and agentic positive emotionality (PEM-A) measures indicated no significant effects of any of these personality variables. Results suggest that facets of the scales may be more useful with regard to perceptual research, and that future research should examine narrowly focused personality traits as opposed to broader constructs.
Resumo:
January 6, 1814. Ordered to lie on the table.
Resumo:
This research studioo the effect of integrated instruction in mathematics and~ science on student achievement in and attitude towards both mathematics and science. A group of grade 9 academic students received instruction in both science and mathematics in an integrated program specifically developed for the purposes of the research. This group was compared to a control group that had received science and mathematics instruction in a traditional, nonintegrated program. The findings showed that in all measures of attitude, there was no significant difference between the students who participated in the integrated science and mathematics program and those who participated in a traditional science and mathematics program. The findings also revealed that integration did improve achievement on some of the measures used. The performance on mathematics open-ended problem-solving tasks improved after participation in the integrated program, suggesting that the integrated students were better able to apply their understanding of mathematics in a real-life context. The performance on the final science exam was also improved for the integrated group. Improvement was not noted on the other measures, which included EQAO scores and laboratory practical tasks. These results raise the issue of the suitability of the instruments used to gauge both achievement and attitude. The accuracy and suitability of traditional measures of achievement are considered. It is argued that they should not necessarily be used as the measure of the value of integrated instruction in a science and mathematics classroom.
Resumo:
A feature-based fitness function is applied in a genetic programming system to synthesize stochastic gene regulatory network models whose behaviour is defined by a time course of protein expression levels. Typically, when targeting time series data, the fitness function is based on a sum-of-errors involving the values of the fluctuating signal. While this approach is successful in many instances, its performance can deteriorate in the presence of noise. This thesis explores a fitness measure determined from a set of statistical features characterizing the time series' sequence of values, rather than the actual values themselves. Through a series of experiments involving symbolic regression with added noise and gene regulatory network models based on the stochastic 'if-calculus, it is shown to successfully target oscillating and non-oscillating signals. This practical and versatile fitness function offers an alternate approach, worthy of consideration for use in algorithms that evaluate noisy or stochastic behaviour.
Resumo:
This thesis will introduce a new strongly typed programming language utilizing Self types, named Win--*Foy, along with a suitable user interface designed specifically to highlight language features. The need for such a programming language is based on deficiencies found in programming languages that support both Self types and subtyping. Subtyping is a concept that is taken for granted by most software engineers programming in object-oriented languages. Subtyping supports subsumption but it does not support the inheritance of binary methods. Binary methods contain an argument of type Self, the same type as the object itself, in a contravariant position, i.e. as a parameter. There are several arguments in favour of introducing Self types into a programming language (11. This rationale led to the development of a relation that has become known as matching [4, 5). The matching relation does not support subsumption, however, it does support the inheritance of binary methods. Two forms of matching have been proposed (lJ. Specifically, these relations are known as higher-order matching and I-bound matching. Previous research on these relations indicates that the higher-order matching relation is both reflexive and transitive whereas the f-bound matching is reflexive but not transitive (7]. The higher-order matching relation provides significant flexibility regarding inheritance of methods that utilize or return values of the same type. This flexibility, in certain situations, can restrict the programmer from defining specific classes and methods which are based on constant values [21J. For this reason, the type This is used as a second reference to the type of the object that cannot, contrary to Self, be specialized in subclasses. F-bound matching allows a programmer to define a function that will work for all types of A', a subtype of an upper bound function of type A, with the result type being dependent on A'. The use of parametric polymorphism in f-bound matching provides a connection to subtyping in object-oriented languages. This thesis will contain two main sections. Firstly, significant details concerning deficiencies of the subtype relation and the need to introduce higher-order and f-bound matching relations into programming languages will be explored. Secondly, a new programming language named Win--*Foy Functional Object-Oriented Programming Language has been created, along with a suitable user interface, in order to facilitate experimentation by programmers regarding the matching relation. The construction of the programming language and the user interface will be explained in detail.
Resumo:
January 6, 1814. Ordered to lie on the table. -------------------------------------------------------------------------------- At head of title: [22]. -------------------------------------------------------------------------------- 13th Congress, 2nd Session, House. Doc. 22. Printed by Roger C. Weightman
Resumo:
The aim of this thesis is to price options on equity index futures with an application to standard options on S&P 500 futures traded on the Chicago Mercantile Exchange. Our methodology is based on stochastic dynamic programming, which can accommodate European as well as American options. The model accommodates dividends from the underlying asset. It also captures the optimal exercise strategy and the fair value of the option. This approach is an alternative to available numerical pricing methods such as binomial trees, finite differences, and ad-hoc numerical approximation techniques. Our numerical and empirical investigations demonstrate convergence, robustness, and efficiency. We use this methodology to value exchange-listed options. The European option premiums thus obtained are compared to Black's closed-form formula. They are accurate to four digits. The American option premiums also have a similar level of accuracy compared to premiums obtained using finite differences and binomial trees with a large number of time steps. The proposed model accounts for deterministic, seasonally varying dividend yield. In pricing futures options, we discover that what matters is the sum of the dividend yields over the life of the futures contract and not their distribution.
Resumo:
If you want to know whether a property is true or not in a specific algebraic structure,you need to test that property on the given structure. This can be done by hand, which can be cumbersome and erroneous. In addition, the time consumed in testing depends on the size of the structure where the property is applied. We present an implementation of a system for finding counterexamples and testing properties of models of first-order theories. This system is supposed to provide a convenient and paperless environment for researchers and students investigating or studying such models and algebraic structures in particular. To implement a first-order theory in the system, a suitable first-order language.( and some axioms are required. The components of a language are given by a collection of variables, a set of predicate symbols, and a set of operation symbols. Variables and operation symbols are used to build terms. Terms, predicate symbols, and the usual logical connectives are used to build formulas. A first-order theory now consists of a language together with a set of closed formulas, i.e. formulas without free occurrences of variables. The set of formulas is also called the axioms of the theory. The system uses several different formats to allow the user to specify languages, to define axioms and theories and to create models. Besides the obvious operations and tests on these structures, we have introduced the notion of a functor between classes of models in order to generate more co~plex models from given ones automatically. As an example, we will use the system to create several lattices structures starting from a model of the theory of pre-orders.