Dissertations / Theses on the topic 'Higher Order Information'
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 'Higher Order Information.'
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.
Alexiou, Ioannis. "Complex filters and higher-order spatial information for image categorization." Thesis, Imperial College London, 2013. http://hdl.handle.net/10044/1/14488.
Full textHelvik, Torbjørn. "Dynamical systems of interacting units : Information transport and higher order structures." Doctoral thesis, Norwegian University of Science and Technology, Faculty of Information Technology, Mathematics and Electrical Engineering, 2006. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-715.
Full textCollins, Gary Wayne. "Information communication technology as a cognitive tool to facilitate higher-order thinking." Thesis, University of Pretoria, 2012. http://hdl.handle.net/2263/24075.
Full textPeters, Mathias, and del Valle Jaime Armijo. "Kunskap om, användande av och vilja att använda higher-order functions i industrin och i akademia." Thesis, Uppsala universitet, Institutionen för informatik och media, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-301401.
Full textWin, Maung Nyan Parker Carl Stevens Smolke Christina D. "Engineering RNA devices for gene regulation, biosensing, and higher-order cellular information processing /." Diss., Pasadena, Calif. : Caltech, 2008. http://resolver.caltech.edu/CaltechETD:etd-05282008-142750.
Full textDube, Sibusisiwe. "A paradox of the second order digital divide in higher education institutions of developing countries: case of Zimbabwe." Doctoral thesis, Faculty of Commerce, 2021. http://hdl.handle.net/11427/33697.
Full textHuppe, Alicia. "An Exploratory Study of Students' Use of Facebook and Other Communication Modalities in Order to Receive Student Affairs Information." Thesis, University of North Texas, 2011. https://digital.library.unt.edu/ark:/67531/metadc67992/.
Full textConley, Thomas A. "Effective Programmatic Analysis of Network Flow Data for Security and Visualization using Higher-order Statistics and Domain Specific Embedded Languages." Ohio University / OhioLINK, 2012. http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1336482912.
Full textWong, Chi-kong. "A structured learning activity : using web browsing & publishing for the development of independent learning, IT competence & higher-order thinking /." Hong Kong : University of Hong Kong, 1998. http://sunzi.lib.hku.hk/hkuto/record.jsp?B20058007.
Full textMohamed, Abdul Cader Akmal Jahan. "Finger biometric system using bispectral invariants and information fusion techniques." Thesis, Queensland University of Technology, 2019. https://eprints.qut.edu.au/134464/1/Akmal%20Jahan_Mohamed%20Abdul%20Cader_Thesis.pdf.
Full textYip, Wing-shun, and 葉榮信. "The difference between traditional learning environment and information enriched learning environment on the acquisition andtransfer of higher order thinking skills in a biological context." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 1998. http://hub.hku.hk/bib/B31960595.
Full textBecker, Sebastian Josef Albrecht. "Perspectives on what to believe : the information-sensitivity of the doxastic 'should' and its implications for normative epistemology." Thesis, University of St Andrews, 2016. http://hdl.handle.net/10023/9890.
Full textYip, Wing-shun. "The difference between traditional learning environment and information enriched learning environment on the acquisition and transfer of higher order thinking skills in a biological context." Hong Kong : University of Hong Kong, 1998. http://sunzi.lib.hku.hk/hkuto/record.jsp?B20057441.
Full textWong, Chi-kong, and 黃志剛. "A structured learning activity: using web browsing & publishing for the development of independent learning, ITcompetence & higher-order thinking." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 1998. http://hub.hku.hk/bib/B31960510.
Full textKeil, Roman Matthias [Verfasser], and Peter [Akademischer Betreuer] Thiemann. "Higher-order contracts for JavaScript." Freiburg : Universität, 2018. http://d-nb.info/1173615822/34.
Full textPerez, Parra Jorge Andres <1983>. "Higher-Order Concurrency: Expressiveness and Decidability Results." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2010. http://amsdottorato.unibo.it/2285/1/perezparra_jorgeandres_tesi.pdf.
Full textPerez, Parra Jorge Andres <1983>. "Higher-Order Concurrency: Expressiveness and Decidability Results." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2010. http://amsdottorato.unibo.it/2285/.
Full textVignudelli, Valeria <1985>. "Behavioral Equivalences for Higher-Order Languages with Probabilities." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2017. http://amsdottorato.unibo.it/7968/7/Vignudelli_Valeria_tesi.pdf.
Full textBruse, Florian [Verfasser]. "Extremal fixpoints for higher-order modal logic / Florian Bruse." Kassel : Universitätsbibliothek Kassel, 2020. http://d-nb.info/1220854093/34.
Full textFerone, A. "EXPLOITING HIGHER ORDER UNCERTAINTY IN IMAGE ANALYSIS." Doctoral thesis, Università degli Studi di Milano, 2011. http://hdl.handle.net/2434/155479.
Full textHappe, Lucia [Verfasser]. "Configurable Software Performance Completions through Higher-Order Model Transformations / Lucia Happe." Karlsruhe : KIT Scientific Publishing, 2014. http://www.ksp.kit.edu.
Full textGavazzo, Francesco <1989>. "Coinductive Equivalences and Metrics for Higher-order Languages with Algebraic Effects." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2019. http://amsdottorato.unibo.it/9075/1/main.pdf.
Full textNeubauer, Johannes [Verfasser], Bernhard [Akademischer Betreuer] Steffen, and Mike [Gutachter] Hinchey. "Higher order process engineering / Johannes Neubauer. Betreuer: Bernhard Steffen. Gutachter: Mike Hinchey." Dortmund : Universitätsbibliothek Dortmund, 2014. http://d-nb.info/1104738368/34.
Full textHeithausen, Cordula [Verfasser]. "Coding of Higher Order Motion Parameters for Video Compression / Cordula Heithausen." Aachen : Shaker, 2018. http://d-nb.info/1159836019/34.
Full textRajani, Vineet [Verfasser], and Deepak [Akademischer Betreuer] Garg. "A type-theory for higher-order amortized analysis / Vineet Rajani ; Betreuer: Deepak Garg." Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2020. http://d-nb.info/1209947382/34.
Full textSchollmeyer, Andre Verfasser], Bernd [Akademischer Betreuer] [Fröhlich, Bernd [Gutachter] Fröhlich, and Michael [Gutachter] Guthe. "Efficient and High-Quality Rendering of Higher-Order Geometric Data Representations / Andre Schollmeyer ; Gutachter: Bernd Fröhlich, Michael Guthe ; Betreuer: Bernd Fröhlich." Weimar : Professur Systeme der Virtuellen Realität, 2018. http://d-nb.info/1176126504/34.
Full textSchollmeyer, Andre [Verfasser], Bernd [Akademischer Betreuer] Fröhlich, Bernd [Gutachter] Fröhlich, and Michael [Gutachter] Guthe. "Efficient and High-Quality Rendering of Higher-Order Geometric Data Representations / Andre Schollmeyer ; Gutachter: Bernd Fröhlich, Michael Guthe ; Betreuer: Bernd Fröhlich." Weimar : Professur Systeme der Virtuellen Realität, 2018. http://d-nb.info/1176126504/34.
Full textHappe, Lucia [Verfasser], and R. H. [Akademischer Betreuer] Reussner. "Configurable Software Performance Completions through Higher-Order Model Transformations / Lucia Happe. Betreuer: R. H. Reussner." Karlsruhe : KIT-Bibliothek, 2011. http://d-nb.info/1028567146/34.
Full textSlaats, Michaela [Verfasser]. "Infinite regular games in the higher-order pushdown and the parametrized setting / Michaela Slaats." Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2012. http://d-nb.info/1019646411/34.
Full textGiarrusso, Paolo G. [Verfasser], and Klaus [Akademischer Betreuer] Ostermann. "Optimizing and Incrementalizing Higher-order Collection Queries by AST Transformation / Paolo Giosuè Giarrusso ; Betreuer: Klaus Ostermann." Tübingen : Universitätsbibliothek Tübingen, 2020. http://d-nb.info/1205313524/34.
Full textGiarrusso, Paolo Giosuè [Verfasser], and Klaus [Akademischer Betreuer] Ostermann. "Optimizing and Incrementalizing Higher-order Collection Queries by AST Transformation / Paolo Giosuè Giarrusso ; Betreuer: Klaus Ostermann." Tübingen : Universitätsbibliothek Tübingen, 2020. http://d-nb.info/1205313524/34.
Full textMohnen, Markus [Verfasser]. "Optimising the memory management of higher order functional programs / [RWTH Aachen, Fachgruppe Informatik]. Vorgelegt von Markus Mohnen." Aachen : RWTH, Fachgruppe Informatik, 1997. http://d-nb.info/970713789/34.
Full textLincoln, Mary Elizabeth. "Academic rigour in science assessment tasks." Thesis, Queensland University of Technology, 2010. https://eprints.qut.edu.au/33209/2/Mary_Lincoln_Citation.pdf.
Full textWinter, Stefan [Verfasser], Neeraj [Akademischer Betreuer] Suri, and Domenico [Akademischer Betreuer] Cotroneo. "On the Utility of Higher Order Fault Models for Fault Injections / Stefan Winter. Betreuer: Neeraj Suri ; Domenico Cotroneo." Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015. http://d-nb.info/1112268782/34.
Full textKrasowski, Nikola Enrico [Verfasser], and Fred A. [Akademischer Betreuer] Hamprecht. "Automated Segmentation for Connectomics Utilizing Higher-Order Biological Priors / Nikola Enrico Krasowski ; Betreuer: Fred A. Hamprecht." Heidelberg : Universitätsbibliothek Heidelberg, 2016. http://d-nb.info/1180616405/34.
Full textKrasowski, Nikola Enrico [Verfasser], and Fred [Akademischer Betreuer] Hamprecht. "Automated Segmentation for Connectomics Utilizing Higher-Order Biological Priors / Nikola Enrico Krasowski ; Betreuer: Fred A. Hamprecht." Heidelberg : Universitätsbibliothek Heidelberg, 2016. http://nbn-resolving.de/urn:nbn:de:bsz:16-heidok-216173.
Full textLincke, Daniel [Verfasser], and Sibylle [Akademischer Betreuer] Schupp. "A transformational approach to generic software development based on higher-order, typed functional signatures / Daniel Lincke. Betreuer: Sibylle Schupp." Hamburg-Harburg : Universitätsbibliothek der Technischen Universität Hamburg-Harburg, 2012. http://d-nb.info/1048542858/34.
Full textBlanchette, Jasmin Christian Verfasser], Tobias [Akademischer Betreuer] [Nipkow, and Koen [Akademischer Betreuer] Claessen. "Automatic Proofs and Refutations for Higher-Order Logic / Jasmin Christian Blanchette. Gutachter: Tobias Nipkow ; Koen Claessen. Betreuer: Tobias Nipkow." München : Universitätsbibliothek der TU München, 2012. http://d-nb.info/1024354997/34.
Full textKarcher, David S. [Verfasser], Uwe [Akademischer Betreuer] Nestmann, Uwe [Gutachter] Nestmann, Sabine [Gutachter] Glesner, and Thomas [Gutachter] Hildebrandt. "Event structures with higher-order dynamics / David S. Karcher ; Gutachter: Uwe Nestmann, Sabine Glesner, Thomas Hildebrandt ; Betreuer: Uwe Nestmann." Berlin : Universitätsverlag der TU Berlin, 2019. http://d-nb.info/1182424058/34.
Full textLincke, Daniel Verfasser], and Sibylle [Akademischer Betreuer] [Schupp. "A transformational approach to generic software development based on higher-order, typed functional signatures / Daniel Lincke. Betreuer: Sibylle Schupp." Hamburg-Harburg : Universitätsbibliothek der Technischen Universität Hamburg-Harburg, 2012. http://nbn-resolving.de/urn:nbn:de:gbv:830-tubdok-11682.
Full textBlanchette, Jasmin [Verfasser], Tobias [Akademischer Betreuer] Nipkow, and Koen [Akademischer Betreuer] Claessen. "Automatic Proofs and Refutations for Higher-Order Logic / Jasmin Christian Blanchette. Gutachter: Tobias Nipkow ; Koen Claessen. Betreuer: Tobias Nipkow." München : Universitätsbibliothek der TU München, 2012. http://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20120628-1097834-1-6.
Full textKunčar, Ondřej Verfasser], Tobias [Akademischer Betreuer] [Gutachter] [Nipkow, and Lawrence C. [Gutachter] Paulson. "Types, Abstraction and Parametric Polymorphism in Higher-Order Logic / Ondřej Kunčar. Betreuer: Tobias Nipkow. Gutachter: Lawrence C. Paulson ; Tobias Nipkow." München : Universitätsbibliothek der TU München, 2016. http://d-nb.info/1106382153/34.
Full textBulwahn, Lukas [Verfasser], Tobias [Akademischer Betreuer] Nipkow, and Colin [Akademischer Betreuer] Runciman. "Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming / Lukas Bulwahn. Gutachter: Tobias Nipkow ; Colin Runciman. Betreuer: Tobias Nipkow." München : Universitätsbibliothek der TU München, 2013. http://d-nb.info/1033891142/34.
Full textImmler, Vincent Charles [Verfasser], Georg [Akademischer Betreuer] Sigl, Christoph [Gutachter] Kutter, and Georg [Gutachter] Sigl. "Higher-Order Alphabet Physical Unclonable Functions : Constructions, Properties, and Applications / Vincent Charles Immler ; Gutachter: Christoph Kutter, Georg Sigl ; Betreuer: Georg Sigl." München : Universitätsbibliothek der TU München, 2019. http://d-nb.info/1201819865/34.
Full textKarlsson, Isak. "Order in the random forest." Doctoral thesis, Stockholms universitet, Institutionen för data- och systemvetenskap, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-142052.
Full textAbrahamsson, Andreas, and Rasmus Pettersson. "Smoothing of initial conditions for high order approximations in option pricing." Thesis, Uppsala universitet, Avdelningen för beräkningsvetenskap, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-302322.
Full textBirkefeld, Andreas [Verfasser], and Claus-Dieter [Akademischer Betreuer] Munz. "Computational aeroacoustics with a high order discontinuous Galerkin scheme / Andreas Birkefeld. Betreuer: Claus-Dieter Munz." Stuttgart : Universitätsbibliothek der Universität Stuttgart, 2013. http://d-nb.info/1029982287/34.
Full textWeber, Daniel Verfasser], André [Akademischer Betreuer] Stork, Dieter W. [Akademischer Betreuer] [Fellner, and Michael [Akademischer Betreuer] Goesele. "Interactive Physically Based Simulation - Efficient Higher-Order Elements, Multigrid Approaches and Massively Parallel Data Structures / Daniel Weber. Betreuer: André Stork ; Dieter Fellner ; Michael Goesele." Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016. http://d-nb.info/1112141847/34.
Full textWeber, Daniel [Verfasser], André Akademischer Betreuer] Stork, Dieter W. [Akademischer Betreuer] [Fellner, and Michael [Akademischer Betreuer] Goesele. "Interactive Physically Based Simulation - Efficient Higher-Order Elements, Multigrid Approaches and Massively Parallel Data Structures / Daniel Weber. Betreuer: André Stork ; Dieter Fellner ; Michael Goesele." Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016. http://nbn-resolving.de/urn:nbn:de:tuda-tuprints-53257.
Full textTian, Chun. "A formalization of unique solutions of equations in process algebra." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2017. http://amslaurea.unibo.it/14798/.
Full text