Search

This book constitutes the proceedings of the 24th International Symposium on Fundamentals of Computation Theory, FCT 2023, held in Trier, Germany, in September 2023. The __ full papers included in this volume were carefully reviewed and selected from __ submissions. In addition, the book contains ____ invited talks. The papers cover topics of all aspects of theoretical computer science, in particular algorithms, complexity, formal and logical methods.

This book constitutes the proceedings of the 23rd International Symposium on Fundamentals of Computation Theory, FCT 2021, held in Athens, Greece, in September 2021. The 30 full papers included in this volume were carefully reviewed and selected from 94 submissions. In addition, the book contains 2 invited talks. The papers cover topics of all aspects of theoretical computer science, in particular algorithms, complexity, formal and logical methods.

This book constitutes the proceedings of the 22nd International Symposium on Fundamentals of Computation Theory, FCT 2019, held in Copenhagen, Denmark, in August 2019.The 21 full papers included in this volume were carefully reviewed and selected from 45 submissions. In addition, the book contains 3 invited talks in full-paper length. The papers were organized in topical sections named: formal methods, complexity, and algorithms.

This book constitutes the refereed proceedings of the 21st International Symposium on Fundamentals of Computation Theory, FCT 2017, held in Bordeaux, France, in September 2017. The 29 revised full papers and 5 invited papers presented were carefully reviewed and selected from 99 submissions. The papers cover topics of all aspects of theoretical computer science, in particular algorithms, complexity, formal and logical methods.

This book constitutes the refereed proceedings of the 20th International Symposium on Fundamentals of Computation Theory, FCT 2015, held in Gdańsk, Poland, in August 2015. The 27 revised full papers presented were carefully reviewed and selected from 60 submissions. The papers cover topics in three main areas: algorithms, formal methods, and emerging fields and are organized in topical sections on geometry, combinatorics, text algorithms; complexity and Boolean functions; languages; set algorithms, covering, and traversal; graph algorithms and networking applications; anonymity and indistinguishability; graphs, automata, and dynamics; and logic and games.

This book constitutes the refereed proceedings of the 18th International Symposium Fundamentals of Computation Theory, FCT 2011, held in Oslo, Norway, in August 2011. The 28 revised full papers presented were carefully reviewed and selected from 78 submissions. FCT 2011 focused on algorithms, formal methods, and emerging fields, such as ad hoc, dynamic and evolving systems; algorithmic game theory; computational biology; foundations of cloud computing and ubiquitous systems; and quantum computation.

This book constitutes the refereed proceedings of the 19th International Symposium on Fundamentals of Computation Theory, FCT 2013, held in Liverpool, UK, in August 2013. The 29 papers (26 full papers and 3 invited papers) were carefully reviewed and selected from 58 submissions. The papers cover the following topics: algorithms, formal methods, and emerging fields.

This book constitutes the refereed proceedings of the 17th International Symposium Fundamentals of Computation Theory, FCT 2009, held in Wroclaw, Poland in August 2009. The 29 revised full papers were carefully reviewed and selected from 67 submissions. The papers address all current topics in computation theory such as automata and formal languages, design and analysis of algorithms, computational and structural complexity, semantics, logic, algebra and categories in computer science, circuits and networks, learning theory, specification and verification, parallel and distributed systems, concurrency theory, cryptography and cryptograhic protocols, approximation and randomized algorithms, computational geometry, quantum computation and information, bio-inspired computation.

'This volume is dedicated to the 15th Symposium on Fundamentals of Computation Theory FCT 2005, held in Lubeck, Germany, on August 17-20, 2005.'

This book features the refereed proceedings of the 16th International Symposium on Fundamentals of Computation Theory. Thirty-nine full papers are presented along with four invited papers. The papers address all current topics in computation theory, including automata and formal languages, design and analysis of algorithms, computational and structural complexity, semantics, logic, circuits and networks, learning theory, and more.

