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 5 of 5 for “"HOAs"”.
-
Identity Theft: HOAs and the Cultivation of Exceptional Whiteness
<p>The basketball court had been locked and chained with a no trespassing sign posted on the gate. In the distance was a police officer who I later discovered was a private security guard. According to my development’s newsletter, the shutdown was due to supposed gang activity seen at and around …
-
Exploring the Role of Urban Green Spaces: Perceptions and Experiences of International Students Living in Hoas Viikki
… focuses on international students living in Hoas (Foundation for Student Housing in the Helsinki Region) in the residential area of Viikki. The findings indicate that students have high satisfaction with the green spaces in Viikki, highlighting their potential to enhance well-being. However, …
-
Contributions to the theory of syntax with bindings and to process algebra
… of FOAS (First-Order Abstract Syntax) and HOAS (Higher-Order Abstract Syntax) and tries to take advantage of the best of both worlds. The connection between FOAS and HOAS follows some general patterns and is presented as a (formally certified) statement of adequacy. We also develop a …
-
Reasoning Using Higher-Order Abstract Syntax in a Higher-Order Logic Proof Environment: Improvements to Hybrid and a Case Study
… systems using higher-order abstract syntax (HOAS). We modify Hybrid's type of terms, which is built definitionally in terms of de Bruijn indices, to exclude at the type level terms with `dangling' indices. We strengthen the injectivity property for Hybrid's variable-binding operator, and …
-
Asphericity and spherical aberrations in untreated eyes: a retrospective analysis of topographic and aberrometric data
… με τις κερατοειδικές εκτροπές υψηλής τάξης (cHOAs) ή τη σφαιρική εκτροπή του κερατοειδούς. Μέθοδοι: Η αναδρομική αυτή μελέτη περιέλαβε 400 μη χειρουργημένους οφθαλμούς ενηλίκων ασθενών (18–90 ετών), οι οποίοι υποβλήθηκαν σε τυπικό προεγχειρητικό έλεγχο διαθλαστικής χειρουργικής ή καταρράκτη σε …