Selected topics in information technology : series 1

This volume is devoted to the recent developments on Information and Communication Technology (ICT) systems and applications spread across various domain. It seeks to illustrate the potential of Information Technology for a wide range of applications via a systematic collection of recent methods, procedures, and applications designed to solve real-life problems. This book contains ten chapters that emphasize recent information technologies development. Each chapter has been carefully selected to represent a distinctive domain, each with its own unique theoretical, methodological, and empirical developments of solutions on different platforms. The content of this book is organized as follows: Chapter 1 models an assistive ICT solution for people with health concerns by monitoring the patients’ general well-being and medicine intake. In Chapter 2, a standard brick-and-mortar directory kiosk is transformed to allow a virtual walkthrough through an experiential approach. Chapter 3 details out a proof of concept for a monitoring system dedicated for air quality for upto-the-minute information that helps user optimize their decisions. Chapter 4 looks into tailoring human resource management system for home furnishing business. Apart from monitoring and management system, Chapter 5 presents a yet another management system but for facilitators in managing campus orientation programs. Chapter 6 and Chapter 7 are social systems for planning a wedding and marriage matchmaking. The online systems cater from pre-to post wedding, hence suggesting a complete chain of new business model. In Chapter 8, an online practical exam system focuses on one specific course for an undergraduate program at UTHM. Finally, Chapter 9 and Chapter 10 present interesting information systems for expecting mothers and a decision support system for promoting Korean skincare products online. The opportunities now afforded by ICT as deliberated in this book ensures that there is great potential to serve a wide range of audiences. The editors would like to thank chapters’ contributors for their valuable contributions to make this book a success. The edited research book would not have been possible without them

Semantic Communications in Networked Systems

We present our vision for a departure from the established way of architecting and assessing communication networks, by incorporating the semantics of information for communications and control in networked systems. We define semantics of information, not as the meaning of the messages, but as their significance, possibly within a real time constraint, relative to the purpose of the data exchange. We argue that research efforts must focus on laying the theoretical foundations of a redesign of the entire process of information generation, transmission and usage in unison by developing: advanced semantic metrics for communications and control systems; an optimal sampling theory combining signal sparsity and semantics, for real-time prediction, reconstruction and control under communication constraints and delays; semantic compressed sensing techniques for decision making and inference directly in the compressed domain; semantic-aware data generation, channel coding, feedback, multiple and random access schemes that reduce the volume of data and the energy consumption, increasing the number of supportable devices.Comment: 9 pages, 6 figures, 1500 word

Too Much is Not Enough

Almost one hundred presentations from the thirty-third annual Charleston Library Conference (held November 6–9, 2013) are included in this annual proceedings volume. Major themes of the meeting included open access publishing, demand-driven acquisition, the future of university presses, and data-driven decision making. While the Charleston meeting remains a core one for acquisitions librarians in dialog with publishers and vendors, the breadth of coverage of this volume reflects the fact that this conference is now one of the major venues for leaders in the publishing and library communities to shape strategy and prepare for the future. At least 1,500 delegates attended the 2013 meeting, ranging from the staff of small public library systems to the CEOs of major corporations. This fully indexed, copyedited volume provides a rich source for the latest evidence-based research and lessons from practice in a range of information science fields. The contributors are leaders in the library, publishing, and vendor communities

NASA Space Mechanisms Handbook and Reference Guide Expanded Into CD-ROM Set

Several NASA missions suffered failures and anomalies due to problems in applying space mechanisms technology to specific projects. Research shows that engineers often lack either adequate knowledge of mechanism design or sufficient understanding of how mechanisms affect sensitive systems. The Space Mechanisms Project conducted a Lessons Learned study and published a Space Mechanisms Handbook to help space industry engineers avoid recurring design, qualification, and application problems. The Space Mechanisms Handbook written at the NASA Glenn Research Center details the state-of-the-art in space mechanisms design as of 1998. NASA's objective in developing this Space Mechanisms Handbook was to provide readily accessible information on such areas as space mechanisms design, mechanical component availability and use, testing and qualification of mechanical systems, and a listing of worldwide space mechanisms experts and testing facilities in the United States. This handbook has been expanded into a two-volume CD-ROM set in an Adobe Acrobat format. In addition to the handbook, the CD's include (1) the two volume Space Mechanisms Lessons Learned Study, (2) proceedings from all the NASA hosted Aerospace Mechanisms Symposia held through the year 2000, (3) the Space Materials Handbook, (4) the Lubrication Handbook for the Space Industry, (5) the Structural & Mechanical Systems Long-Life Assurance Design Guidelines, (6) the Space Environments and Effects Source-Book, (7) the Spacecraft Deployable Appendages manual, (8) the Fastener Design Manual, (9) A Manual for Pyrotechnic Design, Development and Qualification, (10) the Report on Alternative Devices to Pyrotechnics on Spacecraft, and (11) Gearing (a manual). In addition, numerous other papers on tribology and lubrication are included.This technical summary of the project provides information on how to obtain the handbook and related information

