161,099 research outputs found
Tallulah, a Tool to Support the Axiomatic Approach to Causal-Consistent Reversibility
No full textThe axiomatic approach to causal-consistent reversibility allows one to prove relevant properties of concurrent reversible formalisms, such as causal consistency, causal safety and causal liveness, by checking a few simple axioms. The approach works on Labeled Transition Systems equipped with a notion of Independence (LTSIs). Even if the axioms are quite simple, verifying them on non-trivial LTSIs is time consuming and involves a few subtleties. We present Tallulah, a tool which allows one to automatically verify various axioms on concrete LTSIs, suggests how to patch the LTSI when some axiom does not hold, and colors the transitions to highlight when they belong to the same event
Prof. Th. W. Adorno and the author Hans Erich Nossack.
No full textProf. Th. W. Adorno and the author Hans Erich Nossack at a reception of Insel Verlag, Buchmesse Frankfurt 1966LB
Nowe spojrzenie na planowanie architektury mieszkaniowej w afryce subsaharyjskiej
No full textThe author shares his reflections on state of art in housing and urban planning, deficiencies, expectations and possibilities in the Sahel region of Africa. He notices, that the housing problem in Africa is one of the challenges, which should be solved in order to recover life dignity of African people and secure their rights to traditional family life in acceptable conditions. The paper describes the studies on the typical dispersed urban structures and the need to foster this type of settlement structure and proposals of introduction of new on light steel frame housing system in the area of Sahel, combining the traditional way of building houses with modern technology. The particularly analysed case, is the housing problem in the Republic of Chad. The author presents the basic discussion on this topic and his architectural proposals. Unfortunately, the gap between the needs and the financial feasibility of housing construction in this area, makes this project already at the starting point extremely difficult to be realized without external subventions.Problem mieszkaniowy w Afryce jest jednym z wyzwań, które należy rozwiązać, aby Afrykanie mogli odzyskać godność życiową i zabezpieczyć swoje prawa do tradycyjnego życia rodzinnego w akceptowalnych warunkach. W artykule opisano badania nad typowymi rozproszonymi strukturami miejskimi i potrzebą wspierania tego typu struktur osadniczych oraz propozycji wprowadzenia nowego systemu konstrukcji domów, opartym na lekkim szkielecie stalowym, łączącym tradycyjny sposób budowania domów z nowoczesną technologią. Przypadkiem szczególnie analizowanym jest problem mieszkaniowy w Republice Czadu. Autor przedstawia podstawową dyskusję na ten temat i swoje propozycje architektoniczne. Niestety luka między potrzebami mieszkaniowymi w Czadzie a finansową wykonalnością budownictwa mieszkaniowego w tym obszarze sprawia, że projekt ten, już w punkcie wyjścia, jest niezwykle trudny do realizacji bez uzyskania zewnętrznych dotacji
Bolbelasmus nikolajevi Hillert, Arnone, Kral & Massa 2016, sp. nov.
No full text<i>Bolbelasmus nikolajevi</i> Hillert, Arnone, Král & Massa sp. nov. <p>(Figs 5, 12, 18, 25, 31, 37, 43, 57, 59, 64)</p> <p> <i>Bolbelasmus bocchus</i>: PIC (1924): 126 (note, distribution); SCHATZMAYR (1946): 50 (distribution); ALFIERI (1976): 206 (distribution).</p> <p> <i>Bolbelasmus bocchus vaulogeri</i>: KRIKKEN (1977): 290, figs 18–19 (revision); BARAUD (1992): 53 (monograph); KRÁL et al. (2006): 82 (catalogue); ARNONE & MASSA (2010): 411, fig. 12 (distribution, note).</p> <p> <b>Type locality.</b> NW Tunisia, Sidi Bouzid gov.,7.5 km SWW of Hajeb el Ayoun,by road, 35°22′N, 09°28′E, 340 m a.s.l.</p> <p> <b>Type material</b> (126 specimens). <b>TUNISIA: SIDI BOUZID PROV.:</b> HOLOTYPE: ♂ (DKPC), ‘NW Tunisia, Sidi Bouzid gov., 7.5 km SWW of, HAJEB EL AYOUN, by road, 29.iii.2014, 35°22’N, 09°28’E, 340 m, David Král lgt.’ ALLOTYPE: ♀ (DKCP), same data. PARATYPES: <b>EGYPT: ALEXANDRIA PROV.:</b> ‘Egypt,Alexandria,1958’, 1♀ (NMPC); ‘ Egypt, Mariout, 4.iii.1924, coll. Alfieri’, 1 ♀ (NHMB). <b>LIBYA: AZ ZAWIYAH PROV.:</b> ‘Afrika, Libye, SURMAN - viii.[19]88, Č. Sobota lgt.’, 1 ♂ 1 ♀ (JDCC). <b>BENGHAZI PROV.</b>: ‘Libya, Benghazi, 8.3.1987, lgt. Háva [p]’, 1 ♀ (DKCP), 1 ♀ (JHCP); ‘Libia, Benghazi, 1986 V. Poláček lgt. [p]’, 1 ♂ (SJCP). <b>BUTNAN PROV.</b>: ‘ Libya, Cirenaica, Tobruk III, 32°5‘1“ N, 23°58‘ 35“ E, Geo C. Kruger lgt., R.U. Agrario’, 2 ♂♂ 2 ♀♀ (MSNG). <b>TRIPOLI PROV.</b>: ‘Afr. Libya – Tadjiura, 04.1986, Houška lgt.’, 2♂♂ (JMCH); ‘Libya, Tagiura, červenec [= July], [19]85, Voleman [lgt.]’, 2 ♂♂ (VTCZ); ‘Libya, Tagiura, srpen [= August], [19]85, Voleman [lgt.]’, 1♀ (VTCZ); ‘AFRIKA, Libya,Tarabulus vii.[19]88, V.Poláček lgt.’, 1♂ (JMCP); Foualgha, 8.4.1983, M. Dudycha [lgt.] [handwritten]’, 1 ♂ (RCCP). <b>Not located:</b> ‘Libya, Takadria, srpen [= August], [19]84, Voleman [lgt.]’, 1 ♀ (VTCZ). <b>TUNISIA: BIZERTE PROV.:</b> ‘Biserta, Tunisia, De Vauloger, Nevinson Coll., 1918-14, Bolboceras, vaulogeri Ab., types, Type, H. T.’, 1 ♂ (BMNH) [not syntype of B. vaulogeri, type label added later; M. Barclay pers. comm.]. <b>GABÈS PROV.</b>: ‘Gabes, 1897’, 2 ♂♂ (MNHN); ‘Tunisie, Mareth, R. Demoflys lgt., i. [19]49’, 1 ♂ (MNHN); ‘Tunisia, Gov. Gabes, Matmata, 19.iv.2013, Leg. G.Sabatinelli, At light’, 1 ♂ 1 ♀ (GSCT); ‘Matmata, iii.2014 ’, 1 ♂ 1 ♀ (GSCT); ‘TUNISIA: 15.4.1996, TAMEZRET, 13 km W of Matmata, J. BATELKA lgt.’, 2 ♀♀ (JBCP); ‘E Tunisia, Gabes, 5 km NEE of Oudref, Matwiya plage, 24.–25.iii.2014, 34°01‘N 10°00‘E, O. Hillert lgt.’, 7 ♂♂ 8 ♀♀ (OHCB); ‘E Tunisia, Gabes gov., 5 km NEE of Oudref, MATWIYA plage, ca. 20 m, 24.–25.iii.2014, 34°01‘N, 10°00‘E, David Král lgt.’, 2 ♂♂ 3 ♀♀ (DKCP), same data but Petr Šípek lgt., 3 ♂♂ 2 ♀♀ (CUPC), 1 ♀ [in pure alcohol] (CUPC); ‘TN-Gabes, dintorni, 13.IV.[19]95 leg. S. Ziani’, 1 ♂ (SZCM). <b>GAFSA PROV.</b>: ‘Tunisie, Gafsa, Chretien [lgt.], 1910’, 1 ♂ (MNHN); ‘Tunisie, Gafsa,A. Weiss [lgt.], 1904’, 1 ♀ (MNHN); ‘Gafsa, 1897’, 1 ♂ (OHCB);‘ Tunis, Métlaoui, C. Dumont’, 1 ♀ (DKCC). <b>KASSERINE PROV.</b>: ‘T., Thelepte, Mai 1941, R. Demoflys [lgt.]’, 2 ♂♂ 1 ♀ (MNHN); ‘Tun., Sbeitla, Mars 1941, R. Demoflys [lgt.]’, 2 ♀♀ (MNHN). <b>KEBILI PROV.</b>: ‘ TUNISIA, 3.-4. iv.2008 / 45 km E of Douz, Wadi Raml,/ N33°31’ E09°30’ / J.Batelka & J. Straka lgt.’, 1♀ (JBCP). <b>KEF PROV.</b>: ‘Tunisia NW,Le Kef, NABEUR env., 16.4.2001, lgt.M.Snížek’, 1♂ (VKCC). <b>MEDENINE PROV.</b>: ‘E Tunisia, Medenine, Djerba island, 5 km E of Midoun, sea coast, 26.iii.2014, 33°49‘N 11°02‘E, O. Hillert lgt.’, 1 ♂ (OHCB); ‘ TN-Medenine, str. per Toujan, 13.IV.[19]95 leg. S. Ziani’, 4 ♀♀ (SZCM). <b>NABEUL PROV.</b>: ‘ Tunisia, (Nabeul), Cap Bon peninsula, 6 km W of El Hawariah, sea coast, 23.iii.2014, 37°03‘N 10°57‘E, O. Hillert lgt.’, 4 ♂♂ (OHCB); ‘NE Tunisia, Nabeul gov., Cap Bon peninsula, 6 km W of EL HAWARIAH, sea coast, 23.iii.2014, 37°03‘N, 10°57‘E, ca. 3 m, David Král lgt.’, 2 ♂♂ 4 ♀♀ (DKCP), same data but Petr Šípek lgt., 1 ♂ 1 ♀ [partially demaged spec. in pure alcohol] (CUPC); ‘ Tunisia, Cap Bon IV.1960, G. Frey’, 1 ♀ (NHMB). <b>SFAX PROV.</b>: ‘Tunisie, Ketana [Bir Ketana], iv.[19]50, R. Demoflys [lgt.]’, 1 ♀ (MNHN); ‘ Tunisie, La Hencha, iii.[19]42, R.Demoflys [lgt.]’, 1♂ (MNHN); ‘Tunisia 1896, Sfax, de Vauloger [lgt.], Nevinson Coll., 1918-14’, 1 ♂ 1 ♀ (BMNH). <b>SIDI BOUZID PROV.</b>: ‘NE Tunisia, Sidi Bouzid, 7.5 km SWW of Hajeb el Ayoun by road, 29.iii.2014, 35°22‘N 09°28‘E, O. Hillert lgt.’, 7♂♂ 8♀♀ (OHCB); ‘NW Tunisia, Sidi Bouzid gov., 7.5 km SWW of,HAJEB EL AYOUN,by road, 29.iii.2014, 35°22‘N, 09°28‘E, 340 m, David Král lgt.’, 4♂♂ 2♀♀ (DKCP), 1 ♂ 1 ♀ (CUPC); ‘Tunisie, Maknassy,A. Dumont [lgt.], 1928’, 5 ♂♂ 2 ♀♀ (MNHN); ‘Tunisia, Bled Gamouda [Bilad Gamouda], de Vauloger [lgt.], Nevinson Coll., 1918-14.’, 1 ♂ (BMNH). <b>TOZEUR PROV.</b>: ‘ Tunis, Tozeur, C. Dumont [lgt.], 1929’, 2 ♂♂ (MNHN). <b>No further locality specified:</b> ‘ Tunisie, Septent[rionalis], Schaedlin’, 1 ♂ (MNHN).</p> <p> <b> Description. <i>Male (holotype).</i></b> Distinctly convex, surface brownish or light-brown, shiny, pronotum covered with double punctation, elytron very fine microsculptured basally, microsculture missing apically.</p> <p>Head (Figs 5, 18, 25, 31, 37, 57). Clypeus broadly rounded, nearly semicircular, anterior angles vague. Posterior angles of clypeal margin elevated. Frontal horn well developed, long, distinctly furcate, base triangularly shaped in dorsal view, posterior edge of base situated at height of center of eye, side margin of tubercle keeled from base to apex. Punctation of clypeal disc simple, distinct. Oblique keels above eyes reaching approximately to half of eyes. Punctation of frons and vertex same as on clypeus; frontoclypeal suture present. Eyes distinctly elliptic and well developed; genae arcuate posteriorly, extending eyes laterally.</p> <p>Pronotum (Figs 5, 18, 25, 31, 37, 57) distinctly transverse; broadest just in basal quarter, entirely bordered; lateral margin evenly rounded, marginal carina not crenate, distinctly widened and elevated; lateral fovea almost missing. Pronotal punctation distinct, double, consisting of deeply impressed punctures, punctures separated by approximately 2–3 times their diameter, intermixed with very fine, pinned punctures. Base of pronotum glabrous. Lateral hornlike apophyses well developed, bent distinctly upwards and sidewards in lateral and dorsal view; between lateral and apical apophyses distinct, deeply oval concavity.Apical hornlike apophyses distinctly elevated, angled, directed 30° frontoapically, subapical protrusion of apical apophyses laterally near apex on outside.</p> <p>Scutellar shield triangular elongate, very finely punctate, shiny.</p> <p>Elytra approximately as long as wide, surface shiny, glabrous; between suture and humerus 7 distinct striae along entire elytral length, all striae with distinctly separated punctures; intervals flat; humeral umbone weak.</p> <p>Parameres as in Fig. 64.</p> <p> <i>Variability in males.</i> Surface black to brownish; pronotal hornlike apophyses in medium developed and underdeveloped (hypothelic) specimens short, more or less straight, only simply rounded to almost acute apically.</p> <p> <i> <i>Female (allotype)</i>.</i> Head (Figs 12, 43). Clypeus broadly rounded, semicircular with straight anterior margin, anterior angles evenly rounded. Posterior angles of clypeal margin very weakly elevated. Frontal carina well developed, distinctly interrupted in middle, bituberculate on internal interruption, laterally keeled on each side. Punctation of clypeus, frons, vertex and occiput simple, distinct; oblique keels above eyes distinct, elongated to half of eyes; eye well developed, distinctly elliptic, genae well developed, arcuate anteriorly and posteriorly.</p> <p>Pronotum (Fig. 12) distinctly transverse, lateral margin weakly widened, broadest just basally, surface distinctly deeply punctate, double except of basal part, punctures consisting of well and deeply impressed punctures, separated approximately by distance equal to their diameter, intermixed with very fine, pinned punctures.Anterior transverse protrusion distinct, sharply semicircular, lateral apophyses present.</p> <p>Elytron surface shiny, glabrous; humeral umbone weak.</p> <p> <i>Measurements.</i> Total body length 12.0–15.1 mm (holotype, ♂: 14.6 mm; allotype, ♀: 14.8 mm).</p> <p> <b>Differential diagnosis.</b> Refer to species key.</p> <p> <b>Etymology.</b> Patronymic; named in honour of our friend Georgy V. Nikolajev (Al-Farabi State University, Almaty, Kazakhstan), a renowned specialist in world Scarabaeoidea.</p> <p> <b>Collection circumstances.</b> Prefers sandy and/or loess soils.</p> <p> <b>Distribution.</b> Mediterranean Egypt, Libya (Tripolitania, Cyrenaica) and Tunisia (Fig. 59).</p>Published as part of <i>Hillert, Oliver, Arnone, Marcello, Král, David & Massa, Bruno, 2016, The genusBolbelasmus in the western and southern regions of the Mediterranean Basin (Coleoptera: Geotrupidae: Bolboceratinae), pp. 211-254 in Acta Entomologica Musei Nationalis Pragae 56 (1)</i> on pages 232-234, DOI: <a href="http://zenodo.org/record/5306071">10.5281/zenodo.5306071</a>
Seeing the world anew : the radical vision of Martin Waldseemüller's 1507 & 1516 world maps /
No full text9781929154470 (ISBN). 192915447X (ISBN). First edition 2012. Accompanied by 2 foldeds map in front and back pockets: 1507 map -- 1516 map.; Includes bibliographical references: pages 98-107.; Maps from pockets also available online http://nla.gov.au/nla.map-vn6254227; Original version of the 1507 map: Universalis cosmographiae secundum Ptholomaei traditionem et Americi Vespucii alioru que lustrationes. [St. Dié, France? : s.n., 1507]; Original version of the 1516 map: Carta marina, navigatoria Portugallen, navigationes atque tocius cogniti orbis terre marisque formam naturamq[u]e situs et terminos nostris temporibus recognitos et ab antiquorum traditione differentes eciam quor[um] vetusti non meminerunt auctores hec generaliter indicat / consumatum est in oppido S. Deodati compositione et digestione Martini Waldseemuller Ilacomili. [St. Dié, France? : s.n., 1516]. Prologue: In a Renaissance Vision, a Glimpse of the Modern / John W. Hessler -- "An island surrounded on all sides by sea" : The World Map, 1507 / John W. Hessler -- "Land of Cuba, part of Asia" : The Carta marina, 1516 / Chet Van Duzer -- Epilogue: A Renaissance That Resonates Still / John W. Hessler -- Notes -- Afterword / Ralph E. Ehrenberg -- About the authors -- Acknowledgments -- The Maps: The 1507 World Map, 12 sheets, with commentary -- Composite: front pocket -- The 1516 Carta marina, 13 sheets, with commentary -- Composite: back pocket
Klimat społeczny w szkole inkluzyjnej
No full textAuthor presented in this paper theoretical approach to the building of social climate in an inclusive school. The publication indicatessome tendencies and directions of changes to improve the functioning of these institutions and to implement the idea of inclusive education.Autorka przedstawiła w artykule teoretyczne ujęcie zagadnienia związanego z budowaniem klimatu społecznego w szkole inkluzyjnej. W publikacji ukazano pewne dążenia i kierunki zmian, jakich należy dokonywać w masowych szkołach, aby poprawić jakość funkcjonowania tych placówek, tak by kierowały się one ideą edukacji włączającej
Ewolucja programowa FDP w polityce wschodniej w latach 1949-1969 w świetle nowych zasobów Archiwum Niemieckiego Liberalizmu
No full textZasadniczym celem artykułu jest analiza działalności programowej FDP w polityce wschodniej Republiki Federalnej Niemiec w latach 1949-1969. Autor wykorzystał nowe zasoby Archiwum Niemieckiego Liberalizmu w Gummersbach, co umożliwiło przedstawienie nowej oceny wpływu FDP na politykę wschodnią Republiki Federalnej Niemiec.The main goal of the article is to analyze the FDP's program activities in the eastern policy of the Federal Republic of Germany in the years 1949-1969. Of great importance here is the fact that the author used in this work new archives from the Archives of German Liberalism in Gummersbach. This enabled him to present a new assessment of the FDP's impact on the eastern policy of the Federal Republic of Germany
Zasady szacowania gruntów w postępowaniach scaleniowych w Polsce
No full textThe subject of the study was the principles of land estimation used for the purpose of consolidation
proceedings, as they are applied in Poland.
The work examines the legal conditions relating to the estimation of land for the purposes of
consolidation. Documents prepared in the years 2005–2017 concerning land estimation (resolutions
of the consolidation participants, and protocols from the value estimates) have been
collected for 41 consolidated sites, located in 28 districts of 11 voivodships (regions). A survey
was conducted among the surveyors-designers of the consolidation proceedings, consisting of
19 questions. In the current year, the co-author of the present article was present at meetings of
consolidation proceedings’ participants, convened in order to determine the rules for estimating
land value on two sites located in different regions, and the material she collected during those
meetings was used in the article.
The collected data were subjected to an analysis, which showed that within Poland there is no
homogeneity in the method of estimating land value for the purpose of consolidation proceedings,
and that the method used to determine the value of land, taking into account the 1-hectare
estimated rate, and the price of 1dt of rye grain, according to the provisions of the agricultural
tax, is incompatible with the principles for the valuation of agricultural real estate, as specified in
the law on real estate management.Przedmiotem badań były zasady szacowania gruntów stosowane w postępowaniach scaleniowych w Polsce.
W ramach pracy przeanalizowano uwarunkowania prawne odnoszące się do szacunku gruntów na potrzeby scaleń. Zebrano dokumentację sporządzoną w latach 2005-2017 dotyczącą szacunku gruntów (uchwały uczestników scalenia i protokoły z przeprowadzonego szacunku) dla 41 obiektów scaleniowych, położonych na terenie 28 powiatów z 11 województw. Przeprowadzono ankietę wśród geodetów-projektantów scaleń, składającą się
z 19 pytań. Współautorka artykułu w bieżącym roku była obecna na spotkaniach uczestników scalenia, zwołanych w celu ustalenia zasad szacowania gruntów na dwóch obiektach, zlokalizowanych w różnych województwach i zebrane materiały dotyczące tych spotkań wykorzystane zostały w artykule.
Zgromadzone dane poddano analizie, która wykazała, że w Polsce nie ma jednolitości
w sposobie szacowania gruntów na potrzeby postępowań scaleniowych oraz że stosowany sposób określania wartości gruntów z uwzględnieniem stawek szacunkowych 1 ha oraz ceny 1dt żyta wg przepisów o podatku rolnym jest niezgodny z zasadami wyceny nieruchomości rolnych określonymi w ustawie o gospodarce nieruchomościami
Ograniczenia wolności słowa w Internecie
No full textThe development of Internet services lead to many changes in forms of expression of our opinions and ideas. The author shall discuss whether the term “freedom of speech” is still suitable for modern times, regarding the conversations in the social media. As we all know, the freedom of speech and the freedom of expression were never absolute and certain limitations of them are completely legal and necessary. However, as the author will try to prove, there are some serious concerns about executing such limitations online as well as effectively proving if someone’s rights have been violated due to excess of freedom of expression. The possible ideas of fighting the hate speech and other acts of trespassing the right to free expression shall also be presented.Rozwój usług Internetowych spowodował wiele zmian w sposobach wyrażania naszych opinii i pomysłów. Autor przeprowadzi rozważania odnośnie tego czy określenie “wolność słowa” jest wciąż adekwatne do współczesnych czasów, odnosząc się do rozmów w przestrzeni mediów społecznościowych. Powszechnie wiadomo, że wolność słowa i wolność wypowiedzi nigdy nie były absolutne i pewne ich ograniczenia są całkowicie legalne oraz konieczne. Jednakże, jak autor spróbuje wykazać, istnieją poważne wątpliwości odnośnie wykonalności takich ograniczeń w sieci, a także efektywnego dowodzenia, że cudze prawa zostały naruszone w związku z przekroczeniem granic wolności wypowiedzi. Propozycje możliwych rozwiązań w walce z mową nienawiści i innymi przejawami przekraczania prawa do wolności wypowiedzi także zostaną zaprezentowane
Going Beyond Counting First Authors in Author Co-citation Analysis
No full textThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
- …
