Log in

Relevant bibliographies by topics / Higher order / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Higher order.

Dissertations / Theses on the topic 'Higher order'

Author: Grafiati

Published: 4 June 2021

Last updated: 16 June 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Higher order.'

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.

1

KUSAKARI, Keiichirou. "Higher-Order Path Orders Based on Computability." Institute of Electronics, Information and Communication Engineers, 2004. http://hdl.handle.net/2237/14973.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Krishnaswami, Neelakantan R. "Verifying Higher-Order Imperative Programs with Higher-Order Separation Logic." Research Showcase @ CMU, 2012. http://repository.cmu.edu/dissertations/164.

Full text

Abstract:

In this thesis I show is that it is possible to give modular correctness proofs of interesting higher-order imperative programs using higher-order separation logic. To do this, I develop a model higher-order imperative programming language, and develop a program logic for it. I demonstrate the power of my program logic by verifying a series of examples. This includes both realistic patterns of higher-order imperative programming such as the subject-observer pattern, as well as examples demonstrating the use of higher-order logic to reason modularly about highly aliased data structures such as

APA, Harvard, Vancouver, ISO, and other styles

3

Schroeder, Marc A. "Higher-order Charity." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/mq24697.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Sultana, Nikolai. "Higher-order proof translation." Thesis, University of Cambridge, 2015. https://www.repository.cam.ac.uk/handle/1810/247345.

Full text

Abstract:

The case for interfacing logic tools together has been made countless times in the literature, but it is still an important research question. There are various logics and respective tools for carrying out formal developments, but practitioners still lament the difficulty of reliably exchanging mathematical data between tools. Writing proof-translation tools is hard. The problem has both a theoretical side (to ensure that the translation is adequate) and a practical side (to ensure that the translation is feasible and usable). Moreover, the source and target proof formats might be less documen

APA, Harvard, Vancouver, ISO, and other styles

5

Jia, Y. "Higher order mutation testing." Thesis, University College London (University of London), 2013. http://discovery.ucl.ac.uk/1401264/.

Full text

Abstract:

Mutation testing is a fault-based software testing technique that has been studied widely for over three decades. To date, work in this field has focused largely on first order mutants because it is believed that higher order mutation testing is too computationally expensive to be practical. This thesis argues that some higher order mutants are potentially better able to simulate real world faults and to reveal insights into programming bugs than the restricted class of first order mutants. This thesis proposes a higher order mutation testing paradigm which combines valuable higher order mutan

APA, Harvard, Vancouver, ISO, and other styles

6

Pal, Kamal K. "Higher order numerical methods for fractional order differential equations." Thesis, University of Chester, 2015. http://hdl.handle.net/10034/613354.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Agarwal, Sameer. "Learning from higher order relations." Connect to a 24 p. preview or request complete full text in PDF format. Access restricted to UC campuses, 2006. http://wwwlib.umi.com/cr/ucsd/fullcit?p3210648.

Full text

Abstract:

Thesis (Ph. D.)--University of California, San Diego, 2006.<br>Title from first page of PDF file (viewed June 7, 2006). Available via ProQuest Digital Dissertations. Vita. Includes bibliographical references (p. 82-90).

APA, Harvard, Vancouver, ISO, and other styles

8

Stark, Ian David Bede. "Names and higher-order functions." Thesis, University of Cambridge, 1994. https://www.repository.cam.ac.uk/handle/1810/251879.

Full text

Abstract:

Many functional programming languages rely on the elimination of 'impure' features: assignment to variables, exceptions and even input/output. But some of these are genuinely useful, and it is of real interest to establish how they can be reintroducted in a controlled way. This dissertation looks in detail at one example of this: the addition to a functional language of dynamically generated names. Names are created fresh, they can be compared with each other and passed around, but that is all. As a very basic example of state, they capture the graduation between private and public, local and

APA, Harvard, Vancouver, ISO, and other styles

9

Keil, Roman Matthias [Verfasser], and Peter [Akademischer Betreuer] Thiemann. "Higher-order contracts for JavaScript." Freiburg : Universität, 2018. http://d-nb.info/1173615822/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Vu, Quoc Huy. "Higher-order queries and applications." Thesis, University of Oxford, 2012. http://ora.ox.ac.uk/objects/uuid:b82abe3c-78ae-4f74-9db3-d0caec248410.

