• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 2518
  • 1006
  • 245
  • 206
  • 205
  • 185
  • 73
  • 52
  • 40
  • 40
  • 40
  • 40
  • 40
  • 39
  • 28
  • Tagged with
  • 5560
  • 1506
  • 718
  • 659
  • 497
  • 483
  • 420
  • 386
  • 371
  • 365
  • 365
  • 356
  • 355
  • 346
  • 341
  • 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.
281

Logic block architecture design and arithmetic performance issues for field programmable gata arrays

Rajagopalan, K. Unknown Date (has links)
No description available.
282

A Naturalised Epistemology of Logic

Watson, S. G. Unknown Date (has links)
No description available.
283

Computer aided optimisation of combinational logic / Christopher W illiam Nettle

Nettle, Christopher William January 1979 (has links)
Typescript (photocopy) / vii, 190 leaves ; 30 cm. / Title page, contents and abstract only. The complete thesis in print form is available from the University Library. / Thesis (Ph.D.) Dept. of Electrical and Electronic Engineering, University of Adelaide, 1979
284

A Naturalised Epistemology of Logic

Watson, S. G. Unknown Date (has links)
No description available.
285

A Naturalised Epistemology of Logic

Watson, S. G. Unknown Date (has links)
No description available.
286

The logic of relative systems

Ressler, M. R. January 2009 (has links)
This study aims to develop the logic of relativism, then to apply that logic to the question of self-refutation in relativism. / After first defining generic relativism as radical indexed pluralism, the study identifies three substantive theses following as a consequence of this definition that any instance of relativism must meet: (1) the formal requirements for relativity, (2) objective equity, and (3) incommensurability. Each of the three theses is developed in detail to determine precisely what must be demonstrated by a claim of relativism. / Next, the study develops five separate logical systems to represent the logic of relativism, each adding progressively more complex relativistic features. The first system is modelled on basic modal logic. The second models multiple kinds of relativity. The third models relativised accessibility relations. The fourth combines features of the second and third systems. And the fifth is modelled on a non-normal modal logic. Finally, the charge of self-refutation is evaluated with regard to each system in turn. / I argue that while all five systems initially seem to support models that support fully relativistic perspectives, when an operator is added to the language to express whether a sentence is true for a perspective, four of the systems can no longer support fully relativistic perspectives, since some sentences including that operator must be evaluated to be absolute within all perspectives. The fifth system, however, formulated analogously to a non-normal modal logic, does support fully relativistic perspectives even with the additional operator. I argue further that the nature of relativism provides some motivation for considering this last system to be the logic of global relativism. / While these formal, structural arguments do not fully address all the varieties of self-refutation arguments levelled against relativism, in particular, those based upon pragmatics, incoherence, and the nature of language, I argue that there are reasons to think that these latter kinds of argument may not be completely successful, and I suggest various ways that these arguments might be strengthened against relativism.
287

Sequentialization of logic programs /

Treitel, Richard James. January 1900 (has links)
Thesis (Ph. D.)--Stanford University, 1986. / "September 1986." "This work was partially supported by the Office of Naval Research under contracts number N00014-81-K-0303 and N00014-81-K-0004, by the National Institutes of Health under grant number 5P41 RR 00785, and by the Defense Advanced Research Projects Agency under contract number N00039-86-C-0033"--P. vi. Bibliography: p. 160-167.
288

Towards next generation logic programming systems /

Bansal, Ajay, January 2007 (has links)
Thesis (Ph.D.)--University of Texas at Dallas, 2007. / Includes vita. Includes bibliographical references (leaves 105-110)
289

The automatic test pattern generation in the logic gate level circuits and MOS transistor circuits at Ohio University

Lee, Hoon-Kyeu. January 1986 (has links)
Thesis (M.S.)--Ohio University, November, 1986. / Title from PDF t.p.
290

Damage identification using inductive learning /

Tappert, Peter M. January 1994 (has links)
Thesis (M.S.)--Virginia Polytechnic Institute and State University, 1994. / Vita. Abstract. Includes bibliographical references (leaves 54-58). Also available via the Internet.

Page generated in 0.0354 seconds