Addressing students and researchers as well as Computational Fluid Dynamics practitioners, this book is the most comprehensive review of high-resolution schemes based on the principle of Flux-Corrected Transport (FCT). The foreword by J.P. Boris and historical note by D.L. Book describe the development of the classical FCT methodology for convection-dominated transport problems, while the design philosophy behind modern FCT schemes is explained by S.T. Zalesak. The subsequent chapters present various improvements and generalizations proposed over the past three decades. In this new edition, recent results are integrated into existing chapters in order to describe significant advances since the publication of the first edition. Also, 3 new chapters were added in order to cover the following topics: algebraic flux correction for finite elements, iterative and linearized FCT schemes, TVD-like flux limiters, acceleration of explicit and implicit solvers, mesh adaptation, failsafe limiting for systems of conservation laws, flux-corrected interpolation (remapping), positivity preservation in RANS turbulence models, and the use of FCT as an implicit subgrid scale model for large eddy simulations.

This book describes several finite-difference techniques developed recently for the numerical solution of fluid equations. Both convective (hyperbolic) equations and elliptic equations (of Poisson's type) are discussed. The em­ phasis is on methods developed and in use at the Naval Research Laboratory, although brief descriptions of competitive and kindred techniques are included as background material. This book is intended for specialists in computational fluid dynamics and related subjects. It includes examples, applications and source listings of program modules in Fortran embodying the methods. Contents Introduction 1 (D. L. Book) 2 Computational Techniques for Solution of Convective Equations 5 (D. L. Book and J. P. Boris) 2. 1 Importance of Convective Equations 5 2. 2 Requirements for Convective Equation Algorithms 7 2. 3 Quasiparticle Methods 10 2. 4 Characteristic Methods 13 2. 5 Finite-Difference Methods 15 2. 6 Finite-Element Methods 20 2. 7 Spectral Methods 23 3 Flux-Corrected Transport 29 (D. L. Book, J. P. Boris, and S. T. Zalesak) 3. 1 Improvements in Eulerian Finite-Difference Algorithms 29 3. 2 ETBFCT: A Fully Vectorized FCT Module 33 3. 3 Multidimensional FCT 41 4 Efficient Time Integration Schemes for Atmosphere and Ocean Models 56 (R. V. Madala) 4. 1 Introduction 56 4. 2 Time Integration Schemes for Barotropic Models 58 4. 3 Time Integration Schemes for Baroclinic Models 63 4. 4 Extension to Ocean Models 70 David L. Book, Jay P. Boris, and Martin J. Fritts are from the Laboratory for Computational Physics, Naval Research Laboratory, Washington, D. C.

The subject of this monograph are restarting automata. The definition of these automata is motivated by the linguistic technique of analysis by reduction. This technique, which can be used to analyze sentences in natural languages with a rather free word-order like Czech (or Latin or German), consists of a sequence of step-by-step simplifications of a given sentence. Each of these simplifications is realized by a single reduction operation, which consists of either the deletion of one or several words from that sentence or the replacement of a (possibly discontinuous) substring of that sentence by a shorter substring. It is required that each application of such a reduction operation must preserve the syntactical correctness of the sentence. Accordingly, a restarting automaton consists of a finite-state control, a flexible tape that initially contains the input, and a read-write window of a fixed finite size that works on that tape. The first type of restarting automaton was presented at the international conference FCT in 1995. This type was required to restart as soon as it executes a rewrite operation, that is, the window jumps back to the left end of the tape and the finite-state control is reset to the initial state. Moreover, each rewrite operation simply deletes one or more letters from the contents of the read-write window. Subsequently, many different variants of the restarting automaton have been defined and studied. In particular, proper length-reducing rewrite operations have replaced the original delete steps, additional non-input letters, called auxiliary letters, have been added to the alphabet, and the original combined rewrite/restart operation has been split into a rewrite operation and a separate restart operation. Thus, the restarting automaton is no longer just a particular type of automaton, but it has evolved into a whole family of various types of automata that are specified through several parameters. The objective of the current monograph is to collect the many results that have been obtained on the various types of restarting automata in one place and to present them in a uniform and systematic way. In particular, the influence of the various parameters on the expressive capacity of the resulting types of restarting automata is studied in detail. Other topics include the descriptional complexity and inductive inference of certain types of restarting automata, cooperating distributed and parallel communicating systems of restarting automata, restarting automata with output, weighted restarting automata, and restarting automata for picture languages and tree languages. This monograph may serve as a book of reference for researchers working in formal language and automata theory, as a guide to the literature on restarting automata, and as a text book for an advanced undergraduate or graduate course in formal language and automata theory.

Addressing students and researchers as well as CFD practitioners, this book describes the state of the art in the development of high-resolution schemes based on the Flux-Corrected Transport (FCT) paradigm. Intended for readers who have a solid background in computational fluid dynamics, the book begins with historical notes by J.P. Boris and D.L. Book. Review articles that follow describe recent advances in the design of FCT algorithms as well as various algorithmic aspects. The topics addressed in the book and its main highlights include: the derivation and analysis of classical FCT schemes, with special emphasis on the underlying physical and mathematical constraints; flux limiting for hyperbolic systems; generalization of FCT to implicit time-stepping and finite element discretizations on unstructured meshes and its role as a subgrid scale model for Monotonically Integrated Large Eddy Simulation (MILES) of turbulent flows. The proposed enhancements of the FCT methodology also comprise the prelimiting and'failsafe'adjustment of antidiffusive fluxes, the use of characteristic variables, and iterative flux correction. The cause and cure of detrimental clipping/terracing effects are discussed. Many numerical examples are presented for academic test problems and large-scale applications alike.

This book contains the best papers of the 9th International Conference on Enterprise Information Systems (ICEIS 2007), held in the city of Funchal, Madeira (Portugal), organized by the Institute for Systems and Technologies of Information, Control and Communication (INSTICC) and the University of Madeira, in collaboration with ACM/SIGMIS and AAAI. Furthermore, the conference was sponsored by the Por- guese Foundation for Science and Technology (FCT). ICEIS has become a major point of contact between research scientists, engineers and practitioners in the area of business applications of information systems. This year, five simultaneous tracks were held, covering different aspects related to ent- prise computing, including: “Databases and Information Systems Integration,” “Arti- cial Intelligence and Decision Support Systems,” “Information Systems Analysis and Specification,” “Software Agents and Internet Computing” and “Human–Computer Interaction”. All tracks focused on real-world applications and highlighted benefits of information systems and technology for industry and services, thus making a bridge between academia and enterprise. Following the success of 2006, ICEIS 2007 received 644 paper submissions from more than 40 countries. In all, 72 papers were published and presented as full papers, i.e., completed work (8 pages in proceedings / 30-min oral presentations), 198 papers, reflecting work-in-progress or position papers, were accepted for short presentation and another 131 for poster presentation.

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions were organized in topical sections as follows: Part I: Invited papers; fundamentals of formal verification; foundations; learn and repair; programming languages.- logic and automata; Part II: Tools and case studies; embedded systems track; industry day track; tutorial papers.

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions were organized in topical sections as follows: Part I: Invited papers; fundamentals of formal verification; foundations; learn and repair; programming languages.- logic and automata; Part II: Tools and case studies; embedded systems track; industry day track; tutorial papers.

This open access book compares and analyses the results in twelve countries of the two latest international student assessments: Progress in International Reading Literacy Study 2021 (PIRLS) and the Programme for International Student Assessment 2022 (PISA) and tries to disentangle the effects of the pandemic from the long term trends in education. It is one of the first, or maybe the first, published volumes to provide a global assessment of the devastating impact of the COVID-19 pandemic on student learning as measured by independent international comparative surveys. The 12 countries discussed in this volume represent a wide variety of educational systems – including Chile, Ecuador, England, Estonia, Italy, the Netherlands, Poland, Portugal, South Africa, Spain, and the United States. It compiles diverse scenarios including countries that are high performers; countries that perform at the OECD mean; and countries that are struggling to attain the OECD average. Each country has its history that reflects efforts to cope with pandemic school closures and to improve educational achievement. A major topic discussed in this edited volume is related to understanding the diverse circumstances for the variations in results within different countries: Why did learning loss in specific locations? How much learning was lost? Why is a country continuously declining? Why is another country constantly improving? Why is there higher or less levels of inequality? How is a country regularly improving with an outdated curriculum? Which policies have worked, and which ones have not? What can we do now? This book is a valuable contribution to answer these concerns based on a diverse sample of countries and research questions.

This open access book pertains to the'International Conference on Cultural Tourism Advances,'held on June 27 and 28, 2023, at KU Leuven, Belgium. It focuses on advancing understanding of the sustainable development potential of cultural tourism by examining successful policy interventions, emerging cultural tourism trends, advancements in visitor management systems, new business and governance models, and the opportunities arising from ICT in the twenty-first century. This book presents recent key advances and their significant outcomes in the domain of European Cultural Tourism.

This book provides an up-to-date overview of data driven and evidence-based empirical approaches in the efficient application of chemodescriptors and biodescriptors. Currently there is a steady increase in the use of data analytics and model-based decision support systems in basic and applied research in chemoinformatics, bioinformatics, pharmaceutical drug design, predictive toxicology, and computational biology. Since there are a plethora of modeling methods and a large number of chemodescriptors and biodescriptors available today, robust statistical and machine learning methods are applied throughout. In addition, the development of statistically robust predictive models in rank deficient cases using chemodescrip tors and biodescriptors is discussed. Readers are provided with an up-to-date overview of the theoretical background, calculation methods, and proper use of chemodescriptors and biodescriptors in model building, with special emphasis on computer-assisted organic synthesis, new drug discovery, hazard assessment of chemicals, and computational biology of emerging global pathogens. The book also discusses the applications of alignment-free sequence descriptors (AFSDs) in vaccine design and the characterization of emerging global pathogens such as the Zika virus and SARS-CoV-2. The utility of molecular fragment-based descriptors in building useful quantitative structure-activity relationship (Q)SAR) models is detailed as is the use of mathematical structural descriptors in chemical synthesis planning.