Lecture Notes in Electrical Engineering vol. 365

This book includes the original, peer-reviewed research papers from the 2nd International Conference on Electrical Systems, Technology and Information (ICESTI 2015), held during 9–12 September 2015, at Patra Jasa Resort & Villas Bali, Indonesia. The primary objective of this book is to provide references for dissemination and discussion of the topics that have been presented in the conference. This volume is unique in that it includes work related to Electrical Engineering, Technology and Information towards their sustainable development. Engineers, researchers as well as lecturers from universities and professionals in industry and government will gain valuable insights into interdisciplinary solutions in the field of Electrical Systems, Technology and Information, and its applications. The topics of ICESTI 2015 provide a forum for accessing the most up-to-date and authoritative knowledge and the best practices in the field of Electrical Engineering, Technology and Information towards their sustainable development. The editors selected high quality papers from the conference that passed through a minimum of three reviewers, with an acceptance rate of 50.6 %. In the conference there were three invited papers from keynote speakers, whose papers are also included in this book, entitled: “Computational Intelligence based Regulation of the DC bus in the On-Grid Photovoltaic System”, “Virtual Prototyping of a Compliant Spindle for Robotic Deburring” and “A Concept of Multi Rough Sets Defined on Multi-Contextual Information Systems”. The conference also classified the technology innovation topics into five parts: “Technology Innovation in Robotics, Image Recognition and Computational Intelligence Applications”, “Technology Innovation in Electrical Engineering, Electric Vehicle and Energy Management”, “Technology Innovation in Electronic, Manufacturing, Instrumentation and Material Engineering”, “Technology Innovation in Internet of Things and Its Applications” and “Technology Innovation in Information, Modeling and Mobile Applications”

Partial Correctness of a Power Algorithm

