Welcome to our book review site www.go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Computational Modeling and Sustainable Energy
This book features best-selected research papers presented at International Conference on Computational Modeling and Sustainable Energy (ICCMSE 2023) held at Pandit Deendayal Energy University, Gandhinagar, Gujarat, India, during December 15–17, 2023. It comprises high-quality research work by academicians and industrial experts in the field of machine learning, mobile computing, natural language processing, fuzzy computing, green computing, human–computer interaction, information retrieval, intelligent control, data mining and knowledge discovery, evolutionary computing, big data, cloud computing, business intelligence, Internet security, pattern recognition, and sustainable energy.
Formal Methods for Components and Objects
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large systems requires more emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java. This book contains 20 revised papers submitted after the 10th Symposium on Formal Methods for Components and Objects, FMCO 2011, which was held in Turin, Italy, in October 2011. Topics covered include autonomic service-component ensembles; trustworthy eternal systems via evolving software, data, and knowledge; parallel patterns for adaptive heterogeneous multicore systems; programming for future 3D architectures with many cores; formal verification of object oriented software; and an infrastructure for reliable computer systems.
Seamless Care, Safe Care
Included are two invited keynotes, one session keynote and 25 full papers, selected by the Scientific Programme Committee from 61 submissions, each rigorously reviewed by three reviewers. Subjects include: Electronic health records and personal health records, traceability, security, privacy and safety and quality, as well as interoperability and standards, patient empowerment, satisfaction and safety, continuity of care and device integration. --
Web Information Systems Engineering – WISE 2024
This five-volume set LNCS 15436 -15440 constitutes the proceedings of the 25th International Conference on Web Information Systems Engineering, WISE 2024, held in Doha, Qatar, in December 2024. The 110 full papers and 55 short papers were presented in these proceedings were carefully reviewed and selected from 368 submissions. The papers have been organized in the following topical sections as follows: Part I : Information Retrieval and Text Processing; Text and Sentiment Analysis; Data Analysis and Optimisation; Query Processing and Information Extraction; Knowledge and Data Management. Part II: Social Media and News Analysis; Graph Machine Learning on Web and Social; Trustworthy Machine Learning; and Graph Data Management. Part III: Recommendation Systems; Web Systems and Architectures; and Humans and Web Security. Part IV: Learning and Optimization; Large Language Models and their Applications; and AI Applications. Part V: Security, Privacy and Trust; Online Safety and Wellbeing through AI; and Web Technologies.a
Augmented Cognition
This book constitutes the refereed proceedings of the 15th International Conference on Augmented Cognition, AC 2021, held as part of the 23rd International Conference, HCI International 2021, held as a virtual event, in July 2021. The total of 1276 papers and 241 posters included in the 39 HCII 2021 proceedings volumes was carefully reviewed and selected from 5222 submissions. AC 2021 includes a total of 32 papers; they were organized in topical sections named: BCI and brain activity measurement physiological measuring and human performance; modelling human cognition; and augmented cognition in complex environments.
Advances in Information and Communication
This book presents high-quality research on the concepts and developments in the field of information and communication technologies, and their applications. It features 134 rigorously selected papers (including 10 poster papers) from the Future of Information and Communication Conference 2020 (FICC 2020), held in San Francisco, USA, from March 5 to 6, 2020, addressing state-of-the-art intelligent methods and techniques for solving real-world problems along with a vision of future research Discussing various aspects of communication, data science, ambient intelligence, networking, computing, security and Internet of Things, the book offers researchers, scientists, industrial engineers and students valuable insights into the current research and next generation information science and communication technologies.
Leveraging Applications of Formal Methods, Verification, and Validation
This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria, under the auspices of the International Symposium Series on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA. The topics covered by the papers of the SARS and the MLSC workshop demonstrate the breadth and the richness of the respective fields of the two workshops stretching from robot programming to languages and compilation techniques, to real-time and fault tolerance, to dependability, software architectures, compu...