The 3-volume set LNAI 14967, 14968, and 14969 constitutes the proceedings of the 23rd EPIA Conference on Artificial Intelligence, EPIA 2024, held in Viana do Castelo, Portugal, during September 3–6, 2024. The 94 full papers presented in these proceedings were carefully reviewed and selected from 187 submissions. The papers are organized in the following topical sections: Volume I: AI and Creativity (AIC); Ambient Intelligence and Affective Environments (AmIA); Artificial Intelligence and IoT in Agriculture (AIoTA); Artificial Intelligence and Law (AIL); and Artificial Intelligence for Industry and Societies (AI4IS). Volume II: Artificial Intelligence in Medicine (AIM); Artificial Intelligence in Power and Energy Systems (AIPES); Artificial Intelligence in Transportation Systems (AITS); Ethics and Responsibility in AI (ERAI); and General AI (GAI). Volume III: Generative AI – Foundations and Applications (GenAI); Intelligent Robotics (IROBOT); Knowledge Discovery and Business Intelligence (KDBI); Natural Language Processing, Text Mining and Applications (TeMA); and Data-Centric AI – Solutions and Emerging Technologies (DCenAI).

The 3-volume set LNAI 14967, 14968, and 14969 constitutes the proceedings of the 23rd EPIA Conference on Artificial Intelligence, EPIA 2024, held in Viana do Castelo, Portugal, during September 3–6, 2024. The 94 full papers presented in these proceedings were carefully reviewed and selected from 187 submissions. The papers are organized in the following topical sections: Volume I: AI and Creativity (AIC); Ambient Intelligence and Affective Environments (AmIA); Artificial Intelligence and IoT in Agriculture (AIoTA); Artificial Intelligence and Law (AIL); and Artificial Intelligence for Industry and Societies (AI4IS). Volume II: Artificial Intelligence in Medicine (AIM); Artificial Intelligence in Power and Energy Systems (AIPES); Artificial Intelligence in Transportation Systems (AITS); Ethics and Responsibility in AI (ERAI); and General AI (GAI). Volume III: Generative AI – Foundations and Applications (GenAI); Intelligent Robotics (IROBOT); Knowledge Discovery and Business Intelligence (KDBI); Natural Language Processing, Text Mining and Applications (TeMA); and Data-Centric AI – Solutions and Emerging Technologies (DCenAI).