Full text

Abstract:

Higher-order transformations are ubiquitous within data management. In relational databases, higher-order queries appear in numerous aspects including query rewriting and query specification. In XML databases, higher-order functions are natural due to the close connection of XML query languages with functional programming. The thesis investigates higher-order query languages that combine higher- order transformations with ordinary database query languages. We de- fine higher-order query languages based on Relational Algebra, Monad Algebra, and XQuery. The thesis also studies basic problems for

APA, Harvard, Vancouver, ISO, and other styles

11

Osborne, Michael James. "Higher order parametric x-rays." Thesis, Monterey, California. Naval Postgraduate School, 1991. http://hdl.handle.net/10945/26574.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Chen, Chengyuan. "Higher order fuzzy rule interpolation." Thesis, Aberystwyth University, 2015. http://hdl.handle.net/2160/28b8a37d-9833-4afb-b0c8-bef53749a9d2.

Full text

Abstract:

Fuzzy inference is an effective means for representing and handling vagueness and imprecision. As a particular type of fuzzy inference, fuzzy rule interpolation enhances the performance of the inference when a given observation has no overlap with the antecedent values of any of the existing rules. In such cases, conventional fuzzy inference methods cannot derive a conclusion, but fuzzy rule interpolation methods can still obtain a certain conclusion. Unfortunately, very little of the existing work on fuzzy rule interpolation can conjunctively handle more than one form of uncertainty in the ru

APA, Harvard, Vancouver, ISO, and other styles

13

Benecke, Stephen. "Higher order domination of graphs." Thesis, Stellenbosch : University of Stellenbosch, 2004. http://hdl.handle.net/10019.1/16257.

Full text

Abstract:

Thesis (MSc)--University of Stellenbosch, 2004.<br>ENGLISH ABSTRACT: Motivation for the study of protection strategies for graphs is rooted in antiquity and has evolved as a subdiscipline of graph theory since the early 1990s. Using, as a point of departure, the notions of weak Roman domination and secure domination (where protection of a graph is required against a single attack) an initial framework for higher order domination was introduced in 2002 (allowing for the protection of a graph against an arbitrary finite, or even infinite, number of attacks). In this thesis, the theory of hi

APA, Harvard, Vancouver, ISO, and other styles

14

Straker, Robert N. "Higher-order cycloisomerisations of enynamides." Thesis, University of Oxford, 2016. https://ora.ox.ac.uk/objects/uuid:07677f16-f1ea-443e-b9dd-6239963d3ec4.

Full text

Abstract:

This thesis describes the development of a novel transformation of ynamides, and addresses more general questions of asymmetric cycloisomerisation. The rhodiumcatalysed [5+2] cycloisomerisation of ynamide vinylcyclopropanes A1 to [5.3.0]- heterobicycles A2 is established (Scheme i). We design a versatile substrate synthesis, which allows the preparation of diversely substituted enynamide substrates. Under achiral rhodium catalysis, the extent of substrate diastereo- and regioselectivity is investigated. The reaction is rendered asymmetric with the use of chiral phosphoramidite ligands; where a

APA, Harvard, Vancouver, ISO, and other styles

15

Jinabhai, Amit. "Higher-order aberrations in keratoconus." Thesis, University of Manchester, 2012. https://www.research.manchester.ac.uk/portal/en/theses/higherorder-aberrations-in-keratoconus(32fcb499-fd7a-4764-b723-f58ef1a22633).html.

Full text

Abstract:

The reduction in visual performance typically found in keratoconic patients is believed to be associated with large magnitudes of uncorrected irregular astigmatism and higher-order aberrations (HOAs). Previous studies indicate that correcting HOAs in keratoconus patients may result in an improvement in visual performance. This thesis explores the correction of HOAs using standard sphero-cylindrical and customised aberration-controlling soft contact lenses in 22 patients with keratoconus. The findings of this work may be useful from a clinical perspective, as some keratoconic patients cannot to

