- Table View
- List View
Leveling the Playing Field: Improving Technology Access and Design for People with Intellectual Disabilities
by Presidents Committee for People w/Intellectual DisabilitiesThe President's Committee for People with Intellectual Disabilities is honored to advise the President and the Secretary of Health and Human Services about the role of technology in improving the quality of life for people with ID and ensuring their full citizenship rights. A new generation of technologies continues to redefine, at an accelerated pace, how we all live, grow, and excel. The same should be true for people with ID. Access to technology is critical for people with ID to fully engage in the everyday life of our society.
Leveling Up with SQL: Advanced Techniques for Transforming Data into Insights
by Mark SimonLearn to write SQL queries to select and analyze data, and improve your ability to manipulate data. This book will help you take your existing skills to the next level. Author Mark Simon kicks things off with a quick review of basic SQL knowledge, followed by a demonstration of how efficient SQL databases are designed and how to extract just the right data from them. You’ll then learn about each individual table’s structure and how to work with the relationships between tables. As you progress through the book, you will learn more sophisticated techniques such as using common table expressions and subqueries, analyzing your data using aggregate and windowing functions, and how to save queries in the form of views and other methods. This book employs an accessible approach to work through a realistic sample, enabling you to learn concepts as they arise to improve parts of the database or to work with the data itself. After completing this book, you will have a more thorough understanding of database structure and how to use advanced techniques to extract, manage, and analyze data. What Will You Learn Gain a stronger understanding of database design principles, especially individual tablesUnderstand the relationships between tablesUtilize techniques such as views, subqueries, common table expressions, and windowing functions Who Is This Book For: SQL Databases users who want to improve their knowledge and techniques.
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 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: 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: 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 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 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 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: 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. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III (Lecture Notes in Computer Science #13703)
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. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III (Lecture Notes in Computer Science #11246)
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. Industrial Practice: 8th International Symposium, Isola 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part Iv (Lecture Notes in Computer Science #11247)
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. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I (Lecture Notes in Computer Science #11244)
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. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV (Lecture Notes in Computer Science #13704)
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. 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. 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 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 Consumer Psychology for Effective Health Communications: The Obesity Challenge
by Rajeev Batra Victor J. Strecher 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 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 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.