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

Trends in Functional Programming: 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers (Lecture Notes in Computer Science #10788)

This book constitutes the thoroughly refereed revised selected papers of the 18th International Symposium on Trends in Functional Programming, TFP 2017, held in Canterbury, UK, in June 2017. The 8 revised full papers were selected from 16 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area.

Trends in Functional Programming: 22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, Revised Selected Papers (Lecture Notes in Computer Science #12834)

This book constitutes revised selected papers from the 22nd International Symposium on Trends in Functional Programming, TFP 2021, which was held virtually in February 2020. The 6 full papers presented in this volume were carefully reviewed and selected from 18 submissions. They were organized in topical sections about nested parallelism, semantics, task-oriented programming and modelling, translating, proving functional programs. Chapter ‘Dataset Sensitive Autotuning of Multi-Versioned Code based on Monotonic Properties’ is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. Chapter ‘High-level Modelling for Typed Functional Programming’ is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Trends in Functional Programming: 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers (Lecture Notes in Computer Science #6546)

This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Symposium on Trends in Functional Programming, TFP 2010, held in Norman, OK, USA, in May 2010. The 13 revised full papers presented were carefully reviewed and selected from 26 submissions during two rounds of reviewing and improvement. The papers cover new ideas for refactoring, managing source-code complexity, functional language implementation, graphical languages, applications of functional programming in pure mathematics, type theory, multitasking and parallel processing, distributed systems, scientific modeling, domain specific languages, hardware design, education, and testing.

Trends in Industrial and Applied Mathematics: Proceedings of the 1st International Conference on Industrial and Applied Mathematics of the Indian Subcontinent (Applied Optimization #72)

An important objective of the study of mathematics is to analyze and visualize phenomena of nature and real world problems for its proper understanding. Gradually, it is also becoming the language of modem financial instruments. To project some of these developments, the conference was planned under the joint auspices of the Indian Society of Industrial and Applied mathematics (ISlAM) and Guru Nanak Dev University (G. N. D. U. ), Amritsar, India. Dr. Pammy Manchanda, chairperson of Mathematics Department, G. N. D. U. , was appointed the organizing secretary and an organizing committee was constituted. The Conference was scheduled in World Mathematics Year 2000 but, due one reason or the other, it could be held during 22. -25. January 2001. How­ ever, keeping in view the suggestion of the International Mathematics union, we organized two symposia, Role of Mathematics in industrial development and vice-versa and How image of Mathematics can be improved in public. These two symposia aroused great interest among the participants and almost everyone participated in the deliberations. The discussion in these two themes could be summarized in the lengthy following lines: "Tradition of working in isolation is a barrier for interaction with the workers in the other fields of science and engineering, what to talk of non-academic areas, specially the private sector of finance and industry. Therefore, it is essential to build bridges within in­ stitutions and between institutions.

Trends in Intelligent Robotics: 15th Robot World Cup and Congress, FIRA 2010, Bangalore, India, September15-19, 2010, Proceedings (Communications in Computer and Information Science #103)

th This volume contains the papers selected for the 13 FIRA Robot World Congress, held at Amrita Vishwa Vidyapeetham Bangalore, India, September 15-17, 2010. The Federation of International Robot-soccer Association (FIRA – www.fira.net) is a non-profit organization that annually organizes robotic competitions and meetings around the globe. The robot soccer competitions started in 1996, and FIRA was est- lished on, June 5, 1997. The robot soccer competitions are aimed at promoting the spirit of science and technology to the younger generation. The congress is a forum to share ideas and future directions of technologies, and to enlarge the human networks in the robotics area. The objectives of the FIRA Cup and Congress are to explore the technical dev- opments and achievements in the field of robotics, and provide participants with a robot festival including technical presentations, robot soccer competitions, and exh- its under the theme “Where Theory and Practice Meet.” FIRA India aims to propagate and popularize robotics and robotic competitions across India.

Trends in Intelligent Robotics, Automation, and Manufacturing: First International Conference, IRAM 2012, Kuala Lumpur, Malaysia, November 28-30, 2012, Proceedings (Communications in Computer and Information Science #330)

This book constitutes the proceedings of the First International Conference on Intelligent Robotics and Manufacturing, IRAM 2012, held in Kuala Lumpur, Malaysia, in November 2012. The 64 revised full papers included in this volume were carefully reviewed and selected from 102 initial submissions. The papers are organized in topical sections named: mobile robots, intelligent autonomous systems, robot vision and robust, autonomous agents, micro, meso and nano-scale automation and assembly, flexible manufacturing systems, CIM and micro-machining, and fabrication techniques.

Trends in Intelligent Systems and Computer Engineering (Lecture Notes in Electrical Engineering #6)

This volume contains contributions from participants in the 2007 International Multiconference of Engineers and Computer Scientists. It covers a variety of subjects in the frontiers of intelligent systems and computer engineering and their industrial applications. The book offers up-to-date information on advances in intelligent systems and computer engineering and also serves as an excellent reference work for researchers and graduate students working in the field.

Trends in Interactive Visualization: State-of-the-Art Survey (Advanced Information and Knowledge Processing)

II Challenges in Data Mapping Part II deals with one of the most challenging tasks in Interactive Visualization, mapping and teasing out information from large complex datasets and generating visual representations. This section consists of four chapters. Binh Pham, Alex Streit, and Ross Brown provide a comprehensive requirement analysis of information uncertainty visualizations. They examine the sources of uncertainty, review aspects of its complexity, introduce typical models of uncertainty, and analyze major issues in visualization of uncertainty, from various user and task perspectives. Alfred Inselberg examines challenges in the multivariate data analysis. He explains how relations among multiple variables can be mapped uniquely into ?-space subsets having geometrical properties and introduces Parallel Coordinates meth- ology for the unambiguous visualization and exploration of a multidimensional geometry and multivariate relations. Christiaan Gribble describes two alternative approaches to interactive particle visualization: one targeting desktop systems equipped with programmable graphics hardware and the other targeting moderately sized multicore systems using pack- based ray tracing. Finally, Christof Rezk Salama reviews state-of-the-art strategies for the assignment of visual parameters in scientific visualization systems. He explains the process of mapping abstract data values into visual based on transfer functions, clarifies the terms of pre- and postclassification, and introduces the state-of-the-art user int- faces for the design of transfer functions.

Trends in Legal Advocacy: Interviews with Prosecutors and Criminal Defense Lawyers Across the Globe, Volume One (Interviews with Global Leaders in Policing, Courts, and Prisons)

A new installment of the series of Interviews with Global Leaders in Policing, Courts, and Prisons, this book expands upon the criminal justice coverage of earlier volumes, offering the voices of 14 lawyers from 13 diverse locales, including countries in Africa, North America, South America, Europe, and the Asia-Pacific region. This book is intended for students and others focusing on law and legal studies, policing, psychology and law, criminology, justice studies, public policy, and for all those interested in the front lines of legal change around the world. Featuring versatile chapters perfect for individual use or as part of a collection, this volume offers a personal approach to the legal world for students and experienced professionals.

Trends in Legal Advocacy: Interviews with Prosecutors and Criminal Defense Lawyers Across the Globe, Volume One (Interviews with Global Leaders in Policing, Courts, and Prisons)

A new installment of the series of Interviews with Global Leaders in Policing, Courts, and Prisons, this book expands upon the criminal justice coverage of earlier volumes, offering the voices of 14 lawyers from 13 diverse locales, including countries in Africa, North America, South America, Europe, and the Asia-Pacific region. This book is intended for students and others focusing on law and legal studies, policing, psychology and law, criminology, justice studies, public policy, and for all those interested in the front lines of legal change around the world. Featuring versatile chapters perfect for individual use or as part of a collection, this volume offers a personal approach to the legal world for students and experienced professionals.

Trends in Logic: 50 Years of Studia Logica (Trends in Logic #21)

In 1953, exactly 50 years ago to this day, the first volume of Studia Logica appeared under the auspices of The Philosophical Committee of The Polish Academy of Sciences. Now, five decades later the present volume is dedicated to a celebration of this 50th Anniversary of Studia Logica. The volume features a series of papers by distinguished scholars reflecting both the aim and scope of this journal for symbolic logic.

Trends in Mathematical, Information and Data Sciences: A Tribute to Leandro Pardo (Studies in Systems, Decision and Control #445)

This book involves ideas/results from the topics of mathematical, information, and data sciences, in connection with the main research interests of Professor Pardo that can be summarized as Information Theory with Applications to Statistical Inference. This book is a tribute to Professor Leandro Pardo, who has chaired the Department of Statistics and OR of the Complutense University in Madrid, and he has been also President of the Spanish Society of Statistics and Operations Research. In this way, the contributions have been structured into three parts, which often overlap to a greater or lesser extent, namely Trends in Mathematical Sciences (Part I) Trends in Information Sciences (Part II) Trends in Data Sciences (Part III) The contributions gathered in this book have offered either new developments from a theoretical and/or computational and/or applied point of view, or reviews of recent literature of outstanding developments. They have been applied through nice examples in climatology, chemistry, economics, engineering, geology, health sciences, physics, pandemics, and socioeconomic indicators. Consequently, the intended audience of this book is mainly statisticians, mathematicians, computer scientists, and so on, but users of these disciplines as well as experts in the involved applications may certainly find this book a very interesting read.

Trends in Mathematics and Computational Intelligence (Studies in Computational Intelligence #796)

This book presents appealing contributions on computational intelligence and mathematics, connecting both areas and offering solutions to a number of interesting, real-world problems. Such problems often require novel solutions, as complexity exceeds the tractable size. At the same time, the need for good-quality realistic solutions results in models and algorithms with a good balance of resource intensiveness and model quality (accuracy). Many areas of knowledge call for hybrid solutions that combine traditional mathematical techniques and computational intelligence based on subsymbolic knowledge representation. Important research topics are focused on developing the interaction between computational intelligence and mathematics, in order to address various challenges of the current technological age. Written by influential, leading researchers, this book discusses the latest trends in hybridising mathematics and computational intelligence.

Trends in Mechanical and Biomedical Design: Select Proceedings of ICMechD 2019 (Lecture Notes in Mechanical Engineering)

This book comprises select papers presented at the International Conference on Mechanical Engineering Design (ICMechD) 2019. The volume focuses on the recent trends in design research and their applications across the mechanical and biomedical domain. The book covers topics like tribology design, mechanism and machine design, wear and surface engineering, vibration and noise engineering, biomechanics and biomedical engineering, industrial thermodynamics, and thermal engineering. Case studies citing practical challenges and their solutions using appropriate techniques and modern engineering tools are also discussed. Given its contents, this book will prove useful to students, researchers as well as practitioners.

Trends in Network and Communications: International Conferences, NeCOM 2011, WeST 2011, and WiMON 2011, Chennai, India, July 15-17, 2011, Proceedings (Communications in Computer and Information Science #197)

This book constitutes the proceedings of three International Conferences, NeCoM 2011, on Networks & Communications, WeST 2011, on Web and Semantic Technology, and WiMoN 2011, on Wireless and Mobile Networks, jointly held in Chennai, India, in July 2011. The 74 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers address all technical and practical aspects of networks and communications in wireless and mobile networks dealing with issues such as network protocols and wireless networks, data communication technologies, and network security; they present knowledge and results in theory, methodology and applications of the Web and semantic technologies; as well as current research on wireless and mobile communications, networks, protocols and on wireless and mobile security.

Trends in Network and Pervasive Computing - ARCS 2002: International Conference on Architecture of Computing Systems, Karlsruhe, Germany, April 8-12, 2002 Proceedings (Lecture Notes in Computer Science #2299)

Trends in Neural Computation (Studies in Computational Intelligence #35)

Trends in Neural Computation includes twenty chapters contributed by leading experts or formed by extending well-selected papers presented in the 2005 International Conference on Natural Computation. The book reviews the latest progress in a range of different areas of neural computation, including theoretical neural computation, biologically plausible neural modeling, computational cognitive science, artificial neural networks – architectures and learning algorithms and their applications in real-world problems.

Trends in Nonlinear Analysis

Applied mathematics is a central connecting link between scientific observations and their theoretical interpretation. Nonlinear analysis has surely contributed major developments which nowadays shape the face of applied mathematics. At the beginning of the millennium, all sciences are expanding at increased speed. Technological, ecological, economical and medical problem solving is a central issue of every modern society. Mathematical models help to expose fundamental structures hidden in these problems and serve as unifying tools to deepen our understanding. What are the new challenges applied mathematics has to face with the increased diversity of scientific problems? In which direction should the classical tools of nonlinear analysis be developed further? How do new available technologies influence the development of the field? How can problems be solved which have been beyond reach in former times? It is the aim of this book to explore new developments in the field by way of discussion of selected topics from nonlinear analysis.

Trends in Parsing Technology: Dependency Parsing, Domain Adaptation, and Deep Parsing (Text, Speech and Language Technology #43)

Computer parsing technology, which breaks down complex linguistic structures into their constituent parts, is a key research area in the automatic processing of human language. This volume is a collection of contributions from leading researchers in the field of natural language processing technology, each of whom detail their recent work which includes new techniques as well as results. The book presents an overview of the state of the art in current research into parsing technologies, focusing on three important themes: dependency parsing, domain adaptation, and deep parsing. The technology, which has a variety of practical uses, is especially concerned with the methods, tools and software that can be used to parse automatically. Applications include extracting information from free text or speech, question answering, speech recognition and comprehension, recommender systems, machine translation, and automatic summarization. New developments in the area of parsing technology are thus widely applicable, and researchers and professionals from a number of fields will find the material here required reading. As well as the other four volumes on parsing technology in this series this book has a breadth of coverage that makes it suitable both as an overview of the field for graduate students, and as a reference for established researchers in computational linguistics, artificial intelligence, computer science, language engineering, information science, and cognitive science. It will also be of interest to designers, developers, and advanced users of natural language processing systems, including applications such as spoken dialogue, text mining, multimodal human-computer interaction, and semantic web technology.

Trends in Policing: Interviews with Police Leaders Across the Globe, Volume Five (Interviews with Global Leaders in Policing, Courts, and Prisons)

Trends in Policing: Interviews with Police Leaders Across the Globe, Volume Five, is based on the premise that police officials have a wealth of experience that can make significant contributions to our understanding of the prospects and problems of policing today. Each chapter consists of an interview with a policing leader that explores their understanding of policing developments and current challenges in their countries and internationally, and examines how they evaluate or interpret these developments.

Trends in Policing: Interviews with Police Leaders Across the Globe, Volume Five (Interviews with Global Leaders in Policing, Courts, and Prisons)

Trends in Policing: Interviews with Police Leaders Across the Globe, Volume Five, is based on the premise that police officials have a wealth of experience that can make significant contributions to our understanding of the prospects and problems of policing today. Each chapter consists of an interview with a policing leader that explores their understanding of policing developments and current challenges in their countries and internationally, and examines how they evaluate or interpret these developments.

Trends in Practical Applications of Agents and Multiagent Systems: 10th International Conference on Practical Applications of Agents and Multi-Agent Systems (Advances in Intelligent and Soft Computing #157)

PAAMS, the International Conference on Practical Applications of Agents and Multi-Agent Systems is an evolution of the International Workshop on Practical Applications of Agents and Multi-Agent Systems. PAAMS is an international yearly tribune to present, to discuss, and to disseminate the latest developments and the most important outcomes related to real-world applications. It provides a unique opportunity to bring multi-disciplinary experts, academics and practitioners together to exchange their experience in the development of Agents and Multi-Agent Systems. This volume presents the papers that have been accepted for the 2012 in the workshops: Workshop on Agents for Ambient Assisted Living, Workshop on Agent-Based Solutions for Manufacturing and Supply Chain and Workshop on Agents and Multi-agent systems for Enterprise Integration. This volume presents the papers that have been accepted for the 2012 in the workshops: Workshop on Agents for Ambient Assisted Living, Workshop on Agent-Based Solutions for Manufacturing and Supply Chain and Workshop on Agents and Multi-agent systems for Enterprise Integration.

Trends in Practical Applications of Agents and Multiagent Systems: 8th International Conference on Practical Applications of Agents and Multiagent Systems (Advances in Intelligent and Soft Computing #71)

PAAMS, the International Conference on Practical Applications of Agents and Multi-Agent Systems is an international yearly forum to present, to discuss, and to disseminate the latest developments and the most important outcomes related to real-world applications. It provides a unique opportunity to bring multi-disciplinary experts, academics and practitioners together to exchange their ex-perience in the development of Agents and Multi-Agent Systems. This volume presents the papers that have been accepted for the 2010 edition in the Special Sessions and Workshops. PAAMS'10 Special Sessions and Workshops are a very useful tool in order to complement the regular program with new or emerging topics of particular interest to the participating community. Special Sessions and Workshops that emphasize on multi-disciplinary and transversal aspects, as well as cutting-edge topics were especially encouraged and welcomed.

Trends in Practical Applications of Agents and Multiagent Systems: 9th International Conference on Practical Applications of Agents and Multiagent Systems (Advances in Intelligent and Soft Computing #90)

PAAMS, the International Conference on Practical Applications of Agents and Multi-Agent Systems is an evolution of the International Workshop on Practical Applications of Agents and Multi-Agent Systems. PAAMS is an international yearly tribune to present, to discuss, and to disseminate the latest developments and the most important outcomes related to real-world applications. It provides a unique opportunity to bring multi-disciplinary experts, academics and practitioners together to exchange their experience in the development of Agents and Multi-Agent Systems. This volume presents the papers that have been accepted for the 2011 in the workshops: Workshop on Agents for Ambient Assisted Living, Workshop on Agent-Based Solutions for Manufacturing and Supply Chain, Workshop on Agents and Multi-agent systems for Enterprise Integration.

Trends in Practical Applications of Agents and Multiagent Systems: 11th International Conference on Practical Applications of Agents and Multi-Agent Systems (Advances in Intelligent Systems and Computing #221)

Research on Agents and Multi-agent Systems has matured during the last decade and many effective applications of this technology are now deployed. PAAMS provides an international forum to presents and discuss the latest scientific developments and their effective applications, to assess the impact of the approach, and to facilitate technology transfer. PAAMS started as a local initiative, but since grown to become the international yearly platform to present, to discuss, and to disseminate the latest developments and the most important outcomes related to real-world applications. It provides a unique opportunity to bring multi-disciplinary experts, academics and practitioners together to Exchange their experience in the development and deployment of Agents and Multi-agents systems. PAAMS intends to bring together researchers and developers from industry and the academic world to report on the latest scientific and technical advances on the application of multi-agent systems, to discuss and debate the major issues, and to showcase the latest systems using agent based technology. It will promote a forum for discussion on how agent based techniques, methods and tools help system designers to accomplish the mapping between available agent technology and application needs. Other stakeholders should be rewarded with a better understanding of the potential and challenges of the agent-oriented approach.This edition of PAAMS special sessions is organized by the Bioinformatics, Intelligent System and Educational Technology Research Group (http://bisite.usal.es) of the University of Salamanca. The present edition was held in Salamanca, Spain, from 22nd to 24th May 2013.