IBM Redbooks

Dino Quintero

Wei Li

Wainer dos Santos Moschetta

Mauricio Faria de Oliveira

Alexander Pozdneev

This IBM® Redbooks® publication documents and addresses topics to provide step-by-step programming concepts to tune the applications to use IBM POWER8® hardware architecture with the technical computing software stack. This publication explores, tests, and documents how to implement an IBM high-performance computing (HPC) solution on POWER8 by using IBM technical innovations to help solve challenging scientific, technical, and business problems. This book demonstrates and documents that the combination of IBM HPC hardware and software solutions delivers significant value to technical computing clients in need of cost-effective, highly scalable, and robust solutions. This book targets technical professionals (consultants, technical support staff, IT Architects, and IT Specialists) who are responsible for delivering cost-effective HPC solutions that help uncover insights among clients' data so that they can act to optimize business results, product development, and scientific discoveries.

Implementing an IBM High-Performance Computing Solution on IBM POWER8

Zhixiong Gong

Feiyan Cai

Thierry Baasch

Ultrasound micromanipulations and ocean acoustics: From human cells to marine structures

Yu Lan

Burhan Akyılmaz

Mustafa Altıntaş

Dr.Zuhri Saputra Hutabarat

Md. Harun Rashid

Sinan Kürkcü

Şirin Yılmaz

Müge Solmaz

Balqis Azhari S.

Imron Wakhid Harits

Marco I. Bonelli

Farwa Naseem

Assoc. Prof. Birsel AYBEK

Serdar Koç

Azhar Maksum

Iskandar Muda

Luigi Pio Leonardo Cavaliere

Marhayanie

Ibnu Austrindanney Sina Azhar

Melisa Angela Sinaga

Mehmet İnce

Dr. Kadir Sain

Emil Raul oğlu Ağayev

Atacan Garip

Assoc. Prof. Vildan Ateş

Hikmat G. Hasanov

Ismayil Zeynalov

Dr. Hakan Genç

EZE Benneth Uchenna (PhD)

WAHAB Nurudeen Opeyemi

OJO Olanipekun James (PhD)

ERIGBE Patience Ajirioghene, PhD

EKECHI Festus

Dr. Onur Batmaz

Assoc. Prof. Aybegüm Güngördü Belbağ

Assoc. Prof. Fatma Cumhur

Muhammad Touseef

Abdullah Shahzad 

 Ijaz Yusuf

Megat Al Imran Yasin

MA Zukri Valenteno

Mathew James Lidi

Editor Prof. Dr. Beatriz Lucia SALVADOR BIZOTTO- Centro Universitário Unifacvest/BRAZIL ISBN: 9786258284614 PUBLISHER: Global Academy Publishing House Date: 28.02.2023

4. International Congress on Social Sciences, Innovation and Educational Technologies Proceedings (4.ICSSIET 2023)

Xi Shao

Shengchen Li

Zijin Li

This book discusses the use of advanced techniques to produce and understand music in a digital way. It gathers the first-ever English-language proceedings of the Conference on Sound and Music Technology (CSMT), which was held in Xiamen, China in 2018. As a leading event, the CSMT reflects the latest advances in acoustic and music technologies in China. Sound and technology are more closely linked than most people assume. For example, signal-processing methods form the basis of music feature extraction, while mathematics provides an objective means of representing current musicological theories and discovering new ones. Moreover, machine-learning methods include popular deep learning algorithms and are used in a broad range of contexts, from discovering patterns in music features to producing music. As these proceedings demonstrate, modern technologies not only offer new ways to create music, but can also help people perceive sound in innovative new ways.

Revised Selected Papers

Proceedings of the 6th Conference on Sound and Music Technology (CSMT)

Michael N. Huhns

Wei-Tek Tsai

Wenjun Wu

This book presents the latest research on the software crowdsourcing approach to develop large and complex software in a cloud-based platform. It develops the fundamental principles, management organization and processes, and a cloud-based infrastructure to support this new software development approach. The book examines a variety of issues in software crowdsourcing processes, including software quality, costs, diversity of solutions, and the competitive nature of crowdsourcing processes. Furthermore, the book outlines a research roadmap of this emerging field, including all the key technology and management issues for the foreseeable future. Crowdsourcing, as demonstrated by Wikipedia and Facebook for online web applications, has shown promising results for a variety of applications, including healthcare, business, gold mining exploration, education, and software development. Software crowdsourcing is emerging as a promising solution to designing, developing and maintaining software. Preliminary software crowdsourcing practices and platforms, including Apple's App Store and TopCoder, demonstrate the advantages of crowdsourcing in terms of software ecosystem expansion and product quality improvement.

