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

Sequences and Their Applications - SETA 2010: 6th International Conference, Paris, France, September 13-17, 2010. Proceedings (Lecture Notes in Computer Science #6338)

Sequences and Their Applications -- SETA 2012: 7th International Conference, SETA 2012, Waterloo, ON, Canada, June 4-8, 2012. Proceedings (Lecture Notes in Computer Science #7280)

This book constitutes the refereed proceedings of the 7th International Conference on Sequences and Their Applications, SETA 2012, held in Waterloo, Canada, in June 2012. The 28 full papers presented together with 2 invited papers in this volume were carefully reviewed and selected from 48 submissions. The papers are grouped in topical sections on perfect sequences; finite fields; boolean functions; Golomb 80th birthday session; linear complexity; frequency hopping; correlation of sequences; bounds on sequences, cryptography; aperiodic correlation; and Walsh transform.

Sequences and Their Applications - SETA 2014: 8th International Conference, Melbourne, VIC, Australia, November 24-28, 2014, Proceedings (Lecture Notes in Computer Science #8865)

This book constitutes the refereed proceedings of the 8th International Conference on Sequences and Their Applications, SETA 2014, held in Melbourne, VIC, Australia, in November 2014. The 24 full papers presented together with 2 invited papers were carefully reviewed and selected from 36 submissions. The papers have been organized in topical sections on Boolean functions, perfect sequences, correlation of arrays, relative difference sets, aperiodic correlation, pseudorandom sequences and stream ciphers, crosscorrelation of sequences, prime numbers in sequences, OFDM and CDMA, and frequency-hopping sequences.

Sequences, Groups, and Number Theory (Trends in Mathematics)

This collaborative book presents recent trends on the study of sequences, including combinatorics on words and symbolic dynamics, and new interdisciplinary links to group theory and number theory. Other chapters branch out from those areas into subfields of theoretical computer science, such as complexity theory and theory of automata. The book is built around four general themes: number theory and sequences, word combinatorics, normal numbers, and group theory. Those topics are rounded out by investigations into automatic and regular sequences, tilings and theory of computation, discrete dynamical systems, ergodic theory, numeration systems, automaton semigroups, and amenable groups. This volume is intended for use by graduate students or research mathematicians, as well as computer scientists who are working in automata theory and formal language theory. With its organization around unified themes, it would also be appropriate as a supplemental text for graduate level courses.

Sequences II: Methods in Communication, Security, and Computer Science

Sequences, Subsequences, and Consequences: International Workshop, SSC 2007, Los Angeles, CA, USA, May 31 - June 2, 2007, Revised Invited Papers (Lecture Notes in Computer Science #4893)

Interested readers will find here the thoroughly refereed post-proceedings of the International Workshop of Sequences, Subsequences and Consequences, SSC 2007, held in Los Angeles, USA, in 2007. The 16 revised invited full papers and one revised contributed paper are presented together with three keynote lectures and were carefully reviewed and selected for the book. The theory of sequences has found practical applications in many areas of coded communications and in cryptography.

Sequencing Apple's DNA

This book aims to extract the "molecular genes" leading to craziness! Geniuses are the ones who are "crazy enough to think they can change the world" and boldly go where no one has gone before. Where no past habit and usage are available, there is no proof of viability, as nobody has done it yet, or even imagined it, and no roadmap for guidance or market study has come up with it. The authors call upon Leonardo Da Vinci, the Renaissance genius, who as strange as it seems, shared many traits of personality with that of Steve Jobs, in terms of the ways of performing. Da Vinci helps in understanding Jobs, and hence Apple, with his unique way of designing radically novel concepts, which were actually quite crazy for his time. In order to shed light on a special creative posture, the indomitable sense of specifying undecidable objects – a hallmark of the late Steve Jobs – is what led the authors to match it with a specific design innovation theory. A real theory, backed by solid mathematical proof, exists and can account for the business virtue of a prolific ability to move into unknown crazy fields! The authors postulate that, by bringing the power of C-K theory to crack open a number of previous observations made about Apple’s methods, it is possible to identify most of the genes of this company. The authors analyze how and why an Apple way of doing business is radically different from standard business practices and why it is so successful. Genes are a measure of the entity at hand and can encourage past business education routine approaches, then become transferable across the spectrum of the socio-economic world.

Sequencing Apple's DNA

This book aims to extract the "molecular genes" leading to craziness! Geniuses are the ones who are "crazy enough to think they can change the world" and boldly go where no one has gone before. Where no past habit and usage are available, there is no proof of viability, as nobody has done it yet, or even imagined it, and no roadmap for guidance or market study has come up with it. The authors call upon Leonardo Da Vinci, the Renaissance genius, who as strange as it seems, shared many traits of personality with that of Steve Jobs, in terms of the ways of performing. Da Vinci helps in understanding Jobs, and hence Apple, with his unique way of designing radically novel concepts, which were actually quite crazy for his time. In order to shed light on a special creative posture, the indomitable sense of specifying undecidable objects – a hallmark of the late Steve Jobs – is what led the authors to match it with a specific design innovation theory. A real theory, backed by solid mathematical proof, exists and can account for the business virtue of a prolific ability to move into unknown crazy fields! The authors postulate that, by bringing the power of C-K theory to crack open a number of previous observations made about Apple’s methods, it is possible to identify most of the genes of this company. The authors analyze how and why an Apple way of doing business is radically different from standard business practices and why it is so successful. Genes are a measure of the entity at hand and can encourage past business education routine approaches, then become transferable across the spectrum of the socio-economic world.

Sequential and Parallel Algorithms and Data Structures: The Basic Toolbox

This textbook is a concise introduction to the basic toolbox of structures that allow efficient organization and retrieval of data, key algorithms for problems on graphs, and generic techniques for modeling, understanding, and solving algorithmic problems. The authors aim for a balance between simplicity and efficiency, between theory and practice, and between classical results and the forefront of research. Individual chapters cover arrays and linked lists, hash tables and associative arrays, sorting and selection, priority queues, sorted sequences, graph representation, graph traversal, shortest paths, minimum spanning trees, optimization, collective communication and computation, and load balancing. The authors also discuss important issues such as algorithm engineering, memory hierarchies, algorithm libraries, and certifying algorithms. Moving beyond the sequential algorithms and data structures of the earlier related title, this book takes into account the paradigm shift towards the parallel processing required to solve modern performance-critical applications and how this impacts on the teaching of algorithms. The book is suitable for undergraduate and graduate students and professionals familiar with programming and basic mathematical language. Most chapters have the same basic structure: the authors discuss a problem as it occurs in a real-life situation, they illustrate the most important applications, and then they introduce simple solutions as informally as possible and as formally as necessary so the reader really understands the issues at hand. As they move to more advanced and optional issues, their approach gradually leads to a more mathematical treatment, including theorems and proofs. The book includes many examples, pictures, informal explanations, and exercises, and the implementation notes introduce clean, efficient implementations in languages such as C++ and Java.

Sequential Approximate Multiobjective Optimization Using Computational Intelligence (Vector Optimization)

Many kinds of practical problems such as engineering design, industrial m- agement and ?nancial investment have multiple objectives con?icting with eachother. Thoseproblemscanbeformulatedasmultiobjectiveoptimization. In multiobjective optimization, there does not necessarily a unique solution which minimizes (or maximizes) all objective functions. We usually face to the situation in which if we want to improve some of objectives, we have to give up other objectives. Finally, we pay much attention on how much to improve some of objectives and instead how much to give up others. This is called “trade-o?. ” Note that making trade-o? is a problem of value ju- ment of decision makers. One of main themes of multiobjective optimization is how to incorporate value judgment of decision makers into decision s- port systems. There are two major issues in value judgment (1) multiplicity of value judgment and (2) dynamics of value judgment. The multiplicity of value judgment is treated as trade-o? analysis in multiobjective optimi- tion. On the other hand, dynamics of value judgment is di?cult to treat. However, it is natural that decision makers change their value judgment even in decision making process, because they obtain new information during the process. Therefore, decision support systems are to be robust against the change of value judgment of decision makers. To this aim, interactive p- grammingmethodswhichsearchasolutionwhileelicitingpartialinformation on value judgment of decision makers have been developed. Those methods are required to perform ?exibly for decision makers’ attitude.

Sequential Decision-Making in Musical Intelligence (Studies in Computational Intelligence #857)

Over the past 60 years, artificial intelligence has grown from an academic field of research to a ubiquitous array of tools used in everyday technology. Despite its many recent successes, certain meaningful facets of computational intelligence have yet to be thoroughly explored, such as a wide array of complex mental tasks that humans carry out easily, yet are difficult for computers to mimic. A prime example of a domain in which human intelligence thrives, but machine understanding is still fairly limited, is music. Over recent decades, many researchers have used computational tools to perform tasks like genre identification, music summarization, music database querying, and melodic segmentation. While these are all useful algorithmic solutions, we are still a long way from constructing complete music agents able to mimic (at least partially) the complexity with which humans approach music. One key aspect that hasn't been sufficiently studied is that of sequential decision-making in musical intelligence. Addressing this gap, the book focuses on two aspects of musical intelligence: music recommendation and multi-agent interaction in the context of music. Though motivated primarily by music-related tasks, and focusing largely on people's musical preferences, the work presented in this book also establishes that insights from music-specific case studies can also be applicable in other concrete social domains, such as content recommendation.Showing the generality of insights from musical data in other contexts provides evidence for the utility of music domains as testbeds for the development of general artificial intelligence techniques.Ultimately, this thesis demonstrates the overall value of taking a sequential decision-making approach in settings previously unexplored from this perspective.

Sequential Intelligent Dynamic System Modeling and Control

The book offers novel research results of sequential intelligent dynamic system modeling and control in a unified framework from theory proposals to real applications. It covers an in-depth study of various learning algorithms for the permanent adaptation of intelligent model parameters as well as of structural parts of the model. The comprehensive researches on sequential fuzzy and neural controller design schemes for some complex real applications are included. This is particularly suited for readers who are interested to learn practical solutions for controlling nonlinear systems that are uncertain and varied at any time. In addition, the organization of the book from addressing fundamental concepts, and presenting novel intelligent models to solving real applications is one of the major features of the book, which makes it a valuable resource for both beginners and researchers wanting to further their understanding and study about realtime online intelligent modeling and control ofnonlinear dynamic systems. The book can benefit researchers, engineers, and graduate students in the fields of control engineering, artificial intelligence, computational intelligence, intelligent control, nonlinear system modeling, and control, etc.

Sequential Learning and Decision-Making in Wireless Resource Management (Wireless Networks)

This book lays out the theoretical foundation of the so-called multi-armed bandit (MAB) problems and puts it in the context of resource management in wireless networks. Part I of the book presents the formulations, algorithms and performance of three forms of MAB problems, namely, stochastic, Markov and adversarial. Covering all three forms of MAB problems makes this book unique in the field. Part II of the book provides detailed discussions of representative applications of the sequential learning framework in cognitive radio networks, wireless LANs and wireless mesh networks. Both individuals in industry and those in the wireless research community will benefit from this comprehensive and timely treatment of these topics. Advanced-level students studying communications engineering and networks will also find the content valuable and accessible.

Sequential Logic: Analysis and Synthesis

Until now, there was no single resource for actual digital system design. Using both basic and advanced concepts, Sequential Logic: Analysis and Synthesis offers a thorough exposition of the analysis and synthesis of both synchronous and asynchronous sequential machines. With 25 years of experience in designing computing equipment, the author stresses the practical design of state machines. He clearly delineates each step of the structured and rigorous design principles that can be applied to practical applications. The book begins by reviewing the analysis of combinatorial logic and Boolean algebra, and goes on to define sequential machines and discuss traditional and alternative methods for synthesizing synchronous sequential machines. The final chapters deal with asynchronous sequential machines and pulse-mode asynchronous sequential machines. Because this volume is technology-independent, these techniques can be used in a variety of fields, such as electrical and computer engineering as well as nanotechnology.By presenting each method in detail, expounding on several corresponding examples, and providing over 500 useful figures, Sequential Logic is an excellent tutorial on analysis and synthesis procedures.

Sequential Logic and Verilog HDL Fundamentals

Sequential Logic and Verilog HDL Fundamentals discusses the analysis and synthesis of synchronous and asynchronous sequential machines. These machines are implemented using Verilog Hardware Description Language (HDL), in accordance with the Institute of Electrical and Electronics Engineers (IEEE) Standard: 1364-1995. The book concentrates on sequential logic design with a focus on the design of various Verilog HDL projects. Emphasis is placed on structured and rigorous design principles that can be applied to practical applications. Each step of the analysis and synthesis procedures is clearly delineated. Each method that is presented is expounded in sufficient detail with accompanying examples. Many analysis and synthesis examples use mixed-logic symbols incorporating both positive- and negative-input logic gates for NAND (not AND) and NOR (not OR) logic, while other examples utilize only positive-input logic gates. The use of mixed logic parallels the use of these symbols in the industry. The book is intended to be a tutorial, and as such, is comprehensive and self-contained. All designs are carried through to completion—nothing is left unfinished or partially designed. Each chapter contains numerous problems of varying complexity to be designed by the reader using Verilog HDL design techniques. The Verilog HDL designs include the design module, the test bench module that tests the design for correct functionality, the outputs obtained from the test bench, and the waveforms obtained from the test bench. Sequential Logic and Verilog HDL Fundamentals presents Verilog HDL with numerous design examples to help the reader thoroughly understand this popular hardware description language. The book is designed for practicing electrical engineers, computer engineers, and computer scientists; for graduate students in electrical engineering, computer engineering, and computer science; and for senior-level undergraduate students.

Sequential Logic and Verilog HDL Fundamentals

Sequential Logic and Verilog HDL Fundamentals discusses the analysis and synthesis of synchronous and asynchronous sequential machines. These machines are implemented using Verilog Hardware Description Language (HDL), in accordance with the Institute of Electrical and Electronics Engineers (IEEE) Standard: 1364-1995. The book concentrates on sequential logic design with a focus on the design of various Verilog HDL projects. Emphasis is placed on structured and rigorous design principles that can be applied to practical applications. Each step of the analysis and synthesis procedures is clearly delineated. Each method that is presented is expounded in sufficient detail with accompanying examples. Many analysis and synthesis examples use mixed-logic symbols incorporating both positive- and negative-input logic gates for NAND (not AND) and NOR (not OR) logic, while other examples utilize only positive-input logic gates. The use of mixed logic parallels the use of these symbols in the industry. The book is intended to be a tutorial, and as such, is comprehensive and self-contained. All designs are carried through to completion—nothing is left unfinished or partially designed. Each chapter contains numerous problems of varying complexity to be designed by the reader using Verilog HDL design techniques. The Verilog HDL designs include the design module, the test bench module that tests the design for correct functionality, the outputs obtained from the test bench, and the waveforms obtained from the test bench. Sequential Logic and Verilog HDL Fundamentals presents Verilog HDL with numerous design examples to help the reader thoroughly understand this popular hardware description language. The book is designed for practicing electrical engineers, computer engineers, and computer scientists; for graduate students in electrical engineering, computer engineering, and computer science; and for senior-level undergraduate students.

Sequential Logic Synthesis (The Springer International Series in Engineering and Computer Science #162)

3. 2 Input Encoding Targeting Two-Level Logic . . . . . . . . 27 3. 2. 1 One-Hot Coding and Multiple-Valued Minimization 28 3. 2. 2 Input Constraints and Face Embedding 30 3. 3 Satisfying Encoding Constraints . . . . . . . 32 3. 3. 1 Definitions . . . . . . . . . . . . . . . 32 3. 3. 2 Column-Based Constraint Satisfaction 33 3. 3. 3 Row-Based Constraint Satisfaction . . 37 3. 3. 4 Constraint Satisfaction Using Dichotomies . 38 3. 3. 5 Simulated Annealing for Constraint Satisfaction 41 3. 4 Input Encoding Targeting Multilevel Logic. . 43 3. 4. 1 Kernels and Kernel Intersections . . . 44 3. 4. 2 Kernels and Multiple-Valued Variables 46 3. 4. 3 Multiple-Valued Factorization. . . . . 48 3. 4. 4 Size Estimation in Algebraic Decomposition . 53 3. 4. 5 The Encoding Step . 54 3. 5 Conclusion . . . . . . . . . 55 4 Encoding of Symbolic Outputs 57 4. 1 Heuristic Output Encoding Targeting Two-Level Logic. 59 4. 1. 1 Dominance Relations. . . . . . . . . . . . . . . . 59 4. 1. 2 Output Encoding by the Derivation of Dominance Relations . . . . . . . . . . . . . . . . . . . . . 60 . . 4. 1. 3 Heuristics to Minimize the Number of Encoding Bits . . . . . . . . . . . . 64 4. 1. 4 Disjunctive Relationships . . . . . . . . . . . 65 4. 1. 5 Summary . . . . . . . . . . . . . . . . . . 66 . . 4. 2 Exact Output Encoding Targeting Two-Level Logic. 66 4. 2. 1 Generation of Generalized Prime Implicants . 68 4. 2. 2 Selecting a Minimum Encodeable Cover . . . 68 4. 2. 3 Dominance and Disjunctive Relationships to S- isfy Constraints . . . . . . . . . . . 70 4. 2. 4 Constructing the Optimized Cover 73 4. 2. 5 Correctness of the Procedure . . 73 4. 2. 6 Multiple Symbolic Outputs . . .

Sequential Logic Testing and Verification (The Springer International Series in Engineering and Computer Science #163)

In order to design and build computers that achieve and sustain high performance, it is essential that reliability issues be considered care­ fully. The problem has several aspects. Certainly, considering reliability implies that an engineer must be able to analyze how design decisions affect the incidence of failure. For instance, in order design reliable inte­ gritted circuits, it is necessary to analyze how decisions regarding design rules affect the yield, i.e., the percentage of functional chips obtained by the manufacturing process. Of equal importance in producing reliable computers is the detection of failures in its Very Large Scale Integrated (VLSI) circuit components, caused by errors in the design specification, implementation, or manufacturing processes. Design verification involves the checking of the specification of a design for correctness prior to carrying out an implementation. Implementation verification ensures that the manual design or automatic synthesis process is correct, i.e., the mask-level description correctly implements the specification. Manufacture test involves the checking of the complex fabrication process for correctness, i.e., ensuring that there are no manufacturing defects in the integrated circuit. It should be noted that all the above verification mechanisms deal not only with verifying the functionality of the integrated circuit but also its performance.

Sequential Optimization of Asynchronous and Synchronous Finite-State Machines: Algorithms and Tools

This text contributes to the field of sequential optimization for finite-state machines, introducing several new provably-optimal algorithms, presenting practical software implementations of each of these algorithms and introducing a complete new CAD package, called MINIMALIST. Real-world industrial designs are used as benchmark circuits throughout.

The Serbian Language in the Digital Age (White Paper Series)

This white paper is part of a series that promotes knowledge about language technology and its potential. It addresses educators, journalists, politicians, language communities and others. The availability and use of language technology in Europe varies between languages. Consequently, the actions that are required to further support research and development of language technologies also differ for each language. The required actions depend on many factors, such as the complexity of a given language and the size of its community. META-NET, a Network of Excellence funded by the European Commission, has conducted an analysis of current language resources and technologies. This analysis focused on the 23 official European languages as well as other important national and regional languages in Europe. The results of this analysis suggest that there are many significant research gaps for each language. A more detailed expert analysis and assessment of the current situation will help maximise the impact of additional research and minimize any risks. META-NET consists of 54 research centres from 33 countries that are working with stakeholders from commercial businesses, government agencies, industry, research organisations, software companies, technology providers and European universities. Together, they are creating a common technology vision while developing a strategic research agenda that shows how language technology applications can address any research gaps by 2020.

The Serial Podcast and Storytelling in the Digital Age (Routledge Focus on Digital Media and Culture)

This volume analyzes the Serial podcast, situating it in the trajectory of other popular crime narratives and contemporary cultural theory. Contributors focus on topics such as the ethics of the use of fiction techniques in investigative journalism, the epistemological overlay of postmodern indeterminacy, and the audience’s prolific activity in social media, examining the competing narrative strategies of the narrators, characters, and the audience. Other topics considered include the multiplication of narratives and the longing for closure, how our minds work as we experience true crime narratives, and what critical race theory can teach us about the program’s strategies.

The Serial Podcast and Storytelling in the Digital Age (Routledge Focus on Digital Media and Culture)

This volume analyzes the Serial podcast, situating it in the trajectory of other popular crime narratives and contemporary cultural theory. Contributors focus on topics such as the ethics of the use of fiction techniques in investigative journalism, the epistemological overlay of postmodern indeterminacy, and the audience’s prolific activity in social media, examining the competing narrative strategies of the narrators, characters, and the audience. Other topics considered include the multiplication of narratives and the longing for closure, how our minds work as we experience true crime narratives, and what critical race theory can teach us about the program’s strategies.

Serialization and Persistent Objects: Turning Data Structures into Efficient Databases

Recently, the pressure for fast processing and efficient storage of large data with complex relations increased beyond the capability of traditional databases. Typical examples include iPhone applications, computer aided design – both electrical and mechanical, biochemistry applications, and incremental compilers. Serialization, which is sometimes used in such situations is notoriously tedious and error prone.In this book, Jiri Soukup and Petr Macháček show in detail how to write programs which store their internal data automatically and transparently to disk. Together with special data structure libraries which treat relations among objects as first-class entities, and with a UML class-diagram generator, the core application code is much simplified. The benchmark chapter shows a typical example where persistent data is faster by the order of magnitude than with a traditional database, in both traversing and accessing the data.The authors explore and exploit advanced features of object-oriented languages in a depth hardly seen in print before. Yet, you as a reader need only a basic knowledge of C++, Java, C#, or Objective C. These languages are quite similar with respect to persistency, and the authors explain their differences where necessary.The book targets professional programmers working on any industry applications, it teaches you how to design your own persistent data or how to use the existing packages efficiently. Researchers in areas like language design, compiler construction, performance evaluation, and no-SQL applications will find a wealth of novel ideas and valuable implementation tips. Under http://www.codefarms.com/book, you will find a blog and other information, including a downloadable zip file with the sources of all the listings that are longer than just a few lines – ready to compile and run.

Seriation in Combinatorial and Statistical Data Analysis (Advanced Information and Knowledge Processing)

This monograph offers an original broad and very diverse exploration of the seriation domain in data analysis, together with building a specific relation to clustering.Relative to a data table crossing a set of objects and a set of descriptive attributes, the search for orders which correspond respectively to these two sets is formalized mathematically and statistically. State-of-the-art methods are created and compared with classical methods and a thorough understanding of the mutual relationships between these methods is clearly expressed. The authors distinguish two families of methods:Geometric representation methodsAlgorithmic and Combinatorial methods Original and accurate methods are provided in the framework for both families. Their basis and comparison is made on both theoretical and experimental levels. The experimental analysis is very varied and very comprehensive. Seriation in Combinatorial and Statistical Data Analysis has a unique character in the literature falling within the fields of Data Analysis, Data Mining and Knowledge Discovery. It will be a valuable resource for students and researchers in the latter fields.

Serious ADO: Universal Data Access with Visual Basic

The most comprehensive and detailed VB/ADO book available, placing developers firmly in control of Microsoft's premier data access technology. The first part goes beyond the syntax of ADO to help developers gain an understanding of ADO components, what they can do, and how they can be used to best advantage. The author provides full of code examples and thorough explanations. Important topics covered include locking and transactions, connection pooling, marshalling, and inter-process communication. Part Two covers the use of ADO in real world development situations. It discusses user interface creation, the Data Environment concept introduced in VB6, and the use of ADO in Internet and data mining scenarios.