Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 1634 for “"Higher-order"”.
-
Higher-order proof translation
… This dissertation studies proof translation for higher-order logic. We will look at the qualitative benefits of locating the translation close to the source (where the proof is generated), the target (where the proof is consumed), and in between (as an independent tool from the proof producer and …
-
Monadic and Higher-Order Structure
… language theory, augment algebraic theories with higher-order, variable-binding structure. This motivates the definition of higher-order algebraic theories to capture this structure, permitting the study of simple type theories in a categorical setting analogous to that of algebraic theories. The …
-
Names and higher-order functions.
… local and global, by their interaction with higher-order functions. The vehicle for this study is the nu-calculus, an extension of the simply-typed lambdacalculus. The nu-calculus is equivalent to a certain fragment of Standard ML, omitting side-effects, exceptions, datatypes and recursion. …
-
Higher-Order Regularization in Computer Vision
… of a sum of functions with few arguments. The order of the objective function is defined as the highest number of arguments of any summand. To reduce ambiguity and noise in the solution, regularization terms are included into the objective function, enforcing different properties of the …
-
Manual Control of Higher Order Systems
The theory that human operators employ internal models to aid in the control of complex dynamic systems is prevalent in the psychological and manual control literature. Yet empirical evidence and the subsequent analytical representation of such models is scarce.
-
Higher-order processes in stellar opacities
Made available in DSpace on 2011-05-07T12:30:15Z (GMT). No. of bitstreams: 2 license.txt: 4922 bytes, checksum: 910b249b4beec47e7ab768910c8f966f (MD5) 9702493.pdf: 2570929 bytes, checksum: 5033c0bfef533098363e28741dcf7ac0 (MD5) Previous issue date: 1996
-
Higher-order learning in finite games
Submission published under a 24 month embargo labeled 'Closed Access', the embargo will last until 2027-08-01
-
Higher order topological semimetals and superconductors
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2022-11-11 without embargo terms
-
Higher-Order Calculations in Quantum Chromodynamics
… this thesis, several techniques and advances in higher-order Quantum Chromodynamics (QCD) calculations are presented. There is a particular focus on 2-loop 5-point massless QCD amplitudes, which are currently at the frontier of higher-order QCD calculations. Firstly, we study the …
-
Higher-Order Interactions in Social Systems
… of social network analysis, namely, using "higher-order" network models such as hypergraphs and simplicial complexes which can explicitly encode co-present contexts between three or more individuals. The first two projects describe how higher-order interactions can differ from pairwise …
-
Cosserat Operators of Higher Order and Applications
We take a look at certain operators called Cosserat operators and get a compactness result for them leading to several interesting applications. For a more detailed abstract, see the actual abstract at the beginning of the work.
-
Higher-Order Lucas Sequences and Dickson Polynomials
… its form, such that L_k = D^M_k where D^M_k is a higher-order Dickson polynomial. We first examine the cases where M has projective orders 3, 4, and 6. For the order 3 case, we find that M has entries in, at worst, a quadratic extension of F. This is also true for the orders 4 and 6, but requires …
-
Higher-order thinking in synchronous online discussion
… Review Board (IRB) approved study identified higher-order thinking skills in COMP and TCOM students’ synchronous online discussion, where higher-order thinking skills were measured in students’ writing throughout a dynamic process as well as from a final product. Using the revision of Bloom’s …
-
FDTD subgridding with higher order derivative approximations
… accuracy improvements can be achieved with a higher order FDTD method in the coarse grids. We define the standard FDTD formulation where traditional 2nd order FDTD is used and the hybrid case when 2nd as well as 4th order FDTD formulations are used. This thesis will focus on the implementation …
-
Periodic Solutions in Higher Order Nonlinear Systems
Made available in DSpace on 2014-12-04T21:02:40Z (GMT). No. of bitstreams: 1 0009141.pdf: 2815870 bytes, checksum: 0594708855464ad0f3eaeaf41edf8a18 (MD5) Previous issue date: 1954
-
Higher-order topological phases with crystalline symmetries
… Recently, a new class of TIs, dubbed the higher-order topological insulator (HOTI), has been discovered. Unlike conventional TIs, it is gapped at the boundaries but host robust features at the boundaries of boundaries. For example, the quadrupole insulator, which is the first discovered …
-
Higher-order crystalline topology in resonator circuits
… attracted research efforts is in the study of higher-order topological insulators, a recently discovered class of topological insulators where robust states appear not at boundaries, but at boundaries of boundaries. This dissertation presents several experimental studies of higher-order …
-
Higher Order Conditioning of the Eyeblink Reflex
… in both rabbit and human subjects using second-order conditioning schedules, where conventional pairings of a CS1 and the US were interleaved with pairings of a different CS2 and the CS1 (but no US). Consistent results were obtained from both sets of experiments: some subjects learned to respond …
-
Higher-Order Automatic Differentiation and Its Applications
… programming. Existing methods to achieve higher-order AD often suffer from one or more of the following problems: (1) exponential scaling with respect to order due to nesting first-order AD; (2) ad-hoc handwritten higher-order rules which are hard to maintain and do not utilize existing …
Page 1 of 82