Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 193 for “"Deduction"”.
-
Deduction-Based Software Component Retrieval
Deduction-based software component retrieval is a software reuse technique that uses formal specifications as component descriptors and as search keys; matching components are identified using an automated theorem prover. This dissertation contains a detailed theoretical investigation of the …
-
Using term ordering to control clausal deduction
ETDs are only available to UIUC Users without author permission
-
Simulation- and Deduction-Based Techniques for Fault Diagnosis
Finally, an integrated technique that uses a combination of static and dynamic processing for the diagnosis of bridging faults in sequential circuits is presented. During diagnosis, the failing outputs from the test are used to adaptively determine the behavior of the bridge at each time-frame. …
-
A Constraint Logic Approach to Automated Modal Deduction
… It is argued that a number of existing modal deduction methods can be viewed as instances of this general framework. The advantages of the general approach are simple proofs of correctness for various instances of the framework and ease in incorporating additional features not currently …
-
The Central Role of Cognition in Kant's Transcendental Deduction
… in the Critique of Pure Reason’s transcendental deduction is empirical cognition. I show how empirical cognition is best understood as “rational sensory discrimination”: the capacity to discriminate sensory objects through the use of concepts and with a sensitivity to the normativity of reasons. …
-
Kant's Metaphysical Deduction and the Intellectual Origin of the Categories
… between existents. But in his metaphysical deduction of the categories, Kant seeks to vindicate our right to use the categories to think of such connections. Kant holds that certain acts of the understanding make judgments possible. For example, the judgment “If the sun shines, then the …
-
Combining Satisfiability Procedures for Automated Deduction and Constraint -Based Reasoning
This thesis investigates the problem of combining constraint reasoners. Its main goal is to establish general, possibly minimal, sets of requirements for the combination of constraint domains and reasoners. It mostly concentrates on the combination of satisfiability procedures, building on previous …
-
Advancing mixed-integer programming using data-driven and deduction-based methods
Mixed-Integer Problems (MIPs) form one of the most general classes of optimization problems. As they are used to model many real-world scenarios, solving MIPs efficiently is crucial. Most solvers are based on the well-known Branch-and-Bound algorithm, which utilizes different subroutines to help …
-
The Home Mortgage Interest Deduction for Federal Income Tax: A Federalist Perspective
… distribution of the for home mortgage interest deduction tax benefit across states is a possible missing consideration. Specifically, this study offers a federalist1 perspective on the federal income tax benefit from the deduction for HMI - one of the largest personal federal tax expenditures on …
-
Measurement and deduction of emissions of short-lived atmospheric organo-chloride compounds
Atmospheric studies of halogenated organics have centered on long lived halocarbons due to their effect on stratospheric ozone. Now that controls have been put in place to curb emissions of longer lived halocarbons through the Montreal Protocol, and speculation about the safety of many short-lived …
-
Kant's theory of cognition: an interpretation of the argument of the transcendental deduction
The purpose of Kant’s transcendental deduction in the Critique of Pure Reason is to prove that certain concepts not derived from experience (called categories) apply to and govern the objects of our experience. Kant seeks to dispel Hume’s skeptical assertion that concepts such as cause and …
-
Do share-based payments constitute expenditure, for tax purposes, in order to facilitate a deduction?
… because a company may only claim a (general) deduction in terms of section 11(a) of the Income Tax Act No. 58 of 1962, as amended (The Income Tax Act) if they have incurred "expenditure". [...] The issue has been brought to the fore with the 2004 introduction, by the International Accounting …
-
Software architecture and design of task deduction and task planning components for a multiple robot simulation system
Visual simulations of industrial processes (e.g. welding, assembling etc.) involving multiple robots, are part of the overall design process for such systems. A 3D simulation and visualization software tool has been developed named MRS, for Multiple Robot Simulation system. Experiences in this area …
-
Logic and the limits of explanation: the justification of deduction, Carrollian regress, logical validity and deductive inferential knowledge
… with the problems of the justification of deduction, Carrollian regress, and deductive inferential knowledge. Also, it is considered whether Lewis Carroll's tale of what the tortoise said to Achilles can be interpreted as suggesting an argument against the possibility of logically valid …
-
Logic and the limits of explanation: the justification of deduction, Carrollian Regress, logical validity, and deductive inferential knowledge
… with the problems of the justification of deduction, Carrollian regress, and deductive inferential knowledge. Also, it is considered whether Lewis Carroll's tale of what the tortoise said to Achilles can be interpreted as suggesting an argument against the possibility of logically valid …
-
The deduction of repairs to property in terms of section 11(d) of the Income Tax Act 58 of 1962
… the prudent taxpayer must embrace the various deductions available to him or her in terms of the Act . In order to do so the taxpayer must understand the ambit of each deduction so that he or she may plan accordingly. A deduction that has for many years granted relief to the weary taxpayer is …
-
Anti-Unification in Constraint Logics: Foundations and Applications to Learnability in First-Order Logic, to Speed-Up Learning, and to Deduction
… base vivification (an approach to efficient deduction).
-
Reasoning and memory : multiple simple response strategies are used in visual working memory for color-orientation binding /
… task, a WM task, deductive reasoning (Deduction) can be used to determine that knowledge of one binding between colors and orientations (blue/left) precludes a different binding (blue/up), given that each color can only be paired with one other orientation. Hardman and Cowan (2016) …
-
Should Advertising Remain a Tax-Deductible Business Expense?
… welfare than to augment it; therefore, the deduction should be completely denied. Advertisers and their supporters, on the other hand, maintain that the deduction is entirely reasonable. This dissertation addresses some of the legal controversies involving the deduction and examines some of …
-
The income tax consequences of the clawback of shares in the context of employee share schemes
… concludes that where the employer has claimed a deduction upon settlement, when the award is subsequently clawed back, only the value claimed as a deduction should be included in the employer's income. Where an employee claims a deduction for the amount which is clawed back (where the employer …
Page 1 of 10