APA, Harvard, Vancouver, ISO, and other styles

16

Machado, Rodrigo. "Higher-order graph rewriting systems." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2012. http://hdl.handle.net/10183/54887.

Full text

Abstract:

Programas sofrem diversas modificações ao longo das etapas de desenvolvimento, implantação e manutenção. A evolução de um software pode ter várias causas: correção de erros, inclusão de novas funcionalidades ou até mesmo, como é o caso de programas orientados a aspecto, transformações estruturais podem fazer parte da semântica do sistema. Apesar de modificações serem comuns, não é tarefa trivial prever como estas afetam o comportamento dos programas, já que os componentes de software normalmente interagem de forma complexa, o que faz com que mesmo pequenas alterações possam introduzir comporta

APA, Harvard, Vancouver, ISO, and other styles

17

Alestalo, Pekka. "Uniform domains of higher order /." Helsinki : Suomalainen Tiedeakatemia, 1994. http://catalogue.bnf.fr/ark:/12148/cb40927341j.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Fabbri, Luca <1978&gt. "Higher-order theories of gravitation." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2007. http://amsdottorato.unibo.it/333/1/libro.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Fabbri, Luca <1978&gt. "Higher-order theories of gravitation." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2007. http://amsdottorato.unibo.it/333/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Sarkar, Kabita. "Higher order effects of gravity." Thesis, University of North Bengal, 2007. http://hdl.handle.net/123456789/647.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Matamalas, Llodrà Joan Tomàs. "Higher-order dynamics on complex networks." Doctoral thesis, Universitat Rovira i Virgili, 2019. http://hdl.handle.net/10803/666484.

Full text

Abstract:

L’estudi de les xarxes complexes ha esdevingut un nou paradigma a l’hora d’entendre i modelar sistemes físics. Uns dels principals punts d’interès són les dinàmiques que hi podem modelar. Però com en tot model, la quantitat de informació que podem representar-hi està limitada per la seva complexitat. La motivació principal d’aquesta tesi és l’estudi de l’efecte que un increment de la complexitat estructural, relacional i temporal té sobre tres importants àrees d’estudi: l’evolució de la cooperació, la propagació de malalties, i l’estudi de la mobilitat humana. En aquest treball hem utilitza

APA, Harvard, Vancouver, ISO, and other styles

22

Emmons, Caleb J. "Higher order integral stark-type conjectures." Connect to a 24 p. preview or request complete full text in PDF format. Access restricted to UC campuses, 2006. http://wwwlib.umi.com/cr/ucsd/fullcit?p3208011.

Full text

Abstract:

Thesis (Ph. D.)--University of California, San Diego, 2006.<br>Title from first page of PDF file (viewed May 22, 2006). Available via ProQuest Digital Dissertations. Vita. Includes bibliographical references (p. 107-109).

APA, Harvard, Vancouver, ISO, and other styles

23

Might, Matthew Brendon. "Environment Analysis of Higher-Order Languages." Diss., Georgia Institute of Technology, 2007. http://hdl.handle.net/1853/16289.

Full text

Abstract:

Any analysis of higher-order languages must grapple with the tri-facetted nature of lambda. In one construct, the fundamental control, environment and data structures of a language meet and intertwine. With the control facet tamed nearly two decades ago, this work brings the environment facet to heel, defining the environment problem and developing its solution: environment analysis. Environment analysis allows a compiler to reason about the equivalence of environments, i.e., name-to-value mappings, that arise during a program's execution. In this dissertation, two different techniques-abstrac

APA, Harvard, Vancouver, ISO, and other styles

24

Tepoyan, Liparit. "Degenerated operator equations of higher order." Universität Potsdam, 2000. http://opus.kobv.de/ubp/volltexte/2008/2588/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Hana, Jiri. "Czech clitics in higher order grammar." Columbus, Ohio : Ohio State University, 2007. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=osu1188232919.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Sittampalam, Ganesh. "Higher-order matching for program transformation." Thesis, University of Oxford, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.249616.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Arismendi, J. C. "Multivariate higher-order moments in finance." Thesis, University of Reading, 2013. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.602398.

Full text

Abstract:

