Browse Results

Select your format based upon: 1) how you want to read your book, and 2) compatibility with your reading tool. To learn more about using Bookshare with your device, visit the Help Center.

Here is an overview of the specialized formats that Bookshare offers its members with links that go to the Help Center for more information.

• Bookshare Web Reader - A customized reading tool for Bookshare members offering all the features of DAISY with a single click of the "Read Now" link.
• DAISY (Digital Accessible Information System) - A digital book file format. DAISY books from Bookshare are DAISY 3.0 text files that work with just about every type of access technology that reads text. Books that contain images will have the download option of ‘DAISY Text with Images’.
• BRF (Braille Refreshable Format) - Digital Braille for use with refreshable Braille devices and Braille embossers.
• MP3 (MPEG audio layer 3) - Provides audio only with no text. These books are created with a text-to-speech engine and spoken by Kendra, a high quality synthetic voice from Ivona. Any device that supports MP3 playback is compatible.
• DAISY Audio - Similar to the DAISY option above; however, this option uses MP3 files created with our text-to-speech engine that utilizes Ivonas Kendra voice. This format will work with Daisy Audio compatible players such as Victor Reader Stream and Read2Go.
• EPUB - A standard e-book format that can be read on many tools, such as iBooks, Readium or others.
• Word - Accessible Word output, which can be unzipped and opened in any tool that allows .docx files

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)

This 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)

