SIPRI Stockholm International Peace Research Institute, "Strategic Disarmament, Verification and National Security "
English | ISBN: 0367511614 | 2020 | 190 pages | EPUB | 2 MB
Originally published in 1977, the purpose of this book was to analyse the relationship between the security of two states mutually undergoing strategic disarmament at the time and the need for safeguarding their security by means of a verification system. The book thus studies some of the basic problems in the disarmament debate, issues that had been the subject of great political controversy.

Strange Code: Esoteric Languages That Make Programming Fun Again
English | 2022 | ISBN: 1718502400 | 496 Pages | EPUB | 6 MB
Strange Code starts with a dive into the underlying history of programming, covering the early computer-science concepts, like Turing machines and Turing completeness, that led to the languages we use today. It then explores the realm of "atypical" programming languages, introducing you to the out-of-the-box thinking that comes from these unusual approaches to coding.

Status and Future Challenges for Non-conventional Energy Sources Volume 1 by Sanket J. Joshi
English | EPUB | 2022 | 336 Pages | ISBN : 9811645043 | 72 MB
This book highlights recent advancements in such an important topic, through contribution from experts demonstrating different applications in 'day-to-day' life, both existing and newly emerging non-biological technologies, and thought provoking approaches from different parts of the world, potential future prospects associated with some frontier development in non-conventional energy sources. It covers different types of natural energy sources such as: Ocean, Tidal and Wave energy; Nuclear energy; Solar cells; Geothermal energy; Hydrogen Fuel; Photovoltaic modules; Gas hydrates; Hydrate-based Desalination Technology; and Hydrothermal Liquefaction of Kraft Lignin/ Lignocellulosic Biomass to Fuels and Chemicals. This book is a comprehensive and informative compilation for international readers, especially undergraduate and post graduate students and researchers.

Standards of Futures Research: Guidelines for Practice and Evaluation
English | 2022 | ISBN: 365835805X | 238 Pages | PDF EPUB (True) | 1.32 MB
Foresight, futures studies, but also technology assessment and trend research are characterized by a research perspective directed towards the future. These results in fundamental peculiarities have to be taken into account in the conception of studies and in practical research work. The contributions to this anthology offer guidance for scientists and practitioners and describe the criteria and standards by which the quality of results and processes in futures studies can be assessed.

Marco Montali, "Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach"
English | 2010 | pages: 433 | ISBN: 364214537X | PDF | 6,6 mb
Many novel application scenarios and architectures in business process management or service composition are characterized by a distribution of activities and resources, and by complex interaction and coordination dynamics. In this book, Montali answers fundamental questions on open and declarative modeling abstractions via the integration and extension of quite diverse approaches into a computational logic-based comprehensive framework. This framework allows non IT experts to graphically specify interaction models that are then automatically transformed into a corresponding formal representation and a set of fully automated sound and complete verification facilities. The book constitutes a revised and extended version of the author's PhD thesis, which was honored with the 2009 "Marco Cadoli" prize, awarded by the Italian Association for Logic Programming for the most outstanding thesis focusing on computational logic, discussed between the years 2007 and 2009.

Julie A. Carlson, "Speaking about Torture"
English | ISBN: 0823242242 | 2012 | 384 pages | EPUB | 2 MB
This collection of essays is the first book to take up the urgent issue of torture from the array of approaches offered by the arts and humanities. In the post-9/11 era, where we are once again compelled to entertain debates about the legality of torture, this volume speaks about the practice in an effort to challenge the surprisingly widespread acceptance of state-sanctioned torture among Americans, including academics and the media-entertainment complex. Speaking about Torture also claims that the concepts and techniques practiced in the humanities have a special contribution to make to this debate, going beyond what is usually deemed a matter of policy for experts in government and the social sciences. It contends that the way one speaks about torture―including that one speaks about it―is key to comprehending, legislating, and eradicating torture. That is, we cannot discuss torture without taking into account the assaults on truth, memory, subjectivity, and language that the humanities theorize and that the experience of torture perpetuates. Such accounts are crucial to framing the silencing and demonizing that accompany the practice and representation of torture.

Marlies Hesselman, "Socio-Economic Human Rights in Essential Public Services Provision "
English | ISBN: 1138669652 | 2016 | 346 pages | PDF | 2 MB
There is a clear overlap between securing socio-economic human rights for all persons and arranging adequate access to essential public services across society. Both are necessary to realise thriving, inclusive societies, with adequate living standards for all, based on human dignity. This edited volume brings together the two topics for the first time. In particular, it identifies the common challenges for essential public services provision and socio-economic human rights realisation, and it explores how socio-economic rights law can be harnessed to reinforce better access to services. An important aim of this book is to understand how international socio-economic human rights law and guideposts can be used and strengthened to improve access to services, and assess socio-economic legal and policy decisions.

Yu-Dong Zhang, "Smart Trends in Computing and Communications: Proceedings of SmartCom 2022 "
English | ISBN: 9811699666 | 2023 | 827 pages | PDF | 26 MB
This book gathers high-quality papers presented at the Sixth International Conference on Smart Trends in Computing and Communications (SmartCom 2022), organized by Global Knowledge Research Foundation (GR Foundation) in partnership with IFIP InterYIT during January 11-12, 2022. It covers the state of the art and emerging topics in information, computer communications, and effective strategies for their use in engineering and managerial applications. It also explores and discusses the latest technological advances in, and future directions for, information and knowledge computing and its applications.

