Setting out from the short dialogue in which Cynic philosopher Diogenes of Sinope was asked “Where are you from?” and he replied “I am a citizen world [ὃ κοσμοπολίτης; cosmopolitan]”, purpose this article is to explore cosmopolitanism Byzantine Constantinopolitan perspectives. The intention toreflect on significance for world-making European historical literature by considering it within framew...

BACKGROUND Acinetobacter baumannii complex (ABC) has emerged as an important pathogen causing a variety of infections. Longitudinal multicenter surveillance data on ABC from different sources in Taiwan have not been published. Using data from the Taiwan Surveillance of Antimicrobial Resistance (TSAR) conducted biennially, we investigated the secular change in resistance of 1640 ABC from 2002 to...

The article analyzes the content and interrelation of concepts “tsar” (and synonymous with it — “monarch”, “sovereign emperor”, etc.) “law” (“decree”, in texts petitions submitted on behalf employees state private mining plants Urals, as well from members their families first half 19th century. source base study comprises more than 170 unpublished identified by author RGIA, RGADA State Archive ...

The paper describes the GUSMP (North Sea Route Directorate) expert council session on design of a powerful icebreaker 18000–24000 HP held June 15, 1935 in Leningrad, based archive documents. Analysis materials sheds light state-of-the-art building mid-1930s. standpoint academician A.N. Krylov as well administration is particularly interesting.

We present a formal model built for verification of the hardware Tera-Scale ARchitecture (TSAR), focusing on its Distributed Hybrid Cache Coherence Protocol (DHCCP). This protocol is by nature asynchronous, concurrent and distributed, which makes classical validation of the design (e.g. through testing) difficult. We therefore applied formal methods to prove essential properties of the protocol...