The 3-volume set LNAI 14967, 14968, and 14969 constitutes the proceedings of the 23rd EPIA Conference on Artificial Intelligence, EPIA 2024, held in Viana do Castelo, Portugal, during September 3–6, 2024. The 94 full papers presented in these proceedings were carefully reviewed and selected from 187 submissions. The papers are organized in the following topical sections: Volume I: AI and Creativity (AIC); Ambient Intelligence and Affective Environments (AmIA); Artificial Intelligence and IoT in Agriculture (AIoTA); Artificial Intelligence and Law (AIL); and Artificial Intelligence for Industry and Societies (AI4IS). Volume II: Artificial Intelligence in Medicine (AIM); Artificial Intelligence in Power and Energy Systems (AIPES); Artificial Intelligence in Transportation Systems (AITS); Ethics and Responsibility in AI (ERAI); and General AI (GAI). Volume III: Generative AI – Foundations and Applications (GenAI); Intelligent Robotics (IROBOT); Knowledge Discovery and Business Intelligence (KDBI); Natural Language Processing, Text Mining and Applications (TeMA); and Data-Centric AI – Solutions and Emerging Technologies (DCenAI).

The three-volume proceedings set LNCS 14997-14999 constitutes the refereed proceedings of the 18th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2024, held in Qindao, China, during June 21–23, 2024. The 98 full papers and 10 short papers included in these proceedings were carefully reviewed and selected from 301 submissions. They focus on cutting-edge ideas, research findings, and innovative solutions in the dynamic intersection of wireless technologies and artificial intelligence (AI) computing systems.

