Resilience-Building Technologies: State of Knowledge -- ReSIST NoE Deliverable D12

This document is the first product of work package WP2, "Resilience-building and -scaling technologies", in the programme of jointly executed research (JER) of the ReSIST Network of Excellenc

SWN nets as a framework for the specification and the analysis of FT techniques adopted in electric plant automation

The use of formal methods for specification and analysis of dependable systems is considered a promising opportunity to support the evaluation of critical issues since the early design phases. Stochastic Petri nets can play an important role not only for the specification of functional issues of a system, but also for the predictive evaluation of performance and dependability properties. In this paper we investigate the possibility of using Stochastic Well-formed Nets (SWN) as a framework for specifying, validating and evaluating fault tolerance mechanisms used in plant automation. A temporal redundancy technique currently adopted in several electric plants to deal with transient faults is taken as a case-study. The peculiar feature of SWNs is the capability of directly generating an aggregated state space thus allowing for efficient model analysis

Architectural discourse and the transformation of the discipline of architecture in America, 1918-1943

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Architecture, 1993.Includes bibliographical references (v. 2, leaves 241-262).This dissertation is an historical inquiry into the concomitant transformations of architectural discourse and the discipline of architecture in America. It proceeds on the theoretical assumption that the documents produced and used in architecture not only reflect but constitute architecture as an institutional practice. The study begins with an outline of the academic discipline established, during the late nineteenth century, along the ideals of artistic autonomy and methods of the Ecole des Beaux Arts. It was an internalized discipline, centered on the self-referential discursive practice of the portfolio, and the integrated conceptual framework of composition, planning and the parti. During the latter half of the 1910s, with the changing conditions of architectural production, the traditional status of architecture began to be cast into doubt. In the aftermath of this crisis, what had once been an efficacious disciplinary formation was fragmented into the formal concerns of composition and the concept of functional planning as a rational intervention into social institutions. By the late twenties, ideological formations that made a fundamental break with the traditional claim to autonomy had emerged. The study examines two divergent strains of rationalist ideology: first, the new editorial policies of the architectural journals which projected in different ways, a rational discipline that would be integrated with the demands of mass production and consumer society; secondly, the Veblenian strategy of Frederick Ackerman, who attempted to isolate a domain of architectural discourse uncontaminated by the exigencies of capitalism. Two important transformations of architectural discourse that ensued during the thirties will be examined: the first was the shift in the status of the discourse of reference, constituted by the emergence of new types of reference manuals; secondly, the transformation of the architectural journal which saw the demise of the traditional status of the portfolio and its reorganization along studies of planning. At the center of these transformations was what I have called the discourse of the diagram. Through this new discursive formation, planning emerged as an integral discipline of architecture; it allowed the architect to intervene into the institutional program, while maintaining an independent method that was rational, free of formal preconceptions, and yet would produce singular results for each project. What had been a closed and tightly organized discipline was now opened and dispersed. Along with its promise of social amelioration, it carried the constant burden of formal invention.by Hyungmin Pai.Ph.D

Critical Connections: Communication for the Future

The U.S. communication infrastructure is changing rapidly as a result of technological advances, deregulation, and an economic climate that is increasingly competitive. This change is affecting the way in which information is created, processed, transmitted, and provided to individuals and institutions. The report analyzes the implications of new communication technologies for business, politics, culture, and individuals, and suggests possible strategies and options for congressional consideration

Collected Papers (on Neutrosophics, Plithogenics, Hypersoft Set, Hypergraphs, and other topics), Volume X

This tenth volume of Collected Papers includes 86 papers in English and Spanish languages comprising 972 pages, written between 2014-2022 by the author alone or in collaboration with the following 105 co-authors (alphabetically ordered) from 26 countries: Abu Sufian, Ali Hassan, Ali Safaa Sadiq, Anirudha Ghosh, Assia Bakali, Atiqe Ur Rahman, Laura Bogdan, Willem K.M. Brauers, Erick González Caballero, Fausto Cavallaro, Gavrilă Calefariu, T. Chalapathi, Victor Christianto, Mihaela Colhon, Sergiu Boris Cononovici, Mamoni Dhar, Irfan Deli, Rebeca Escobar-Jara, Alexandru Gal, N. Gandotra, Sudipta Gayen, Vassilis C. Gerogiannis, Noel Batista Hernández, Hongnian Yu, Hongbo Wang, Mihaiela Iliescu, F. Nirmala Irudayam, Sripati Jha, Darjan Karabašević, T. Katican, Bakhtawar Ali Khan, Hina Khan, Volodymyr Krasnoholovets, R. Kiran Kumar, Manoranjan Kumar Singh, Ranjan Kumar, M. Lathamaheswari, Yasar Mahmood, Nivetha Martin, Adrian Mărgean, Octavian Melinte, Mingcong Deng, Marcel Migdalovici, Monika Moga, Sana Moin, Mohamed Abdel-Basset, Mohamed Elhoseny, Rehab Mohamed, Mohamed Talea, Kalyan Mondal, Muhammad Aslam, Muhammad Aslam Malik, Muhammad Ihsan, Muhammad Naveed Jafar, Muhammad Rayees Ahmad, Muhammad Saeed, Muhammad Saqlain, Muhammad Shabir, Mujahid Abbas, Mumtaz Ali, Radu I. Munteanu, Ghulam Murtaza, Munazza Naz, Tahsin Oner, ‪Gabrijela Popović‬‬‬‬‬, Surapati Pramanik, R. Priya, S.P. Priyadharshini, Midha Qayyum, Quang-Thinh Bui, Shazia Rana, Akbara Rezaei, Jesús Estupiñán Ricardo, Rıdvan Sahin, Saeeda Mirvakili, Said Broumi, A. A. Salama, Flavius Aurelian Sârbu, Ganeshsree Selvachandran, Javid Shabbir, Shio Gai Quek, Son Hoang Le, Florentin Smarandache, Dragiša Stanujkić, S. Sudha, Taha Yasin Ozturk, Zaigham Tahir, The Houw Iong, Ayse Topal, Alptekin Ulutaș, Maikel Yelandi Leyva Vázquez, Rizha Vitania, Luige Vlădăreanu, Victor Vlădăreanu, Ștefan Vlăduțescu, J. Vimala, Dan Valeriu Voinea, Adem Yolcu, Yongfei Feng, Abd El-Nasser H. Zaied, Edmundas Kazimieras Zavadskas.‬

The Iowa Official Register, 1967-1968

The Iowa Official Register, commonly known as the "Redbook," serves as a biographical and historical record of Iowa's leaders, government and people