Comparing BDD and SAT based techniques for model checking Chaum's Dining Cryptographers Protocol

We analyse different versions of the Dining Cryptographers protocol by means of automatic verification via model checking. Specifically we model the protocol in terms of a network of communicating automata and verify that the protocol meets the anonymity requirements specified. Two different model checking techniques (ordered binary decision diagrams and SAT-based bounded model checking) are evaluated and compared to verify the protocols

Signatures of Cool Gas Fueling a Star-Forming Galaxy at Redshift 2.3

Galaxies are thought to be fed by the continuous accretion of intergalactic gas, but direct observational evidence has been elusive. The accreted gas is expected to orbit about the galaxy's halo, delivering not just fuel for star-formation but also angular momentum to the galaxy, leading to distinct kinematic signatures. Here we report observations showing these distinct signatures near a typical distant star-forming galaxy where the gas is detected using a background quasar passing 26 kpc from the host. Our observations indicate that gas accretion plays a major role in galaxy growth since the estimated accretion rate is comparable to the star-formation rate.Comment: 33 pages, 8 figures, version matching the proofed tex

MAGIICAT V. Orientation of Outflows and Accretion Determine the Kinematics and Column Densities of the Circumgalactic Medium

We investigate the dependence of gas kinematics and column densities in the MgII-absorbing circumgalactic medium on galaxy color, azimuthal angle, and inclination to trace baryon cycle processes. Our sample of 30 foreground isolated galaxies at $0.3<z_{\rm gal}<1.0$, imaged with the Hubble Space Telescope, are probed by background quasars within a projected distance of $20<D<110$ kpc. From the high-resolution ($\Delta v\simeq 6.6$ km s$^{-1}$) quasar spectra, we quantify the extent of the absorber velocity structure with pixel-velocity two-point correlation functions. Absorbers with the largest velocity dispersions are associated with blue, face-on ($i<57^{\circ}$) galaxies probed along the projected minor axis ($\Phi \geq 45^{\circ}$), while those with the smallest velocity dispersions belong to red, face-on galaxies along the minor axis. The velocity structure is similar for edge-on ($i \geq 57^{\circ}$) galaxies regardless of galaxy color or azimuthal angle, for red galaxies with azimuthal angle, and for blue and red galaxies probed along the projected major axis ($\Phi<45^{\circ}$). The cloud column densities for face-on galaxies and red galaxies are smaller than for edge-on galaxies and blue galaxies, respectively. These results are consistent with biconical outflows along the minor axis for star-forming galaxies and accreting and/or rotating gas, which is most easily observed in edge-on galaxies probed along the major axis. Gas entrained in outflows may be fragmented with large velocity dispersions, while gas accreting onto or rotating around galaxies may be more coherent due to large path lengths and smaller velocity dispersions. Quiescent galaxies may exhibit little-to-no outflows along the minor axis, while accretion/rotation may exist along the major axis.Comment: 12 pages, 6 figures, 1 table. Accepted for publication in Ap

Lucjan Rydel jako badacz i wydawca literatury dawnej – dzieje edycji „Jerozolimy wyzwolonej” Torquata Tassa w przekładzie Piotra Kochanowskiego (Kraków 1902–1903)

The article discusses the research and editing work of Lucjan Rydel related to the Old Polish literature – the two-volume edition of Torquato Tasso’s Gerusalemme liberata, translated by Piotr Kochanowski as Goffred albo Jeruzalem wyzwolona, prepared by Rydel and published in Krakow in 1902–1903 by Polish Academy of Arts and Sciences in the series Biblioteka [96] Marta M. Kacprzak Pisarzów Polskich (Polish Writers’ Library). It is the result of Rydel’s research on the life and work of Piotr Kochanowski – Jan Kochanowski’s nephew, Renaissance poet, Polish translator of Ariosto and Tasso. In the Biblioteka Pisarzów Polskich it was planned to publish, in addition to Goffred, a 5-volume edition of Ariosto’s Orlando furioso translated by Piotr Kochanowski and a monograph on Kochanowski. Rydel’s materials for these books were lost during World War II, but they are known from the accounts of Józef Tretiak and Roman Pollak. Rydel’s edition of Goffred was critically reviewed by Adam Antoni Kryński, Ignacy Chrzanowski and Aleksander Brückner

Dzieła Adama Mickiewicza w książce dla dzieci i młodzieży do 1918 r. Inicjatorzy przedsięwzięć wydawniczych – wydawcy – wydawnictwa – drukarze w trosce o oświatę i kulturę polską pod zaborami