The three-volume proceedings set LNCS 14997-14999 constitutes the refereed proceedings of the 18th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2024, held in Qindao, China, during June 21–23, 2024. The 98 full papers and 10 short papers included in these proceedings were carefully reviewed and selected from 301 submissions. They focus on cutting-edge ideas, research findings, and innovative solutions in the dynamic intersection of wireless technologies and artificial intelligence (AI) computing systems.

This book discusses several issues relevant to materials design and applications. The focus is on fundamental research and application areas in the field of the design and application of engineering materials, predominantly within the context of mechanical engineering applications. This includes a wide range of materials engineering and technology, including metals, e.g., lightweight metallic materials, polymers, composites, and ceramics. Advanced applications include manufacturing of new materials, testing methods, multi-scale experimental and computational aspects. The book publishes selected papers presented at the 5th International Conference on Materials Design and Applications 2024 (MDA 2024), held during July 4–5, 2024.

This book constitutes the proceedings of the Second refereed proceedings of the Second International Conference on Data Science and Artificial Intelligence, DSAI 2024, held in Medan, Indonesia, during November 13–15, 2024. The 18 full papers, 2 short papers and 3 invited talks were included in this book were carefully reviewed and selected from 69 submissions. They are organized in the following topical sections: Keynote Presentations; Natural and Sign Language Processing; Applications of Data Science and Artificial Intelligence; Affective Computing and AI Games; Embedded AI and Applications; Data Science; AI and Healthcare.

This open access book presents the proceedings of the 17th International Congress of Polymers in Concrete 2023 (ICPIC 2023), held under the theme'Cement-Polymer Composite in Circular Economy'. It provides multidisciplinary and contemporary knowledge on the application of polymers both in and on concrete, covering topics from the modification of concrete compositions with modern admixtures and additives to the use of alternative binders and polymer composites for concrete reinforcement. The book also explores improvements in concrete surface properties and special functionalities such as self-healing, self-cleaning, and energy consumption control using Phase Changing Materials (PCM). As the premier global event in this field since 1975, ICPIC continues to drive innovation and sustainability, uniting researchers, academics, industry professionals, and students to advance the future of polymers in concrete.

As the marketing landscape continues to evolve, posing fresh challenges for both academics and practitioners, this book explores contemporary marketing issues, trends, challenges, and opportunities. Featuring papers presented at the first annual International Conference on Advanced Marketing Practice (ICOAMP) held in Almería, Spain in 2024, this open access book covers a broad range of topics focused analytics, measurements, and methodologies in marketing, health, medical and beauty decision-making; the impact of digital technologies on marketing management; marketing education; marketing oriented to operational data stores (ODS); non-profit marketing; marketing ethics (CSR) and social media, and digital marketing practices, among others. These topics are centered around three pivotal and interrelated themes: disruptions, diversity, and ethics, which are the cornerstones that drive our collective pursuit of understanding their impact on the world of marketing. It is imperative for modern businesses and marketers alike to grasp the intricacies of these factors and their implications. This book provides valuable contributions for marketing researchers and practitioners as well as managers of businesses in a wide range of industries

This book offers a timely snapshot of research and development in rail vehicle dynamics. Gathering a set of peer-reviewed contributions to the 28th Symposium of the International Association of Vehicle System Dynamics (IAVSD), which was held on August 21–25, 2023 in Ottawa, Canada, this first volume of the proceedings covers a broad range of topics relating to rail vehicles. Topics covered include modelling and simulation as well as design, control, and monitoring of rail vehicles and strategies to improve safety, performance, and ride comfort, among others. Overall, this book provides academics and professionals with a timely reference on state-of-the-art theories and methods that can be used to understand, analyze, and improve rail vehicle safety and performance in a wide range of operating conditions.

