Dissertations / Theses on the topic 'Classes of recursive functions'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Classes of recursive functions.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
Cooper, D. "Classes of low complexity." Thesis, University of Oxford, 1986. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.375251.
Full textGomes, Victor pereira. "Funções recursivas primitivas: caracterização e alguns resultados para esta classe de funções." Universidade Federal da Paraíba, 2016. http://tede.biblioteca.ufpb.br:8080/handle/tede/8514.
Full textMade available in DSpace on 2016-08-10T14:17:41Z (GMT). No. of bitstreams: 1 arquivo total.pdf: 975005 bytes, checksum: 6f8194b9c0cb9c0bbd07b1d2b0ba4b9e (MD5) Previous issue date: 2016-06-21
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES
The class of primitive recursive functions is not a formal version to the class of algorithmic functions, we study this special class of numerical functions due to the fact of that many of the functions known as algorithmic are primitive recursive. The approach on the class of primitive recursive functions aims to explore this special class of functions and from that, present solutions for the following problems: (1) given the class of primitive recursive derivations, is there an algorithm, that is, a mechanical procedure for recognizing primitive recursive derivations? (2) Is there a universal function for the class of primitive recursive functions? If so, is this function primitive recursive? (3) Are all the algorithmic functions primitive recursive? To provide solutions to these issues, we base on the hypothetical-deductive method and argue based on the works of Davis (1982), Mendelson (2009), Dias e Weber (2010), Rogers (1987), Soare (1987), Cooper (2004), among others. We present the theory of Turing machines which is a formal version to the intuitive notion of algorithm, and after that the famous Church-Turing tesis which identifies the class of algorithmic functions with the class of Turing-computable functions. We display the class of primitive recursive functions and show that it is a subclass of Turing-computable functions. Having explored the class of primitive recursive functions we proved as results that there is a recognizer algorithm to the class of primitive recursive derivations; that there is a universal function to the class of primitive recursive functions which does not belong to this class; and that not every algorithmic function is primitive recursive.
A classe das funções recursivas primitivas não constitui uma versão formal para a classe das funções algorítmicas, estudamos esta classe especial de funções numéricas devido ao fato de que muitas das funções conhecidas como algorítmicas são recursivas primitivas. A abordagem acerca da classe das funções recursivas primitivas tem como objetivo explorar esta classe especial de funções e, a partir disto, apresentar soluções para os seguintes problemas: (1) dada a classe das derivações recursivas primitivas, há um algoritmo, ou seja, um procedimento mecânico, para reconhecer derivações recursivas primitivas? (2) Existe uma função universal para a classe das funções recursivas primitivas? Se sim, essa função é recursiva primitiva? (3) Toda função algorítmica é recursiva primitiva? Para apresentar soluções para estas questões, nos pautamos no método hipotético-dedutivo e argumentamos com base nos manuais de Davis (1982), Mendelson (2009), Dias e Weber (2010), Rogers (1987), Soare (1987), Cooper (2004), entre outros. Apresentamos a teoria das máquinas de Turing, que constitui uma versão formal para a noção intuitiva de algoritmo, e, em seguida, a famosa tese de Church-Turing, a qual identifica a classe das funções algorítmicas com a classe das funções Turing-computáveis. Exibimos a classe das funções recursivas primitivas, e mostramos que a mesma constitui uma subclasse das funções Turing-computáveis. Tendo explorado a classe das funções recursivas primitivas, como resultados, provamos que existe um algoritmo reconhecedor para a classe das derivações recursivas primitivas; que existe uma função universal para a classe das funções recursivas primitivas a qual não pertence a esta classe; e que nem toda função algorítmica é recursiva primitiva.
Ferizis, George Computer Science & Engineering Faculty of Engineering UNSW. "Mapping recursive functions to reconfigurable hardware." Awarded by:University of New South Wales. Computer Science and Engineering, 2005. http://handle.unsw.edu.au/1959.4/23366.
Full textFrancis, Johanna Leigh 1970. "Three essays in recursive utility functionals." Thesis, McGill University, 1992. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=61285.
Full textHouse, Robert Simpson. "Airy functions and the Recursive Ray Acoustics Algorithm." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 1994. http://handle.dtic.mil/100.2/ADA290182.
Full textThesis advisor(s): Lawrence J. Ziomek. "December 1994." Includes bibliographical references. Also available online.
McVeigh, Brian. "Multiple functions in equivalence classes." Thesis, University of Ulster, 2004. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.414095.
Full textClouâtre, André. "Implementation and applications of recursively defined relations." Thesis, McGill University, 1987. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=75694.
Full textThis approach has led to the following general results: (1) design, classification, and analysis of many iterative methods for evaluating recursive relations, as well as analysis of experimental results; (2) formalization of the concept of iterative evaluation of a relation; (3) demonstration that domain algebra can be used to solve problems of concatenation and aggregation of the information associated with a recursive structure; (4) proof that relational division and general containment joins are left-monotone.
More specific results consist of a collection of original algorithms which run well on secondary storage, as shown by simulations. Among them, we wish to emphasize the differencing logarithmic transitive closure (TC) algorithms, which are superior to the previously known relational TC algorithms, and the shortest path algorithms, which are in fact generic algorithms for path algebra problems.
Kabanets, Valentine. "Nonuniformly hard Boolean functions and uniform complexity classes." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2001. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/NQ58599.pdf.
Full textDarus, M. "Extreme problems for certain classes of analytic functions." Thesis, Swansea University, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.636350.
Full textPedron, Mark [Verfasser]. "Zero Partition Cycles : A Recursive Formula for Characteristic Classes of Surface Bundles / Mark Pedron." Bonn : Universitäts- und Landesbibliothek Bonn, 2017. http://d-nb.info/1132711517/34.
Full textBani-Mustafa, Ahmed. "Recursive residuals and estimation for mixed models /." View thesis, 2004. http://library.uws.edu.au/adt-NUWS/public/adt-NUWS20050928.140822/index.html.
Full textMeredith, M. Brandon. "Polynomial Functions over Rings of Residue Classes of Integers." Digital Archive @ GSU, 2007. http://digitalarchive.gsu.edu/math_theses/34.
Full textWard, Claire. "On geometric zeta functions, epsilon constants and canonical classes." Thesis, King's College London (University of London), 2011. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.566684.
Full textLabuschagne, L. E., and Louis E. Labuschagne. "Functions of operators and the classes associated with them." Doctoral thesis, University of Cape Town, 1988. http://hdl.handle.net/11427/23260.
Full textOctavian, Stan. "New recursive algorithms for training feedforward multilayer perceptrons." Diss., Georgia Institute of Technology, 1999. http://hdl.handle.net/1853/13534.
Full textSaito, Chieri. "A design and theory of strongly typed object-oriented programming languages for extensible recursive classes." 京都大学 (Kyoto University), 2010. http://hdl.handle.net/2433/120371.
Full textSo, Hon Chung. "The Julia sets of certain classes of permutable entire functions /." View abstract or full-text, 2007. http://library.ust.hk/cgi/db/thesis.pl?MATH%202007%20SO.
Full textPetersen, Willis L. "The Lie Symmetries of a Few Classes of Harmonic Functions." Diss., CLICK HERE for online access, 2005. http://contentdm.lib.byu.edu/ETD/image/etd837.pdf.
Full textMadrigal-Bauguss, Jessica Glenn Sigrid S. "Transfer of "good" and "bad" functions within stimulus equivalence classes." [Denton, Tex.] : University of North Texas, 2008. http://digital.library.unt.edu/permalink/meta-dc-6080.
Full textMadrigal-Bauguss, Jessica. "Transfer of "good" and "bad" functions within stimulus equivalence classes." Thesis, University of North Texas, 2008. https://digital.library.unt.edu/ark:/67531/metadc6080/.
Full textLannin, John K. Langrall Cynthia Willey. "Developing middle school students' understanding of recursive and explicit reasoning." Normal, Ill. Illinois State University, 2001. http://wwwlib.umi.com/cr/ilstu/fullcit?p3006621.
Full textTitle from title page screen, viewed April 25, 2006. Dissertation Committee: Cynthia W. Langrall (Chair), Graham A. Jones, Tami S. Martin, Patricia H. Klass. Includes bibliographical references (leaves 138-146) and abstract. Also available in print.
譚天佑 and Tin-yau Tam. "A study of induced operators on symmetry classes of tensors." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 1986. http://hub.hku.hk/bib/B31230738.
Full textTam, Tin-yau. "A study of induced operators on symmetry classes of tensors /." [Hong Kong] : University of Hong Kong, 1986. http://sunzi.lib.hku.hk/hkuto/record.jsp?B12322593.
Full textOram, John A. "Best approximations from certain classes of functions defined by integral operators." Thesis, University of Newcastle Upon Tyne, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.386590.
Full textDominquez-Soto, Patricia. "Investigations in the dynamics of three different classes of meromorphic functions." Thesis, University College London (University of London), 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.286312.
Full textSchnell, Christian. "The boundary behavior of cohomology classes and singularities of normal functions." Columbus, Ohio : Ohio State University, 2008. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=osu1218036000.
Full textMersmann, Gerd. "Algebraische und kombinatorische Aspekte der Harder-Narasimhan-Rekursion und ihrer Umkehrung." Bonn : [s.n.], 1999. http://catalog.hathitrust.org/api/volumes/oclc/41464664.html.
Full textJahangiri-Lahekani, M. "Coefficients of powers of subclasses of univalent functions and convolutions of some classes of polynomials and analytic functions." Thesis, University of York, 1985. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.356834.
Full textPiotrowski, Andrzej. "Classes of Linear Operators and the Distribution of Zeros of Entire Functions." Thesis, University of Hawaii at Manoa, 2007. http://hdl.handle.net/10125/25932.
Full textviii, 178 leaves, bound ; 29 cm.
Thesis (Ph. D.)--University of Hawaii at Manoa, 2007.
MacIver, Kirsty. "The role of common stimulus functions in the development of equivalence classes." Thesis, University of North Texas, 2004. https://digital.library.unt.edu/ark:/67531/metadc4593/.
Full textLin, Chungping. "The RMT (Recursive multi-threaded) tool: A computer aided software engineeering tool for monitoring and predicting software development progress." CSUSB ScholarWorks, 1998. https://scholarworks.lib.csusb.edu/etd-project/1787.
Full textFournier, Bradford M. "Towards a Theory of Recursive Function Complexity: Sigma Matrices and Inverse Complexity Measures." ScholarWorks@UNO, 2015. http://scholarworks.uno.edu/td/2072.
Full textCastillo, René Erlin. "Generalized Non-Autonomous Kato Classes and Nonlinear Bessel Potentials." Ohio University / OhioLINK, 2005. http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1121964346.
Full textCalcina, Sabrina Graciela Suárez. "Princípio da similaridade para classes de campos vetoriais complexos." Universidade de São Paulo, 2014. http://www.teses.usp.br/teses/disponiveis/55/55135/tde-02042014-142433/.
Full textThis dissertation deals with the Similarity principle for solutions of equations of the form L \'omega\' = A(z) · \'omega\' + B(z) · \' BARRA\' \'omega\' where L is a nonsingular complex vector field and A,B \'IT BELONGS\' \'C POT. sigma \' (\'R POT. 2\'), with 0 < \'sigma\' < 1. Here are presented results for elliptic vector field and for classes of degenerate elliptic vector fields
De, Castro Lisa. "Analytic Functions with Real Boundary Values in Smirnov Classes Ep." Scholar Commons, 2013. http://scholarcommons.usf.edu/etd/4661.
Full textJuan, Huguet Jordi. "Iterates of differential operators and vector valued functions on non quasi analytic classes." Doctoral thesis, Universitat Politècnica de València, 2011. http://hdl.handle.net/10251/9401.
Full textJuan Huguet, J. (2011). Iterates of differential operators and vector valued functions on non quasi analytic classes [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/9401
Palancia
Landrum, Chad Michael. "A recursive algorithm to prevent deadlock in flexible manufacturing systems." Ohio : Ohio University, 2000. http://www.ohiolink.edu/etd/view.cgi?ohiou1172265184.
Full textHughes, Maureen Eliabeth. "Teachers and other adults as talk-partners for pupils in nursery and reception classes." Thesis, University of Newcastle Upon Tyne, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.241540.
Full textPawlaschyk, Thomas Patrick [Verfasser]. "On some classes of q-plurisubharmonic functions and q-pseudoconcave sets / Thomas Patrick Pawlaschyk." Wuppertal : Universitätsbibliothek Wuppertal, 2015. http://d-nb.info/1081429941/34.
Full textPawlaschyk, Thomas [Verfasser]. "On some classes of q-plurisubharmonic functions and q-pseudoconcave sets / Thomas Patrick Pawlaschyk." Wuppertal : Universitätsbibliothek Wuppertal, 2015. http://d-nb.info/1081429941/34.
Full textOsman, Abdusslam. "Smoothness of invariant densities for certain classes of dynamical systems." Thesis, Connect to online version, 1996. http://0-wwwlib.umi.com.mercury.concordia.ca/cr/concordia/fullcit?pMQ90889.
Full textSoler, i. Gibert Odí. "Approximation in the Zygmund Class and Distortion under Inner Functions." Doctoral thesis, Universitat Autònoma de Barcelona, 2020. http://hdl.handle.net/10803/670865.
Full textSOUZA, Luciano. "New trigonometric classes of probabilistic distributions." Universidade Federal Rural de Pernambuco, 2015. http://www.tede2.ufrpe.br:8080/tede2/handle/tede2/5127.
Full textMade available in DSpace on 2016-08-01T12:46:49Z (GMT). No. of bitstreams: 1 Luciano Souza.pdf: 1424173 bytes, checksum: 75d7ff2adb5077203e1371925327b71e (MD5) Previous issue date: 2015-11-13
In this thesis, four new probabilistic distribution classes are presented and investigated: sine, cosine, tangent and secant. For each of which a new kind of distribution was created, which were used for modelling real life data.By having an exponential distribution to compare the biases, a numerical simulation was obtained, making it possible to verify that the bias tends to zero as the sample size is increased. In addition to that, some numerical results for checking maximum likelihood estimates, as well as the results for finite samples, were obtained, just as much as several class properties and their respective distributions were also obtained, along with the expansions, maximum likelihood estimates, Fisher information, the first four moments, average, variance, skewness, and kurtosis, the generating function of moments and Renyi’s entropy. It was evidenced that all distributions have shown good fit when applied to real life data, when in comparison to other models. In order to compare the models, the Akaike Information Criterion (AIC), the Corrected Akaike Information Criterion (CAIC), the Bayesian Information Criterion (BIC), the Hannan Quinn Information Criterion (HQIC) were used, along with two other main statistic sources: Cramer-Von Mises and Anderson-Darling. As a final step, the results of the analyses and the comparison of the results are brought up, as well as a few directions for future works.
Nesta tese apresentamos e investigamos quatro novas classes trigonométricas de distribuições probabilísticas. As classes seno, cosseno, tangente e secante. Para cada uma das novas classes foi criada uma nova distribuição. Estas quatro novas distribuições foram usadas na modelagem de dados reais. Obtivemos uma simulação numérica, usando como base a distribuição exponencial, para se comparar os vicios (bias) e verificamos que, a medida que aumentamos o tamanho da amostra, o bias tende a zero. Alguns resultados numéricos para ver estimativas de máxima verossimilhança e os resultados para amostras finitas foram obtidos. Várias propriedades das classes e as suas distribuições foram obtidos. Obtemos as expansões, as estimativas de máxima verossimilhança, informações de Fisher, os quatro primeiros momentos, média, variância, assimetria e curtose, a função geradora de momentos e a entropia Rényi. Mostramos que todas as distribuições têm proporcionado bons ajustes quando aplicadas a dados reais, em comparação com outros modelos. Na comparação dos modelos foram utilizados: o Akaike Information Criterion (AIC), o Akaike Information Criterion Corrigido (CAIC), a informação Bayesian Criterion (BIC), o critério de informação Hannan Quinn (HQIC) e duas das principais estatísticas também foram utilizadas: Cramer -von Mises e Anderson-Darling. Por fim, apresentamos os resultados da análise e comparação dos resultados, e orientações para trabalhos futuros.
Delgado, Diana. "Subsitution of stimulus functions as a means to distinguish among different types of functional classes /." abstract and full text PDF (free order & download UNR users only), 2005. http://0-wwwlib.umi.com.innopac.library.unr.edu/dissertations/fullcit/1430443.
Full text"May, 2005." Includes bibliographical references (leaves 47-49). Online version available on the World Wide Web. Library also has microfilm. Ann Arbor, Mich. : ProQuest Information and Learning Company, [2005]. 1 microfilm reel ; 35 mm.
Kutbi, M. A. "Growth properties of certain classes of functions regular in the unit disc and their derivatives." Thesis, Swansea University, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.637834.
Full textAmsheri, Somia M. A. "Fractional calculus operator and its applications to certain classes of analytic functions. A study on fractional derivative operator in analytic and multivalent functions." Thesis, University of Bradford, 2013. http://hdl.handle.net/10454/6320.
Full textAmsheri, Somia Muftah Ahmed. "Fractional calculus operator and its applications to certain classes of analytic functions : a study on fractional derivative operator in analytic and multivalent functions." Thesis, University of Bradford, 2013. http://hdl.handle.net/10454/6320.
Full textHuynh, Huy. "Estimating the maximum probability of categorical classes with applications to biological diversity measurements." Diss., Georgia Institute of Technology, 2012. http://hdl.handle.net/1853/44868.
Full textPadden, Dereck J. "Recursive modeling of interpositional transfer functions with a genetic algorithm aided by an adaptive filter for the purpose of altering free-field sound localization /." Online version of thesis, 2007. http://hdl.handle.net/1850/4484.
Full textKemp, Russell Stephen. "Pseudo-linear indentification and its application to adaptive control." Thesis, Virginia Tech, 1987. http://hdl.handle.net/10919/45810.
Full textThe method of Pseudo-Linear Identification (PLID) is presented as an explicitly linear approach to the joint state and parameter estimation problem. The convergence properties of the algorithm in the stochastic case are investigated through simulation and comparisons with popular methods are made. The method is then extended to allow the tracking of time-varying system parameters.
An adaptive control structure based upon this Trackingâ PLID algorithm is proposed which utilizes poleâ placement state variable feedback via Ackermann's formula. The capabilities of this adaptive control scheme are demonstrated by application to a full-order nonlinear aircraft simulation model where significant improvement is shown over fixed-gain controllers in the face of rapid plant changes.
Master of Science