This work continues a formal verification of algorithms written in terms of simple-named complex-valued nominative data [6],[8],[15],[11],[12],[13]. In this paper we present a formalization in the Mizar system [3],[1] of the partial correctness of the algorithm: i := val.1 j := val.2 b := val.3 n := val.4 s := val.5 while (i n) i := i + j s := s * b return s computing the natural n power of given complex number b, where variables i, b, n, s are located as values of a V-valued Function, loc, as: loc/.1 = i, loc/.3 = b, loc/.4 = n and loc/.5 = s, and the constant 1 is located in the location loc/.2 = j (set V represents simple names of considered nominative data [17]).The validity of the algorithm is presented in terms of semantic Floyd-Hoare triples over such data [9]. Proofs of the correctness are based on an inference system for an extended Floyd-Hoare logic [2],[4] with partial pre- and post-conditions [14],[16],[7],[5].Institute of Informatics, University of Białystok, PolandGrzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, and Karol Pąk. The role of the Mizar Mathematical Library for interactive proof development in Mizar. Journal of Automated Reasoning, 61(1):9–32, 2018. doi:10.1007/s10817-017-9440-6.R.W. Floyd. Assigning meanings to programs. Mathematical aspects of computer science, 19(19–32), 1967.Adam Grabowski, Artur Korniłowicz, and Adam Naumowicz. Four decades of Mizar. Journal of Automated Reasoning, 55(3):191–198, 2015. doi:10.1007/s10817-015-9345-1.C.A.R. Hoare. An axiomatic basis for computer programming. Commun. ACM, 12(10): 576–580, 1969.Ievgen Ivanov and Mykola Nikitchenko. On the sequence rule for the Floyd-Hoare logic with partial pre- and post-conditions. In Proceedings of the 14th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops, Kyiv, Ukraine, May 14–17, 2018, volume 2104 of CEUR Workshop Proceedings, pages 716–724, 2018.Ievgen Ivanov, Mykola Nikitchenko, Andrii Kryvolap, and Artur Korniłowicz. Simple-named complex-valued nominative data – definition and basic operations. Formalized Mathematics, 25(3):205–216, 2017. doi:10.1515/forma-2017-0020.Ievgen Ivanov, Artur Korniłowicz, and Mykola Nikitchenko. Implementation of the composition-nominative approach to program formalization in Mizar. The Computer Science Journal of Moldova, 26(1):59–76, 2018.Ievgen Ivanov, Artur Korniłowicz, and Mykola Nikitchenko. On an algorithmic algebra over simple-named complex-valued nominative data. Formalized Mathematics, 26(2):149–158, 2018. doi:10.2478/forma-2018-0012.Ievgen Ivanov, Artur Korniłowicz, and Mykola Nikitchenko. An inference system of an extension of Floyd-Hoare logic for partial predicates. Formalized Mathematics, 26(2): 159–164, 2018. doi:10.2478/forma-2018-0013.Ievgen Ivanov, Artur Korniłowicz, and Mykola Nikitchenko. Partial correctness of GCD algorithm. Formalized Mathematics, 26(2):165–173, 2018. doi:10.2478/forma-2018-0014.Ievgen Ivanov, Artur Korniłowicz, and Mykola Nikitchenko. On algebras of algorithms and specifications over uninterpreted data. Formalized Mathematics, 26(2):141–147, 2018. doi:10.2478/forma-2018-0011.Artur Kornilowicz, Andrii Kryvolap, Mykola Nikitchenko, and Ievgen Ivanov. Formalization of the algebra of nominative data in Mizar. In Maria Ganzha, Leszek A. Maciaszek, and Marcin Paprzycki, editors, Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, FedCSIS 2017, Prague, Czech Republic, September 3–6, 2017., pages 237–244, 2017. ISBN 978-83-946253-7-5. doi:10.15439/2017F301.Artur Kornilowicz, Andrii Kryvolap, Mykola Nikitchenko, and Ievgen Ivanov. Formalization of the nominative algorithmic algebra in Mizar. In Leszek Borzemski, Jerzy Świątek, and Zofia Wilimowska, editors, Information Systems Architecture and Technology: Proceedings of 38th International Conference on Information Systems Architecture and Technology – ISAT 2017 – Part II, Szklarska Poręba, Poland, September 17–19, 2017, volume 656 of Advances in Intelligent Systems and Computing, pages 176–186. Springer, 2017. ISBN 978-3-319-67228-1. doi:10.1007/978-3-319-67229-8_16.Artur Korniłowicz, Andrii Kryvolap, Mykola Nikitchenko, and Ievgen Ivanov. An approach to formalization of an extension of Floyd-Hoare logic. In Vadim Ermolayev, Nick Bassiliades, Hans-Georg Fill, Vitaliy Yakovyna, Heinrich C. Mayr, Vyacheslav Kharchenko, Vladimir Peschanenko, Mariya Shyshkina, Mykola Nikitchenko, and Aleksander Spivakovsky, editors, Proceedings of the 13th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer, Kyiv, Ukraine, May 15–18, 2017, volume 1844 of CEUR Workshop Proceedings, pages 504–523. CEUR-WS.org, 2017.Artur Korniłowicz, Ievgen Ivanov, and Mykola Nikitchenko. Kleene algebra of partial predicates. Formalized Mathematics, 26(1):11–20, 2018. doi:10.2478/forma-2018-0002.Andrii Kryvolap, Mykola Nikitchenko, and Wolfgang Schreiner. Extending Floyd-Hoare logic for partial pre- and postconditions. In Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, and Grygoriy Zholtkevych, editors, Information and Communication Technologies in Education, Research, and Industrial Applications: 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19–22, 2013, Revised Selected Papers, pages 355–378. Springer International Publishing, 2013. ISBN 978-3-319-03998-5. doi:10.1007/978-3-319-03998-5_18.Volodymyr G. Skobelev, Mykola Nikitchenko, and Ievgen Ivanov. On algebraic properties of nominative data and functions. In Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, and Grygoriy Zholtkevych, editors, Information and Communication Technologies in Education, Research, and Industrial Applications – 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9–12, 2014, Revised Selected Papers, volume 469 of Communications in Computer and Information Science, pages 117–138. Springer, 2014. ISBN 978-3-319-13205-1. doi:10.1007/978-3-319-13206-8_6.27218919

MEASURING THE INFORMATION FLOW BETWEEN THE WEB AND STOCK MARKET VOLUMES: A MULTIVARIATE TRANSFER ENTROPY ANALYSIS

