Spelling suggestions: "subject:"heorem"" "subject:"atheorem""
131 |
The domain hydrodynamic and hydroelastic analysis of floating bodies with forward speedKara, F. January 2001 (has links)
No description available.
|
132 |
Morphing planar triangulationsBarrera-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 TheoremsDavies, 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 uncertaintyTan, Nusret January 1999 (has links)
No description available.
|
135 |
On the likely number of stable marriagesLennon, 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 QuantensystemeBaur, 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 hyperbolaBaker, 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.0285 seconds