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 “"formal abstraction"”.
-
New Negro Artists and Post-War American Modernism: A Reconsideration
… and American Scene and later developments in formal abstraction associated with the New York School. Many scholars have adhered to this paradigm as a way of privileging post-war abstraction as an evolutionary triumph that left the more narrative art of the pre-war era behind. In this thesis, I …
-
Raul córdula: 30 anos de pintura - de olho no mundo a sublime re-construção do olhar
… artistic trend named "Nova Objetividade", the formal abstraction prevailing in the fine arts of the 60's, besides transcripts of personal interviews with Raul Córdula conducted by the Authoress. By relating archaic signs, as those found in the inscriptions of Pedra do Ingá, to both geometrical …
-
A Foundational Framework for Service Query Optimization
… around a novel service model that provides a formal abstraction of the Web services within an application domain. A service calculus and a service algebra are defined to facilitate users in accessing services via declarative service queries. We provide the implementation of the service …
-
A verified compiler for Handel-C
… a sound reasoning framework in which the a formal model of the source Handel-C program can be embedded and refined into a formal abstraction of the target hardware. As the algebraic rules used to compile the program are proven to preserve the semantics, the correctness of the entire …