• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 764
  • 266
  • 192
  • 88
  • 52
  • 46
  • 33
  • 14
  • 13
  • 13
  • 13
  • 13
  • 13
  • 13
  • 13
  • Tagged with
  • 1759
  • 282
  • 273
  • 269
  • 261
  • 249
  • 246
  • 235
  • 233
  • 192
  • 154
  • 152
  • 149
  • 130
  • 116
  • 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

The semantics of VHDL with VAL and HOL towards practical verification tools /

Van Tassel, John P. January 1900 (has links)
Thesis (M.A.)--Wright State University, 1990. / Cover title. "June 1990." Includes bibliographical references.
42

A contribution to the study of the descriptive technique of Jean-Jacques Rousseau

Buchner, Margaret Louise, January 1937 (has links)
Issued also as Thesis (Ph. D.)--Johns Hopkins University. / Bibliography: p. 181-182.
43

The work description of the faculty assistant and assistant professor at the university

Zahradník, Ondřej January 2011 (has links)
No description available.
44

Desenvolvimento juvenil de duas espécies de siri (Crustacea, Decapoda, Portunidae) de importância econômica)

Bolla Júnior, Eduardo Antonio [UNESP] 01 February 2010 (has links) (PDF)
Made available in DSpace on 2014-06-11T19:30:13Z (GMT). No. of bitstreams: 0 Previous issue date: 2010-02-01Bitstream added on 2014-06-13T19:18:38Z : No. of bitstreams: 1 bollajunior_ea_me_botib.pdf: 6525360 bytes, checksum: 37a7d60f6ad3c9ba6477e03e1f7af03a (MD5) / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / Estudos sobre as fases iniciais do cicIo de vida dos caranguejos são importantes por promoverem um bom conhecimento sob o ponto de vista taxonômico, bem como possibilitarem estudos de cunho ecológico, fisiológico e filogenético. No entanto, devido à escassez de pesquisas acerca do desenvolvimento juvenil, toma-se dificil qualquer definição de caracteres morfológicos que lhes sejam peculiares nesta fase de vida sem um estudo pormenorizado baseado em espécimes criados em laboratório. O objetivo deste trabalho é a apresentação de detalhes morfológicos e caracteIÍsticas mais significativas para a identificação dos estágios do desenvolvimento juvenil de Callinectes danae e Portunus spinimanus. Os siris foram coletados sob a forma de megalopa, na enseada de Ubatuba/SP e transportados até o laboratório. As megalopas e siris jovens, sob inspeção diária, foram cultivados isoladamente a 25± 1°C, água do mar (350/00) filtrada e aerada. A alimentação consistiu de nauplius de Artemia sp. e ração para peixes ornamentais. Doze e nove estágios juvenis foram obtidos para C. danae e P. spinimanus, respectivamente. As diferenças morfológicas mais marcantes do primeiro estágio juvenil de ambas as espécies foram: os espinhos da margem interna do mero do quelípodo, o longo espinho superior do carpo do quelípodo, a segmentação do palpo da mandíbula, o número de segmentos no flagelo antenal, o número de segmentos no exopodito da antênula e a presença/ausência de pleópodos rudimentares. As modificações mais marcantes dos estágios posteriores referem-se ao aparecimento dos caracteres sexuais secundários (pleópodos), os quais surgem no quarto e terceiro estágios juvenis em C. danae e P. spinimanus, respectivamente. Os resultados obtidos servem de base para futuros estudos sobre sistemática, ecologia e como subsídio para futuras implantações de cultivo destes... / Studies on early stages of crab life cycles are important to improve knowledge of their taxonomyand ecology, physiology and phylogeny. Nevertheless, due to the scarcity of investigationon juvenile development, it is difficult to define their diagnostic characters at thislife phase. This study aimed to present morphological details and the most significant features for the identification of juvenile development stages of Callinectes danae and Portunusspinimanus. The specimens were collected from megalopa stage, in Ubatuba/SP bay. The megalopae and young crabs were daily inspected and raised isolated at 25±loC, aeratedand filtered sea water (35%0). The larvae and juvenile were fed with newly hatched nauplii of Artemia sp. and commercial food for ornamental fish. Twelve and nine juvenile stages were obtained for C. danae and P. spinimanus, respectively. The most significant differences ofthe first juvenil e stage between both species were: the inner marginal spines on cheliped's merus, the long superior spine on cheliped's carpus, the mandible's palp segmentation, the antennal flagellum segment's number, the antennule exopod segment's number and the presence/absence of rudimentary pleopods. The most significant changes that occur in subsequent stages refers to the appearance of secondary sexual characters (pleopods), which arise from the fourth and third juvenile stages in C. danae and P. spinimanus, respectively. These results provide the basis for future systematic and ecologic studies, as well as information for future cultivation of these animaIs
45

Polyhedral structure of the K-median problem

Zhao, Wenhui 19 September 2007 (has links)
No description available.
46

