• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 33
  • 6
  • 6
  • 6
  • 6
  • 6
  • 6
  • 5
  • 3
  • 3
  • 1
  • Tagged with
  • 56
  • 56
  • 10
  • 8
  • 7
  • 6
  • 6
  • 6
  • 5
  • 5
  • 4
  • 4
  • 4
  • 4
  • 3
  • 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.
31

Interactions between quantifiers and admissible sets

Wimmers, Edward Leo. January 1982 (has links)
Thesis (Ph. D.)--University of Wisconsin--Madison, 1982. / Typescript. Vita. Includes bibliographical references (leaf 145).
32

Algebraische und kombinatorische Aspekte der Harder-Narasimhan-Rekursion und ihrer Umkehrung

Mersmann, Gerd. January 1999 (has links)
Thesis (doctoral)--Bonn, 1998. / Includes bibliographical references (p. [273]-[274]).
33

Hierarchies of predicates of arbitrary finite types

Clarke, Doug. January 1964 (has links)
Thesis (Ph. D.)--University of Wisconsin, 1964. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Bibliography: leaves 124-128.
34

Profinite solutions for recursive domain equations

Gunter, Carl A. January 1900 (has links)
Thesis (Ph. D.)--University of Wisconsin--Madison, 1985. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (leaves 170-182).
35

Adaptive control with recursive identification for stochastic linear systems

Lafortune, Stéphane. January 1982 (has links)
No description available.
36

Mapping of recursive algorithms onto multi-rate arrays

Zheng, Yue-Peng 27 May 1994 (has links)
In this dissertation, multi-rate array (MRA) architecture and its synthesis are proposed and developed. Using multi-coordinate systems (MCS), a unified theory for mapping algorithms from their original algorithmic specifications onto multi-rate arrays is developed. A multi-rate array is a grid of processors in which each interconnection may have its own clock rate; operations with different complexities run at their own clock rate, thus increasing the throughput and efficiency. A class of algorithms named directional affine recurrence equations (DARE) is defined. The dependence space of a DARE can be decomposed into uniform and non-uniform subspaces. When projected along the non-uniform subspace, the resultant array structure is regular. Limitations and restrictions of this approach are investigated and a procedure for mapping DARE onto MRA is developed. To generalize this approach, synthesis theory is developed with initial specification as affine direct input output (ADIO) which aims at removing redundancies from algorithms. Most ADIO specifications are the original algorithmic specifications. A multi-coordinate systems (MCS) is used to present an algorithm's dependence structures. In a MCS system, the index spaces of the variables in an algorithm are defined relative to their own coordinate systems. Most traditionally considered irregular algorithms present regular dependence structures under MCS technique. Procedures are provided for transforming algorithms from original algorithmic specifications to their regular specifications. Multi-rate schedules and multi-rate timing functions are studied. The solution for multi-rate timing functions can be formulated as linear programming problems. Procedures are provided for mapping ADIOs onto multi-rate VLSI systems. Examples are provided to illustrate the synthesis of MRAs from DAREs and ADIOs. The first major contribution of this dissertation is the development of the concrete, executable MRA architectures. The second is the introduction of MCS system and its application in the development of the theory for synthesizing MRAs from original algorithmic specifications. / Graduation date: 1995
37

Design methods for recursive two-dimensional digital filters

Dubois, Eric January 1974 (has links)
No description available.
38

Uniform learning of recursive functions /

Zilles, Sandra, January 1900 (has links)
Thesis (doctoral)--Technische Universität, Kaiserslautern, 2003. / "'infix' is a joint imprint of Akademische Verlagsgesellschaft Aka GmbH and IOS Press BV (Amsterdam)"--T.p. verso. Includes bibliographical references and index.
39

Developing middle school students' understanding of recursive and explicit reasoning

Lannin, John K. Langrall, Cynthia Willey. January 2001 (has links)
Thesis (Ph. D.)--Illinois State University, 2001. / 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.
40

Design methods for recursive two-dimensional digital filters

Dubois, Eric January 1974 (has links)
No description available.

Page generated in 0.0974 seconds