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 “"HoTT"”.
-
Natural Language Processing and Recommendation Engine for Stack Overflow Data
… consists of document retrieval (TF-IDF and HOTT), text embedding (Sentence BERT), and classification (multi-label and multi-class). We experiment with neural networks and other classifier strategies to identify the most relevant Stack Overflow tags. We then use these tags to implement …
-
Divorced co-parenting in rural communities: Understanding perceptions of parental quality from a socio-cognitive-behavioral perspective
The purpose of this study was to investigate perceptions of post-divorce co-parenting relationship quality for biological mothers and fathers of minor children who lived in rural areas. Quantitative methods were applied. Questionnaires were mailed within a seven county region. Eighty parents …
-
Finanzkrisen - Eine portfoliotheoretische Betrachtung von Herdenverhalten und Ansteckungseffekten als Ursachen von Finanzkrisen
Finanzkrisen sind spätestens seit den 1990'er Jahren ein sehr prominentes und interessantes Forschungsobjekt der Wirtschaftswissenschaften. Dieses Jahrzehnt war durch eine Vielzahl von Finanzkrisen gekennzeichnet, von denen nur wenige Länder vollkommen verschont blieben. Die vorliegenden Arbeit …
-
Magnetic Communication in Harsh Environments Employing High-Sensitive Wideband Magnetic Field Sensors
In many transmission media other than air, current communication systems are unable to provide sufficiently fast and stable data transmission for modern applications. Examples include underground and underwater communication, as well as data transmission in process engineering, e.g., communication …
-
Internal Yoneda Ext Groups, Central H-spaces, and Banded Types
… 2 we define and study Grothendieck categories in HoTT, which are abelian categories that satisfy additional axioms. The main subtlety in this development is the construction of left-exact coproducts (the AB4 axiom) from exactness of filtered colimits (AB5) in a cocomplete abelian category. In …
-
An exploratory study with preliminary results : the development and evaluation of a genetics concept inventory
Modern science education reform includes the development of standards and recommendations for content as well as the development and evaluation of pedagogy, but demonstrates limited assessment of student knowledge. Student knowledge assessment is an important factor in measuring the scientific …
-
Experimentos de química para aprimorar a experiencia educacional em sala de aula
O ensino de química é permeado por algumas dificuldades, pois vários alunos relatam que não conseguem associar os conteúdos com sua realidade e não identificam apli- cabilidade em algumas fórmulas, teorias ou conceitos. O presente trabalho busca ma- neiras de construir experimentos para serem …
-
Cubical Models of Homotopy Type Theory - An Internal Approach
This thesis presents an account of the cubical sets model of homotopy type theory using an internal type theory for elementary topoi. Homotopy type theory is a variant of Martin-Lof type theory where we think of types as spaces, with terms as points in the space and elements of the identity type as …