We derive a set of results of a statistical nature. We provide closed-form expressions to calculate the multivariate truncated moments of several distributions. The first major contribution of this research is a formula to calculate moments of an arbitrary order of the lower truncated multivariate standard normal (MVSN) distribution. This result is a generalisation of the previous research on truncated first- and second-order moments. The results on the MVSN are extended to the non-standard case for a lower truncated finite mixture of multivariate normal (FMVN) distributions. We derive the mom

APA, Harvard, Vancouver, ISO, and other styles

28

Elliott, Philip. "Higher-order central-moment neural architectures." Thesis, University of Reading, 2012. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.577779.

Full text

Abstract:

The encapsulation of weighted statistical processing directly into the adaptive neural architecture enables explicit representation of a sig- nificantly greater variety of functions, describing a more diverse set of relationships between the inputs. Here a novel method is developed to allow utilisation of weighted statistical measures for sub-sets of inputs in an arbitrary layer of neu- ral processing. The incorporation of significance weighted statistical measures enables neural processing to consider not just the net acti- vations, but also to take into account distribution information, whil

APA, Harvard, Vancouver, ISO, and other styles

29

Wilberg, J. R. "Phenomenal consciousness and higher-order thought." Thesis, University of Essex, 2010. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.511009.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Russell, Chris. "Higher-order inference for vision problems." Thesis, Oxford Brookes University, 2012. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.579506.

Full text

Abstract:

Many problems of image understanding can be formulated as semantic segmentation, or the assignment of a 'class' label to every pixel in the image. Until recently, for reasons of efficiency, the problem of generating a good labelling of an image has been formulated as the minimisation of a pairwise Markov random field. However, these pairwise fields are unable to capture the higher-order statistics of natural images which can be used to enforce the coherence of regions in the image or to encourage particular regions to belong to a certain class. Despite these limitations, the use of pairwise Ma

APA, Harvard, Vancouver, ISO, and other styles

31

Strååt, Johan. "Higher order complexes of distributive lattices." Thesis, KTH, Matematik (Avd.), 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-165379.

Full text

Abstract:

This thesis explores higher order complexes over distributive lattices and their properties. Computer programs were written to handle these very complex objects, in particular programs that input posets, transform them to distributive lattices, derive the higher order complex of said lattices and then compute their homology groups and ideally also checks if they are shellable. The results of the computer aided exploration inspired proofs of more general results about second order complexes of distributive lattices.<br>Det här examensarbetet undersöker högre ordningskomplex över distributiva la

APA, Harvard, Vancouver, ISO, and other styles

32

Marlow, Simon David. "Deforestation for higher-order functional programs." Thesis, University of Glasgow, 1995. http://theses.gla.ac.uk/4818/.

Full text

Abstract:

Functional programming languages are an ideal medium for program optimisations based on source-to-source transformation techniques. Referential transparency affords opportunities for a wide range of correctness-preserving transformations leading to potent optimisation strategies. This thesis builds on deforestation, a program transformation technique due to Wadler that removes intermediate data structures from first-order functional programs. Our contribution is to reformulate deforestation for higher-order functional programming languages, and to show that the resulting algorithm terminates g

APA, Harvard, Vancouver, ISO, and other styles

33

Cerdà, Sevilla M. "Higher order corrections for precision observables." Thesis, University of Liverpool, 2017. http://livrepository.liverpool.ac.uk/3010055/.

Full text

Abstract:

Higher order corrections are a fundamental ingredient for the analysis of physical ob- servables. They are essential to improve the precision of theory predictions within the Standard Model which then lead to an increased sensitivity of these observables to physics beyond the Standard Model. In this thesis we compute higher order QCD corrections to the effective Lagrangian for weak decays. We combine previous results for the Next-to-Next-to-Leading order in the five-flavour theory with new matching calculations. This allows us to determine the effective Lagrangian in the four- and in the three

APA, Harvard, Vancouver, ISO, and other styles

34

Cotsakis, Spiros. "Cosmological models in higher-order gravity." Thesis, University of Sussex, 1990. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.303168.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Neatherway, Robin Philip. "Higher-order model checking with traversals." Thesis, University of Oxford, 2014. http://ora.ox.ac.uk/objects/uuid:240bd517-1582-45f9-86c3-eb30f85757de.

