Workers' attracted by the far right: Narratives of exploitation and the need for affirmation

The article analyzes the process of the formation of new working-class identities in today’s Hungary in the light of lief-history interviews conducted with young skilled workers (below 40). Our starting point is the observation that the radical right-wing party (Jobbik) is relatively successful among this group (Tóth- Grajczjár 2013), whose reasons we analyze in a political and historical perspective. We also use Bartha’s interviews (2011), who conducted interviews with workers who were socialized in the Kádár regime, The interviews were conducted between 2002 and 2004; and at least rhetorically we could state that workers rejected the idea and practice of liberal democracy and the Western model and they were susceptible to ideologies promoting a string state and a strong leader. State socialism declared the working class to be the ruling class, although this thesis was disproved by the fate of the workers. The Kádár regime made a compromise with the working class, and ensured a petty bourgeois lifestyle for them. The change of regimes destroyed many working-class lives. The article draws on interviews conducted with workers, who can be seen as relative winners of the systemic change: the well paid working-class elite, who is working for multinational companies and enjoys a relatively secure employment. The interviews focus on the family, the social background, education, job and work satisfaction, relationship to the trade unions, satisfaction with labour interest representation and the socio-political views. We are trying to answer the question of what factors can explain the attraction of neo-nationalistic ideologies within this group. Bartha Eszter (2011): Magányos harcosok. Munkások a rendszerváltás utáni Kelet-Németországban és Magyarországon. Budapest: L’Harmattan. Feischmidt Margit – Glózer Rita – Ilyés Zoltán – Kasznár Veronika Katalin – Zakariás Ildikó: (2014): Nemzet a mindennapokban. Az újnacionalizmus populáris kultúrája. Budapest, L’Harmattan – MTA Társadalomtudományi Központ. Földes Győrgy (1989): Hatalom és mozgalom, 1956-1989. Budapest: Reform Könyvkiadó – Kossuth Könyvkiadó. Kemény István (1990): Velünk nevelkedett a gép. Magyar munkások a hetvenes évek elején. Budapest, Művelődéskutató Intéze. Pittaway, Mark (2012) The Workers State: Industrial Labor and the Making of Socialist Hungary, 1944-1958. Pittsburgh: The University of Pitttsburgh Press

Improving Saturation-based Bounded Model Checking

Formal verification is becoming a fundamental step in assuring the correctness of safety-critical systems. Since these systems are often asynchronous and even distributed, their verification requires methods that can deal with huge or even infinite state spaces. Model checking is one of the current techniques to analyse the behaviour of systems, as part of the verification process. In this paper a symbolic bounded model checking algorithm is presented that relies on efficient saturation-based methods. The previous approaches are extended with new bounded state space exploration strategies. In addition, constrained saturation is also introduced to improve the efficiency of bounded model checking. Our measurements confirm that these approaches do not only offer a solution to deal with infinite state spaces, but in many cases they even outperform the original methods

Bounded saturation-based CTL model checking

Formal verification is becoming a fundamental step of safety-critical and model-based software development. As part of the verification process, model checking is one of the current advanced techniques to analyze the behavior of a system. Symbolic model checking is an efficient approach to handling even complex models with huge state spaces. Saturation is a symbolic algorithm with a special iteration strategy, which is efficient for asynchronous models. Recent advances have resulted in many new kinds of saturation-based algorithms for state space generation and bounded state space generation and also for structural model checking. In this paper, we examine how the combination of two advanced model checking algorithms – bounded saturation and saturation-based structural model checking – can be used to verify systems. Our work is the first attempt to combine these approaches, and this way we are able to handle and examine complex or even infinite state systems. Our measurements show that we can exploit the efficiency of saturation in bounded model checking

Strukturális komplexitás és términtázati szervezettség dinamikai következményei: Brachypodium pinnatum erdőssztyepprét kompozíciós koordináltsága, degradációja és regenerációja = Dynamic consequences of structural complexity and spatial organization: coordination, degradation and regeneration of Brachypodium pinnatum grassland