An Extensible Workbench for the COMMUNITY Architecture Description Language

Santos, Jorge 11 1900 (has links)
<p> The field of Architecture Description Languages (ADL) is in rapid and constant evolution. Change and experimentation with different language features is the norm. Additionally, it is unlikely that one ADL will ever satisfy the needs of every architect. On the other hand, ADL experimentation and usage require the use of easy-to-use tools that will help with the research into different characteristics of ADLs. This leads us to the need for highly extensible tools that will make it easy to work with and evolve ADLs. This thesis presents the design of a new tool developed to work with the CoMMUNITY Architecture Description Language with the goal of being a highly extensible platform for future experimentation with the language. </p> / Thesis / Master of Science (MSc)
47

Mathematical And Computational Methods For Freeform Optical Shape Description

Kaya, Ilhan 01 January 2013 (has links)
Slow-servo single-point diamond turning as well as advances in computer controlled small lap polishing enable the fabrication of freeform optics, specifically, optical surfaces for imaging applications that are not rotationally symmetric. Freeform optical elements will have a profound importance in the future of optical technology. Orthogonal polynomials added onto conic sections have been extensively used to describe optical surface shapes. The optical testing industry has chosen to represent the departure of a wavefront under test from a reference sphere in terms of orthogonal φ-polynomials, specifically Zernike polynomials. Various forms of polynomials for describing freeform optical surfaces may be considered, however, both in optical design and in support of fabrication. More recently, radial basis functions were also investigated for optical shape description. In the application of orthogonal φ-polynomials to optical freeform shape description, there are important limitations, such as the number of terms required as well as edge-ringing and ill-conditioning in representing the surface with the accuracy demanded by most stringent optics applications. The first part of this dissertation focuses upon describing freeform optical surfaces with φ-polynomials and shows their limitations when including higher orders together with possible remedies. We show that a possible remedy is to use edge-clusteredfitting grids. Provided different grid types, we furthermore compared the efficacy of using different types of φ-polynomials, namely Zernike and gradient orthogonal Q-polynomials. In the second part of this thesis, a local, efficient and accurate hybrid method is developed in order to greatly reduce the order of polynomial terms required to achieve higher level of accuracy in freeform shape description that were shown to require thousands of terms including many higher order terms under prior art. This comes at the expense of multiple sub-apertures, and as such iv computational methods may leverage parallel processing. This new method combines the assets of both radial basis functions and orthogonal phi-polynomials for freeform shape description and is uniquely applicable across any aperture shape due to its locality and stitching principles. Finally in this thesis, in order to comprehend the possible advantages of parallel computing for optical surface descriptions, the benefits of making an effective use of impressive computational power offered by multi-core platforms for the computation of φ-polynomials are investigated. The φ-polynomials, specifically Zernike and gradient orthogonal Q-polynomials, are implemented with a set of recurrence based parallel algorithms on Graphics Processing Units (GPUs). The results show that more than an order of magnitude speedup is possible in the computation of φ-polynomials over a sequential implementation if the recurrence based parallel algorithms are adopted.
48

Digital system synthesis with standard EDIF output

Blanton, Ronald DeShawn, 1965- January 1989 (has links)
In the growing field of digital system design, there is a great need for design tools that will assist the engineer in developing large scale systems. AHPL, A Hardware Programming Language, is a hardware description language which allows a digital system to be described, evaluated, and analyzed. But like many design tools, AHPL cannot satisfy the multitude of design tool applications. In order to enhance the power of AHPL as a design tool, an EDIF translator is developed. The EDIF translator generates an EDIF netlist of an AHPL design, thus making it possible to port AHPL designs to other design tools.
49

Module extraction for inexpressive description logics

Nortje, Riku 08 1900 (has links)
Module extraction is an important reasoning task, aiding in the design, reuse and maintenance of ontologies. Reasoning services such as subsumption testing and MinA extraction have been shown to bene t from module extraction methods. Though various syntactic traversal-based module extraction algorithms exist for extracting modules, many only consider the subsumee of a subsumption statement as a selection criterion for reducing the axioms in the module. In this dissertation we extend the bottom-up reachability-based module extraction heuristic for the inexpressive Description Logic EL, by introducing a top-down version of the heuristic which utilises the subsumer of a subsumption statement as a selection criterion to minimize the number of axioms in a module. Then a combined bidirectional heuristic is introduced which uses both operands of a subsumption statement in order to extract very small modules. We then investigate the relationship between MinA extraction and bidirectional reachabilitybased module extraction. We provide empirical evidence that bidirectional reachability-based module extraction for subsumption entailments in EL provides a signi cant reduction in the size of modules for almost no additional costs in the running time of the original algorithms. / Computer Science / M. Sc. (Computer Science)
50

Femto-VHDL : the semantics of a subset of VHDL and its embedding in the HOL proof assistant

Van Tassel, John Peter January 1993 (has links)
No description available.

Page generated in 0.089 seconds