This book highlights some of the latest advances in nanotechnology and nanomaterials from leading researchers in Ukraine, Europe and beyond. It features contributions presented at the 11th International Conference on Nanotechnologies and Nanomaterials, and was jointly organized by the Institute of Physics of the National Academy of Sciences of Ukraine, University of Tartu (Estonia), University of Turin (Italy), and Pierre and Marie Curie University (France). Internationally recognized experts from a wide range of universities and research institutions share their knowledge and key findings on material properties, behavior, synthesis and their applications. The book will be interesting for leading scientists, advanced undergraduate and graduate students in material and nanoscience. This book's companion volume also addresses topics such as nano-optics, nanoelectronics, energy storage and nanochemistry applications.

This 15-volume set LNCS 15031-15045 constitutes the refereed proceedings of the 7th Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2024, held in Urumqi, China, during October 18–20, 2024. The 579 full papers presented were carefully reviewed and selected from 1526 submissions. The papers cover various topics in the broad areas of pattern recognition and computer vision, including machine learning, pattern classification and cluster analysis, neural network and deep learning, low-level vision and image processing, object detection and recognition, 3D vision and reconstruction, action recognition, video analysis and understanding, document analysis and recognition, biometrics, medical image analysis, and various applications.

The multi-volume set of LNCS books with volume numbers 15059 up to 15147 constitutes the refereed proceedings of the 18th European Conference on Computer Vision, ECCV 2024, held in Milan, Italy, during September 29–October 4, 2024. The 2387 papers presented in these proceedings were carefully reviewed and selected from a total of 8585 submissions. The papers deal with topics such as computer vision; machine learning; deep neural networks; reinforcement learning; object recognition; image classification; image processing; object detection; semantic segmentation; human pose estimation; 3d reconstruction; stereo vision; computational photography; neural networks; image coding; image reconstruction; motion estimation.

This open access book brings together researchers from a variety of disciplines to explore science, technology, and innovation cooperation between China and African countries by using different perspectives. The growing economic, technological, and scientific cooperation between Africa and China provides opportunities to jointly develop mechanisms to provide a skill base from discovery to creativity, invention, innovation, entrepreneurship and implementation for the benefit of both Africa and China. This book makes a significant contribution to the knowledge imagination understanding of the different dimensions of China-Africa STI cooperation and can reach out to all stakeholders with evidence-based research.

This open access book offers a comprehensive exploration of Circular Economy Design and Management within the Built Environment, presenting a critical review of the current state of the art. Going through multi-level approaches from material usage to urban planning, it meticulously examines strategies for circular building design, criteria, and indicators for circularity. Additionally, it explores practical tools and frameworks, as well as roles and relationships of stakeholders along the entire value chain. Through insightful case studies and critical analysis, readers gain a deep understanding of circularity principles and applications, circularity management models and feedback systems, sustainable practices, and the integration of circularity into technological advancements and digital tools such as BIM. The importance of this book lies in addressing pressing challenges in contemporary architecture and construction, providing a roadmap for sustainable, circular solutions. It tackles the critical need to transition from linear to circular practices, emphasising resource efficiency, waste reduction, and the longevity of structures. By offering practical insights and highlighting successful implementations, the book aims to guide architects, civil engineers, designers, sustainability professionals, and policymakers towards informed decision-making in creating environmentally conscious built environments. Designed for these professionals and researchers, this book serves as a valuable resource for anyone passionate about reshaping the future of our built spaces with a focus on circularity and environmental responsibility.

This proceedings constitutes the referred post-conference proceedings of the 16th International Conference on Mobile Multimedia Communications, MOBIMEDIA 2023, held in Guilin, China, during July 22 - 24, 2023. The 35 full papers and 17 short papers presented were carefully selected from 77 submissions. The papers were organized as follows: cutting-edge technologies in wireless communication, in information as well as topics of signal processing and new generation wireless communication.

