• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 585
  • 218
  • 79
  • 51
  • 31
  • 16
  • 12
  • 12
  • 9
  • 9
  • 9
  • 8
  • 8
  • 8
  • 7
  • Tagged with
  • 1230
  • 246
  • 193
  • 181
  • 176
  • 135
  • 131
  • 115
  • 104
  • 103
  • 101
  • 90
  • 87
  • 87
  • 85
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
101

An application of the Malliavin calculus in finance

Fordred, Gordon Ian 06 July 2009 (has links)
This dissertation provides a brief theoretical introduction to the Malliavin calculus leading to a particular application in finance. The Malliavin calculus concepts are used to aid in the simulation of the Greeks for financial contingent claims. Particular focus is placed on creating efficiency in the more exotic type option simulations, where no closed solution pricing formulae exist. Copyright / Dissertation (MSc)--University of Pretoria, 2009. / Mathematics and Applied Mathematics / unrestricted
102

Nonstandard analysis based calculus

Gibson, Kathleen Renae 01 January 1994 (has links)
In the first part of the project the elementary development of an extended number system called Hyperreals is discussed. The second half of this project develops the basics of Nonstandard Analysis, including the theory of ultrafilters, and the formal construction of the Hyperreals.
103

Perfect tensors, recurrent tensors and parallel planes

Mok, Kam-ping, 莫錦屛 January 1972 (has links)
published_or_final_version / Mathematics / Master / Master of Philosophy
104

Categorical abstract machines for higher-order typed lambda calculi

Ritter, Eike January 1992 (has links)
No description available.
105

Quantum diffusions and stochastic cocycles

Bradshaw, W. S. January 1989 (has links)
No description available.
106

Variational methods in solid mechanics

Iqbal, Zamin January 1999 (has links)
No description available.
107

From mathematics in logic to logic in mathematics : Boole and Frege

Tall, Aliou January 2002 (has links)
This project proceeds from the premise that the historical and logical value of Boole's logical calculus and its connection with Frege's logic remain to be recognised. It begins by discussing Gillies' application of Kuhn's concepts to the history oflogic and proposing the use of the concept of research programme as a methodological tool in the historiography oflogic. Then it analyses'the development of mathematical logic from Boole to Frege in terms of overlapping research programmes whilst discussing especially Boole's logical calculus. Two streams of development run through the project: 1. A discussion and appraisal of Boole's research programme in the context of logical debates and the emergence of symbolical algebra in Britain in the nineteenth century, including the improvements which Venn brings to logic as algebra, and the axiomatisation of 'Boolean algebras', which is due to Huntington and Sheffer. 2. An investigation of the particularity of the Fregean research programme, including an analysis ofthe extent to which certain elements of Begriffsschrift are new; and an account of Frege's discussion of Boole which focuses on the domain common to the two formal languages and shows the logical connection between Boole's logical calculus and Frege's. As a result, it is shown that the progress made in mathematical logic stemmed from two continuous and overlapping research programmes: Boole's introduction ofmathematics in logic and Frege's introduction oflogic in mathematics. In particular, Boole is regarded as the grandfather of metamathematics, and Lowenheim's theorem ofl915 is seen as a revival of his research programme.
108

Differentiable Functions

McCool, Kenneth B. 06 1900 (has links)
The primary purpose of this thesis is to carefully develop and prove some of the fundamental, classical theorems of the differential calculus for functions of two real variables.
109

Algebraic filtrations of the modal m-Calculus

Cromberge, Michael Benjamin January 2016 (has links)
A Dissertation submitted to the Faculty of Science, University of the Witwatersrand, Johannesburg, in ful lment of the requirements for the degree of Master of Science in Mathematics. 26 August 2016. / In this thesis we analyse the issue of decidability for two modal logics which contain least binders. Towards this goal, we begin the work with a brief survey of modal logic, PDL, the modal -calculus and algebraic filtrations as exposited by Conradie et al. The first such modal logic we analyse is the fragment of the modal -calculus corresponding to PDL; the second logic is the equational theory of the class of -algebras (motivated by the least root calculus of Pratt). We offer a new, algebraic, proof for the decidability of PDL by showing that PDL has the finite model property with respect to the class of dynamic algebras. We then show that the equational theory of the class of -algebras has the finite model property with respect to the class of -algebras; this is based on the proof of Pratt but differs in an important detail. The finite model property results for these two modal logics are achieved by an algebraic filtration method based on that of Conradie et al. / LG2017
110

Singular external control problem with time delay.

January 1986 (has links)
by Xiao-Qing Jin. / Thesis (M.Ph.)--Chinese University of Hong Kong, 1986 / Bibliography: leaves 47-48

Page generated in 0.0677 seconds