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 22 for “"functional equivalence"”.
-
Tests of Functional Equivalence Among Aquatic Predatory Vertebrates
… and ecosystem dynamics (i.e., they are functionally equivalent). This is particularly true for models predicting (i) the effects of one trophic level upon another and (ii) the consequences of biodiversity loss. Currently, the loss of biodiversity represents one of the most important …
-
An analysis of the regulatory principles of functional equivalence and technology neutrality in the context of electronic signatures in the formation of electronic transactions in Lesotho and the SADC region
… technology regulatory principles of functional equivalence and technology neutrality entail, their interpretation by the United Nations Commission on International Trade Law (UNCITRAL), and their appropriateness for effective regulation of e-signatures through conceptual analysis. In …
-
LLM-Supported Natural Language to Bash Translation
… and unreliable heuristics for determining the functional equivalence of Bash commands. We present a manually verified test dataset of 600 instruction-command pairs and a training dataset of 40,939 pairs, increasing the size of previous datasets by 441% and 135%, respectively. Further, we …
-
On the Feasibility of MapReduce to Compute Phase Space Properties of Graphical Dynamical Systems: An Empirical Study
… system state transitions, compute phase spaces, functional equivalence classes, dynamic equivalence classes and cycle equivalence classes of dynamical systems. We also evaluate these paradigms and analyze their suitability for modeling different GDSs.
-
Tubular hydroforming of advanced steel and aluminum alloys : an economic evaluation using technical cost modeling
… for both geometrically equivalent and functionally equivalent hydroformed components. Design conditions of constant load to failure and constant defection are used to derive functional equivalence. Results show that manufacturing costs are most sensitive to the maximum calibration …
-
Enhancing Software Security through Code Diversification Verification, Control-flow Restriction, and Automatic Compartmentalization
… introduces a methodology for verifying the functional equivalence between an original binary and its diversified version. The Verification of Diversified Binary (VDB) algorithm is employed to determine whether the two binaries—the original and the diversified—maintain functional equivalence. …
-
Automatic Source Code Transformation To Pass Compiler Optimization
… runtime of loops. This optimization depends on functional equivalence between the original and optimized code versions, a requirement typically established through the compiler's static analysis. When this condition is not met, the compiler will miss the optimization. The process of manually …
-
Interrogating the cybernetic imaginary, or, Control and communication in the human and the machine
… as a discursive event establishes a fundamental, functional equivalence between humans and computing machines, permitting, indeed requiring, the replacement of human mental labour with machines. The game rewrites the notion of what it means to be intelligent, locating valuable knowledge firmly …
-
Imaginative Simulation in the Moral Life
… used in veridical experiences (i.e. there is a “functional equivalence” between the neural states involved in imaginatively simulating being in a situation as in actually experiencing it), that imaginative simulation makes possible certain important forms of moral perception and moral learning. …
-
Effects of seed dispersal by gibbons, sambar, and muntjac on Choerospondias axillaris demography, and the disruption of this mutualism by wildlife poaching
… ramify through communities. I also assessed the functional equivalence of the three seed-dispersing mammals in terms of their demographic impact on C. axillaris. Sambar and muntjac dispersed far more seeds than gibbons. Sambar deposited many seeds under female tree canopies; muntjac were the only …
-
Effects of seed dispersal by gibbons, sambar, and muntjac on Choerospondias axillaris demography, and the disruption of this mutualism by wildlife poaching
… ramify through communities. I also assessed the functional equivalence of the three seed-dispersing mammals in terms of their demographic impact on C. axillaris. Sambar and muntjac dispersed far more seeds than gibbons. Sambar deposited many seeds under female tree canopies; muntjac were the only …
-
Mining constraints for Testing and Verification
… challenges to the digital hardware design. Functional verification has become one of the most expensive and time-consuming components of the current product development cycle. Today, design verification alone often surpasses 70% of the total development cost and the situation has been …
-
Neural Mechanisms of Motor Imagery and Training-Induced Plasticity: Hypnotizability Relevance to Microgravity Adaptation
… scores (highs) display peculiar structural and functional brain characteristics compared to low hypnotizables (lows) - i.e., reduced grey matter volume of the insula and of the cerebellar left lobules IV-VI -, and behavioral/physiological differences, i.e., greater functional equivalence (FE) …
-
Formal Verification Techniques for Reversible Circuits
… Consequently, this demands research in efficient equivalence checking techniques for reversible circuits. This thesis explores the optimization and equivalence checking of reversible circuits. Most of the existing synthesis techniques work in two steps — generate an original, often sub-optimal, …
-
Constructive spiking neural networks for simulations of neuroplasticity
… neural system. Constructive algorithms with a functional equivalence to transferring neurons between sets allow simulated neural networks to maintain biological plausibility while changing size. The components of a novel constructive algorithm are incrementally developed from the principles for …
-
Evaluating Marsh Restoration Success Using Structural and Trophic Metrics on Deer Island, MS
<p>Coastal marshes in the northern Gulf of Mexico provide essential habitat for various consumer species, however, land loss has severely degraded marsh habitat in this region. Few studies have examined restored black needlerush (<em>Juncus roemerianus</em>) marshes, such as those found in …
-
Static Learning for Problems in VLSI Test and Verification
… sequentially untestable stuck-at faults, and (2) Equivalence checking of sequential circuits. Additionally, for the dissertation, we define a new concept called multi-cycle path delay faults (M-pdf) for latch based designs with multiple clock domains, and propose an implications-based methodology …
-
Characterising the functional homology of central nervous system drug targets in larval zebrafish (Danio rerio)
… it remains unclear whether this translates into functional conservation in terms of physiological and neurobiological responses. Addressing this gap is critical for improving environmental risk assessment frameworks, which currently rely largely on apical toxicity endpoints and consider …
Page 1 of 2