Дисертації з теми "Mathematical and symbolic"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 дисертацій для дослідження на тему "Mathematical and symbolic".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте дисертації для різних дисциплін та оформлюйте правильно вашу бібліографію.
Redelinghuys, Gideon. "Symbolic string execution." Thesis, Stellenbosch : Stellenbosch University, 2012. http://hdl.handle.net/10019.1/20335.
Повний текст джерелаENGLISH ABSTRACT: Symbolic execution is a well-established technique for automated test generation and for nding errors in complex code. Most of the focus has however been on programs that manipulate integers, booleans, and even, references in object-oriented programs. Recently researchers have started looking at programs that do lots of string processing, motivated, in part, by the popularity of the web and the risk that errors in web servers may lead to security violations. Attempts to extend symbolic execution to the domain of strings are mainly divided into one of two camps: automata-based approaches and approaches based on bitvector analysis. Here we investigate these two approaches in a uni ed setting, namely the symbolic execution framework of Java PathFinder. We describe the implementations of both approaches and then do an evaluation to show under what circumstances each approach performs well (or not so well). We also illustrate the usefulness of the symbolic execution of strings by nding errors in real-world examples.
AFRIKAANSE OPSOMMING: Simboliese uitvoering is 'n bekende tegniek vir automatiese genereering van toetse en om foute te vind in ingewikkelde bronkode. Die fokus sover was grotendeels op programme wat gebruik maak van heelgetalle, boolse waardes en selfs verwysings in objek geörienteerde programme. Navorsers het onlangs begin kyk na programme wat baie gebruik maak van string prosessering, deelteliks gemotiveerd deur die populariteit van die web en die gepaardgaande risiko's daarvan. Vorige implementasies van simboliese string uitvoering word binne twee kampe verdeel: die automata gebaseerde benadering en bitvektoor gebaseerde benadering. Binne hierdie tesis word die twee benaderings onder een dak gebring, naamliks Java PathFinder. Die implentasie van beide benaderings word bespreek en ge-evalueer om die omstandighede uit te wys waarbinne elk beter sou vaar. Die nut van simboliese string uitvoering word geïllustreer deur dit toe te pas in foutiewe regte wêreld voorbeelde.
Bishop, Joyce Wolfer Otto Albert D. Lubinski Cheryl Ann. "Middle school students' understanding of mathematical patterns and their symbolic representations." Normal, Ill. Illinois State University, 1997. http://wwwlib.umi.com/cr/ilstu/fullcit?p9803721.
Повний текст джерелаTitle from title page screen, viewed June 1, 2006. Dissertation Committee: Albert D. Otto, Cheryl A. Lubinski (co-chairs), John A. Dossey, Cynthia W. Langrall, George Padavil. Includes bibliographical references (leaves 119-123) and abstract. Also available in print.
Uwimbabazi, Aline. "Extended probabilistic symbolic execution." Thesis, Stellenbosch : Stellenbosch University, 2013. http://hdl.handle.net/10019.1/85804.
Повний текст джерелаENGLISH ABSTRACT: Probabilistic symbolic execution is a new approach that extends the normal symbolic execution with probability calculations. This approach combines symbolic execution and model counting to estimate the number of input values that would satisfy a given path condition, and thus is able to calculate the execution probability of a path. The focus has been on programs that manipulate primitive types such as linear integer arithmetic in object-oriented programming languages such as Java. In this thesis, we extend probabilistic symbolic execution to handle data structures, thus allowing support for reference types. Two techniques are proposed to calculate the probability of an execution when the programs have structures as inputs: an approximate approach that assumes probabilities for certain choices stay fixed during the execution and an accurate technique based on counting valid structures. We evaluate these approaches on an example of a Binary Search Tree and compare it to the classic approach which only take symbolic values as input.
AFRIKAANSE OPSOMMING: Probabilistiese simboliese uitvoering is ’n nuwe benadering wat die normale simboliese uitvoering uitbrei deur waarksynlikheidsberekeninge by te voeg. Hierdie benadering kombineer simboliese uitvoering en modeltellings om die aantal invoerwaardes wat ’n gegewe padvoorwaarde sal bevredig, te beraam en is dus in staat om die uitvoeringswaarskynlikheid van ’n pad te bereken. Tot dus vêr was die fokus op programme wat primitiewe datatipes manipuleer, byvoorbeeld lineêre heelgetalrekenkunde in objek-geörienteerde tale soos Java. In hierdie tesis brei ons probabilistiese simboliese uitvoering uit om datastrukture, en dus verwysingstipes, te dek. Twee tegnieke word voorgestel om die uitvoeringswaarskynlikheid van ’n program met datastrukture as invoer te bereken. Eerstens is daar die benaderingstegniek wat aanneem dat waarskynlikhede vir sekere keuses onveranderd sal bly tydens die uitvoering van die program. Tweedens is daar die akkurate tegniek wat gebaseer is op die telling van geldige datastrukture. Ons evalueer hierdie benaderings op ’n voorbeeld van ’n binêre soekboom en vergelyk dit met die klassieke tegniek wat slegs simboliese waardes as invoer neem.
Lindroth, Olof. "A random formula lower bound for ordered DLL extended with local symmetry recognition /." Uppsala, 2004. http://www.math.uu.se/research/pub/Lindroth1.pdf.
Повний текст джерелаLindman, Phillip A. (Phillip Anthony). "Intuition versus Formalization: Some Implications of Incompleteness on Mathematical Thought." Thesis, University of North Texas, 1994. https://digital.library.unt.edu/ark:/67531/metadc277970/.
Повний текст джерелаGorman, Judith A. "Aspects of coherent logic." Thesis, McGill University, 1987. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=63868.
Повний текст джерелаBrierley, William. "Undecidability of intuitionistic theories." Thesis, McGill University, 1985. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=66016.
Повний текст джерелаLindberg, Maja. "The innate ability to cope with mathematics : A comparative fMRI study of children's and adults' neural activity during non-symbolic mathematical tasks." Thesis, Linköpings universitet, Institutionen för datavetenskap, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-158199.
Повний текст джерелаWheeler, Russell Clark. "Using symbolic dynamical systems: A search for knot invariants." CSUSB ScholarWorks, 1998. https://scholarworks.lib.csusb.edu/etd-project/3033.
Повний текст джерелаSharma, Richa. "Semi-automated approach to support logical formalism for requirements analysis and validation." Thesis, IIT Delhi, 2016. http://localhost:8080/xmlui/handle/12345678/7227.
Повний текст джерелаSteffy, Daniel E. "Topics in exact precision mathematical programming." Diss., Georgia Institute of Technology, 2011. http://hdl.handle.net/1853/39639.
Повний текст джерелаXu, Dan. "Superstatistics and symbolic dynamics of share price returns on different time scales." Thesis, Queen Mary, University of London, 2017. http://qmro.qmul.ac.uk/xmlui/handle/123456789/24873.
Повний текст джерелаLavers, Peter Stanley. "Generating intensional logics : the application of paraconsistent logics to investigate certain areas of the boundaries of mathematics /." Title page, table of contents and summary only, 1985. http://web4.library.adelaide.edu.au/theses/09ARM/09arml399.pdf.
Повний текст джерела湯志輝 and Chi-fai Tong. "On checking the temporal consistency of data." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 1993. http://hub.hku.hk/bib/B31211914.
Повний текст джерелаBaysal, Onur Alizde Rarail. "Lower-top and upper-bottom points for any formula in temporal logic/." [s.l.]: [s.n.], 2006. http://library.iyte.edu.tr/tezler/master/matematik/T000549.pdf.
Повний текст джерелаTong, Chi-fai. "On checking the temporal consistency of data /." [Hong Kong : University of Hong Kong], 1993. http://sunzi.lib.hku.hk/hkuto/record.jsp?B13570353.
Повний текст джерелаFriend, Michèle Indira. "Second-order logic is logic." Thesis, University of St Andrews, 1997. http://hdl.handle.net/10023/14753.
Повний текст джерелаSmart, Angela. "Undergraduate Students’ Connections Between the Embodied, Symbolic, and Formal Mathematical Worlds of Limits and Derivatives: A Qualitative Study Using Tall’s Three Worlds of Mathematics." Thèse, Université d'Ottawa / University of Ottawa, 2013. http://hdl.handle.net/10393/24247.
Повний текст джерелаYu, Chaoran. "A study on relational databases through mathematical theories of relations and logic." Virtual Press, 1988. http://liblink.bsu.edu/uhtbin/catkey/539627.
Повний текст джерелаDepartment of Computer Science
Bester, Willem Hendrik Karel. "Bug-finding and test case generation for java programs by symbolic execution." Thesis, Stellenbosch : Stellenbosch University, 2013. http://hdl.handle.net/10019.1/85832.
Повний текст джерелаENGLISH ABSTRACT: In this dissertation we present a software tool, Artemis, that symbolically executes Java virtual machine bytecode to find bugs and automatically generate test cases to trigger the bugs found. Symbolic execution is a technique of static software analysis that entails analysing code over symbolic inputs—essentially, classes of inputs—where each class is formulated as constraints over some input domain. The analysis then proceeds in a path-sensitive way adding the constraints resulting from a symbolic choice at a program branch to a path condition, and branching non-deterministically over the path condition. When a possible error state is reached, the path condition can be solved, and if soluble, value assignments retrieved to be used to generate explicit test cases in a unit testing framework. This last step enhances confidence that bugs are real, because testing is forced through normal language semantics, which could prevent certain states from being reached. We illustrate and evaluate Artemis on a number of examples with known errors, as well as on a large, complex code base. A preliminary version of this work was successfully presented at the SAICSIT conference held on 1–3 October 2012, in Centurion, South Africa.
AFRIKAANSE OPSOMMING: In die dissertasie bied ons ’n stuk sagtewaregereedskap, Artemis, aan wat biskode van die Java virtuele masjien simbolies uitvoer om foute op te spoor en toetsgevalle outomaties voort te bring om die foute te ontketen. Simboliese uitvoering is ’n tegniek van statiese sagteware-analise wat behels dat kode oor simboliese toevoere—in wese, klasse van toevoer—geanaliseer word, waar elke klas geformuleer word as beperkinge oor ’n domein. Die analise volg dan ’n pad-sensitiewe benadering deur die domeinbeperkinge, wat volg uit ’n simboliese keuse by ’n programvertakking, tot ’n padvoorwaarde by te voeg en dan nie-deterministies vertakkings oor die padvoorwaarde te volg. Wanneer ’n moontlike fouttoestand bereik word, kan die padvoorwaarde opgelos word, en indien dit oplaasbaar is, kan waardetoekennings verkry word om eksplisiete toetsgevalle in ’n eenheidstoetsingsraamwerk te formuleer. Die laaste stap verhoog vertroue dat die foute gevind werklik is, want toetsing word deur die normale semantiek van die taal geforseer, wat sekere toestande onbereikbaar maak. Ons illustreer en evalueer Artemis met ’n aantal voorbeelde waar die foute bekend is, asook op ’n groot, komplekse versameling kode. ’n Voorlopige weergawe van die´ werk is suksesvol by die SAICSIT-konferensie, wat van 1 tot 3 Oktober 2012 in Centurion, Suid-Afrika, gehou is, aangebied.
Weydert, Emil. "How to approximate the naive comprehension scheme inside of classical logic." Bonn : [s.n.], 1989. http://catalog.hathitrust.org/api/volumes/oclc/19990751.html.
Повний текст джерелаHorsfall, Benjamin Robert. "The logic of bunched implications : a memoir /." Connect to thesis, 2007. http://eprints.unimelb.edu.au/archive/00002633.
Повний текст джерелаRossberg, Marcus. "Second-order logic : ontological and epistemological problems." Thesis, University of St Andrews, 2006. http://hdl.handle.net/10023/6407.
Повний текст джерелаWeiss, Bernhard. "Intuitionistic semantics and the revision of logic." Thesis, University of St Andrews, 1992. http://hdl.handle.net/10023/14755.
Повний текст джерелаOtt, Natalie [Verfasser], and Roland [Akademischer Betreuer] Brünken. "From dual coding to multiple coding : Effects of multiple symbolic representations for mathematical understanding / Natalie Ott ; Betreuer: Roland Brünken." Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2017. http://d-nb.info/1152094300/34.
Повний текст джерелаOtt, Natalie Verfasser], and Roland [Akademischer Betreuer] [Brünken. "From dual coding to multiple coding : Effects of multiple symbolic representations for mathematical understanding / Natalie Ott ; Betreuer: Roland Brünken." Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2017. http://nbn-resolving.de/urn:nbn:de:bsz:291-scidok-ds-268806.
Повний текст джерелаRajagopalan, Jayendar. "Symbolic and connectionist machine learning techniques for short-term electric load forecasting." Thesis, This resource online, 1993. http://scholar.lib.vt.edu/theses/available/etd-08222009-040506/.
Повний текст джерелаWagner, Gerd. "Vivid logic : knowledge-based reasoning with two kinds of negation /." Berlin [u.a.] : Springer, 1994. http://www.loc.gov/catdir/enhancements/fy0815/93046747-d.html.
Повний текст джерелаPemmaraju, Sriram V. "Modal logics of provability." Thesis, Virginia Tech, 1989. http://hdl.handle.net/10919/44652.
Повний текст джерелаGödel proved his Incompleteness theorems for any theory 'strong' enough to represent recursive functions. In the process he showed that the provability predicate can be represented in such theories. Modal logics of provability are modal logics which attempt to express the concept of 'provability' and 'consistency' using the modal operators '[]' and '<>' respectively. This is achieved by forcing '[]' to behave like the provability predicate. GL is a modal logic which has been shown to be complete and sound with respect to arithmetic theories (theories which can represent all recursive functions), hence results about concepts such as 'consistency,' 'provability' and 'decidability' in arithmetic theories can be stated and proved in GL. It has also been proved that GL is complete with respect to the class of finite, transitive, reversely well-founded models. This essentially means that the set of theorems of GL is recursive and hence there exists an effective procedure to determine whether a given wff is a theorem of GL or not. We investigate a weaker version of GL called GH and show that GH is not complete with respect to arithmetic theories. We show this by first showing that GH is a proper subset of GL and then showing that the theorems missing from GH are properties of the provability predicate. We finally, show that GH is not complete with respect to the class of transitive, reversely well-founded models and hence not sound and complete with respect to any frame.
Master of Science
Boskovitz, Agnes. "Data editing and logic : the covering set method from the perspective of logic /." View thesis entry in Australian Digital Theses, 2008. http://thesis.anu.edu.au/public/adt-ANU20080314.163155/index.html.
Повний текст джерелаQuine, W. V. "The logic of sequences a generalization of Principia mathematica /." New York : Garland Pub, 1990. http://catalog.hathitrust.org/api/volumes/oclc/20797392.html.
Повний текст джерелаSchwartzkopff, Robert. "The numbers of the marketplace : commitment to numbers in natural language." Thesis, University of Oxford, 2015. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.711821.
Повний текст джерелаFrench, Timothy Noel. "Bisimulation quantifiers for modal logics." University of Western Australia. School of Computer Science and Software Engineering, 2006. http://theses.library.uwa.edu.au/adt-WU2007.0013.
Повний текст джерелаHassani, Sarah Dossey John A. "Calculus students' knowledge of the composition of functions and the chain rule." Normal, Ill. Illinois State University, 1998. http://wwwlib.umi.com/cr/ilstu/fullcit?p9835906.
Повний текст джерелаTitle from title page screen, viewed July 3, 2006. Dissertation Committee: John A. Dossey (chair), Roger Day, Michael Marsali, Michael Plantholt. Includes bibliographical references (leaves 196-202) and abstract. Also available in print.
Munoz, Ricardo A. (Ricardo Alberto). "Using Normal Deduction Graphs in Common Sense Reasoning." Thesis, University of North Texas, 1992. https://digital.library.unt.edu/ark:/67531/metadc277922/.
Повний текст джерелаEliasson, Jonas. "Ultrasheaves." Doctoral thesis, Uppsala : Matematiska institutionen, Univ. [distributör], 2003. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-3762.
Повний текст джерелаGat, Erann. "Reasoning about knowledge using extensional logics." Thesis, Virginia Polytechnic Institute and State University, 1987. http://hdl.handle.net/10919/90971.
Повний текст джерелаM.S.
Akishev, Galym. "Monadic bounded algebras : a thesis submitted to the Victoria University of Wellington in fulfilment of the requirements for the degree of Doctor of Philosophy in Mathematics /." ResearchArchive@Victoria e-Thesis, 2009. http://hdl.handle.net/10063/915.
Повний текст джерелаDuff, Karen Malina. "What Are Some of the Common Traits in the Thought Processes of Undergraduate Students Capable of Creating Proof?" Diss., CLICK HERE for online access, 2007. http://contentdm.lib.byu.edu/ETD/image/etd1856.pdf.
Повний текст джерелаHorng, Wen-Bing. "Using Extended Logic Programs to Formalize Commonsense Reasoning." Thesis, University of North Texas, 1992. https://digital.library.unt.edu/ark:/67531/metadc278054/.
Повний текст джерелаBrinkerhoff, Jennifer Alder. "Applying Toulmin's Argumentation Framework to Explanations in a Reform Oriented Mathematics Class." Diss., CLICK HERE for online access, 2007. http://contentdm.lib.byu.edu/ETD/image/etd1960.pdf.
Повний текст джерелаLannin, 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.
Повний текст джерелаTitle 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.
Batista, Neto Alberto Leopoldo. "Representação e combinação de logicas : questões conceituais." [s.n.], 2007. http://repositorio.unicamp.br/jspui/handle/REPOSIP/278894.
Повний текст джерелаDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas
Made available in DSpace on 2018-08-10T04:02:35Z (GMT). No. of bitstreams: 1 BatistaNeto_AlbertoLeopoldo_M.pdf: 764702 bytes, checksum: 38e943aef1a6e4a5f892916208eca7a5 (MD5) Previous issue date: 2007
Resumo: Visando a atingir um esclarecimento sobre os conceitos fundamentais envolvidos no estudo das combinações entre lógicas, empreendemos uma alise do problema da representação geral de sistemas lógicos (com ênfase no conceito central de conseqüência lógica), juntamente com o do estabelecimento de uma noção apropriada de tradução ou morfismo entre os sistemas definidos de um determinado modo, com base em que podemos fundamentar algumas técnicas de combinação, especialmente a fibrilação algébrica. Tais técnicas são definidas e apresentadas em suas propriedades mais relevantes, sendo encontrados, no caso particular da fibrilação, problemas tais como o colapso e o anti-colapso. Para estes, a solução parece residir na escolha de formas adequadas de representar lógicas em geral e de traduzir lógicas umas nas outras. Uma apresentação modelo-teorética mostra-se apropriada para algumas representações de lógicas em geral (como, por exemplo, sistemas de Hilbert), embora não o seja para outras (como sistemas de conseqüências múltiplas). No entanto, duas das mais promissoras tentativas de solucionar, em particular, o problema do anti-colapso da fibrilação algébrica as meta-traduções e os transfers elementares podem ser definidas dentro desse arcabouço. Os transfers incluindo os transfers elementares - foram definidos em [17] - e aqui apresentamos uma representação das meta-traduções como tipo específico de transfer
Abstract: In order to accomplish an elucidation of the fundamental concepts involved in the study of the combinations between logics, we undertake an analysis of the problem of the general representation of logical systems (with an emphasis on the central concept of logical consequence) together with that of the establishment of an appropriate notion of translation or morphism between the logical systems defined in a certain fashion, on which basis we can ground some of the combination techniques, specially that of algebraic fibring. Such techniques are defined and presented in their most relevant features, and we find, in the particular case of fibring, problems such as collapsing and anticollapsing. The solution for these seem to rest on the choice of adequate forms of representing logics in general and translating logics into others. A modeltheoretic presentation shows itself appropriate for some representations of logics in general (such as Hilbert calculi), although they are not for some others (such as multipleconclusion systems). Notwithstanding, two of the most promising attempts to solve, in particular, the problem of the anticollapsing of algebraic fibring metatranslations and elementary transfers , are definable within that framework. Transfers including elementary transfers have been defined in [17] and we here present a representation of metatranslations as an specific kind of transfers
Mestrado
Logica
Mestre em Filosofia
Loomis, Eric John. "Meaning, generality, and rules : language and logic in the later Wittgenstein /." Digital version accessible at:, 1999. http://wwwlib.umi.com/cr/utexas/main.
Повний текст джерелаTabada, Winston M. "An analysis and implementation of linear derivation strategies." Thesis, Edith Cowan University, Research Online, Perth, Western Australia, 1991. https://ro.ecu.edu.au/theses/1125.
Повний текст джерелаFransson, Linnea. "Skolans underskattade språk : En studie om användningen av det matematiska symbolspråket i den gymnasiala undervisningen." Thesis, Linnéuniversitetet, Institutionen för matematikdidaktik (MD), 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-27410.
Повний текст джерелаSymbols have always been an important part of mathematics, which is why learning thesymbolic language is necessary in order to acquire a full understanding of the subject.This study aims to investigate the use of the symbolic language in the Swedish uppersecondary school from a linguistic perspective. The data for this study consists of samplesfrom 52 student solutions from a mathematical test, together with one transcribed groupinterview, where two students participated. The analysis is based on theories about themetalinguistic awareness and symbols’ semiotic and epistemological functions. The roleof the mathematical symbolic language described in the steering documents has also beenconsidered in the study. From the mistakes made in the test, it was possible to visualisethe importance of the metalinguistic awareness and the semiotic mediation in algebralearning. In the end, it also became clear that the mathematical symbolic language needsa more explicit role in the Swedish mathematics education.
Lawley, Michael John, and n/a. "Program Transformation for Proving Database Transaction Safety." Griffith University. School of Computing and Information Technology, 2000. http://www4.gu.edu.au:8080/adt-root/public/adt-QGU20070228.150125.
Повний текст джерелаPaddock, Jeff. "Informed by silence." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp03/MQ62412.pdf.
Повний текст джерелаStrobach, Niko. "Alternativen in der Raumzeit eine Studie zur philosophischen Anwendung multimodaler Aussagenlogiken." Berlin Logos, 2007. http://deposit.d-nb.de/cgi-bin/dokserv?id=2907736&prov=M&dok_var=1&dok_ext=htm.
Повний текст джерелаLegge, Gaynor W. "A Mechanism for Facilitating Temporal Reasoning in Discrete Event Simulation." Thesis, University of North Texas, 1992. https://digital.library.unt.edu/ark:/67531/metadc278352/.
Повний текст джерела