Cloud-Based Software Development

Crowdsourcing

Xumu Zhang

Each review within the volume critically surveys one aspect of that topic and places it within the context of the volume as a whole. The most significant developments of the last 5 to 10 years are presented using selected examples to illustrate the principles discussed. The coverage is not intended to be an exhaustive summary of the field or include large quantities of data, but should rather be conceptual, concentrating on the methodological thinking that will allow the non-specialist reader to understand the information presented. Contributions also offer an outlook on potential future developments in the field.

Stereoselective Formation of Amines

Guojun Wang

Roberto Di Pietro

Bing Chen

Xuefeng Yan

Hao Han

This book constitutes the refereed proceedings of the 13th International Conference on Security, Privacy, and Anonymity in Computation, Communication, and Storage, SpaCCS 2020, held in Nanjing, China, in December 2020. The 30 full papers were carefully reviewed and selected from 88 submissions. The papers cover many dimensions including security algorithms and architectures, privacy-aware policies, regulations and techniques, anonymous computation and communication, encompassing fundamental theoretical approaches, practical experimental projects, and commercial application systems for computation, communication and storage. SpaCCS 2020 is held jointly with the 11th International Workshop on Trust, Security and Privacy for Big Data (TrustData 2020), the 10th International Symposium on Trust, Security and Privacy for Emerging Applications (TSP 2020), the 9th International Symposium on Security and Privacy on Internet of Things (SPIoT 2020), the 6th International Symposium on Sensor-Cloud Systems (SCS 2020), the 2nd International Workshop on Communication, Computing, Informatics and Security (CCIS 2020), the First International Workshop on Intelligence and Security in Next Generation Networks (ISNGN 2020), the First International Symposium on Emerging Information Security and Applications (EISA 2020).

13th International Conference, SpaCCS 2020, Nanjing, China, December 18-20, 2020, Proceedings

Security, Privacy, and Anonymity in Computation, Communication, and Storage

Guohua Chai

Taku Demura

Xiaohan Yang

Quanzi Li

Meng-Zhu Lu

Wood Development and Physiology in a Changing Climate

Yuefei Sui

This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates. In this book, R-calculus is taken as Tableau-based/sequent-based/multisequent-based to preserve the satisfiability of the Theory/sequent/multisequent to revise, or sequent-based, to preserve the satisfiability of the sequent to revise. The R-calculi for Post and three-valued logic is given. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.

R-Calculus, III: Post Three-Valued Logic

Nicola Fusari

Haoyang Liu

Zhaogang Song

Agency mortgage backed securities (MBS) with diverse characteristics are traded in parallel with individualized contracts in the specified pool (SP) market and with standardized contracts in the to-be-announced (TBA) market. We find that this unique parallel trading environment significantly affects MBS returns: (1) Greater heterogeneity in MBS values increases the yields of all MBS, because it exacerbates the cheapest-to-deliver concerns for TBA buyers and reduces the value of the TBA market as a backup selling venue for SP buyers; (2) high selling pressure amplifies the impact of MBS heterogeneity on MBS yields; and (3) greater MBS heterogeneity dampens trading activities on both the SP and TBA markets but increases the ratio between the two. We provide evidence that these effects differ from the impacts of prepayment risks.

Asset Pricing with Cohort-based Trading in MBS Markets

Sriram Chellappan

Wei Cheng

This book constitutes the proceedings of the 13th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2018, held in Tianjin, China, in June 2018. The 59 full papers and 18 short papers presented in this book were carefully reviewed and selected from 197 submissions. The papers cover various topics such as cognitive radio networks; wireless sensor networks; cyber-physical systems; distributed and localized algorithm design and analysis; information and coding theory for wireless networks; localization; mobile cloud computing; topology control and coverage; security and privacy; underwater and underground networks; vehicular networks; internet of things; information processing and data management; programmable service interfaces; energy-efficient algorithms; system and protocol design; operating system and middle-ware support; and experimental test-beds, models and case studies.

13th International Conference, WASA 2018, Tianjin, China, June 20-22, 2018, Proceedings

Wireless Algorithms, Systems, and Applications

SPN-2, an EIF4E-binding Protein Required for Spindle Positioning and Oogenesis in C. Elegans

Qiang Yang

Ting Yang

