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 6 of 6 for “"Programming logic"”.
-
DASPPS: Distributed Answer-set Programming with PS+
No abstract prepared.
-
Design and implementation of the Hybrid Detector for Microdosimetry (HDM): Challenges in readout architecture and experimental results
… several treatment uncertainties related to biological and physical processes that prevent the full exploitation of particle therapy. Among the physical characterizations, it is paramount to measure the quality of the irradiating field in order to link the biological effect to its physical …
-
PrologPF: Parallel Logic and Functions on the Delphi Machine
… the first solution. The presence of the extra-logical Prolog predicate cut in the user program conflicts with the use of oracles to represent valid open subtrees. PrologPF promotes the use of higher-order functional programming as an alternative to the use of cut. The combined language shows …
-
Techniques for VLSI Circuit Optimization Considering Process Variations
… using interval valued fuzzy numbers and a fuzzy programming based optimization is proposed to improve circuit yield without significant over design. In addition to the statistical optimization methods, we have proposed a novel technique that dynamically detects and creates the slack needed to …
-
Preferences in answer set programming
Answer Set Programming (ASP) emerged in the late 1990s as a new logic programming paradigm, having its roots in nonmonotonic reasoning, deductive databases, and logic programming with negation as failure. The basic idea of ASP is to represent a computational problem as a logic program whose answer …