47 resultados para Achaea (Principality)
Resumo:
Extract from "Miscellanea di storia italiana, serie II, vol. V; XX̊ della Collezione."
Resumo:
http://www.archive.org/details/briefhistoryofth014373mbp
Resumo:
Principality of typings is the property that for each typable term, there is a typing from which all other typings are obtained via some set of operations. Type inference is the problem of finding a typing for a given term, if possible. We define an intersection type system which has principal typings and types exactly the strongly normalizable λ-terms. More interestingly, every finite-rank restriction of this system (using Leivant's first notion of rank) has principal typings and also has decidable type inference. This is in contrast to System F where the finite rank restriction for every finite rank at 3 and above has neither principal typings nor decidable type inference. This is also in contrast to earlier presentations of intersection types where the status of these properties is not known for the finite-rank restrictions at 3 and above.Furthermore, the notion of principal typings for our system involves only one operation, substitution, rather than several operations (not all substitution-based) as in earlier presentations of principality for intersection types (of unrestricted rank). A unification-based type inference algorithm is presented using a new form of unification, β-unification.
Resumo:
First ed. published in 1800 under title: A tour through part of North Wales.
Resumo:
pp. 17-24 of ?
Resumo:
Preface signed: George Nicholson.
Resumo:
Mode of access: Internet.
Resumo:
This was a two-stage project to inform the Australian property and construction industry generally, and to provide the Australian Building Codes Board (ABCB) with information to allow it to determine whether or not sustainability requirements are necessary in the Future Building Code of Australia (BCA21). Research objectives included: examine overseas sustainability requirements for buildings and outline the reason why it is controlled and regulated in the particular country, state, principality etc. examine studies focusing on sustainability developments in buildings in Australia and overseas identify potential issues and implications associated with sustainable building requirements provide advice on whether provisions are necessary in the BCA21 to make buildings sustainable if the study determines there is a need for sustainability requirements in the BCA21, the study was to demonstrate the need to control and regulate along with the method to control and regulate. This research was broken down into two stages. Stage 1 was a literature review of international requirements as well as current thinking and practice for sustainable building developments. Stage 2 identified issues and implications of sustainability requirements for buildings and advice on whether provisions are necessary in the BCA21. This stage included workshops in all capital cities and involved key stakeholders, such as regulators, local government and representatives from key associations. This final report brings together the work of both stages, along with a searchable internet database of references and a series of nine key recommendations.
Resumo:
In my master thesis I analyse Byzantine warfare in the late period of the empire. I use military operations between Byzantines and crusader Principality of Achaia (1259–83) as a case study. Byzantine strategy was based (in “oriental manner”) on using ambushes, diplomacy, surprise attacks, deception etc. Open field battles that were risky in comparison with their benefits were usually avoided, but the Byzantines were sometimes forced to seek open encounter because their limited ability to keep strong armies in field for long periods of time. Foreign mercenaries had important place in Byzantine armies and they could simply change sides if their paymasters ran out of resources. The use of mercenaries with short contracts made it possible that the composition of an army was flexible but on the other hand heterogeneous – in result Byzantine armies were sometimes ineffective and prone to confusion. In open field battles Byzantines used formation that was made out from several lines placed one after another. This formation was especially suitable for cavalry battles. Byzantines might have also used other kinds of formations. The Byzantines were not considered equal to Latins in close combat. West-Europeans saw mainly horse archers and Latin mercenaries on Byzantine service as threats to themselves in battle. The legitimacy of rulers surrounding the Aegean sea was weak and in many cases political intrigues and personal relationships can have resolved the battles. Especially in sieges the loyalty of population was decisive. In sieges the Byzantines used plenty of siege machines and archers. This made fast conquests possible, but it was expensive. The Byzantines protected their frontiers by building castles. Military operations against the Principality of Achaia were mostly small scale raids following an intensive beginning. Byzantine raids were mostly made by privateers and mountaineers. This does not fit to the traditional picture that warfare belonged to the imperial professional army. It’s unlikely that military operations in war against the Principality of Achaia caused great demographic or economic catastrophe and some regions in the warzone might even have flourished. On the other hand people started to concentrate into villages which (with growing risks for trade) probably caused disturbance in economic development and in result birth rates might have decreased. Both sides of war sought to exchange their prisoners of war. These were treated according to conventional manners that were accepted by both sides. It was possible to sell prisoners, especially women and children, to slavery, but the scale of this trade does not seem to be great in military operations treated in this theses.