• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 4206
  • 1338
  • 413
  • 228
  • 144
  • 117
  • 111
  • 56
  • 37
  • 36
  • 36
  • 31
  • 30
  • 25
  • 9
  • Tagged with
  • 8855
  • 2047
  • 1943
  • 1261
  • 1177
  • 1116
  • 894
  • 861
  • 828
  • 814
  • 802
  • 726
  • 678
  • 662
  • 635
  • 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.
71

Cut-free sequent and tableau systems for propositional normal modal logics

Gore, Rajeev January 1991 (has links)
No description available.
72

Computing presuppositions in an incremental natural language processing system

Bridge, Derek G. January 1991 (has links)
No description available.
73

Surface design with cyclide patches

Sharrock, T. J. January 1985 (has links)
No description available.
74

Essays on the cyclide patch

De Pont, J. J. January 1984 (has links)
No description available.
75

Blending surfaces in solid geometric modelling

Rockwood, A. P. January 1987 (has links)
Mechanical CAD/CAM (computer aided design/manufacturing) as a field research concerns itself with the algorithms and the mathematics necessary to simulate mechanical parts of the computer, that is to produce a computer model. Solid modelling is a subdiscipline in which the computer model accurately simulates volumetric, i.e. 'solid', properties of mechanical parts. This dissertation deals with a particular type of free-form surface, the blending surface, which is particularly well-suited for solid modelling. A blending surface is one which replaces creases and kinks in the original model with smooth surfaces. A fillet surface is a simple example. We introduce an intuitive paradigm for devising different types of blending forms. Using the paradigm, three forms are derived: the circular, the rolling-ball, and the super-elliptic forms. Important mathematical properties are investigated for the blending surfaces, e.g. continuity, smoothness, containment etc. Blending on blends is introduced as a notion which both extends the flexibility of blending surfaces and allows the blending of multiple surfaces. Blending on blends requires one to think about the way in which the defining functions act as a distance measure from a point in space to a surface. The function defining the super-elliptic blend is offered as an example or a poor distance measure. The zero surface of this function is then embedded within a function which provides an improved distance measure. Mathematical properties are derived for the new function. A weakness in the continuity properties of above blending form is rectified by defining another method to embed the super elliptic blend into a function with better distance properties. This is the displacement form. The concern with this form is its computational reliability which is, therefore, considered in more depth. In the process of integrating the blending surface geometry into a solid modelling environment so it was usable, it was discovered that three other formidable problems needed some type of resolution. These were the topological, the intersection and the display problems. We report on the problems, and solutions which we developed.
76

Error estimation, adaptivity and multigrid techniques in the finite element method

Zhu, Jian Zhong January 1987 (has links)
No description available.
77

An efficient treatment of quantification in unspecified semantic representations

Willis, Alistair January 2000 (has links)
No description available.
78

Learning unification-based natural language grammars

Osborne, Miles January 1994 (has links)
No description available.
79

On the algebraic theories and computations of amicable numbers

Yan, Song Yuan January 1995 (has links)
No description available.
80

Measurement and computation of vortex shedding and its control

Razavi, Armin K. January 1998 (has links)
No description available.

Page generated in 0.0804 seconds