- Table View
- List View
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.
Leveraging the Wisdom of the Crowd in Software Testing
by Mukesh Sharma Rajini PadmanabanIts scale, flexibility, cost effectiveness, and fast turnaround are just a few reasons why crowdsourced testing has received so much attention lately. While there are a few online resources that explain what crowdsourced testing is all about, there's been a need for a book that covers best practices, case studies, and the future of this technique. Filling this need, Leveraging the Wisdom of the Crowd in Software Testing shows you how to leverage the wisdom of the crowd in your software testing process. Its comprehensive coverage includes the history of crowdsourcing and crowdsourced testing, implementation practices, and future trends. The book discusses best practices in implementation-explaining what, when, and how to crowdsource in a testing effort. It also includes case studies that illustrate how both product and service companies have successfully applied crowdsourcing in their testing programs. Explaining how to use the combined advantages of crowdsourcing and cloud computing for software testing, the book examines various engagement models in which you could implement crowdsourced testing. It addresses effective defect management in crowdsourced testing and considers both the business and engineering aspects of crowdsourced testing. The book explores the challenges, limitations, and situations when crowdsourced testing will not work and provides powerful best practices for mitigating the constraints and challenges, including how to build a crowdsourcing platform to test software products. Covering career opportunities for crowd testers, the book concludes by taking a look at the need to build a crowdsourced testing ecosystem, who the players of such an ecosystem would be, and who would need to champion such an effort.
Lex & Yacc, 2nd Edition
by Doug Brown John Levine Tony Mason<p>Shows programmers how to use two Unix utilities, <i>lex</i> and <i>yacc,</i> in program development. You'll find tutorial sections for novice users, reference sections for advanced users, and a detailed index. Major MS-DOS and Unix versions of <i>lex</i> and <i>yacc</i> are explored in depth. Also covers Bison and Flex.</p>
lex & yacc, 2nd Edition
by John R. Levine Tony Mason Doug BrownThis book shows you how to use two Unix utilities, lex and yacc, in program development. These tools help programmers build compilers and interpreters, but they also have a wider range of applications. The second edition contains completely revised tutorial sections for novice users and reference sections for advanced users. This edition is twice the size of the first and has an expanded index. The following material has been added: *Each utility is explained in a chapter that covers basic usage and simple, stand-alone applications *How to implement a full SQL grammar, with full sample code *Major MS-DOS and Unix versions of lex and yacc are explored in depth, including AT&T lex and yacc , Berkeley yacc, Berkeley/GNU Flex, GNU Bison, MKS lex and yacc, and Abraxas PCYACC.
A Lexical Semantic Study of Chinese Opposites (Frontiers in Chinese Linguistics #1)
by Jing DingThis book studies Chinese opposites. It uses a large corpus (GigaWord) to trace the behavior of opposite pairings' co-occurrence, focusing on the following questions: In what types of constructions, from window-size restricted and bi-syllabic to quad-syllabic, will the opposite pairings appear together? And, on a larger scale, i. e. in constrained-free contexts, in which syntactic frames will the opposite pairings appear together? The data suggests aspects that have been ignored by previous theoretical studies, such as the ordering rules in co-occurrent pairings, the differences between the three main sub-types of opposites (that is, antonym, complementary, converse) in discourse function distributions. The author also considers the features of this Chinese study and compares it to similar studies of English and Japanese. In all, it offers a practical view of how opposites are used in a certain language as a response to the puzzles lingering in theoretical fields. This study appeals to linguists, computational linguists and language-lovers. With numerous tables, illustrations and examples, it is easy to read but also encourages readers to link their personal instincts with the results from a large corpus to experience the beauty of language as a shared human resource.
Liability for Crimes Involving Artificial Intelligence Systems
by Gabriel HallevyThe book develops a general legal theory concerning the liability for offenses involving artificial intelligence systems. The involvement of the artificial intelligence systems in these offenses may be as perpetrators, accomplices or mere instruments. The general legal theory proposed in this book is based on the current criminal law in most modern legal systems. In most modern countries, unmanned vehicles, sophisticated surgical systems, industrial computing systems, trading algorithms and other artificial intelligence systems are commonly used for both industrial and personal purposes. The question of legal liability arises when something goes wrong, e. g. the unmanned vehicle is involved in a car accident, the surgical system is involved in a surgical error or the trading algorithm is involved in fraud, etc. Who is to be held liable for these offenses: the manufacturer, the programmer, the user, or, perhaps, the artificial intelligence system itself? The concept of liability for crimes involving artificial intelligence systems has not yet been widely researched. Advanced technologies are forcing society to face new challenges, both technical and legal. The idea of liability in the specific context of artificial intelligence systems is one such challenge that should be thoroughly explored.
The Liability of Internet Intermediaries
by Jaani Riordan<P>There is no book dedicated to the doctrines and remedies which regulate the legal liability of internet intermediaries.<P> This is surprising, given that we live in an era in which almost all communications and transactions rely upon services provided or facilitated by such intermediaries.
Liberalizations in Network Industries
by Antonio Nicita Filippo BellocThis book explores the wave of liberalization reforms experienced by OECD network industries. Focusing on the telecommunications sector, the authors analyze the latest data available on liberalization and privatization, and following a political economics approach, they integrate standard economic analysis with the most recent studies of the political determinants of market-oriented policies. The book presents new econometric evidence on several policy issues, including institutional complementarities dynamics, the problem of policy sequencing and the role of government political ideology. The detailed and comprehensive discussion offers insights into how so many countries adopting similar reforms actually differ in their policy bundling, intensity and implementation of liberalization and privatization. "
Liberty's Crusade
by Jeff GrubbFar in the future, 60,000 light-years from Earth, a loose confederacy of Terran exiles is locked in battle with the enigmatic Protoss and the ruthless Zerg Swarm. Each species struggles to ensure its own survival among the stars in a war that will herald the beginning of mankind's greatest chapter -- or foretell its violent, bloody end. Danny Liberty was a good reporter...too good. When his investigations struck too close to the heart of the corrupt Terran Confederacy, he faced a simple choice: continue his current series of exposés, or take a hazardous new assignment covering the Marines on the front lines of the Koprulu Sector. It didn't take him long to decide.... Behind the attacks of the Zerg and the Protoss lies the story of a lifetime, but every piece of information blurs the mystery further. Thrown into the middle of a war where the outcome will determine mankind's very survival, the only thing that Danny Liberty knows for sure is that the only person he can trust to keep him alive is himself. Liberty's Crusade The first in an epic new series of space warfare novels set in the world of the bestselling computer game!
LibGDX Cross-Platform Development Blueprints
by Indraneel PotnisDevelop four exciting, cross-platform games using LibGDX with increasing complexity and understand its key concepts About This Book * Learn how to make a complete game from scratch using the LibGDX framework * Discover different aspects of game development, optimize them, and implement them in your games * This is a comprehensive guide packed with concepts that are covered in an incremental manner Who This Book Is For If you have a good grip of Java and want to explore its capabilities in game development, this book is for you. Basic knowledge of LibGDX is preferred, but is not mandatory. What You Will Learn * Set up the development environment and implement a very simple game type * Implement new features such as motion, sounds, and randomness by implementing a new game * Add music, physics, and menus to your games * Start the creation of a platformer game and apply optimisation techniques * Perform collision detection and manage the game assets * Render game levels designed in the tool and add enemies * Create multiple levels, enemy motion, and level transitions in the game In Detail LibGDX is a very popular open source game framework for the Java programming language. It features deployment to multiple platforms with the same code base and it is very fast. Its vast amount of features makes it very easy to learn and master game development without knowing the low-level details. LibGDX Cross-platform Development Blueprints teaches you the concepts of game development using the LibGDX framework as you make four complete games. You'll start with setting up the environment, then move on to advanced concepts such as collision detection, memory optimization, and more. The first game is Monty Hall, where you'll learn how to set up LibGDX and use simple graphics. Then, you'll get to know more about concepts such as animation, game sounds, and scoring by developing a Whack a Mole game. This will set up the base for a Bounce the Ball game, where you'll get to grips with advanced concepts such as movements and collisions based on physics. Finally, the Dungeon Bob game will help you understand player motion. This guide gives you everything you need to master game development with LibGDX. Style and approach This is an easy-to-understand guide, packed with examples and illustrations along the way. Complex areas are broken down into bite-size chunks and are explained in detail. The difficulty levels of games are built throughout the chapters.
Libgdx Cross-platform Game Development Cookbook
by David Saltares Marquez Alberto Cejas SanchezIf you want to make cross-platform games without the hassle and dangers of writing platform-specific code, or If you are a game programmer who may have some experience with Java and you want to learn everything you need to know about Libgdx to produce awesome work, this is the book for you. To take full advantage of the recipes in this book, you are expected to be familiar with java with good game programming knowledge.
LibGDX Game Development By Example
by James CookLearn how to create your very own game using the libGDX cross-platform framework About This Book * Learn the core features of libGDX to develop your own exciting games * Explore game development concepts through example projects * Target games for major app stores quickly and easily with libGDX's cross-platform functionality Who This Book Is For This book is intended for those who wish to learn the concepts of game development using libGDX. An understanding of Java and other programming languages would definitely be helpful, although it is not a must. What You Will Learn * Create and configure a libGDX project to get started with making games * Get to grips with a simple game loop that will drive your games * Manage game assets to reduce code duplication and speed up development * Pack game assets together into single assets to increase your game's performance * Display textures on the screen and manipulate them with play input * Play various types of sounds that a game can generate * Design and modify a game user interface with libGDX's built-in tools * Develop a game that will run across various platforms In Detail LibGDX is a cross-platform game development framework in Java that makes game programming easier and fun to do. It currently supports Windows, Linux, Mac OS X, Android, and HTML5. With a vast feature set on offer, there isn't a game that can't be made using libGDX. It allows you to write your code once and deploy it to multiple platforms without modification. With cross-platform delivery at its heart, a game can be made to target the major markets quickly and cost effectively. This book starts with a simple game through which the game update cycle is explained, including loading textures onto your screen, moving them around, and responding to input. From there you'll move on to more advanced concepts such as creating a formal game structure with a menu screen, adding a game screen and loading screen, sprite sheets, and animations. You'll explore how to introduce a font to optimize text, and with the help of a game that you'll create, you'll familiarise yourself with the 2D tile map API to create worlds that scroll as the characters move. In the final sample game of the book, you'll implement a basic version of an Angry Birds clone, which will allow you to use the physic library box2D that libGDX provides access to. An overview of exporting games to different platforms is then provided. Finally, you will discover how to integrate third-party services into games and take a sneak peak at the Social Media API to get a basic understanding of how it fits into the libGDX ecosystem. Style and approach With this book you'll learn game development with libGDX through example game projects. You'll finish the book with a thorough understanding of libGDX game development, along with completed games that you'll have built yourself.
LibGDX Game Development Essentials
by Juwal BoseIf you are a Java developer who wants to learn LibGDX and create great games, then this book is for you. To take full advantage of this book, you are expected to be familiar with Java or any other object-oriented language. Experience of using Eclipse will be very useful.