The recent discovery of strong analogies between speculative markets and some well known physical phenomena and concepts, such as spin systems, universality, criticality and complexity has led to a growing interest of physicists in the dynamics of financial markets. Together with the development of these analogies between the statistical mechanics branch of physics and economics, the new field of study called econophysics is born. This field of research profits from the immense amount of data that nowadays are provided by different sources: from social networks to search engines. Following the procedure of recent studies, in this thesis we investigate the interplay between finance-related news and tweets and financial markets. In particular, we consider, in a period of 9 years, the Twitter-and-news volume of the 30 stock companies that form the Dow Jones Industrial Average (DJIA) index and, as a first attempt, we explore time-lagged cross-correlations and Granger-causality tests. However, the non-stationary and non-gaussian nature of financial data requires a different tool that can overcome the limits of linear statistics. We found this tool in information theory; allowing us to propose a novel approach based on a multivariate transfer entropy analysis.The recent discovery of strong analogies between speculative markets and some well known physical phenomena and concepts, such as spin systems, universality, criticality and complexity has led to a growing interest of physicists in the dynamics of financial markets. Together with the development of these analogies between the statistical mechanics branch of physics and economics, the new field of study called econophysics is born. This field of research profits from the immense amount of data that nowadays are provided by different sources: from social networks to search engines. Following the procedure of recent studies, in this thesis we investigate the interplay between finance-related news and tweets and financial markets. In particular, we consider, in a period of 9 years, the Twitter-and-news volume of the 30 stock companies that form the Dow Jones Industrial Average (DJIA) index and, as a first attempt, we explore time-lagged cross-correlations and Granger-causality tests. However, the non-stationary and non-gaussian nature of financial data requires a different tool that can overcome the limits of linear statistics. We found this tool in information theory; allowing us to propose a novel approach based on a multivariate transfer entropy analysis

Effects of sewer conditions on the degradation of selected illicit drug residues in wastewater

The stability of five illicit drug markers in wastewater was tested under different sewer conditions using laboratory-scale sewer reactors. Wastewater was spiked with deuterium labelled isotopes of cocaine, benzoyl ecgonine, methamphetamine, MDMA and 6-acetyl morphine to avoid interference from the native isotopes already present in the wastewater matrix. The sewer reactors were operated at 20°C and pH 7.5, and wastewater was sampled at 0, 0.25, 0.5, 1, 2, 3, 6, 9 and 12h to measure the transformation/degradation of these marker compounds. The results showed that while methamphetamine, MDMA and benzoyl ecgonine were stable in the sewer reactors, cocaine and 6-acetyl morphine degraded quickly. Their degradation rates are significantly higher than the values reportedly measured in wastewater alone (without biofilms). All the degradation processes followed first order kinetics. Benzoyl ecgonine and morphine were also formed from the degradation of cocaine and 6-acetyl morphine, respectively, with stable formation rates throughout the test. These findings suggest that, in sewage epidemiology, it is essential to have relevant information of the sewer system (i.e. type of sewer, hydraulic retention time) in order to accurately back-estimate the consumption of illicit drugs. More research is required to look into detailed sewer conditions (e.g. temperature, pH and ratio of biofilm area to wastewater volume among others) to identify their effects on the fate of illicit drug markers in sewer systems

Nuclear power plant Generic Aging Lessons Learned (GALL). Appendix B

The purpose of this generic aging lessons learned (GALL) review is to provide a systematic review of plant aging information in order to assess materials and component aging issues related to continued operation and license renewal of operating reactors. Literature on mechanical, structural, and thermal-hydraulic components and systems reviewed consisted of 97 Nuclear Plant Aging Research (NPAR) reports, 23 NRC Generic Letters, 154 Information Notices, 29 Licensee Event Reports (LERs), 4 Bulletins, and 9 Nuclear Management and Resources Council Industry Reports (NUMARC IRs) and literature on electrical components and systems reviewed consisted of 66 NPAR reports, 8 NRC Generic Letters, 111 Information Notices, 53 LERs, 1 Bulletin, and 1 NUMARC IR. More than 550 documents were reviewed. The results of these reviews were systematized using a standardized GALL tabular format and standardized definitions of aging-related degradation mechanisms and effects. The tables are included in volume s 1 and 2 of this report. A computerized data base has also been developed for all review tables and can be used to expedite the search for desired information on structures, components, and relevant aging effects. A survey of the GALL tables reveals that all ongoing significant component aging issues are currently being addressed by the regulatory process. However, the aging of what are termed passive components has been highlighted for continued scrutiny. This report consists of Volume 2, which consists of the GALL literature review tables for the NUMARC Industry Reports reviewed for the report