• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 2519
  • 1006
  • 245
  • 206
  • 205
  • 186
  • 73
  • 52
  • 40
  • 40
  • 40
  • 40
  • 40
  • 39
  • 28
  • Tagged with
  • 5562
  • 1506
  • 718
  • 659
  • 497
  • 483
  • 420
  • 387
  • 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.
131

Developing semantics of Verilog HDL in formal compositional design of mixed hardware/software systems

Dimitriov, Jordan January 2002 (has links)
No description available.
132

Hard and soft computing techniques for non-linear modeling and control with industrial applications

Soufian, Majeed January 2002 (has links)
No description available.
133

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

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

The formal verification of hard real-time systems

Cardell-Oliver, Rachel Mary January 1992 (has links)
No description available.
135

Logic and language in John of Salisbury's 'Metalogicon'

Drew, A. M. January 1986 (has links)
No description available.
136

Programming metalogics with a fixpoint type

Crole, Roy Louis January 1991 (has links)
No description available.
137

Having reason in mind.

Sturgeon, Scott. January 1991 (has links)
The project consists of a defense of the reductivist program generally and an application of the program to the theory of epistemic justification. Chapter One sets out the problem of reducing justification to other terms and defends the legitimacy of this problem against attacks by Quine in particular and supervenience theorists generally. Chapter Two is an explication and refutation of all possible theories which reduce justification-facts to facts about the reliability of cognitive processes. All such theories founder due to their insensitivity to the perspectival component of thought. Chapter Three argues that this perspectival component is non-truth-theoretic and hence that the connection between justification and truth is much less important than has been generally supposed. Chapter Four lays out the structure of epistemic justification and proposes a reductive thesis entailing this structure. It is argued that essential elements of both coherence theories of justification and foundations theories of justification are present in rational thought and that this is explicable in terms of the teleology of human cognition. Chapter Five explicates and defends the theory constructed in Chapter Four.
138

COUNTERFACTUALS AND CAUSES.

ROSS, GLENN JORGEN. January 1982 (has links)
It is argued that an analysis of causation using counterfactual conditionals can be given. Causes and effects are considered to be propositional entities, and a semantics for counterfactuals employing possible worlds is presupposed. The analysis stems from an attempt to handle cases proving problematic for other counterfactual analyses. Preempted causes, which would have been causes had they not been preempted by causes, are distinguished from causes by requiring that a causal chain connecting cause and effect exist. The condition is strengthened to require that the causal chain still would have existed even had the preempted causes been false. Causal chains are analyzed as sequences of true propositions satisfying two conditions: any member after the first would not have been true had its immediate predecessor alone been false, and the truth of any member of the sequence is sufficient for the truth of any subsequent member. The analysis is weakened slightly to permit many causes to overdetermine an effect. The analysis is then amended to exclude certain noncausal connections. Though it is true that had Socrates not died, Xanthippe would not have become a widow, his dying did not cause her to become a widow. To yield this result, an analysis is offered of the relation that logically simple propositions bear to the more complex propositions that they make true. It is then proposed that the sets of simple propositions making the cause and effect true not entail the effect and the cause, respectively. Finally, an attempt is made to distinguish between cause and effect. It is argued that cases of backward causation are possible, and thus no analysis should require causes to be temporally prior to effects. It is proposed that only when there is symmetry with respect to the subjunctive conditions of the analysis should temporal considerations be employed to discriminate cause and effect.
139

Defect-tolerant Field-Programmable Gate Arrays

Howard, Neil John January 1994 (has links)
No description available.
140

Over-constrained systems in CLP and CSP

Jampel, Michael Benjamin January 1996 (has links)
No description available.

Page generated in 0.0332 seconds