Full text

Abstract:

Higher-order recursion schemes are a powerful model of functional computation that grew out of traditional recursive program schemes and generalisations of grammars. It is common to view recursion schemes as generators of possibly-infinite trees, which Ong showed to have a decidable monadic second order theory and opened the door to applications in verification. Kobayashi later presented an intersection type characterisation of the model checking problem, on which most subsequent applied work is based. In recent work, recursion schemes have been considered to play a role similar to Boolean pro

APA, Harvard, Vancouver, ISO, and other styles

36

Thomsen, Bent. "Calculi for higher order communicating systems." Thesis, Imperial College London, 1991. http://hdl.handle.net/10044/1/52076.

Full text

Abstract:

This thesis develops two Calculi for Higher Order Communicating Systems. Both calculi consider sending and receiving processes to be as fundamental as nondeterminism and parallel composition. The first calculus called CHOCS is an extension of Milner's CCS in the sense that all the constructions of CCS are included or may be derived from more fundamental constructs. Most of the mathematical framework of CCS carries over almost unchanged. The operational semantics of CHOCS is given as a labelled transition system and it is a direct extension of the semantics of CCS with value passing. A set of a

APA, Harvard, Vancouver, ISO, and other styles

37

Carolus, Samuel R. "Properties of Higher Order Hochschild Cohomology." Bowling Green State University / OhioLINK, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=bgsu1559223542984021.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Hunt, D'Hania J. "Constructing higher-order de Bruijn graphs." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2002. http://library.nps.navy.mil/uhtbin/hyperion-image/02Jun%5FHunt.pdf.

Full text

Abstract:

Thesis (M.S. in Applied Mathematics)--Naval Postgraduate School, June 2002.<br>Thesis advisor(s): Harold Fredricksen, Craig W. Rasmussen. Includes bibliographical references (p. 45-46). Also available online.

APA, Harvard, Vancouver, ISO, and other styles

39

Simic, ́. Ivana. "The problem of higher-order vagueness." [Gainesville, Fla.] : University of Florida, 2004. http://purl.fcla.edu/fcla/etd/UFE0004887.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Morrison, Tegan Ann. "Asymptotics of higher-order Painlevé equations." Thesis, The University of Sydney, 2009. http://hdl.handle.net/2123/5140.

Full text

Abstract:

We undertake an asymptotic study of a second Painlevé hierarchy based on the Jimbo-Miwa Lax pair in the limit as the independent variable approaches infinity. The hierarchy is defined by an infinite sequence of non-linear ordinary differential equations, indexed by order, with the classical second Painlevé equation as the first member. We investigate general and special asymptotic behaviours admitted by each equation in the hierarchy. We show that the general asymptotic behaviour is described by two related hyperelliptic functions, where the genus of the functions increases with each member of

APA, Harvard, Vancouver, ISO, and other styles

41

Morrison, Tegan Ann. "Asymptotics of higher-order Painlevé equations." University of Sydney, 2009. http://hdl.handle.net/2123/5140.

Full text

Abstract:

Doctor of Philosophy (PhD)<br>We undertake an asymptotic study of a second Painlevé hierarchy based on the Jimbo-Miwa Lax pair in the limit as the independent variable approaches infinity. The hierarchy is defined by an infinite sequence of non-linear ordinary differential equations, indexed by order, with the classical second Painlevé equation as the first member. We investigate general and special asymptotic behaviours admitted by each equation in the hierarchy. We show that the general asymptotic behaviour is described by two related hyperelliptic functions, where the genus of the functions

APA, Harvard, Vancouver, ISO, and other styles

42

Zhang, Zhihong. "Feature selection from higher order correlations." Thesis, University of York, 2012. http://etheses.whiterose.ac.uk/3340/.

Full text

Abstract:

This thesis addresses the problems in feature selection, particularly focusing on selecting features from higher order correlations. To this end, we present two supervised feature selection approaches named \emph{Graph based Information-theoretic Feature Selection} and \emph{Hypergraph based Information-theoretic Feature Selection} respectively, which are capable of considering third or even higher order dependencies between the relevant features and capturing the optimal size of relevant feature subset. Furthermore, we develop two unsupervised feature selection methods which can evaluate feat

APA, Harvard, Vancouver, ISO, and other styles

43

Tjomsland, Mathias Farvolden. "Isogeometric Analysis : Higher-Order Differential Equations." Thesis, Norges teknisk-naturvitenskapelige universitet, Institutt for matematiske fag, 2013. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-24137.

Full text

Abstract:

This thesis introduces Isogeometric Analysis as a potentional bridge between the Finite Element Analysis (FEA) and Computer Aided Design (CAD) communities. An introduction to B-splines and B-spline-based Isogeometric Analysis is given. Then an implemented Isogeometric Analysis solver is used to solve both the Poisson problem and the higher order Biharmonic equation on the unit square. The significant convergence results for Isogeometric Analysis is verified in both cases. Lastly, the highly non-linear, and stiff, Cahn-Hilliard equation is studied. The implemented solver is used to show good re

APA, Harvard, Vancouver, ISO, and other styles

44

Kubeisa, S., Hassan Ugail, and M. J. Wilson. "Interactive design using higher order PDE's." Springer Berlin, 2004. http://hdl.handle.net/10454/2659.

Full text

Abstract:

Yes<br>This paper extends the PDE method of surface generation. The governing partial differential equation is generalised to sixth order to increase its flexibility. The PDE is solved analytically, even in the case of general boundary conditions, making the method fast. The boundary conditions, which control the surface shape, are specified interactively, allowing intuitive manipulation of generic shapes. A compact user interface is presented which makes use of direct manipulation and other techniques for 3D interaction.

APA, Harvard, Vancouver, ISO, and other styles

45

Muller, Jacob. "Higher order differential operators on graphs." Licentiate thesis, Stockholms universitet, Matematiska institutionen, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-178070.

Full text

Abstract:

This thesis consists of two papers, enumerated by Roman numerals. The main focus is on the spectral theory of <img src="http://www.diva-portal.org/cgi-bin/mimetex.cgi?n" />-Laplacians. Here, an <img src="http://www.diva-portal.org/cgi-bin/mimetex.cgi?n" />-Laplacian, for integer <img src="http://www.diva-portal.org/cgi-bin/mimetex.cgi?n" />, refers to a metric graph equipped with a differential operator whose differential expression is the <img src="http://www.diva-portal.org/cgi-bin/mimetex.cgi?2n" />-th derivative. In Paper I, a classification of all vertex conditions corresponding to self-a

APA, Harvard, Vancouver, ISO, and other styles

46

Sangiorgi, Davide. "Expressing mobility in process algebras : first-order and higher-order paradigms." Thesis, University of Edinburgh, 1993. http://hdl.handle.net/1842/6569.

Full text

Abstract:

We study mobile systems, i.e. systems with a dynamically changing communication topology, from a process algebras point of view. Mobility can be introduced in process algebras by allowing names or terms to be transmitted. We distinguish these two approaches as first-order and higher-order. The major target of the thesis is the comparison between them. The prototypical calculus in the first-order paradigm is the π-calculus. By generalising its sort discipline we derive an w-order extension called Higher-Order π-calculus (HOπ). We show that such an extension does not add expressiveness to the π-

APA, Harvard, Vancouver, ISO, and other styles

47

Duke, Elizabeth R. "Solving higher order dynamic equations on time scales as first order systems." Huntington, WV : [Marshall University Libraries], 2006. http://www.marshall.edu/etd/descript.asp?ref=653.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Williams, Brett W. "Higher-order modes in free electron lasers." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2005. http://library.nps.navy.mil/uhtbin/hyperion/05Sep%5FWilliams.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Eng, Ju-Ling. "Higher order finite-difference time-domain method." Connect to resource, 2006. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=osu1165607826.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

Cheung, Ho Yin. "Function approximation with higher-order fuzzy systems /." View abstract or full-text, 2006. http://library.ust.hk/cgi/db/thesis.pl?ELEC%202006%20CHEUNG.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!