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 17 of 17 for “"Ptolemy"”.
-
A TALE OF TWO CHRONICLERS: PTOLEMY OF LUCCA AND GIOVANNI SERCAMBI
… texts that I have analysed are the Annales of Ptolemy of Lucca (c.1236-1327) and the Croniche of Giovanni Sercambi (c.1345-1424). This study concentrates on the sources utilized by the authors and how they looked at these sources while they were compiling their own texts. In this context …
-
Translation of Heterogeneous High-level Models to Lower Level Design Languages
… this style of design tools and environments is Ptolemy II. Ptolemy II is a high-level modeling tool created at UC-Berkeley. It supports heterogeneous and homogeneous modeling, simulation, and design of concurrent systems. High-level modeling of such embedded systems as digital electronics, …
-
Da Alessandro ai Theoi Adelphoi. Fondazione e legittimazione della dinastia tolemaica, tra IV e III secolo a.C.
… Chapter II: In the name of Alexander: how Ptolemy adapted to the hierarchy of proximity to the king to legitimate his power in Egypt and finally to establish a new dinasty; main topics are the use of Alexander's body in the historical context of the succession and in the local tradition of …
-
Hardware Synthesis of Synchronous Data Flow Models
… on SDF models defined structurally within the Ptolemy modeling environment. The behavior of the nodes within Ptolemy SDF models is specified in software and can be simple, such as a single arithmetic operation, or arbitrarily complex. This thesis presents a technique for extracting the behavior …
-
Rewriting-based model checking methods
… embedded system modeling languages, AADL and Ptolemy II. This approach provides a model-engineering process that combines the advantages of an existing modeling language with automatic rewriting-based model checking.
-
World Image after World Empire: The Ptolemaic Cosmos in the Early Middle Ages, ca. 700-900
… function predominated. The Vatican Ptolemy (Vaticanus Graecus 1291), a manuscript produced ca. 750, was a manual intended to ensure imperial access to natural-scientific knowledge. It may thus be compared to contemporary metrological monuments, in particular the Horologion of Hagia …
-
The Evacuation of Japanese-Americans from Washington State During World War II: A Study in Race Discrimination
In 1964 Congress passed a major civil rights bill designed to give equal rights to all Americans regardless of race, but there was a time when that same government under pressures of war, denied civil rights to citizens as well as non-citizens strictly because of race. Going back twenty-three …
-
Functional Programming and Metamodeling frameworks for System Design
… design frameworks we have worked with are SpecC, Ptolemy II, SystemC-H, etc. From our analysis of these, we identify their following shortcomings: First, their dependence on specific programming language artifacts (Java or C/C++) make them less amenable to formal analysis. Second, the refinement …
-
Contemplate the Lord and live justly': Establishing the authorial intent behind The Letter of Aristeas
… translation into Greek, commissioned by King Ptolemy II for the library of Alexandria but carried out by Jewish translators sent by Jerusalem’s High Priest. Culturally, the Letter is a striking text. It frequently asserts the pre-eminence of the Biblical god and its prophet, Moses, alongside …
-
Contemplate the Lord and live justly': Establishing the authorial intent behind The Letter of Aristeas
… translation into Greek, commissioned by King Ptolemy II for the library of Alexandria but carried out by Jewish translators sent by Jerusalem’s High Priest. Culturally, the Letter is a striking text. It frequently asserts the pre-eminence of the Biblical god and its prophet, Moses, alongside …
-
Witelonis perspectivae liber quartus Book IV of Witelo's Perspectiva : a critical edition and English translation with introduction, notes and commentary
… optical theories, such as those of Euclid, Ptolemy, Avicenna and Alhacen. In fact, Witelo’s chief sources in Book IV are Alhacen’s De aspectibus as well as Euclid’s Elements and Optics (Liber de visu). Unfortunately though, this brings up a basic problem with Book IV. As the introduction of …
-
Schools of Greek Mathematical Practice
… in which Archimedes, Heron of Alexandria, and Ptolemy worked, is oriented toward the discovery and development of effective methods of problem-solving. Presentation is less structured and usually more personalized, specific solutions are allowed to stand implicitly for universal principles, and …
-
Magic, astrology and music: the background to Marsilio Ficino's astrological music therapy and his role as a Renaissance magus
… towards astrology. The 'scientific' astrology of Ptolemy and the syncretic tradition of the Arabs leads to a presentation of the dilemma between the scientific and divinatory approaches. I then discuss Ficino's reaction to astrological determinism and his own views in relation to his Disputatio …
-
Reasoning Tradeoffs in Implicit Invocation and Aspect Oriented Languages
To reason about a program means to state or conclude, by logical means, some properties the program exhibits; like its correctness according to certain expected behavior. The continuous need for more ambitious, more complex, and more dependable software systems demands for better mechanisms to …
-
A Comparative Study of Quṭb al-Dīn Shīrāzī's Texts and Models on the Configuration of the Heavens
This dissertation analyzes the astronomical writings of Quṭb al-Dīn Shīrāzī, a well-known Persian scholar of the Ilkhanid era (i.e., the second half of the thirteenth century to the early decades of the fourteenth century C. E.). The sustained attempts, by scientists of the Islamic world to rid …