• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 700
  • 332
  • 91
  • 70
  • 39
  • 26
  • 18
  • 16
  • 14
  • 13
  • 11
  • 10
  • 10
  • 8
  • 5
  • Tagged with
  • 1587
  • 322
  • 282
  • 272
  • 150
  • 141
  • 121
  • 113
  • 102
  • 96
  • 95
  • 90
  • 89
  • 86
  • 86
  • 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.
131

The domain hydrodynamic and hydroelastic analysis of floating bodies with forward speed

Kara, F. January 2001 (has links)
No description available.
132

Morphing planar triangulations

Barrera-Cruz, Fidel January 2014 (has links)
A morph between two drawings of the same graph can be thought of as a continuous deformation between the two given drawings. A morph is linear if every vertex moves along a straight line segment from its initial position to its final position. In this thesis we study algorithms for morphing, in which the morphs are given by sequences of linear morphing steps. In 1944, Cairns proved that it is possible to morph between any two planar drawings of a planar triangulation while preserving planarity during the morph. However this morph may require exponentially many steps. It was not until 2013 that Alamdari et al. proved that the morphing problem for planar triangulations can be solved using polynomially many steps. In 1990 it was shown by Schnyder that using special drawings that we call Schnyder drawings it is possible to draw a planar graph on a O(n)×O(n) grid, and moreover such drawings can be found in O(n) time (here n denotes the number of vertices of the graph). It still remains unknown whether there is an efficient algorithm for morphing in which all drawings are on a polynomially sized grid. In this thesis we give two different new solutions to the morphing problem for planar triangulations. Our first solution gives a strengthening of the result of Alamdari et al. where each step is a unidirectional morph. This also leads to a simpler proof of their result. Our second morphing algorithm finds a planar morph consisting of O(n²) steps between any two Schnyder drawings while remaining in an O(n)×O(n) grid. However, there are drawings of planar triangulations which are not Schnyder drawings, and for these drawings we show that a unidirectional morph consisting of O(n) steps that ends at a Schnyder drawing can be found. We conclude this work by showing that the basic steps from our morphs can be implemented using a Schnyder wood and weight shifts on the set of interior faces.
133

Discrete Nodal Domain Theorems

Davies, Brian E., Leydold, Josef, Stadler, Peter F. January 2000 (has links) (PDF)
We give a detailed proof for two discrete analogues of Courant's Nodal Domain Theorem. (author's abstract) / Series: Preprint Series / Department of Applied Statistics and Data Processing
134

Robust analysis and design of control systems with parametric uncertainty

Tan, Nusret January 1999 (has links)
No description available.
135

On the likely number of stable marriages

Lennon, Craig, January 2007 (has links)
Thesis (Ph. D.)--Ohio State University, 2007. / Title from first page of PDF file. Includes bibliographical references (p. 123-124).
136

Funktionalmethoden und Abbildungen dissipativer Quantensysteme

Baur, Holger, January 2006 (has links)
Stuttgart, Univ., Diss., 2007.
137

Counter-creation, co-creation, procreation a novel theological aesthetic & Not like other men : a novel /

Cooper, Karen G. P., January 1991 (has links)
Thesis (M.C.S.)--Regent College, Vancouver, BC, 1991. / Abstract and vita. Includes bibliographical references.
138

Triangle centers and Kiepert's hyperbola

Baker, Charla, Bezdek, András, January 2006 (has links) (PDF)
Thesis(M.S.)--Auburn University, 2006. / Abstract. Vita. Includes bibliographic references (p.49).
139

Automate Reasoning computer assisted proofs in set theory using Gödel's algorithm for class formation /

Goble, Tiffany Danielle. January 2004 (has links) (PDF)
Thesis (M.S.)--Mathematics, Georgia Institute of Technology, 2005. / Belinfante, Johan, Committee Chair ; Green, William, Committee Member ; Manolios, Panagiotis, Committee Member. Includes bibliographical references.
140

Computers, Gödel's incompleteness theorems and mathematics education : a study of the implications of artificial intelligence for secondary school mathematics /

Ng, Yui-kin. January 1900 (has links)
Thesis (M. Ed.)--University of Hong Kong, 1994. / Includes bibliographical references (leaves 112-120).

Page generated in 0.0232 seconds