Autorka artykuł poświęca postaci Adama Mickiewicza oraz jego twórczości w kontekście przekazywania jej dzieciom oraz młodzieży. Należy pamiętać, że wieszcz był dla osób żyjących pod zaborami symbolem polskości. Przełom XIX i XX wieku, kiedy to przypadały lata Mickiewiczowskie (100. rocznica urodzin czy 50. rocznica śmierci) sprzyjały popularyzacji twórczości poety. Badaczka skupia się nad utworami wybranymi z tych okazji dla młodszych czytelników.Udostępnienie publikacji Wydawnictwa Uniwersytetu Łódzkiego finansowane w ramach projektu „Doskonałość naukowa kluczem do doskonałości kształcenia”. Projekt realizowany jest ze środków Europejskiego Funduszu Społecznego w ramach Programu Operacyjnego Wiedza Edukacja Rozwój; nr umowy: POWER.03.05.00-00-Z092/17-00

Wokół periodyku „Babin na Obcej Ziemi” (1832). Polska kultura dawna w czasopiśmie Wielkiej Emigracji

The paper discusses a short-lived and humoristic literary journal entitled “Babin na Obcej Ziemi” [“Babin in a Foreign Land”] that was published in France in 1832, at the very beginning of the Polish Great Emigration; it was also the first ever journal published by Polish migrants. The paper introduces basic information about the publication process of this illustrated journal – such as its connection to Antoni Oleszczyński – and presents the analysis of three works of fiction published in two volumes of the journal (List nadesłany z Elbląga dnia 1 maja 1832 [Letter sent from Elbląg on 1 May 1832]; Panorama Besançonu [Besançon Panorama] by Franciszek Gordaszewski; Bajka. Szpak, papuga i gawrony [Fairy-tale. A Starling, a Parrot and Rooks]), focusing on the motif of Rzeczpospolita Babińska [Babińska Republic] present in both the message and organisation of the journal. The paper tells the story of this interesting sixteenth-and-seventeenth-century literary organisation, showcases its literary influences and presents its reception in the Polish culture of the nineteenth century, also among the members of the Great Emigration (such as Franciszek Ksawery Szaniawski, Kazimierz Władysław Wójcicki, Antoni Oleszczyński, and Leonard Chodźko). The works of fiction analysed in this paper are also discussed as examples of satire characteristic for the Enlightenment Era. Therefore, the works discussed in this paper are placed within the historical, political and social situation of Polish migrants in 1832. The author also shows the connection between traditional literary and humoristic conventions and the current situation of the Great Emigration. Finally, the paper also discusses the reception of the journal and its connection with journal “Pszonka” published by Leon Zienkowicz (Strasburg and Paris 1839-1844).Artykuł to monograficzne opracowanie efemerycznego czasopisma literackiego o charakterze humorystycznym pt. „Babin na Obcej Ziemi”, wydawanego u początków Wielkiej Emigracji we Francji w 1832 r. – pierwszego polskiego periodyku emigracyjnego. Opracowanie porządkuje stan badań na temat sytuacji wydawniczej litografowanego pisma, m.in. analizując jego związek z Antonim Oleszczyńskim. Przedstawia interpretację trzech utworów literackich zamieszczonych w dwóch numerach periodyku (List nadesłany z Elbląga dnia 1 maja 1832; Panorama Besançonu Franciszka Gordaszewskiego; Bajka. Szpak, papuga i gawrony), koncentrując się na organizującym treść i przesłanie pisma motywie Rzeczypospolitej Babińskiej. Przypomina historię tego szlacheckiego koła towarzysko-literackiego z XVI–XVII w., jego ślady literackie, a także recepcję jego dziedzictwa w kulturze polskiej XIX w., także w środowisku Wielkiej Emigracji (m.in. Franciszek Ksawery Szaniawski, Kazimierz Władysław Wójcicki, edycje tekstów Ignacego Krasickiego i Teodora Wagi, Antoni Oleszczyński, Leonard Chodźko). Interpretację utworów z&nbsp;periodyków odnosi również do tradycji satyry oświeceniowej. Zarazem plasuje teksty – ich treść, formę i przesłanie – na tle sytuacji historyczno-polityczno-społecznej emigracji polskiej około 1832 r. Ukazuje zderzenie staropolskiej i oświeceniowej konwencji literacko-humorystycznej z bieżącymi uwarunkowaniami Wielkiej Emigracji. Przypomina także ślady recepcji periodyku, m.in. jego związek z czasopismem „Pszonka” Leona Zienkowicza (Strasburg, Paryż 1839–1844)