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

Accelerated Lattice Boltzmann Model for Colloidal Suspensions: Rheology and Interface Morphology

Colloids are ubiquitous in the food, medical, cosmetics, polymers, water purification, and pharmaceutical industries. The thermal, mechanical, and storage properties of colloids are highly dependent on their interface morphology and their rheological behavior. Numerical methods provide a convenient and reliable tool for the study of colloids.Accelerated Lattice Boltzmann Model for Colloidal Suspensions introduce the main building-blocks for an improved lattice Boltzmann–based numerical tool designed for the study of colloidal rheology and interface morphology. This book also covers the migrating multi-block used to simulate single component, multi-component, multiphase, and single component multiphase flows and their validation by experimental, numerical, and analytical solutions. Among other topics discussed are the hybrid lattice Boltzmann method (LBM) for surfactant-covered droplets; biological suspensions such as blood; used in conjunction with the suppression of coalescence for investigating the rheology of colloids and microvasculature blood flow. The presented LBM model provides a flexible numerical platform consisting of various modules that could be used separately or in combination for the study of a variety of colloids and biological flow deformation problems.

Accelerated GWT: Building Enterprise Google Web Toolkit Applications

The Google Web Toolkit (GWT) is a key member of Google's popular array of software development solutions, and is easily the most popular Ajax framework solution for Java developers. Accelerated Google Web Toolkit offers a fast paced yet thorough introduction to GWT, offering serious developers not only key insights into the framework's capabilities, but also into how readers can most effectively incorporate GWT into their daily development routine.

Accelerated C# 2010

C# 2010 offers powerful new features, and this book is the fastest path to mastering them—and the rest of C#—for both experienced C# programmers moving to C# 2010 and programmers moving to C# from another object-oriented language. Many books introduce C#, but very few also explain how to use it optimally with the .NET Common Language Runtime (CLR). This book teaches both core C# language concepts and how to wisely employ C# idioms and object-oriented design patterns to exploit the power of C# and the CLR. This book is both a rapid tutorial and a permanent reference. You'll quickly master C# syntax while learning how the CLR simplifies many programming tasks. You’ll also learn best practices that ensure your code will be efficient, reusable, and robust. Why spend months or years discovering the best ways to design and code C# when this book will show you how to do things the right way from the start? Comprehensively and concisely explains both C# 2008 and C# 2010 features Focuses on the language itself and on how to use C# 2010 proficiently for all .NET application development Concentrates on how C# features work and how to best use them for robust, high-performance code

Accelerated C# 2008

Accelerated C# 3.0 is the fastest path to C# mastery. All C# programmers need to know and understand how C# really works but very few books address this. No other book covers the subject in the depth that this one does. It teaches both core C# language concepts and how to use them in high-performance code. All programmers moving to C# from any language or moving up to C# 3.0 from C# 2005 will find this book well worth buying, reading, and using as a reference.

Academic Bildung in Net-based Higher Education: Moving beyond learning (Routledge Research in Higher Education)

The explosive emergence of net-based learning in higher education brings with it new possibilities and constraints in teaching and learning environments.This edited collection considers how the concept of Academic Bildung - a term suggesting a personal educational process beyond actual educational learning - can be applied to net-based higher education. The book is drawing on Scandinavian research to address the topic from both a theoretical and practical standpoint.Chapters explore the facilitation of online courses and argue how and why universities should involve dimensions of Academic Bildung on both a strategic and technological pedagogical content level. The book is structured in three parts: Part I frames the current state of net-based learning and introduces Bildung as a concept; Part II contains a set of four case studies in Norway, Sweden and Denmark, also including a fifth study that looks at Scandinavian approaches to teaching and learning in comparison with data from the USA, the UK, Australia and Canada; Part III provides a synthesis of theories and cases to examine whether a Scandinavian orientation can be discerned. Contributions suggest that in order to address one of the fundamental functions of higher education, the ability to produce new knowledge, the Academic Bildung of the students has to be in focus. Grounded in theoretical and empirical discussion, this book will appeal to researchers and academics in the field of higher education as well as personnel who work with teaching and learning with technology, and academics interested in the question of Academic Bildung.

Academic Bildung in Net-based Higher Education: Moving beyond learning (Routledge Research in Higher Education)