This 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. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II (Lecture Notes in Computer Science #8803)

The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014. The total of 67 full papers was carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: evolving critical systems; rigorous engineering of autonomic ensembles; automata learning; formal methods and analysis in software product line engineering; model-based code generators and compilers; engineering virtualized systems; statistical model checking; risk-based testing; medical cyber-physical systems; scientific workflows; evaluation and reproducibility of program analysis; processes and data integration in the networked healthcare; semantic heterogeneity in the formal development of complex systems. In addition, part I contains a tutorial on automata learning in practice; as well as the preliminary manifesto to the LNCS Transactions on the Foundations for Mastering Change with several position papers. Part II contains information on the industrial track and the doctoral symposium and poster session.

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I (Lecture Notes in Computer Science #8802)

The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014. The total of 67 full papers was carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: evolving critical systems; rigorous engineering of autonomic ensembles; automata learning; formal methods and analysis in software product line engineering; model-based code generators and compilers; engineering virtualized systems; statistical model checking; risk-based testing; medical cyber-physical systems; scientific workflows; evaluation and reproducibility of program analysis; processes and data integration in the networked healthcare; semantic heterogeneity in the formal development of complex systems. In addition, part I contains a tutorial on automata learning in practice; as well as the preliminary manifesto to the LNCS Transactions on the Foundations for Mastering Change with several position papers. Part II contains information on the industrial track and the doctoral symposium and poster session.

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)

The 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. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I (Lecture Notes in Computer Science #13701)

This 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 Artificial Intelligence in Engineering, Management, and Safety of Infrastructure

The 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 Artificial Intelligence in Engineering, Management, and Safety of Infrastructure

The 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

This 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 Consumer Psychology for Effective Health Communications: The Obesity Challenge

This 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)

Leveraging 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 Digital Tools to Assess Student Learning (Student Assessment for Educators)

Leveraging 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 Emotional and Artificial Intelligence for Organisational Performance

This 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 II (Lecture Notes in Computer Science #14458)

This 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 I (Lecture Notes in Computer Science #14457)

This 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 Knowledge for Innovation in Collaborative Networks: 10th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2009, Thessaloniki, Greece, October 7-9, 2009, Proceedings (IFIP Advances in Information and Communication Technology #307)

Collaborative Networks A Tool for Promoting Co-creation and Innovation The collaborative networks paradigm offers powerful socio-organizational mec- nisms, supported by advanced information and communication technologies for p- moting innovation. This, in turn, leads to new products and services, growth of better customer relationships, establishing better project and process management, and building higher-performing consortia. By putting diverse entities that bring different perspectives, competencies, practices, and cultures, to work together, collaborative networks develop the right environment for the emergence of new ideas and more efficient, yet practical, solutions. This aspect is particularly important for small and medium enterprises which typically lack critical mass and can greatly benefit from participation in co-innovation networks. However, larger organizations also benefit from the challenges and the diversity found in collaborative ecosystems. In terms of research, in addition to the trend identified in previous years toward a sounder consolidation of the theoretical foundation in this discipline, there is now a direction of developments more focused on modeling and reasoning about new c- laboration patterns and their contribution to value creation. “Soft issues,” including social capital, cultural aspects, ethics and value systems, trust, emotions, behavior, etc. continue to deserve particular attention in terms of modeling and reasoning. Exploi- tion of new application domains such as health care, education, and active aging for retired professionals also help identify new research challenges, both in terms of m- eling and ICT support development.

Leveraging Mobile Media: Cross-Media Strategy and Innovation Policy for Mobile Media Communication (Information Age Economy)

Mobile communications and next generation wireless networks emerge as new distribution channels for the media. This development offers exciting new opportunities for media companies: the mobile communication system creates new usage contexts for media content and services; the social use of mobile communications suggests that identity representation in social networks, impulsive access to trusted media brands, and micro-coordination emerge as new sources of value creation in the media industries. In the light of this background, this book takes two different viewpoints on the development of mobile media: from a competitive strategy point of view it analyzes the extension of cross-media strategies and the emergence of cross-network strategies; from a public policy point of view it develops demands and requirements for an innovation policy that fosters innovation in mobile media markets.

Leveraging the Potential of Artificial Intelligence in the Real World: Smart Cities and Healthcare

Artificial Intelligence (AI) is reshaping our urban landscapes and healthcare systems. From enhancing efficiency in smart cities to delivering personalized healthcare solutions, AI holds the key to a transformative future.Comprising seven insightful chapters, this book offers a comprehensive overview of key topics shaping the future of healthcare systems and smart cities. This book is a combination of the smart healthcare system and the intelligent transportation system based on AI. From telemedicine’s global accessibility to the application of data-mining techniques in predicting cardiac diseases and detecting anti-malaria drug resistance, each chapter presents cutting-edge research and practical applications.Furthermore, this book explores the integration of advanced AI technologies into healthcare systems, paving the way for cost-effective solutions and innovative approaches. It also delves into the challenges associated with analyzing electroencephalogram data and predicting anxiety and depression among elderly patients, offering promising solutions and insights.This book discusses the realms of smart cities and healthcare, where AI promises to revolutionize efficiency, sustainability, and personalized care delivery. Researchers/scholars and graduate students at universities/research institutes and research engineers in computer science, transportation, and engineering industries will find this book beneficial.

Leveraging the Potential of Artificial Intelligence in the Real World: Smart Cities and Healthcare

Artificial Intelligence (AI) is reshaping our urban landscapes and healthcare systems. From enhancing efficiency in smart cities to delivering personalized healthcare solutions, AI holds the key to a transformative future.Comprising seven insightful chapters, this book offers a comprehensive overview of key topics shaping the future of healthcare systems and smart cities. This book is a combination of the smart healthcare system and the intelligent transportation system based on AI. From telemedicine’s global accessibility to the application of data-mining techniques in predicting cardiac diseases and detecting anti-malaria drug resistance, each chapter presents cutting-edge research and practical applications.Furthermore, this book explores the integration of advanced AI technologies into healthcare systems, paving the way for cost-effective solutions and innovative approaches. It also delves into the challenges associated with analyzing electroencephalogram data and predicting anxiety and depression among elderly patients, offering promising solutions and insights.This book discusses the realms of smart cities and healthcare, where AI promises to revolutionize efficiency, sustainability, and personalized care delivery. Researchers/scholars and graduate students at universities/research institutes and research engineers in computer science, transportation, and engineering industries will find this book beneficial.

Leveraging the Semantics of Topic Maps: Second International Conference on Topic Maps Research and Applications, TMRA 2006, Leipzig, Germany, October 11-12, 2006, Revised Selected papers (Lecture Notes in Computer Science #4438)

This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Topic Map Research and Applications, TMRA 2006, held in Leipzig, Germany in October 2006. It covers headed creation and visualization of topic maps, applied topic maps in industry, administration and sciences, standards related research, leveraging the semantics, technical issues of topic mapping, and social software with topic maps.

Leveraging the Wisdom of the Crowd in Software Testing

Its 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.F

Leveraging WMI Scripting: Using Windows Management Instrumentation to Solve Windows Management Problems (HP Technologies)

Leveraging WMI Scripting is the second in a series of two books dedicated to WMI. Understanding WMI Scripting (ISBN 1-55558-266-4), Lissoir's first book, explained to Windows Administrators the various WMI scripting techniques and manageability capabilities of this new Windows Server 2003 platform. Illustrated with hundreds of scripts and detailed tables, the book explained the underlying technology and how WMI can be put to work. Lissoir focused not only on WMI programming aspects for developers but on how administrators can use what is available in Windows for their admin work. If you've had significant WMI experience, or have read Lissoir's first book, you are ready to apply your WMI knowledge to any technology that interfaces with WMI. Leveraging WMI Scripting continues the presentation of WMI begun in Understanding WMI Scripting. In this new volume, we dive deeper into WMI to understand the manageable entities of the Windows world. Lissoir offers a structured description of the most important WMI providers available from Windows NT 4.0 to Windows Server 2003 (including Windows 2000 and Windows XP). This covers the WMI management of the Windows Registry, Active Directory, SNMP, the Resultant Set Of Policies (RSOP), and the Volume Shadow Service to name a few. This discussion leverages the information on building real-world scripted management solutions presented in Lissoir's first book. Like the first volume, Leveraging WMI Scripting is based on an important concept: "learning by practice." Leveraging WMI Scripting addresses the most advanced topics so that you can exploit the features of various WMI interfaces to manage the components in a real-world environment. WMI is a critical topic under Windows Server 2003, so this book provides real added value to every Windows administrator.· Shows you how to extract data from applications, understand what's really happening on your servers, and get real work done · Provides hundreds of usable scripts to use in everyday solutions for network performance and security· Offers practical and straightforward advice that any enterprise Windows administrator can learn from

Lexical Ambiguity Resolution: Perspective from Psycholinguistics, Neuropsychology and Artificial Intelligence

The most frequently used words in English are highly ambiguous; for example, Webster's Ninth New Collegiate Dictionary lists 94 meanings for the word "run" as a verb alone. Yet people rarely notice this ambiguity. Solving this puzzle has commanded the efforts of cognitive scientists for many years. The solution most often identified is "context": we use the context of utterance to determine the proper meanings of words and sentences. The problem then becomes specifying the nature of context and how it interacts with the rest of an understanding system. The difficulty becomes especially apparent in the attempt to write a computer program to understand natural language. Lexical ambiguity resolution (LAR), then, is one of the central problems in natural language and computational semantics research. A collection of the best research on LAR available, this volume offers eighteen original papers by leading scientists. Part I, Computer Models, describes nine attempts to discover the processes necessary for disambiguation by implementing programs to do the job. Part II, Empirical Studies, goes into the laboratory setting to examine the nature of the human disambiguation mechanism and the structure of ambiguity itself. A primary goal of this volume is to propose a cognitive science perspective arising out of the conjunction of work and approaches from neuropsychology, psycholinguistics, and artificial intelligence--thereby encouraging a closer cooperation and collaboration among these fields. Lexical Ambiguity Resolution is a valuable and accessible source book for students and cognitive scientists in AI, psycholinguistics, neuropsychology, or theoretical linguistics.

Lexical Semantics and Knowledge Representation in Multilingual Text Generation (The Springer International Series in Engineering and Computer Science #492)

In knowledge-based natural language generation, issues of formal knowledge representation meet with the linguistic problems of choosing the most appropriate verbalization in a particular situation of utterance. Lexical Semantics and Knowledge Representation in Multilingual Text Generation presents a new approach to systematically linking the realms of lexical semantics and knowledge represented in a description logic. For language generation from such abstract representations, lexicalization is taken as the central step: when choosing words that cover the various parts of the content representation, the principal decisions on conveying the intended meaning are made. A preference mechanism is used to construct the utterance that is best tailored to parameters representing the context. Lexical Semantics and Knowledge Representation in Multilingual Text Generation develops the means for systematically deriving a set of paraphrases from the same underlying representation with the emphasis on events and verb meaning. Furthermore, the same mapping mechanism is used to achieve multilingual generation: English and German output are produced in parallel, on the basis of an adequate division between language-neutral and language-specific (lexical and grammatical) knowledge. Lexical Semantics and Knowledge Representation in Multilingual Text Generation provides detailed insights into designing the representations and organizing the generation process. Readers with a background in artificial intelligence, cognitive science, knowledge representation, linguistics, or natural language processing will find a model of language production that can be adapted to a variety of purposes.

Lexikalisch verteiltes Text-Parsing: Eine objektorientierte Spezifikation eines Wortexpertensystems auf der Grundlage des Aktorenmodells (Informatik-Fachberichte #243)