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 8 of 8 for “"Logical representation"”.
-
Logical Representation of FPGAs and FPGA Circuits within the SCA
… device other than a GPP requires the ability to logically represent the device within the Core Framework. This representation is implemented within the OSSIE Core Framework, an open source implementation of the SCA. The representation requires the support of multiple implementations of signal …
-
Action-centered reasoning for probabilistic dynamic domains
… on modeling stochastic dynamic domains, using representations and algorithms that combine logical AI ideas and probabilistic methods. We introduce new tractable and highly accurate algorithms for reasoning in those complex domains. Furthermore, we apply these algorithms to tasks of narrative …
-
Learning from natural instructions
… natural language sentences are converted into a logical representation which can be understood by an automated agent. While the motivation behind this framework is clear, the practical aspects involved in constructing it are non-trivial: communicating effectively with computer systems has been …
-
Using Big Data Analytics to Optimize Practical Large Databases
… the database status. We also applied a logical representation system in our database to prove this concept.</p>
-
Event quantification and plurality
… the latter being characterizable as mereological sums having singular events as their minimal parts. I discuss how event variables ranging over pluralities are introduced in the logical representation of natural languages sentences and how event operators manipulate these variables. …
-
Integrated product and process development methodologies for environmentally conscious electronic products
… a solution methodology for IPPD based on logical representation of process relations is proposed with two illustrating product development examples. Finally, a timed IPPD methodology is introduced with increased modeling capability and decision accuracy. It considers the execution duration …
-
Efficiency of Logic Minimization Techniques for Cryptographic Hardware Implementation
… designing lightweight cryptographic primitives, logical metrics such as gate count are extensively used in estimating their hardware quality. Specialized logic minimization tools have been built to make use of gate count as the primary optimization cost function. The first part of this thesis …
-
The design of a data model (DM) for managing durability index (DI) results for national road infrastructure
… DM defines what the system contains; a logical DM defines how the system should be executed regardless of the Database Management System (DBMS); and a physical DM describes how the system will be executed using a specific DBMS system. The main objective of this study is to design a data …