A téridő szerkezetek funkcionális következményeit információstatisztikai modellekkel teszteltük 34 db változatos diverzitású és dinamikai státuszú Brachypodium pinnatum erdőssztyepprét eltérő táji, tájhasználati és vegetációs szomszédossági körülmények között előforduló állományaiban. A términtázati jellemzők és a cönológiai állapotteres módszer jelezték a természetes és az enyhén leromlott állományok közötti különbségeket, amelyeket a fajszám és a Shannon diverzitás változása még nem mutatott. A természetes állományok térben és időben koordináltnak bizonyultak. A degradált, kisebb strukturális komplexitású és nagyobb térbeli heterogenitású állományokban viszont jelentősek voltak az éves szerkezeti változások. Az állományok eltérő szerkezetéhez eltérő időbeli viselkedések, pl. a degradált gyepek kisebb időbeli koordináltsága, az extrém időjárási jelenségekkel ill. a fluktuációval szembeni kisebb rezisztencia képessége társult. Az eltérő természetességi állapotú gyepek cönológiai állapotteres pozíciója és időbeli mintázata közötti eltérések szignifikánsak voltak, ezért a megfelelő referencia állapotok feltárása után a cönológiai állapotteres módszer hatékony eszköz a gyeptársulások dinamikai állapotának és állapottranszformációjának monitorozásában. Kimutattuk, hogy a vegetáció mikrostruktúrájának jellemzése hasznos a vegetáció-talaj kutatásokban is, mert nem érzékeny a biogeográfiai különbségekre, de igen érzékeny a vegetáció dinamikai állapotában meglévő kicsi különbségekre. | Vegetation dynamics is a spatiotemporal phenomenon; still relatively few studies consider dynamic processes as a function of within-stand spatial complexity. We focused on the effects of fine-scale patterns on vegetation dynamics and analysed temporal behaviour of 18 natural vs. 16 slightly degraded stands of Brachypodium grassland as a function of their spatial organization. We found that the information theory measures and the coenostate-space methodology sensitively differentiated between natural and slightly degraded stands, which differences remained unexplored by species richness and Shannon diversity. The fine-scale structure and spatial organization of natural vs. degraded stands were clearly different, which significantly affected plant community dynamics: higher interannual variability of the multispecies coexistence patterns and interactions among species combinations were detected in the degraded stands indicating their higher vulnerability compared to natural ones. As temporal change was successfully captured by the coenostate-space approach after defining the natural spatiotemporal variation range of natural stands as a reference, the method was recommended for monitoring the effectiveness of conservation treatments. Fine-scale structural characterisation of vegetation was also useful in studies of vegetation-soil relationships, because it was not sensitive to biogeographic differences, but was more sensitive to minor differences in vegetation dynamic status

Geokémiai transzport modellezés érzékeny vízgyűjtők szennyezésődés kockázatvizsgálatára = Geochemical transport modeling for contamination risk assessment in sensitive catchments

A ´Geokémiai transzport modellezés vízgyűjtők szennyezésődés kockázatvizsgálatára´ Norvég Alap – OTKA Project (NNF 78876) elérte tervezett céljait. Egy fenntartható nemzetközi jelentőségű kutatócsoport jött létre és nemzetközi szintű tudományos kutatást folytatunk a vízgyűjtő-alapú geokémiai modellezés környezeti kockázat elemzés céljából kutatási területen. Kettő külföldi és hat hazai diák kapott fokozatot BSc (1), MSc (4) and PhD (2) és dolgozik jelenleg is a csoportban (PhD: 6, MSc: 1). A projekt széles hazai (Szegedi és Miskolc Egyetemek) és nemzetközi (USGS, Baia Mare North University) kutatási együttműködést hozott létre. Hét EU és hazai projekt pályázat született a Norvég Alap – OTKA témából. A különféle díjak mellett, több mint 5 ISC publikáció és több mint 20 konferencia prezentáció dokumentálja a projekt sikerét. A 3 tanulmányterületen, Recsk-Parád ércbányászat, Ajka vörösiszap kiömlés. Baiut ércbányászat (Románia) minden terepi munkát és labor elvégeztünk, ideértve az újszerű kioldási teszteket is. Egy kockázatelemző szoftvert fejlesztettünk ki, valamint elkezdődött a geokémiai transzport modellezés. | The Norwegian Fund – OTKA Project (NNF 78876) ‘Geochemical Transport Modelling for Contamination Risk Assessment in Sensitive Catchments’ has accomplished its planned objectives. A sustainable research group of international significance has been developed and scientific research at the international level has been completed in the field of catchment-based geochemical modelling for environmental risk assessment. Two international and six Hungarian students received BSc (1), MSc (5) and PhD (2) degrees and still work for the group (PhD: 6, MSc: 1). The project has established wide national (Szeged University, Miskolc University, ELTE) and international (USGS, Baia Mare North University) research relations. Seven EU and national project proposals have been submitted based on the Norwegian Fund – OTKA Project. Besides various awards, more than 5 ISC papers and more than 20 conference presentations document the success of the project. For the 3 test sites, Recsk-Parád ore mining, Ajka red mud spill, Baiut ore mining (Romania) all field work has been completed and laboratory tests including the novel leaching tests have been accomplished. Risk assessment modelling tool has been developed and geochemical transport modelling has been initiated