The explosive emergence of net-based learning in higher education brings with it new possibilities and constraints in teaching and learning environments.This edited collection considers how the concept of Academic Bildung - a term suggesting a personal educational process beyond actual educational learning - can be applied to net-based higher education. The book is drawing on Scandinavian research to address the topic from both a theoretical and practical standpoint.Chapters explore the facilitation of online courses and argue how and why universities should involve dimensions of Academic Bildung on both a strategic and technological pedagogical content level. The book is structured in three parts: Part I frames the current state of net-based learning and introduces Bildung as a concept; Part II contains a set of four case studies in Norway, Sweden and Denmark, also including a fifth study that looks at Scandinavian approaches to teaching and learning in comparison with data from the USA, the UK, Australia and Canada; Part III provides a synthesis of theories and cases to examine whether a Scandinavian orientation can be discerned. Contributions suggest that in order to address one of the fundamental functions of higher education, the ability to produce new knowledge, the Academic Bildung of the students has to be in focus. Grounded in theoretical and empirical discussion, this book will appeal to researchers and academics in the field of higher education as well as personnel who work with teaching and learning with technology, and academics interested in the question of Academic Bildung.

ABZ 2014: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings (Communications in Computer and Information Science #433)

This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014. The 11 papers presented were carefully reviewed and selected from numerous submissions. They use different formal techniques: B, ASM, Fiacre. They also propose different kinds of verification such as proof, model checking, test generation, run-time monitoring, and simulation.

Abtastregelung (PDF)

Abtastregelung

Abstrakte virtuelle Illusionen für die Schlaganfalltherapie: Wie mit Hilfe virtueller Umgebungen motorisches Lernen gefördert werden kann

Thomas Schüler stellt ein Therapiesystem vor, das abstrakte visuelle Effekte als Rückmeldung auf Bewegungen anzeigt. Einem selbstgesteuerten und explorierenden Ansatz folgend lernen Schlaganfallpatienten mit diesem System motorische Fähigkeiten mit Bezug auf die visuelle Wahrnehmung, wodurch die Lernprozesse gefördert werden. Der Autor erläutert die Hintergründe und Hypothesen, die Entwicklung des AVUS-Therapiesystems sowie eine prospektive empirische Untersuchung im klinischen Kontext und zeigt, wie virtuelle Umgebungen die motorische Rehabilitation nach einem Schlaganfall unterstützen können, wenn sie durch natürliche Bewegungen gesteuert werden.

Abstrakte Modellierung digitaler Schaltungen: VHDL vom funktionalen Modell bis zur Gatterebene

Kommentare von erfahrenen Hardwareentwicklern: "Ich kenne kein Buch, daß die Modellierung von Hardware so grundlegend behandelt. Alle mir bekannten Bücher beschreiben die Sprache VHDL und bringen viele Beispiele, gehen aber nicht darauf ein, wie man entwickelt, was beim Umgang mit VHDL und Synthese alles passieren kann und welche Gedanken man sich machen sollte, bevor man beginnt, den Code zu hacken. Endlich einmal alles in einem Buch!" "Das Buch gibt dem unerfahrenen Designer den richtigen Einstieg und dem erfahrenen den richtigen Umstieg. Es ist unglaublich, wie oft die Frage 'Was ist Abstract Modeling` gestellt wird. Hier ist die Antwort - theoretisch aufgearbeitet und mit praktischen Beispielen untermauert."

Abstractions and Embodiments: New Histories of Computing and Society (Studies in Computing and Culture)

Cutting-edge historians explore ideas, communities, and technologies around modern computing to explore how computers mediate social relations.Computers have been framed both as a mirror for the human mind and as an irreducible other that humanness is defined against, depending on different historical definitions of "humanness." They can serve both liberation and control because some people's freedom has historically been predicated on controlling others. Historians of computing return again and again to these contradictions, as they often reveal deeper structures.Using twin frameworks of abstraction and embodiment, a reformulation of the old mind-body dichotomy, this anthology examines how social relations are enacted in and through computing. The authors examining "Abstraction" revisit central concepts in computing, including "algorithm," "program," "clone," and "risk." In doing so, they demonstrate how the meanings of these terms reflect power relations and social identities. The section on "Embodiments" focuses on sensory aspects of using computers as well as the ways in which gender, race, and other identities have shaped the opportunities and embodied experiences of computer workers and users. Offering a rich and diverse set of studies in new areas, the book explores such disparate themes as disability, the influence of the punk movement, working mothers as technical innovators, and gaming behind the Iron Curtain. Abstractions and Embodiments reimagines computing history by questioning canonical interpretations, foregrounding new actors and contexts, and highlighting neglected aspects of computing as an embodied experience. It makes the profound case that both technology and the body are culturally shaped and that there can be no clear distinction between social, intellectual, and technical aspects of computing. Contributors: Janet Abbate, Marc Aidinoff, Troy Kaighin Astarte, Ekaterina Babinsteva, André Brock, Maarten Bullynck, Jiahui Chan, Gerardo Con Diaz, Liesbeth De Mol, Stephanie Dick, Kelcey Gibbons, Elyse Graham, Michael J. Halvorson, Mar Hicks, Scott Kushner, Xiaochang Li, Zachary Loeb, Lisa Nakamura, Tiffany Nichols, Laine Nooney, Elizabeth Petrick, Cierra Robson, Hallam Stevens, Jaroslav Švelch

Abstractions and Embodiments: New Histories of Computing and Society (Studies in Computing and Culture)

Cutting-edge historians explore ideas, communities, and technologies around modern computing to explore how computers mediate social relations.Computers have been framed both as a mirror for the human mind and as an irreducible other that humanness is defined against, depending on different historical definitions of "humanness." They can serve both liberation and control because some people's freedom has historically been predicated on controlling others. Historians of computing return again and again to these contradictions, as they often reveal deeper structures.Using twin frameworks of abstraction and embodiment, a reformulation of the old mind-body dichotomy, this anthology examines how social relations are enacted in and through computing. The authors examining "Abstraction" revisit central concepts in computing, including "algorithm," "program," "clone," and "risk." In doing so, they demonstrate how the meanings of these terms reflect power relations and social identities. The section on "Embodiments" focuses on sensory aspects of using computers as well as the ways in which gender, race, and other identities have shaped the opportunities and embodied experiences of computer workers and users. Offering a rich and diverse set of studies in new areas, the book explores such disparate themes as disability, the influence of the punk movement, working mothers as technical innovators, and gaming behind the Iron Curtain. Abstractions and Embodiments reimagines computing history by questioning canonical interpretations, foregrounding new actors and contexts, and highlighting neglected aspects of computing as an embodied experience. It makes the profound case that both technology and the body are culturally shaped and that there can be no clear distinction between social, intellectual, and technical aspects of computing. Contributors: Janet Abbate, Marc Aidinoff, Troy Kaighin Astarte, Ekaterina Babinsteva, André Brock, Maarten Bullynck, Jiahui Chan, Gerardo Con Diaz, Liesbeth De Mol, Stephanie Dick, Kelcey Gibbons, Elyse Graham, Michael J. Halvorson, Mar Hicks, Scott Kushner, Xiaochang Li, Zachary Loeb, Lisa Nakamura, Tiffany Nichols, Laine Nooney, Elizabeth Petrick, Cierra Robson, Hallam Stevens, Jaroslav Švelch

Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings (Lecture Notes in Computer Science #1864)

This volume contains the proceedings of SARA 2000, the fourth Symposium on Abstraction, Reformulations, and Approximation (SARA). The conference was held at Horseshoe Bay Resort and Conference Club, Lake LBJ, Texas, July 26– 29, 2000, just prior to the AAAI 2000 conference in Austin. Previous SARA conferences took place at Jackson Hole in Wyoming (1994), Ville d’Est´erel in Qu´ebec (1995), and Asilomar in California (1998). The symposium grewout of a series of workshops on abstraction, approximation, and reformulation that had taken place alongside AAAI since 1989. This year’s symposium was actually scheduled to take place at Lago Vista Clubs & Resort on Lake Travis but, due to the resort’s failure to pay taxes, the conference had to be moved late in the day. This mischance engendered eleventh-hour reformulations, abstractions, and resource re-allocations of its own. Such are the perils of organizing a conference. This is the ?rst SARA for which the proceedings have been published in the LNAI series of Springer-Verlag. We hope that this is a re?ection of the increased maturity of the ?eld and that the increased visibility brought by the publication of this volume will help the discipline grow even further. Abstractions, reformulations, and approximations (AR&A) have found - plications in a variety of disciplines and problems including automatic progr- ming, constraint satisfaction, design, diagnosis, machine learning, planning, qu- itative reasoning, scheduling, resource allocation, and theorem proving. The - pers in this volume capture a cross-section of these application domains.

Abstraction, Reformulation, and Approximation: 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings (Lecture Notes in Computer Science #2371)

It has been recognized since the inception of Artificial Intelligence (AI) that abstractions, problem reformulations, and approximations (AR&A) are central to human common sense reasoning and problem solving and to the ability of systems to reason effectively in complex domains. AR&A techniques have been used to solve a variety of tasks, including automatic programming, constraint satisfaction, design, diagnosis, machine learning, search, planning, reasoning, game playing, scheduling, and theorem proving. The primary purpose of AR&A techniques in such settings is to overcome computational intractability. In addition, AR&A techniques are useful for accelerating learning and for summarizing sets of solutions. This volume contains the proceedings of SARA 2002, the fifth Symposium on Abstraction, Reformulation, and Approximation, held at Kananaskis Mountain Lodge, Kananaskis Village, Alberta (Canada), August 2 4, 2002. The SARA series is the continuation of two separate threads of workshops: AAAI workshops in 1990 and 1992, and an ad hoc series beginning with the "Knowledge Compilation" workshop in 1986 and the "Change of Representation and Inductive Bias" workshop in 1988 with followup workshops in 1990 and 1992. The two workshop series merged in 1994 to form the first SARA. Subsequent SARAs were held in 1995, 1998, and 2000.

Abstraction, Reformulation, and Approximation: 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings (Lecture Notes in Computer Science #4612)

This is a subject that is as hot as a snake in a wagon rut, offering as it does huge potentiality in the field of computer programming. That’s why this book, which constitutes the refereed proceedings of the 7th International Symposium on Abstraction, Reformulation, and Approximation, held in Whistler, Canada, in July 2007, will undoubtedly prove so popular among researchers and professionals in relevant fields. 26 revised full papers are presented, together with the abstracts of 3 invited papers and 13 research summaries.

Abstraction, Reformulation and Approximation: 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings (Lecture Notes in Computer Science #3607)

Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)

This book summarizes recent research on abstraction techniques for model checking large digital system. Considering the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs. The suite of algorithms presented here represents significant improvement over prior art; some have already been adopted by the EDA companies in their commercial/in-house verification tools.

Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)

Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm . Presents results of a large and integrated body of research in the area of 'quantitative' program logics.

Abstraction in Artificial Intelligence and Complex Systems

Abstraction is a fundamental mechanism underlying both human and artificial perception, representation of knowledge, reasoning and learning. This mechanism plays a crucial role in many disciplines, notably Computer Programming, Natural and Artificial Vision, Complex Systems, Artificial Intelligence and Machine Learning, Art, and Cognitive Sciences. This book first provides the reader with an overview of the notions of abstraction proposed in various disciplines by comparing both commonalities and differences. After discussing the characterizing properties of abstraction, a formal model, the KRA model, is presented to capture them. This model makes the notion of abstraction easily applicable by means of the introduction of a set of abstraction operators and abstraction patterns, reusable across different domains and applications. It is the impact of abstraction in Artificial Intelligence, Complex Systems and Machine Learning which creates the core of the book. A general framework, based on the KRA model, is presented, and its pragmatic power is illustrated with three case studies: Model-based diagnosis, Cartographic Generalization, and learning Hierarchical Hidden Markov Models.

Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings (Lecture Notes in Computer Science #1912)

The ASM 2000 workshop was held in the conference center of the Swiss Federal Institute of Technology (ETH) at Monte Verit a, Canton Ticino, March 19-24, 2000. The ASM formalism was proposed together with the thesis that it is suitable to model arbitrary computer systems on arbitrary abstraction levels. ASMs have been successfully used to analyze and specify various hardware and software systems including numerous computer languages. The aim of the workshop was to bring together domain-experts, using ASMs as a practical speci cation method, and theorists working with ASMs and related methods. In addition the workshop served as a forum on theoretical and practical topics that relate to ASMs in a broad sense. Three tutorials including hands-on experience with tools were organized by U. Gl¨asser and G. del Castillo (on the topic \Specifying Concurrent Systems with ASMs"), H. Russ ¨ and N. Shankar (on the topic \A Tutorial Introduction to PVS"), M. Anlau , P.W. Kutter, and A. Pierantonio (on the topic \Developing Domain Speci c Languages"). In response to the organization committee’s call for papers, 30 papers were submitted, each of which was independently reviewed by four members of the program committee. This volume presents a selection of 12 of the refereed papers and two reports on industrial ASM application at Siemens AG and Microsoft Research, together with contributions based on the invited talks given by A.

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (Lecture Notes in Computer Science #5238)

This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and the 8th International Conference on the B Method. The 44 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. The conference fosters the cross-fertilization of three rigorous methods for the design and analysis of hardware and software systems - both in academia and industry - namely Abstract State Machines, B, and Z. Covering a wide range of research spanning from theoretical and methodological foundations to tool support and practical applications, the contributions are organized in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network (VSR-net) workshop.

Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science #7316)

This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented together with 2 invited talks and 13 short papers were carefully reviewed and selected from 59 submissions. The ABZ conference series is dedicated to the cross-fertilization of five related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, VDM, and Z. They share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The main goal of this conference series is to contribute to the integration of these formal methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation and mathematical verification of reliable high-quality hardware/software systems.

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings (Lecture Notes in Computer Science #8477)

This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM and Z, which took place in Toulouse, France, in June 2014. The 13 full papers presented together with 3 invited talks and 19 short papers were carefully reviewed and selected from 81 submissions. The ABZ conference series is dedicated to the cross-fertilization of six related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, TLA, VDM and Z. They share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The main goal of this conference series is to contribute to the integration of these formal methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation and mathematical verification of reliable high-quality hardware/software systems.

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings (Lecture Notes in Computer Science #10817)

This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.