Renewable Energy Microgeneration Systems presents the latest technology advances in small-scale energy generation (electricity and heat) in the context of low/medium voltage level electric power distribution networks. With a focus on scientific innovations of the methodologies, approaches and algorithms in enabling efficient and secure operation of microgeneration systems, this book also analyzes the current understanding of motivations and barriers affecting microgeneration adoption with the aim of identifying opportunities for improving the field deployment. Considering the recent advances of theories and implementations in modeling, design, planning and management of different forms of microgeneration systems, this reference provides applied researchers in the field of electrical engineering and renewable micro generation incredible insights into microgeneration systems technologies and the potential for new technologies and markets. Provides modeling and optimization methods and techniques for micro-generation systems Covers multidisciplinary content, providing an opportunity for different stakeholders in various engineering fields Includes recent research advances in the field, with a focus on real case studies and policy

Customer-led energy transition to make a sustainable world

Renewable Energy Microgeneration Systems

Hui Wang

Yong Liu

Kangshun Li

This book constitutes the thoroughly refereed proceedings of the 11th International Symposium on Intelligence Computation and Applications, ISICA 2019, held in Guangzhou, China, in November 2019. The 65 papers presented were carefully reviewed and selected from the total of 112 submissions. This volume features the most up-to-date research in evolutionary algorithms, parallel computing and quantum computing, evolutionary multi-objective and dynamic optimization, intelligent multimedia systems, virtualization and AI applications, smart scheduling, intelligent control, big data and cloud computing, deep learning, and hybrid machine learning systems.The papers are organized according to the following topical sections: new frontier in evolutionary algorithms; evolutionary multi-objective and dynamic optimization; intelligent multimedia systems; virtualization and AI applications; smart scheduling; intelligent control; big data and cloud computing; statistical learning.

11th International Symposium, ISICA 2019, Guangzhou, China, November 16–17, 2019, Revised Selected Papers

Artificial Intelligence Algorithms and Applications

Ding-Zhu Du

Zhao Zhang

This volume constitutes the proceedings of the 14th International Conference on Algorithmic Aspects in Information and Management, AAIM 2020, held in Jinhua, China in August 2020. The 39 full papers and 17 short papers presented were carefully reviewed and selected from 76 submissions. The papers deal with emerging important algorithmic problems with a focus on the fundamental background, theoretical technology development, and real-world applications associated with information and management analysis, modeling and data mining. Special considerations are given to algorithmic research that was motivated by real-world applications.

14th International Conference, AAIM 2020, Jinhua, China, August 10–12, 2020, Proceedings

Algorithmic Aspects in Information and Management

Zhangxing Chen

This two-volume set (CCIS 873 and CCIS 874) constitutes the thoroughly refereed proceedings of the 9th International Symposium, ISICA 2017, held in Guangzhou, China, in November 2017.The 101 full papers presented in both volumes were carefully reviewed and selected from 181 submissions. This first volume is organized in topical sections on neural networks and statistical learning: neural architecture search, transfer of knowledge; evolutionary multi-objective and dynamic optimization: optimal control and design, hybrid methods; data mining: association rule learning, data management platforms; Cloud computing and multiagent systems: service models, Cloud engineering; everywhere connectivity: IoT solutions, wireless sensor networks.

9th International Symposium, ISICA 2017, Guangzhou, China, November 18–19, 2017, Revised Selected Papers

Computational Intelligence and Intelligent Systems

Modeling Marked Point Processes with an Application to Currency Exchange Rates

Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology. The first five chapters systematically present the core topics of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Gödel’s theorems. The last five chapters present extensions and developments of classical mathematical logic, particularly the concepts of version sequences of formal theories and their limits, the system of revision calculus, proschemes (formal descriptions of proof methods and strategies) and their properties, and the theory of inductive inference. All of these themes contribute to a formal theory of axiomatization and its application to the process of developing information technology and scientific theories. The book also describes the paradigm of three kinds of language environments for theories and it presents the basic properties required of a meta-language environment. Finally, the book brings these themes together by describing a workflow for scientific research in the information era in which formal methods, interactive software and human invention are all used to their advantage. This book represents a valuable reference for graduate and undergraduate students and researchers in mathematics, information science and technology, and other relevant areas of natural sciences. Its first five chapters serve as an undergraduate text in mathematical logic and the last five chapters are addressed to graduate students in relevant disciplines.

Foundations for Information Science

Mathematical Logic

This two-volume set (CCIS 873 and CCIS 874) constitutes the thoroughly refereed proceedings of the 9th International Symposium, ISICA 2017, held in Guangzhou, China, in November 2017. The 101 full papers presented in both volumes were carefully reviewed and selected from 181 submissions. This second volume is organized in topical sections on swarm intelligence: cooperative Search, swarm optimization; complex systems modeling: system dynamic, multimedia simulation; intelligent information systems: information retrieval, e-commerce platforms; artificial intelligence and robotics: query optimization, intelligent engineering; virtualization: motion-based tracking, image recognition.

Wei Li

Books

Your next favorite book is out there