This book presents select proceedings of the 5th International Conference on Transportation Geotechnics (ICTG 2024). It includes papers on ground improvement methodologies, dynamics of transportation infrastructure, and geotechnical intricacies of mega projects. It covers topics such as underground transportation systems and heights of airfields and pavements. This book discusses diverse thematic landscapes, offering profound explorations into sensor technologies, data analytics, and machine learning applications. The publication highlights advanced practices, latest developments, and efforts to foster collaboration, innovation, and sustainable solutions for transportation infrastructure worldwide. The book can be a valuable reference for researchers and professionals interested in transportation geotechnics.

This book constitutes the refereed proceedings of the 17th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2024, held in Dallas, TX, USA, during October 11-14, 2024. The 27 full papers and 3 short papers included in this book were carefully reviewed and selected from 48 submissions. They deal with declarative logic programming, non-monotonic reasoning, and knowledge representation, focusing on the design and implementation of logic-based programming languages and database systems.

This book deals with issues related to multi-faceted applications of information and communication technology in research, engineering, robotics, automation of technological processes, complex systems, and computer networks, as well as mathematical and computer modelling of physical, chemical, and economic processes. In this book, the authors explore various aspects of information and communication technology and systems and their integration into science, engineering, automation, and economics. The authors develop new models, methods, and approaches for monitoring and controlling systems, communication networks, artificial intelligence applications, and digital resilience. The book is of interest to experts in the field of information and communication technology and systems, scientists, and Ph.D. students.

This book presents the combined proceedings of the 15th International Conference on Computer Science and its Applications (CSA 2023) and the 17th KIPS International Conference on Ubiquitous Information Technologies and Applications (CUTE 2023), both held in Nha Trang, Vietnam, December 18–20, 2023.The aim of these two meetings was to promote discussion and interaction among academics, researchers, and professionals in the field of ubiquitous computing technologies and computer science and its applications. These proceedings reflect the state of the art in the development of computational methods, involving theory, algorithms, numerical simulation, error and uncertainty analysis and novel applications of new processing techniques in engineering, science, and other disciplines related to ubiquitous computing.

The Victorians: A Botanical Perspective, Volume 1 offers a unique re-evaluation of the Victorian Age and presents a new historiography based on plants. It examines the use of gutta-percha in the development of electrical measurements; provides a detailed history of cocoa and the forced labor in the São Tomé and Príncipe Islands; explores the beauty, imagination, and order of William and May Morris'flowers; uncovers the world of Charles Darwin and the Victorian Botany Culture; highlights the crucial role of the Wardian Case in the global transport of plants; reveals the connection between Mid-Victorian Botany and Microscopy; offers glimpses of the colonial collections at the 1862 London Exhibition; explains how botany was connected with the development of photography; evokes the desire for a return to Nature and a simple life; and, finally, takes us on a journey through the history of violets.

This book provides a rigorous investigation into the adoption and culture of human rights in Nigeria, with a focus on the human rights attitudes of Nigerian students. Exploring the perceived paradox of enthusiastic endorsement of human rights instruments and their poor application in Nigeria, the author uses an empirical-theological research design to understand how young people in Nigeria evaluate human rights and which factors trigger their evaluation. In doing so, this book is the first to empirically examine the predictors of human rights attitudes among Nigerians and provides new insights into the degree of social significance of the religiosity of adolescents in the country. It also offers a compelling quantitative analysis differences in human rights attitudes among Nigerian youth along religious lines. Given the importance of a culture of human rights in our increasingly diverse societies and the salience of religion on this matter in Nigeria, and across the Africancontinent, this book provides a valuable perspective on the interrelationships between religion, value orientations, personality traits, socio-political context, and human rights. Being concerned with the future of human rights in Nigeria, the author argues that it is crucial to understand ‘the religious factor'among Nigerian students today. This book is therefore recommended to educators, especially teachers of Religion Education, and scholars working in educational settings, but will also be of interest to researchers in social sciences, public administrators, and policymakers.

This edited volume reveals a reflective culmination of the Socioscientific Issues (SSI) framework that examines past, present, and future trends along with advances in the field of science education. It presents, for the first time, what the precursors and nascent features of the framework entailed and examines the underlying presuppositions that have guided this research program as it matured into present day conceptualizations and cutting-edge advances of the SSI framework along with implications for the future. More precisely, the volume examines what the impetus was for the factors preceding the framework, how it came to be formalized into a conceptual and theoretical framework, the philosophical, sociological, and psychological underpinnings of the framework, its role with respect to moral education in the context of science education, and what it means to pursue moral inquiry and epistemic insight in the practice of science teaching and learning through SSI. It offers global insights and perspectives of trends related to SSI from 40 scholars representing 16 nations.