Smart Energy Control Systems for Sustainable Buildings by John Littlewood
English | PDF | 2017 | 281 Pages | ISBN : 3319520741 | 8.4 MB
There is widespread interest in the way that smart energy control systems, such as assessment and monitoring techniques for low carbon, nearly-zero energy and net positive buildings can contribute to a Sustainable future, for current and future generations.

Shape-Selective Catalysis. Chemicals Synthesis and Hydrocarbon Processing By Chunshan Song, Juan M. Garcés, and Yoshihiro Sugi (Eds.)
2000 | 404 Pages | ISBN: 0841236194 | PDF | 50 MB
Content: Introduction to shape-selective catalysis / Chunshan Song, Juan M. Garcés, and Yoshihiro Sugi -- The emergence of shape-selective catalysis : adventure, basic science, and technology / Paul B. Weisz -- Recent advances in shape-selective catalysis and its industrial applications / Nai Y. Chen -- Organic catalysis over zeolites and other molecular sieves : shape-selective effects in catalytic transformations / Paul B. Venuto -- Highly efficient and regioselective cyclization catalyzed by TS-1 / Asim Bhaumik and Takashi Tatsumi -- Oxidation of alkanes catalyzed by different octahedral molecular sieves / Guan-Guang Xia, Jin-Yun Wang, Nian-Gao Duan, Ying Ma, and Steven L. Suib -- The methanol-to-hydrocarbons reaction : a mechanistic perspective / Clarence D. Chang -- Highly selective synthesis of light olefins from methanol using metal-incorporated silicoaluminophosphate catalysts / Tomoyuki Inui -- Role of shape selectivity in n-heptane cracking and aromatization reaction on modified ZSM-5 / T.S.R. Prasada Rao, N. Viswanadham, G. Murali Dhar, and N. Ray -- Shape selectivity for alkane dehydrocyclization with Pt silicalite catalysts / Yuguo Wang, Fred L. Tungate, George Kokotailo, and Burtron H. Davis -- MFI-type metallosilicates as useful tools to clarify what determines the shape selectivity of ZSM-5 zeolites / T. Komatsu, J.-H. Kim, and T. Yashima -- What preferentially determines the para shape selectivity : diffusion of molecules or external surface acidity / Miki Niwa, Takehisa Kunieda, and Jong-Ho Kim -- Dispersion of oxides on HZSM-5 and threshold effect on shape-selective methylation of toluene / Youchang Xie, Biying Zhao, Xiangyun Long, and Youqi Tang -- Direct synthesis of para-diethylbenzene over modified HZSM-5 zeolites / Wang Xiangsheng and Guo Hongchen -- Enhanced para selectivity in alkylation and isomerization reactions over silynated ZSM-5 zeolite / B.S. Rao, R.A. Shaikh, and A.V. Ramaswamy -- Interaction of P with HY zeolite and its influence on catalytic transformation of alkylbenzene / Huiping Tian, Zuguang Teng, Jianqiu Zhang, Weilin Zhang, Yingrui Fu, and Zhongbi Fan -- Recent progress in selective catalytic conversion of polycyclic hydrocarbons over zeolite catalysts / Chunshan Song -- Influences of bulkiness of reagents in the alkylation of biphenyl over H-mordenite / K. Nakajima, T. Hanaoka, Y. Sugi, T. Matsuzaki, Y. Kubota, A. Igarashi, and K. Kunimori -- Encapsulated products inside pores of H-mordenite in the isopropylation of biphenyl / K. Nakajima, T. Hanaoka, Y. Sugi, T. Matsuzaki, Y. Kubota, A. Igarashi, and K. Kunimori -- Modification of mordenite catalyst for selective synthesis of 2,6-diisopropylnaphthalene by alkylation / T. Matsuda, N. Takahashi, and E. Kikuchi -- Isopropylation of naphthalene over solid acid catalysts / Makoto Toba, Atsuhiko Katayama, Genki Takeuchi, Shu-ichi Niwa, Fujio Mizukami, and Shuichi Mitamura -- Computational analysis for shape-selective alkylation of naphthalene over zeolite catalysts / Chunshan Song, Xiaoliang Ma, and Harold H. Schobert -- The investigation on the crystallinity of USY zeolite during hydrothermal dealumination / Yuling Chen -- Evidence for a new type of shape selectivity of monodimensional molecular sieves : tunnel-shape selectivity / M. Guisnet, S. Morin, and N.S. Gnep -- Shape-selective solid acid catalysts based on tungstophosphoric acid supported on mesoporous silica / Yong Wang, Anthony Y. Kim, X. Shari Li, Li-Qiong Wang, Charles H.F. Peden, and Bruce C. Bunker -- Shape-selective catalytic behavior of Pt-porous heteropoly compounds in skeletal isomerization of n-butane / Toshio Okuhara, Ryu-ichi Watanabe, and Yusuke Yoshinaga -- A proposed new concept for design of sulfur-resistant noble metal catalysts based on shape-selective exclusion and hydrogen spillover / Chunshan Song.