• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 53
  • 10
  • 3
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 82
  • 82
  • 24
  • 16
  • 16
  • 15
  • 13
  • 12
  • 12
  • 12
  • 11
  • 9
  • 8
  • 8
  • 8
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
41

Multi-modal control : from motion description languages to optimal control /

Delmotte, Florent . January 2006 (has links)
Thesis (Ph. D.)--Electrical and Computer Engineering, Georgia Institute of Technology, 2007. / Dr. Magnus Egerstedt, Committee Chair ; Dr. Erik Verriest, Committee Member ; Dr. Yorai Wardi, Committee Member ; Dr. Aaron Lanterman, Committee Member ; Dr. Tucker Balch, Committee Member.
42

Reliability-based hybrid-ARQ using convolutional codes

Roongta, Abhinav. January 2005 (has links)
Thesis (Ph. D.)--University of Florida, 2005. / Title from title page of source document. Document formatted into pages; contains 83 pages. Includes vita. Includes bibliographical references.
43

Application of learning theory in neural modeling of dynamic systems

Najarian, Kayvan. January 1900 (has links) (PDF)
Thesis (Ph. D.)--University of British Columbia, 2000. / Description based on contents viewed Aug. 16, 2007; title from title screen. Includes bibliographical references (p. 153-157).
44

Type theoretic weak factorization systems

North, Paige Randall January 2017 (has links)
This thesis presents a characterization of those categories with weak factorization systems that can interpret the theory of intensional dependent type theory with Σ, Π, and identity types. We use display map categories to serve as models of intensional dependent type theory. If a display map category (C, D) models Σ and identity types, then this structure generates a weak factorization system (L, R). Moreover, we show that if the underlying category C is Cauchy complete, then (C, R) is also a display map category modeling Σ and identity types (as well as Π types if (C, D) models Π types). Thus, our main result is to characterize display map categories (C, R) which model Σ and identity types and where R is part of a weak factorization system (L, R) on the category C. We offer three such characterizations and show that they are all equivalent when C has all finite limits. The first is that the weak factorization system (L, R) has the properties that L is stable under pullback along R and all maps to a terminal object are in R. We call such weak factorization systems type theoretic. The second is that the weak factorization system has what we call an Id-presentation: it can be built from certain categorical structure in the same way that a model of Σ and identity types generates a weak factorization system. The third is that the weak factorization system (L, R) is generated by a Moore relation system. This is a technical tool used to establish the equivalence between the first and second characterizations described. To conclude the thesis, we describe a certain class of convenient categories of topological spaces (a generalization of compactly generated weak Hausdorff spaces). We then construct a Moore relation system within these categories (and also within the topological topos) and thus show that these form display map categories with Σ and identity types (as well as Π types in the topological topos).
45

Centralisers and amalgams of saturated fusion systems

Semeraro, Jason P. G. January 2013 (has links)
In this thesis, we mainly address two contrasting topics in the area of saturated fusion systems. The first concerns the notion of a centraliser of a subsystem E of a fusion system F, and we give new proofs of the existence of such an object in the case where E is normal in F. The second concerns the development of the theory of `trees of fusion systems', an analogue for fusion systems of Bass-Serre theory for finite groups. A major theorem finds conditions on a tree of fusion systems for there to exist a saturated completion, and this is applied to construct and classify certain fusion systems over p-groups with an abelian subgroup of index p. Results which do not fall into either of the above categories include a new proof of Thompson's normal p-complement Theorem for saturated fusion systems and characterisations of certain quotients of fusion systems which possess a normal subgroup.
46

Bayesian sequential state estimation for MIMO wireless communications

Huber, Kristopher Frederick George. Haykin, Simon S., January 1900 (has links)
Thesis (Ph.D.)--McMaster University, 2005. / Supervisor: Simon Haykin. Includes bibliographical references (leaves [126]-135).
47

Design-for-testability techniques for deep submicron technology /

Das, Debaleena. January 2000 (has links)
Thesis (Ph. D.)--University of Texas at Austin, 2000. / Vita. Includes bibliographical references (leaves 81-85). Available also in a digital version from Dissertation Abstracts.
48

Projects as Governance Resources at Project-Based Organizations : The case of Umeå2014 European Capital of Culture

Tsaturyan, Tamara January 2014 (has links)
This thesis discusses the challenges of modern organizations in their efforts of designing relevant project governance systems. To address the challenge the paper proposes using resource-based view on project-based organizations in order to evaluate and identify key governance resources. Given that prevailing rational and standardized models in project-related literature provide organizations with homogeneous resource-base, this paper invites attention to those resources, which have the potential to deliver unique character to the organizations. The thesis first discusses the relevance of exploring projects as governance resources at project-based organizations, next screens the projects through VRIO framework of resource-based theory. Derived intangible resources and organizational resources are further explored at a case study organization. The findings are analysed through complex adaptive systems theory, where intrinsic motivations appear as sources for emerging project governance systems, while principal trust serves as a resource for self-organization of projects and project governance unit.
49

Toward a man-machine system for proving program correctness

Good, Donald I. January 1970 (has links)
Thesis (Ph. D.)--University of Wisconsin--Madison, 1970. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliography.
50

Link adaptation algorithms for MIMO-based WiMAX systems /

Chan, Tsz Ho. January 2007 (has links)
Thesis (M.Phil.)--Hong Kong University of Science and Technology, 2007. / Includes bibliographical references (leaves 96-100). Also available in electronic version.

Page generated in 0.1201 seconds