- Table View
- List View
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II (Lecture Notes in Computer Science #15220)
by Tiziana Margaria Bernhard SteffenThe ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV (Lecture Notes in Computer Science #15222)
by Tiziana Margaria Bernhard SteffenThe ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II (Lecture Notes in Computer Science #13702)
by Tiziana Margaria Bernhard SteffenThis four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III (Lecture Notes in Computer Science #15221)
by Tiziana Margaria Bernhard SteffenThe ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.
Leveraging Applications of Formal Methods, Verification and Validation. Verification: 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part Ii (Lecture Notes in Computer Science #7610)
by Tiziana Margaria Bernhard SteffenThe four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume:Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018.Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium.Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering. Part IV, Industrial Practice: runtime verification from the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.
Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings (Lecture Notes in Computer Science #13036)
by Tiziana Margaria Bernhard SteffenThis book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends. The contributions included in this volume were organized in the following topical sections: 6th International School on Tool-Based Rigorous Engineering of Software Systems; Industrial Track; Programming: What is Next; Software Verification Tools; Rigorous Engineering of Collective Adaptive Systems.
Leveraging Applications of Formal Methods, Verification and Validation: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I (Lecture Notes in Computer Science #12476)
by Tiziana Margaria Bernhard SteffenThe three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume:Part I, Verification Principles: Modularity and (De-)Composition in Verification; X-by-Construction: Correctness meets Probability; 30 Years of Statistical Model Checking; Verification and Validation of Concurrent and Distributed Systems. Part II, Engineering Principles: Automating Software Re-Engineering; Rigorous Engineering of Collective Adaptive Systems. Part III, Applications: Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems.
Leveraging Applications of Formal Methods, Verification and Validation: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II (Lecture Notes in Computer Science #12477)
by Tiziana Margaria Bernhard SteffenThe three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume:Part I, Verification Principles: Modularity and (De-)Composition in Verification; X-by-Construction: Correctness meets Probability; 30 Years of Statistical Model Checking; Verification and Validation of Concurrent and Distributed Systems. Part II, Engineering Principles: Automating Software Re-Engineering; Rigorous Engineering of Collective Adaptive Systems. Part III, Applications: Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems.
Leveraging Applications of Formal Methods, Verification and Validation: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III (Lecture Notes in Computer Science #12478)
by Tiziana Margaria Bernhard SteffenThe three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume:Part I, Verification Principles: Modularity and (De-)Composition in Verification; X-by-Construction: Correctness meets Probability; 30 Years of Statistical Model Checking; Verification and Validation of Concurrent and Distributed Systems. Part II, Engineering Principles: Automating Software Re-Engineering; Rigorous Engineering of Collective Adaptive Systems. Part III, Applications: Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems.
Leveraging Applications of Formal Methods, Verification and Validation: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV (Lecture Notes in Computer Science #12479)
by Tiziana Margaria Bernhard SteffenThe four-volume set LNCS 12476 - 12479 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume:Part I, Verification Principles: Modularity and (De-)Composition in Verification; X-by-Construction: Correctness meets Probability; 30 Years of Statistical Model Checking; Verification and Validation of Concurrent and Distributed Systems. Part II, Engineering Principles: Automating Software Re-Engineering; Rigorous Engineering of Collective Adaptive Systems. Part III, Applications: Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems.Part IV, Tools and Trends:From Verification to Explanation; Engineering of Digital Twins for Cyber-Physical Systems; Software Verification Tools.
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
by Tiziana Margaria Bernhard SteffenThe two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016. The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: statistical model checking; evaluation and reproducibility of program analysis and verification; ModSyn-PP: modular synthesis of programs and processes; semantic heterogeneity in the formal development of complex systems; static and runtime verification: competitors or friends?; rigorous engineering of collective adaptive systems; correctness-by-construction and post-hoc verification: friends or foes?; privacy and security issues in information systems; towards a unified view of modeling and programming; formal methods and safety certification: challenges in the railways domain; RVE: runtime verification and enforcement, the (industrial) application perspective; variability modeling for scalable software evolution; detecting and understanding software doping; learning systems: machine-learning in software products and learning-based analysis of software systems; testing the internet of things; doctoral symposium; industrial track; RERS challen≥ and STRESS.
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
by Tiziana Margaria Bernhard SteffenThe two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016. The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: statistical model checking; evaluation and reproducibility of program analysis and verification; ModSyn-PP: modular synthesis of programs and processes; semantic heterogeneity in the formal development of complex systems; static and runtime verification: competitors or friends?; rigorous engineering of collective adaptive systems; correctness-by-construction and post-hoc verification: friends or foes?; privacy and security issues in information systems; towards a unified view of modeling and programming; formal methods and safety certification: challenges in the railways domain; RVE: runtime verification and enforcement, the (industrial) application perspective; variability modeling for scalable software evolution; detecting and understanding software doping; learning systems: machine-learning in software products and learning-based analysis of software systems; testing the internet of things; doctoral symposium; industrial track; RERS challenge; and STRESS.
Leveraging Applications of Formal Methods, Verification, and Validation
by Anna-Lena LamprechtThis book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2014, held in Corfu, Greece, in October 2014, and the 5th International Symposium, ISoLA 2012, held in Heraklion, Crete, Greece, in October 2012. The 9 revised full papers presented were carefully reviewed and selected from 22 submissions. This volume combines the post-conference proceedings of the 2014 Doctoral Symposium and the 2014 Tutorial "Automata Learning in Practice" with the post-conference publication of selected contributions from the Tracks "Process-Oriented Geoinformation Systems and Applications" and "Processes and Data Integration in the Networked Healthcare" of ISoLA 2012.
Leveraging Artificial Intelligence in Engineering, Management, and Safety of Infrastructure
by M. Z. NaserThe design, construction, and upkeep of infrastructure is comprised of a multitude of dimensions spanning a highly complex paradigm of interconnected opportunities and challenges. While traditional methods fall short of adequately accounting for such complexity, artificial intelligence (AI) presents novel and out-of-the-box solutions that effectively tackle the growing demands of our infrastructure. The convergence between AI and civil engineering is an emerging frontier with tremendous potential. The book is likely to provide a boost to the state of infrastructure engineering by fostering a new look at civil engineering that capitalizes on AI as its main driver. It highlights the ongoing push to adopt and leverage AI to realize contemporary, intelligent, safe, and resilient infrastructure. The book comprises interdisciplinary and novel works from across the globe. It presents findings from innovative efforts supplemented with physical tests, numerical simulations, and case studies – all of which can be used as benchmarks to carry out future experiments and/or facilitate the development of future AI models in structural engineering, traffic engineering, construction engineering, and construction materials. The book will serve as a guide for a wide range of audiences, including senior undergraduate and graduate students, professionals, and government officials of civil, traffic, and computer engineering backgrounds, as well as for those engaged in urban planning and human sciences.
Leveraging Blockchain Technology: Governance, Risk, Compliance, Security, and Benevolent Use Cases (Security, Audit and Leadership Series)
by Shaun AghiliBlockchain technology is a digital ledger system that allows for secure, transparent and tamper-proof transactions. It is essentially an often decentralized, distributed, peer-to-peer database that is maintained by a network of computers instead of a single entity, making it highly resistant to hacking and data breaches. By providing greater security, transparency and efficiency, blockchain technology can help to create a more equitable and sustainable world.Blockchain technology has the potential to help mankind in various ways, some of which include but are not limited to: Decentralization and Transparency: Blockchain technology allows for decentralization of data and transactions, making them more transparent and accountable. This is particularly important in fields such as finance, where trust and transparency are critical. Increased Security: Blockchain technology is inherently secure due to its distributed nature, making it very difficult for hackers to compromise the system. This makes it an ideal solution for data and information storage, particularly in areas such as health and finance, where privacy and security are of utmost importance. Faster Transactions: Blockchain technology eliminates the need for intermediaries, reducing the time and cost associated with transactions. This makes it an ideal solution for international trade, remittances and other types of financial transactions, especially in parts of the world where a great number of individuals do not have access to basic banking services. Immutable Record: One of the fundamental attributes of blockchain is its immutability. Once data is added to the blockchain, it becomes nearly impossible to alter or delete. This feature ensures a tamper-resistant and reliable record of transactions, crucial for maintaining integrity in various industries, including supply chain management and legal documentation. Smart Contracts: Blockchain technology supports the implementation of smart contracts, which are self-executing contracts with the terms of the agreement directly written into code. This automation streamlines processes and reduces the risk of fraud, particularly in sectors like real estate and legal agreements. Interoperability: Blockchain’s ability to facilitate interoperability allows different blockchain networks to communicate and share information seamlessly. This attribute is pivotal for creating a unified and interconnected ecosystem, especially as various industries adopt blockchain independently. Interoperability enhances efficiency, reduces redundancy and fosters collaboration across diverse sectors. Leveraging Blockchain Technology: Governance, Risk, Compliance, Security, and Benevolent Use Cases discusses various governance, risk and control (GRC) and operational risk-related considerations in a comprehensive, yet non-technical, way to enable business leaders, managers and professionals to better understand and appreciate its various potential use cases. This book is also a must-read for leaders of non-profit organizations, allowing them to further democratize needs that we often take for granted in developed countries around the globe, such as access to basic telemedicine, identity management and banking services.
Leveraging Computer Vision to Biometric Applications (Chapman & Hall/Distributed Computing and Intelligent Data Analytics Series)
by Valentina E. Balas Arvind Selwal Sudeshna Chakraborty Deepika Sharma Mukesh Mann Ouh Eng LiehComputer vision is an effective solution in a diverse range of real-life applications. With the advent of the machine and deep learning paradigms, this book adopts machine and deep learning algorithms to leverage digital image processing for designing accurate biometrical applications. In this aspect, it presents the advancements made in computer vision to biometric applications design approach using emerging technologies. It discusses the challenges of designing efficient and accurate biometric-based systems, which is a key issue that can be tackled via computer vision-based techniques.Key Features Discusses real-life applications of emerging techniques in computer vision systems Offers solutions on real-time computer vision and biometrics applications to cater to the needs of current industry Presents case studies to offer ideas for developing new biometrics-based products Offers problem-based solutions in the field computer vision and real-time biometric applications for secured human authentication Works as a ready resource for professionals and scholars working on emerging topics of computer vision for biometrics The book is for academic researchers, scholars and students in Computer Science, Information Technology, Electronics and Electrical Engineering, Mechanical Engineering, management, academicians, researchers, scientists and industry people working on computer vision and biometrics applications.
Leveraging Consumer Psychology for Effective Health Communications: The Obesity Challenge
by Victor J. Strecher Rajeev Batra Punam Anand KellerThis timely book brings together some of the most higly respected scholars and practitioners in the consumer psychology and health communication fields to analyze how the latest research can be effectively applied to the critical public health issue of obesity.
Leveraging Digital Marketing for Tourism: Exploring Strategies and Applications in Contemporary Tourism Markets (Tourism on the Verge)
by Bruno Barbosa Sousa José Duarte Santos Paulo Botelho PiresThis edited volume invites readers to explore the convergence of tourism and digital marketing. It navigates the intricate relationship between these two domains by elucidating the role of digital marketing across various facets of the tourism industry. Each chapter offers a blend of theoretical foundations and practical insights, delving into typologies of tourism, specific segments of tourists, and critical sectors essential to tourism's functionality. Through neutral, third-person narration, the volume presents a comprehensive examination, showcasing how digital marketing strategies are applied within diverse tourism contexts. Rich with examples illustrating theory in practice, this work serves as an essential resource for scholars, researchers, and professionals seeking a deeper understanding of this evolving landscape.
Leveraging Digital Tools to Assess Student Learning (Student Assessment for Educators)
by Stephanie Smith BudhaiLeveraging Digital Tools to Assess Student Learning provides a practical approach to using technology to collect, interpret, and curate assessment data in K-12 in-person, online, hybrid, and dual learning environments. Digital media, emerging learning technologies, and handheld devices play larger roles than ever in students’ 21st-century educational experiences. Digital tools, meanwhile, can also transform assessment practices for teachers, allowing more efficient means of identifying gaps and modifying instruction to maximize student learning. Situating assessment practices in today’s networked, flexible, and virtual classrooms, this book reframes polling and quizzing, social media and memes, and multimedia platforms as digital learning tools for engaging, interactive, and meaningful formative, summative, open-ended, peer and self-paced assessments. The final chapter discusses technology’s role in organizing, evaluating, and disseminating assessment data to students, their families, and administrators.
Leveraging Drupal
by Victor KaneThis book is a step-by-step guide and a hands-on co-piloted experience for those trying to make Drupal powered websites work for them, and for their clients. Much more than a "tutorial", what is needed is a nuts-and-bolts living mentor and guide which really shows the reader how to do the things really required for bringing it all together in a site which works. This will be the only book covering all the difficult components of Drupal: views, panels, themes, content creation, etc. The book will cover: * How to upgrade your hopelessly outdated and obsolete-software dependent site and bring it into the Drupal mainstream and future * How to become a great Drupal themer and make "non-Drupal" looking sites * How to really customize Drupal for your real needs * How to start using best practices in Drupal web application development * How to work like the pro Drupal shops and be ready for big projects - and small ones * Learn by example (code samples, theme samples, videos) at every step
Leveraging Emerging Technologies and Analytics for Empowering Humanity, Vol. 1: International Conference Proceedings of LEAD-2024, IIM Shillong, December 10–12 (Springer Proceedings in Business and Economics)
by Somnath Mukhopadhyay Suprateek Sarker D P Goyal Basav Roychoudhury Parijat Upadhyay Pradeep Kumar DadabadaThis book provides a platform for interdisciplinary discussions on leveraging emerging technologies and analytics to empower humanity, fostering collaboration between experts in AI and analytics, sustainability, different areas of management, and IT. As the world grapples with complex challenges, from climate change to economic inequality, this first volume of a two-volume proceedings series is a crucial resource for fostering collaboration and exploring untapped potential of emerging technologies. By harnessing the power of AI, blockchain, IoT, and big data, the chapters address critical global challenges towards improving quality of life and promoting inclusive and sustainable development, while keeping in mind ethical implications, and their impact on social justice. The volume will be of use to thought leaders, researchers, innovators, and policymakers from around the globe who are interested in knowing more on how cutting-edge technologies can be harnessed for the greater good of society.
Leveraging Emotional and Artificial Intelligence for Organisational Performance
by Catherine PrenticeThis book takes a fresh stance and views EI and AI as services that are provided by service employees and machines as organisational offerings to customers. As emotional intelligence (EI) and artificial intelligence (AI) have been cited to have broad effects on individuals, businesses and beyond, this book is focused on the organisational context, specifically how they affect employees and customers from a marketing perspective. The stance in this book is consistent with the conceptualisation of a service. This book holds that intelligence in businesses must turn into organisational assets to manifest their values. Further, this book explores this service-dominant logic era, and compared to tangible products, service plays a key role in organisational performance and customer relationship with the organisation. Intelligence exhibited either by human or machine is not a tangible product, but can be utilised as a service to assist employees in performing tasks and delivering services as well as facilitating business transaction and customer experience.This book is structured as follows. Chapters 2 and 3 demystify emotional and artificial intelligence, from different perspectives, including conceptualisations, the history and evolution of the concepts, how they function and where they can apply to. These discussions help readers understand what exactly these two intelligences are. Chapters 4 and 5 analyse how emotional intelligence is related to employees and customers, respectively, with a focus on service organisations. Chapters 6–8 are dedicated to anatomising AI and how it is operationalised as a service to influence employees and customers. Specifically, viewing AI as a service, Chapter 6 examines the impact of AI service quality and how it is related to employee service quality. Chapter 7 analyses the influence of AI service quality on customers. Based on the discussion in Chapters 6 and 7, Chapter 8 is extended to develop a scale to measure such AI service, named AI service quality.The last three chapters of this book integrate EI and AI to analyse their respective impacts on employees and customers. Chapter 9 proposes EI as a moderator of AI, whereas Chapter 10 proposes AI as a moderator of EI. Chapter 11 employs service profit chain to integrate EI and AI in the chain relationship to understand their effects on both employees and customers. This chapter broadly covers the service industry with a focus on tourism and hospitality sector. The discussion on the impact of EI and AI is complemented with empirical studies conducted in tourism or hospitality context to address their effects in these sectors.
Leveraging Generative Intelligence in Digital Libraries: 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4–7, 2023, Proceedings, Part I (Lecture Notes in Computer Science #14457)
by Dion H. Goh Shu-Jiun Chen Suppawong TuarobThis two-volume set LNCS 14457 and LNCS 14458 constitutes the refereed proceedings of the 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, held in Taipei, Taiwan, during December 4-7, 2023. The 15 full, 17 short, 2 practice papers and 12 poster papers presented in this volume were carefully reviewed and selected from 85 submissions. Based on significant contributions, the full and short papers have been classified into the following topics: include information retrieval, knowledge extraction and discovery, cultural and scholarly data, information seeking and use, digital archives and data management, design and evaluation of information environments, and applications of GAI in digital libraries.
Leveraging Generative Intelligence in Digital Libraries: 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4–7, 2023, Proceedings, Part II (Lecture Notes in Computer Science #14458)
by Dion H. Goh Shu-Jiun Chen Suppawong TuarobThis two-volume set LNCS 14457 and LNCS 14458 constitutes the refereed proceedings of the 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, held in Taipei, Taiwan, during December 4-7, 2023. The 15 full, 17 short, 2 practice papers and 12 poster papers presented in this volume were carefully reviewed and selected from 85 submissions. Based on significant contributions, the full and short papers have been classified into the following topics: include information retrieval, knowledge extraction and discovery, cultural and scholarly data, information seeking and use, digital archives and data management, design and evaluation of information environments, and applications of GAI in digital libraries.
Leveraging the New Infrastructure
by Peter Weill Marianne BroadbentImagine thinking about your company's information technology in the same way that you think about its investment portfolio: as a bundle of assets that--when managed right--will generate revenues and savings. Here's just such a framework for leveraging IT (technology, networks, data, and software)--one that enables business managers to make the important decisions about the potentially confounding mix of high-technology that influences near- and long-term planning, affects the ability to support customers, and dictates the flow of daily operations. Drawing upon their rigorous research with more than 100 top multinationals, the authors present a rich and varied range of examples of IT investment strategies that have reaped rewards for firms such as Citibank, Honda, Johnson & Johnson, Ralston Purina, the Development Bank of Singapore, and Telstra. This hands-on resource, compete with benchmarks and case studies, creates the common ground where both management and IT can meet, communicate their goals, and agree on the best plan for getting there.