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 3 of 3 for “"vector arithmetic"”.
-
Building an Allocentric Traveling-Direction Signal Via Vector Computation
… tasks require the manipulation of mathematical vectors, but, outside of computational models, it is not known how brains perform vector operations. Here we show how the Drosophila central complex, a region implicated in goal-directed navigation, performs vector arithmetic. First, we describe a …
-
Controlling Neural Language Generation
… (e.g., tense, sentiment, etc.) through simple vector arithmetic. The final two chapters address language style transfer in the absence of supervised data. We first formalize the task of non-parallel style transfer and discuss the feasibility of the learning problem. We propose a method that …
-
Exploring Abstraction Techniques for Scalable Bit-Precise Verification of Embedded Software
… modeling a non-Boolean data variable as a bit-vector with bounded width (i.e. a vector of multiple bits like 32- or 64- bits) to implement bit-precise verification. One major challenge in the scalable application of such bit-precise verification on real-world embedded software is that the state …