This book offers the first sustained investigation of the phenomenon of retraction - the “taking back” of the conventional or deontic effects of a previous speech act - bringing together issues and solutions from the semantics of perspectival expressions and from the framework of Speech Act theory. It addresses questions that have been at the center of lively debates in philosophy of language and linguistics, but also draws out some of the ramifications these questions have for certain debates in the logic of discourse, philosophy of mind or experimental philosophy. Many times, what we say on a certain occasion proves to be wrong. When we realize this, we sometimes react by retracting what was previously said – formally or informally, explicitly or not. The essays in this volume tackle issues such as what are the necessary and sufficient conditions for successfully performing a retraction, whether there is a solid empirical basis for retraction, whether the phenomenon can be used in favor or against certain semantics views, whether there is a type of retraction that is merely verbal, or what are the ethical implications of retraction. The volume brings together and puts in dialogue renowned researchers on these topics, serving both as a fixture for specialists and as an introduction into the topic of retraction.

This volume gathers the latest advances, innovations and applications in the field of efficiency and performance engineering, as presented by leading international researchers and engineers at the TEPEN International Workshop on Fault Diagnostics and Prognostics (TEPEN-IWFDP), held in Qingdao, China on May 8-11, 2024. Topics include machine and structural health monitoring, non-destructive testing and fault detection, diagnostic and prognostic for both operational and manufacturing processes, maintenance optimization and asset management, smart metamaterials and metastructures, artificial intelligent and machine learning. The contributions, which were selected through a rigorous international peer-review process, share exciting ideas that will spur novel research directions and foster new multidisciplinary collaborations.

This book presents extensive and up-to-date information on the anti-proliferative properties of various plant seeds for their application in pharmaceutical industry and medicinal research. This information is imperative for understanding and developing high quality products from the seeds.The book provides insights about anticancer and antitumour activities present in seeds. Different chapters cover the traditional knowledge as well as recent innovations in various seeds, such as prune, pumpkin, grape fruit, sesame, sunflower, bitter gourd, papaya, mango, apple, black plum, cumin, water melon, musk melon, cotton, carambola, pear, cardamon, moringa, wallich, Chinese cabbage, pistachio, etc. and their bioactivities for the applications in cancer and malignancy proliferation. The book introduces the readers to seed as a bioactive compound, and delineates the various health effects. It further explains the relation between the different metabolites and their effect on cell proliferation. Finally the book goes on to explain different seeds and their specific anti-cancer properties. This book is useful for students and researchers of pharmacology, botany and cancer research. It also caters to industry experts in pharmaceutical sciences.

The 10-volume set, LNCS 14920-14929 constitutes the refereed proceedings of the 44th Annual International Cryptology Conference, CRYPTO 2024. The conference took place at Santa Barbara, CA, USA, during August 18-22, 2024. The 143 full papers presented in the proceedings were carefully reviewed and selected from a total of 526 submissions. The papers are organized in the following topical sections: Part I: Digital signatures; Part II: Cloud cryptography; consensus protocols; key exchange; public key encryption; Part III: Public-key cryptography with advanced functionalities; time-lock cryptography; Part IV: Symmetric cryptanalysis; symmetric cryptograph; Part V: Mathematical assumptions; secret sharing; theoretical foundations; Part VI: Cryptanalysis; new primitives; side-channels and leakage; Part VII: Quantum cryptography; threshold cryptography; Part VIII: Multiparty computation; Part IX: Multiparty computation; private information retrieval; zero-knowledge; Part X: Succinct arguments.

This eleven-volume set LNCS 14815 – 14825 constitutes the refereed workshop proceedings of the 24th International Conference on Computational Science and Its Applications, ICCSA 2024, held at Hanoi, Vietnam, during July 1–4, 2024. The 281 full papers, 17 short papers and 2 PHD showcase papers included in this volume were carefully reviewed and selected from a total of 450 submissions. In addition, the conference consisted of 55 workshops, focusing on very topical issues of importance to science, technology and society: from new mathematical approaches for solving complex computational systems, to information and knowledge in the Internet of Things, new statistical and optimization methods, several Artificial Intelligence approaches, sustainability issues, smart cities and related technologies.