Jul 2

NEW_REFERENCE BOOK

Handbook of parallel computing : models, algorithms and applications

Author Sanguthevar Rajasekaran and John Reif
Place of Publication Boca Raton
Date of Publication 2007
Publisher Taylor & Francis Group

Parallel computing plays a vital role in solving complex computing problems. “The Handbook of Parallel Computing; Models, Algorithms, and Applications” provides comprehensive coverage on all aspects of parallel computing, focusing on the foundational principles and recent advances in the areas of models, algorithms, and applications. This book addresses applications to computational biology, homeland security, and simulations of parallelism such as fuel cells, biological cells, and coastal waves. It covers the parallel disk model, which has been proposed to alleviate the input and output bottleneck. The book also presents recently discovered parallel clustering algorithms that are relevant to processing large datasets.

NEW RESERVE BOOKS

Ad hoc mobile wireless networks : protocols and systems

Author C.-K. Toh
Place of Publication Upper Saddle River, N.J.
Date of Publication c2002
Publisher Prentice Hall PTR

This book is about “non-infrastructured” wireless networks, which are referred to as “AD HOC” wireless networks. Wireless networks comprise both infrastructured and non-infrastructured systems. Infrastructured wireless networks refer to base station oriented WLANS. This book covers routing which is the most significant difference between Ad Hoc networks and base station networks. It covers in detail new routing protocols for Ad Hoc networks, such as Associativity Based routing (ABR) and other IETF MANET protocols. It also discusses implementation issues and presents prototype implementation.


Digital signal processing : a hands-on approach

Author Charles Schuler, Mahesh Chugani
Place of Publication Boston
Date of Publication c2005
Publisher McGraw-Hill

This text is intended for two-year and four-year electronics students, as well as industry practitioners who need to learn about applied Digital Signal Processing. This text is written in a very practical “hands-on” approach. It is written for those students who will apply and troubleshoot modern electronic systems. The approach used in the text presents critical ideas and then immediately applies them via software simulations and examples. These activities will clearly illustrate core concepts to increase understanding and aid retention. The CD-ROM included with the text contains five programs that support the hands-on activities. Three of the programs were specially prepared for beginners just learning DSP and two are demo versions of professional software used by DSP designers.

Programming challenges : the programming contest training manual

Author Steven S. Skiena, Miguel A. Revilla.
Place of Publication New York
Date of Publication c2003
Publisher Springer

 

This is an ideal resource for improving programming knowledge. The challenges of problems from international programming competitions are an effective way to improve algorithmic and coding skills and understanding. This book uses international programming competition-type problems to motivate the study of algorithms, programming, and other topics in computer science. It includes more than 100 programming challenges, as well as the theory and key concepts necessary for approaching them. Problems are organized by topic, and supplemented by complete tutorial material. Readers gain a concrete understanding of both algorithmic techniques and advanced coding topics. This title offers a wealth of rich programming problems suitable for self-study - all with on-line judging at website. It presents practice training for all major programming contests - ACM International Collegiate Programming Contest (ACM ICPC), International Olympiad in Informatics (IOI), and Topcoder Challenge. It serves as a convenient, web-based means of adding a programming component to any algorithms or software engineering course.It contains complete working code for fundamental data structures and graph, string, numerical and geometric algorithms. It provides a brief-yet-thorough treatment of key elements in number theory, geometry, dynamic programming, and graph algorithms. It supports all popular programming languages (C, C++, Pascal, Java). Steven S. Skiena is a member of the faculty of computer science at SUNY Stony Brook and is author of many widely used books, including “The Algorithm Design Manual”. He received the 2001 IEEE Computer Society Undergraduate Teaching Award. Miguel Revilla is a member of the faculty of computer science at the University of Valladolid, Spain. He is official website archivist of the ACM ICPC and creator/maintainer of the primary robot-judge, contest-hosting website.

Reliability evaluation of power systems, 2nd ed.

Author Roy Billinton and Ronald N. Allan.
Place of Publication New York
Date of Publication c1996
Publisher Plenum Press

 

The Second Edition of this well-received textbook presents over a decade of new research in power system reliability - while maintaining the general concept, structure, and style of the original volume. This edition features new chapters on the growing areas of Monte Carlo simulation and reliability economics. In addition, chapters cover the latest developments in techniques and their application to real problems. The text also explores the progress occurring in the structure, planning, and operation of real power systems due to changing ownership, regulation, and access. This work serves as a companion volume to “Reliability Evaluation of Engineering Systems: Second Edition (1992).”

Concepts, techniques, and models of computer programming

Author Peter Van Roy, Seif Haridi
Place of Publication Cambridge, Mass.
Date of Publication c2004
Publisher MIT Press

Each model has its own set of techniques and each is included on the basis of its usefulness in practice. The general models include declarative programming, declarative concurrency, message-passing concurrency, explicit state, object-oriented programming, shared-state concurrency and relational programming. Specialised models include graphical user interface programming, distributed programming and constraint programming. Each model is based on its kernel language - a simple core language that consists of a small number of programmer-significant elements. The kernel languages are introduced progressively, adding concepts one by one.

Core PHP programming

Author Leon Atkinson
Place of Publication Upper Saddle River, N.J.
Date of Publication c2004
Publisher Prentice Hall/PTR

Core PHP Programming, Third Edition is the authoritative guide to the new PHP 5 for experienced developers. Top PHP developer Leon Atkinson and PHP 5 contributor/Zend Engine 2 co-creator Zeev Suraski cover every facet of real-world PHP 5 development, from basic syntax to advanced object-oriented development — even design patterns! It’s all here: networking, data structures, regular expressions, math, configuration, graphics, MySQL/PostgreSQL support, XML, algorithms, debugging, optimization!and 650 downloadable code examples, with a Foreword by PHP 5 contributor and Zend Engine 2 co-creator Andi Gutmans!.

Fundamentals of data structures in C

Author Ellis Horowitz, Sartaj Sahni, Susan Anderson-Freed.
Place of Publication Summit, N.J.
Date of Publication c2007
Publisher Silicon Press

This text offers a complete rendering of basic data structure implementations in the popular language C++.

Micro mechanical transducers : pressure sensors, accelerometers, and gyroscopes

Author Min-Hang Bao
Place of Publication Amsterdam
Date of Publication c2000
Publisher Elsevier

ILogic-based formalizations of argumentation, which assume a set of formulae and then lay out arguments and counterarguments that can be obtained from these formulae, have been refined in recent years in an attempt to capture more closely real-world practical argumentation. In Elements of Argumentation, Philippe Besnard and Anthony Hunter introduce techniques for formalizing deductive argumentation in artificial intelligence, emphasizing emerging formalizations for practical argumentation. Besnard and Hunter discuss how arguments can be constructed, how key intrinsic and extrinsic factors can be identified, and how these analyses can be harnessed for formalizing argumentation for use in real-world problem analysis and decision making.

The book focuses on a monological approach to argumentation, in which there is a set of possibly conflicting pieces of information (each represented by a formula) that has been collated by an agent or a pool of agents. The role of argumentation is to construct a collection of arguments and counterarguments pertaining to some particular claim of interest to be used for analysis or presentation.

Elements of Argumentation is the first book to elucidate and formalize key elements of deductive argumentation. It will be a valuable reference for researchers in computer science and artificial intelligence and of interest to scholars in such fields as logic, philosophy, linguistics, and cognitive science.

Compilers : principles, techniques, & tools, 2nd ed.

Author Alfred V. Aho … [et al.]
Place of Publication Boston
Date of Publication c2007
Publisher Pearson/Addison Wesley

Compilers: Principles, Techniques and Tools, known to professors, students, and developers worldwide as the “Dragon Book,” is available in a new edition. Every chapter has been completely revised to reflect developments in software engineering, programming languages, and computer architecture that have occurred since 1986, when the last edition published. The authors, recognizing that few readers will ever go on to construct a compiler, retain their focus on the broader set of problems faced in software design and software development. New chapters include: Chapter 10 Instruction-Level Parallelism Chapter 11 Optimizing for Parallelism and Locality Chapter 12 Interprocedural Analysis

File structures : an object-oriented approach with C++

Author Michael J. Folk, Bill Zoellick, Greg Riccardi.
Place of Publication Reading, Mass.
Date of Publication c1998
Publisher Addison-Wesley

This best-selling book provides the conceptual tools to build file structures that can be quickly and efficiently accessed. It teaches good design judgment through an approach that puts the “hands-on” work of constructing and running programs at the center of the learning process. This third edition presents the practice of object-oriented design and programming with complete implementations in C++ of many of the file structures techniques, including direct access I/O, buffer packing and unpacking, indexing, cosequential processing, B-trees, and external hashing. By following the examples, students will gain a significant understanding of file structure techniques, and see how C++ can be made an effective software development tool. Every line of code in the book has been tested on a variety of C++ systems. In addition, the class definitions and bodies are collected together in appendices.

Signals, systems, and transforms, 4th ed.

Author Charles L. Phillips, John M. Parr, Eve A. Riskin.
Place of Publication Upper Saddle River, N.J.
Date of Publication c2008
Publisher Pearson/Prentice Hall

For sophomore/junior-level signals and systems courses in Electrical and Computer Engineering departments. This text provides a clear, comprehensive presentation of both the theory and applications in signals, systems, and transforms. It presents the mathematical background of signals and systems, including the Fourier transform, the Fourier series, the Laplace transform, the discrete-time and the discrete Fourier transforms, and the z-transform. The contents of each chapter are organized into well-defined units that allow instructors great flexibility in course emphasis. The text integrates MATLAB examples into the presentation of signal and system theory and applications.

RF circuit design : theory and applications, 2nd ed.

Author Reinhold Ludwig, Gene Bogdanov.
Place of Publication Upper Saddle River, N.J.
Date of Publication c2009
Publisher Prentice-Hall


Its objective is to develop the RF circuit design aspects in such a way that the need for transmission line principles is made clear without adopting an electromagnetic field approach.

Power generation, operation, and control, 2nd ed.

Author Allen J. Wood, Bruce F. Wollenberg
Place of Publication New York
Date of Publication 1996
Publisher Wiley

The electric power industry is undergoing unprecedented change due to deregulation, open access to transmission systems, and the start up of independent power producers. These changes have spurred many technical issues that affect the business and market structure of the industry. This second edition addresses the changes that have taken place in the industry in the last decade.

Electronic devices and circuit theory, 10th ed.

Author Robert L. Boylestad, Louis Nashelsky.
Place of Publication Upper Saddle River, N.J.
Date of Publication c2009
Publisher Pearson/Prentice Hall

For upper-level courses in Devices and Circuits at 2-year or 4-year Engineering and Technology institutes. Highly accurate and thoroughly updated, this text has set the standard in electronic devices and circuit theory for nearly 30 years. Boylestad and Nashelsky offer students a complete and comprehensive survey, focusing on all the essentials they will need to succeed on the job. This very readable text is supported by strong pedagogy and content that is ideal for new students of this rapidly changing field. Its colorful, student-friendly layout boasts a large number of stunning photographs. Topics covered include semiconductor diodes, BJT devices, DC biasing, FET devices, Op-Amp applications, power amplifiers, linear-digital ICs, power supplies and voltage regulators, and other two-terminal devices. This text is an excellent reference work for anyone involved with electronic devices and other circuitry applications, such as electrical and technical engineers. A broad range of ancillary materials is available for instructor support.

Computer networks and internets, 5th ed.

Author Douglas E. Comer.
Place of Publication Upper Saddle River, N.J.
Date of Publication c2009
Publisher Pearson/Prentice Hall

Appropriate for all introductory-to-intermediate courses in computer networking, the Internet, or Internet applications; students need no background in networking, operating systems, or advanced mathematics. Leading networking authority Douglas Comer presents a wide-ranging, self-contained tour of the concepts, principles, and technologies that enable today’s Internet to support applications ranging from web browsing to telephony and multimedia. This Fifth Edition has been thoroughly reorganized, revised, and updated: it includes extensive new coverage of topics ranging from wireless protocols to network performance, while reducing or eliminating coverage of older protocols and technologies. Comer begins by illuminating the applications and facilities offered by today’s Internet. Next, he systematically introduces the underlying network technologies and protocols that make them possible: low-level data communications; packet switching, LAN, and WAN technologies; and Internet protocols such as TCP, IP, UDP, and IPv6.With these concepts and technologies established, he introduces several of the most important contemporary issues faced by network implementers and managers, including quality of service, Internet telephony, multimedia, network security, and network management.Comer has carefully designed this book to support both top-down and bottom-up teaching approaches. Students need no background in operating systems, and no sophisticated math: Comer relies throughout on figures, drawings, examples, and analogies, not mathematical proofs.

NEW CIRCULATION BOOKS

Multimedia signal processing : theory and applications in speech, music and communications

Author Saeed V. Vaseghi.
Place of Publication Hoboken, N. J.
Date of Publication c2007
Publisher Wiley

“Multimedia Signal Processing” is a comprehensive and accessible text to the theory and applications of digital signal processing (DSP). The applications of DSP are pervasive and include multimedia systems, cellular communication, adaptive network management, radar, pattern recognition, medical signal processing, financial data forecasting, artificial intelligence, decision making, control systems and search engines.This book is organised in to three major parts making it a coherent and structured presentation of the theory and applications of digital signal processing. A range of important topics are covered in basic signal processing, model-based statistical signal processing and their applications. Part 1: Basic Digital Signal Processing gives an introduction to the topic, discussing sampling and quantization, Fourier analysis and synthesis, Z-transform, and digital filters. Part 2: Model-based Signal Processing covers probability and information models, Bayesian inference, Wiener filter, adaptive filters, linear prediction hidden Markov models and independent component analysis.Part 3: Applications of Signal Processing in Speech, Music and Telecommunications explains the topics of speech and music processing, echo cancellation, deconvolution and channel equalization, and mobile communication signal processing.This book covers music signal processing, explains the anatomy and psychoacoustics of hearing and the design of MP3 music coder. It examines speech processing technology including speech models, speech coding for mobile phones and speech recognition. It covers single-input and multiple-inputs denoising methods, bandwidth extension and the recovery of lost speech packets in applications such as voice over IP (VoIP). It is illustrated throughout, including numerous solved problems, Matlab experiments and demonstrations. It offers a companion website features Matlab and C++ programs with electronic copies of all figures. This book is ideal for researchers, postgraduates and senior undergraduates in the fields of digital signal processing, telecommunications and statistical data analysis. It will also be a valuable text to professional engineers in telecommunications and audio and signal processing industries.

Digital television : technology and standards

Author John Arnold, Michael Frater, Mark Pickering.
Place of Publication Hoboken, N.J.
Date of Publication c2007
Publisher Wiley

The only single, comprehensive textbook on all aspects of digital television. The next few years will see a major revolution in the technology used to deliver television services as the world moves from analog to digital television. Presently, all existing textbooks dealing with analog television standards (NTSC and PAL) are becoming obsolete as the prevalence of digital technology continues to become more widespread. Now, “Digital Television: Technology and Standards” fills the need for a single, authoritative textbook that covers all aspects of digital television technology.Divided into three main sections, “Digital Television” explores: Video - MPEG-2, which is at the heart of all digital video broadcasting services; Audio - MPEG-2 Advanced Audio Coding and Dolby AC-3, which will be used internationally in digital video broadcasting systems; and, Systems - MPEG, modulation transmission, forward error correction, datacasting, conditional access, and digital storage media command and control.Complete with tables, illustrations, and figures, this valuable textbook includes problems and laboratories at the end of each chapter and also offers a number of exercises that allow students to implement the various techniques discussed using MATLAB. The authors’ coverage of implementation and theory makes this a practical reference for professionals, as well as an indispensable textbook for advanced undergraduates and graduate-level students in electrical engineering and computer science programs.

3D online multimedia & games : processing, transmission and visualization

Author Irene Cheng … [et al.]
Place of Publication Singapore Hackensack, N.J.
Date of Publication c2009
Publisher World Scientific

Online applications have been gaining wide acceptance among the general public. Companies like Amazon, Google, Yahoo! and NetFlicks have been doing extremely well over the last few years largely because of people becoming more comfortable and trusting of the Internet. The increasing acceptance of online products makes it increasingly important to address some of the scientific techniques involved in developing efficient 3D online systems. The topics discussed in this book broadly cover four categories: networking issues in online multimedia; joint texture-mesh simplification and view independent transmission; view dependent transmission and server-side rendering; content and background creation; and creating simple online games.

Data mining for business intelligence : concepts, techniques, and applications in Microsoft Office Excel with XLMiner

Author Galit Shmueli, Nitin R. Patel, Peter C. Bruce
Place of Publication Hoboken, NJ
Date of Publication c2007
Publisher Wiley-Intersicence

In today’s world, businesses are becoming more capable of accessing their ideal consumers, and an understanding of data mining contributes to this success. “Data Mining for Business Intelligence”, which was developed from a course taught at the Massachusetts Institute of Technology’s Sloan School of Management, and the University of Maryland’s Smith School of Business, uses real data and actual cases to illustrate the applicability of data mining intelligence to the development of successful business models.Featuring XLMiner, the Microsoft Office Excel add-in, this book allows readers to follow along and implement algorithms at their own speed, with a minimal learning curve. In addition, students and practitioners of data mining techniques are presented with hands-on, business-oriented applications. An abundant amount of exercises and examples are provided to motivate learning and understanding.”Data Mining for Business Intelligence”: provides both a theoretical and practical understanding of the key methods of classification, prediction, reduction, exploration, and affinity analysis; features a business decision-making context for these key methods; illustrates the application and interpretation of these methods using real business cases and data. This book helps readers understand the beneficial relationship that can be established between data mining and smart business practices, and is an excellent learning tool for creating valuable strategies and making wiser business decisions.

Engineering computation with MATLAB

Author David M. Smith
Place of Publication Boston
Date of Publication c2008
Publisher Pearson/Addison Wesley

Engineering Computation with MATLAB(R) introduces the power of computing to engineering students with no previous programming experience. By spending time on meaningful engineering examples, professor and trained engineer David Smith places the fundamental tenets of computer programming into the context of MATLAB, a user-friendly language for engineers. Engineering Computation with MATLAB(R) employs hands-on exercises, examples from the world of engineering, and a variety core tools to increase general proficiency and capability in computer programming, preparing engineering students to fluidly adapt learned programming concepts to other languages.

Manage software testing

Author Peter Farrell-Vinay
Place of Publication Boca Raton
Date of Publication c2008
Publisher Auerbach Publications

Digital signal processing is commonplace in most electronics including MP3 players, HDTVs, and phones, just to name a few of the applications. The engineers creating these devices are in need of essential information at a moment’s notice. The Instant Access Series provides all the critical content that a signal or communications engineer needs in his or her daily work.

This book provides an introduction to DSPs as well as succinct overviews of linear systems, digital filters, and digital compression. This book is filled with images, figures, tables, and easy to find tips and tricks for the engineer that needs material fast to complete projects to deadline.

Principles of parallel programming

Author Calvin Lin, Lawrence Snyder
Place of Publication Boston, Mass.
Date of Publication c2009
Publisher Pearson/Addison Wesley

Digital video is everywhere! The engineers creating HDTV, mp3 players, and smart phones and their components are in need of essential information at a moment’s notice. The Instant Access Series provides all the critical content that a digital video engineer needs in his or her daily work.

With the rise of multi-core architecture, parallel programming is an increasingly important topic for software engineers and computer system designers. Written by well-known researchers Larry Snyder and Calvin Lin, this highly anticipated first edition emphasizes the principles underlying parallel computation, explains the various phenomena, and clarifies why these phenomena represent opportunities or barriers to successful parallel programming. Ideal for an advanced upper-level undergraduate course, Parallel Programming supplies enduring knowledge that will outlive the current hardware and software, aiming to inspire future researchers to build tomorrow’s solutions. “…the first basic book on the subject that I’ve ever seen that seems to have the pulse on the true issues of parallelism that are relevant for students.” –Alan Edelman, MIT “Principles of Parallel Programming is a wonderful book and I plan to use it in our new parallel programming course…”—Peiyi Tang, University of Arkansas, Little Rock “I like [Principles of Parallel Programming] very much for a few specific reasons: it’s concise, covers the most relevant topics but does not take thousand pages to do it, it is hands on and it covers…recent developments with multi-core and GPGPU.” –Edin Hodzic, Santa Clara University

Advanced 2D game development

Author Jonathan S. Harbour
Place of Publication Boston, Mass.
Date of Publication c2009
Publisher Course Technology

This book is a comprehensive guide to 2D game programming, covering every significant 2D game subject in one volume. It includes coverage of 2D animated sprites, tile-based scrolling, level editing, vector graphics, 2D physics, and the major game genres - real time strategy (Command & Conquer), turn based strategy (Civilization IV), vertical scrolling shoot-em-ups (Mars Matrix), horizontal shoot-em-ups (R-Type), scrolling platform-style games (Mario), and of course, role-playing games (Ultima). It includes discussion of overall game theory and development, explaining how to create a real time strategy game from concept to completion.Readers will create their own professional-quality RTS game using a royalty-free library of RTS artwork, C++, and the cross-platform game library Allegro. In addition to the basic graphics engine (which will run in 2D), this book covers each key feature of an RTS game, including pathfinding, enemy AI, grouping, unit formations, and other related subjects, each covered in a dedicated chapter. Each chapter’s skills will be applied to the final game created by the reader.

Computational intelligence in biomedical engineering

Author Rezaul Begg, Daniel T.H. Lai, Marimuthu Palaniswami
Place of Publication Boca Raton
Date of Publication c2008
Publisher CRC Press

In recent years, there has been an explosion of interest in computational intelligence (CI) techniques as evidenced by numerous applications in various fields. Biomedical research and applications have benefited enormously as a result of applications of such tools and techniques. Most such scientific literature concerning the application of CI for modeling and pattern recognition are scattered around the world in different journals and conference proceedings. “Computational Intelligence in Bioengineering” provides a comprehensive account of the recent research efforts in this emerging area. It brings together cutting-edge research and applications of computational intelligence in a single volume.

Security policies and procedures : principles and practices

Author Sari Stern Greene
Place of Publication Upper Saddle River, N.J.
Date of Publication c2006
Publisher Pearson Prentice Hall

For advanced information security courses on policies and procedures. Security Policies and Procedures: Principles and Practices was created to teach information security policies and procedures and provide students with hands-on practice developing a security policy. This text provides an introduction to security policy, coverage of information security regulation and framework, and policies specific to industry sectors, including financial, healthcare and small business.

Design and analysis of distributed algorithms

Author Nicola Santoro
Place of Publication Hoboken, N.J.
Date of Publication c2007
Publisher Wiley

This text is based on a simple and fully reactive computational model that allows for intuitive comprehension and logical designs. The principles and techniques presented can be applied to any distributed computing environment (e.g., distributed systems, communication networks, data networks, grid networks, internet, etc.). The text provides a wealth of unique material for learning how to design algorithms and protocols perform tasks efficiently in a distributed computing environment.

Combinatorial and computational geometry

Author edited by Jacob E. Goodman, János Pach, Emo We
Place of Publication Cambridge New York
Date of Publication c2005
Publisher Cambridge University Press

During the past few decades, the gradual merger of Discrete Geometry and the newer discipline of Computational Geometry has provided enormous impetus to mathematicians and computer scientists interested in geometric problems. This volume, which contains 32 papers on a broad range of topics of current interest in the field, is an outgrowth of that synergism. It includes surveys and research articles exploring geometric arrangements, polytopes, packing, covering, discrete convexity, geometric algorithms and their complexity, and the combinatorial complexity of geometric objects, particularly in low dimension. There are points of contact with many applied areas such as mathematical programming, visibility problems, kinetic data structures, and biochemistry, as well as with algebraic topology, geometric probability, real algebraic geometry, and combinatorics.

Electrical Power System Essentials

Author Pieter Schavemaker and Lou van der Sluis
Place of Publication Chichester, England Hoboken, N.J.
Date of Publication c2008
Publisher Wiley

Much of the basic hardware that generates, transmits and distributes electricity has changed little over the past century. However, the techniques applied in the power system have advanced, leading to greater transformer efficiency and more economic transmission and distribution. As the demand for electricity in both the developed and developing world increases, governments and electricity providers continue to look for alternative means of creating energy through renewable sources. Today’s needs also include well-designed systems that are capable of producing large quantities of electricity in the safest, most cost-effective way for the benefit of both individuals and industry. This book provides an accessible introduction to the interesting world of alternating current (AC) power systems, focusing on the system as a whole.After laying out the basics for a steady-state analysis of three-phase power systems, the book examines: the generation, transmission, distribution, and utilization of electric energy; the principles of thermal, nuclear and renewable energy plants; power system control and operation; and, the organization of electricity markets, the changes currently taking place, and the developments that could lead to alternative power systems in the future. Inside, you will find appendices that support the key text, supplying information on the modeling of power system components and including basic equations derived from Maxwell’s laws. Numerous practical examples, case studies and illustrations, demonstrate the theory, techniques and results presented in the text, and an accompanying solutions manual with problems and worked through answers is available on a supplementary website. With its pragmatic approach, “Power System Essentials” is ideal for senior undergraduate students in electrical engineering who require an up-to-date overview of the subject.This book also acts as a concise reference, suitable for postgraduates and professionals from a range of disciplines who would like to work in this field.

Fundamentals of microelectronics

Author Behzad Razavi
Place of Publication Hoboken, N.J.
Date of Publication c2008
Publisher Wiley

Designed to build a strong foundation in both design and analysis of electronic circuits, Razavi teaches conceptual understanding and mastery of the material by using modern examples to motivate and prepare students for advanced courses and their careers. Razavi’s unique problem-solving framework enables students to deconstruct complex problems into components that they are familiar with which builds the confidence and intuitive skills needed for success.

Software system reliability and security

Author edited by Manfred Broy, Johannes Grünbauer and Tony Hoare.
Place of Publication Amsterdam Washington, DC
Date of Publication c2007
Publisher IOS Press

The foundations of software technology provide models that enable us to capture application domains and their requirements, but also to understand the structure and working of software systems, software architectures and programs. New developments must pay due diligence to the importance of security-related aspects, and align current methods and techniques to information security, integrity, and system reliability. However, based on the specific needs in applications of software technology, models and formal methods must serve the needs and the quality of advanced software engineering methods, especially taking into account security aspects in Information Technology. As a consequence of the wide distribution of software and software infrastructure, information security depends on the quality and excellent understanding of its functioning. Only when this functionality is guaranteed as safe, customers and information are protected against adversarial attacks. Thus, to make communication and computation secure against catastrophic failure and malicious interference, it is essential to build secure software systems and methods for their development.Such development is difficult, mainly because of the conflict between development costs and verifiable correctness. The articles in this book describe the state-of-the-art ideas on how to meet these challenges in software engineering.

Jul 1


  1. Basic Electronics: A Text-lab Manual / Paul B. Zbar. 1976

  2. C and UNIX Tools for Software Design / Martin L. Barret. 1996.

  3. Communication Systems / Simon Haykin. 1983

  4. Concepts of Programming Languages / Robert J. Sebesta. 2004

  5. Contemporary Logic Design / Randy H. Katz. 1992

  6. Data Structures and Algorithm Design / C. Weiss and Mark Allen. 1993

  7. The Design of Digital Systems / John B. Peatman. 1972

  8. Digital Signal Processing / William D. Stanley. 1984

  9. Digital Systems : Hardware Optimization and Design / Frederick J. Hill. 1978

  10. Distribution Systems / Electric Utility Engineers of the Westinghouse Electric Corporation. 1959

  11. Electrical Design for Building Construction / John E. Traisler. 1976

  12. Electricity, Electronics and Electromagnetics / Boylestad. 1977.

  13. Electronic Devices and Circuit Theory / Boylestad. 1972

  14. Electronic Devices and Circuit Theory / Boylestad. 1978.

  15. Electronic Devices and Circuit Theory / Boylestad. 1987.

  16. Electronic Devices and Circuit Theory / Boylestad. 1996.

  17. Elementary Differential Equations / Earl D. Rainville. 1981.

  18. Handbook of Practical Electrical Design / Joseph F. McPartland. 1984.

  19. IEEE Recommended Practice for the Design of Reliable Industrial and Commercial Power Systems / The Institute of Electrical and Electronics Engineers, 1980.

  20. IEEE Recommended Practice for Electric Power Distribution for Industrial Plants / The Institute of Electrical and Electronics Engineers, 1976.

  21. The IEEE Recommended Practice for Electric Power Systems in Commercial Buildings / The Institute of Electrical and Electronics Engineers. 1983.

  22. The IEEE Recommended Practice for Emergency and Standby Power Systems for Industrial and Commercial Applications / The Institute of Electrical and Electronics Engineers, 1980.

  23. IEEE Recommended Practice for Grounding of Industrial and Commercial Power Systems / The Institute of Electrical and Electronics Engineers. 1982.

  24. IEEE Recommended Practice for Protection and Coordination of Industrial and Commercial Power Systems / The Institute of Electrical and Electronics Engineers. 1975

  25. Information Systems : A Management Perspective / Steve Alter. 1996.

  26. Introduction to Computer Science / Vladimir Zwass. 1981

  27. Introduction to Computers and Information Systems / Larry Long. 1994.

  28. Introduction to Logic / Irving Copi. 1994

  29. McGraw-Hill’s Handbook of Electrical Construction / McGraw-Hill. 1993.

  30. Means Electrical Cost Data / John Chiang. 1992.

  31. Means Electrical Cost Data / John Chiang. 1995.

  32. National Electric Code Handbook. Mark W. Early. 1999.

  33. Network and Distributed Systems / Morris Slomans. 1994.

  34. OCP Oracle8i DB0 Study Guide / Lance Mortensen. 2001.

  35. Optimal and Adaptive Signal Processing / Peter M. Clarkson. 1993.

  36. Practical Electrical Writing / Richter Schwan. 1984.

  37. Feedback and Control Systems / Joseph S. Distefano III. 1967.

  38. Software Engineering : A Practitioner’s Approach / Roger S. Pressman. 1992.

  39. Standard Handbook for Electrical Engineers / Donald G. Fink. 1987.

  40. SUSE Linux 10.0 Reference Parts I-VII

  41. Swithgear and Control Handbook / Robert W. Smeaton. 1977.

  42. Active X Controls Part II / Marby Software.

Get one. Give one. Feel free to get a book. Provided you give a book in return :)

Jun 29

Time

Place of Publication Hong Kong
Date of Publication Vol. 173, no. 22: June 8, 2009
Publisher King Road, Quarry Bay

newsweek12151.jpg

Latina Justice : Will Sonia Sotomayor change the U.S. Supreme Court? by Richard Lacayo

Newsweek

Place of Publication New York
Date of Publication Vol. CLIII, no. 23 : June 8, 2009
Publisher Newsweek

newsweek12151.jpg

The Quiet Revolutionary : How Rahul Gandhi wants to remake India

Time

Place of Publication Hong Kong
Date of Publication Vol. CLIII, no. 23 : June 15, 2009
Publisher King Road,Quarry Bay

newsweek12151.jpg

Twitter

Newsweek

Place of Publication New York
Date of Publication Vol. CLIII, No. 24 : June 15, 2009
Publisher Newsweek

newsweek12221.jpg

India’s Bold Plan : Singh’s First 100 days could change the world

Mac Life

Place of Publication South San Francisco, CA
Date of Publication Vol. 3, no. 6: June 2009
Publisher Future US

Mac Life

Mobile Mac Answers : Your Ultimate Guide to MacBook and iPhone gear, tips and tricks

Newsweek

Place of Publication New York
Date of Publication Vol. CLIII, no. 25 : June 22, 2009, 2009
Publisher Newsweek

The Capitalist Manifesto by Fareed Zakaria

Time

Place of Publication Hong Kong
Date of Publication Vol. 173, no. 24 : June 22, 2009
Publisher King Road, Quarry Bay

Containing Kim Jong II As North Korea’s actions get more provocative by the day, the U.S. wants to put its leader in a box. Will China help out? by Bill Powell

PC World Philippines

Place of Publication Makati City
Date of Publication Vol. 21, no. 4: June 2009
Publisher WS Computer Pub.

Best Free Stuff : apps and services worth paying for (but you don’t have to)

Newsweek

Place of Publication Hong Kong
Date of Publication Vol. CLIII, no. 26 : June 29, 2009
Publisher King Road, Quarry Bay

newsweek3.jpg

Theocracy and its discontents

Time: Summer Journey Double Issue

Place of Publication Makati City
Date of Publication Vol. 173, no. 25/26 : June 29, 2009-July 6, 2009
Publisher WS Computer Pub.

newsweek3.jpg

20 Years Ago, the world changed : a look at what happened then, and how it shapes our lives today

Jun 18


UNDERGRADUATE STUDENT PROJECTS


An asynchronous implementation of a 32-bit DLX microprocessor / Christian Loyd G. Dumaguing, Amos Kaiser K. Khan, Mark Anthony D. Parungao. 2009

Bidirectional isolated DC-DC converter using dual full-bridge topology / Marvin Ralph B. Bautista. 2009

Simulation and implementation of UWB filter structures / Marvin T. Bonifacio. 2009


GRADUATE THESES

 An introduction to computer-aided amplifier circuit analysis and design / Teodoro C. Sta. Maria. 1969

Introduction to computer-aided solution for shortest-route problems / Sy Sun Eng. 1971

A study on the design of fully-integrated RF CMOS low-noise amplifiers for 2.4 GHz application / by Edmund Cornelius Vargas Manlangit. 2007

Jun 3

June 2, 2009 — Library Clearance

June 8, 2009 — Start of ID Countersigning

Kindly bring 1×1 picture for your library record card, otherwise, you will not be countersigned.

June 9, 2009 –  Library service resumes

Thank you!

Jun 3

Linux Journal : the original magazine of the Linux Community

Place of Publication Houston, TX
Date of Publication Issue 180: April 2009
Publisher Beltown Media

newsweek12151.jpg

Linux Journal is a monthly technology magazine published by Beltown Media, Inc. of Houston, Texas. The magazine focuses specifically on Linux, allowing the content to be a highly specialized source of information for open source enthusiasts. Linux Journal was the first magazine published about the Linux operating system. The first issue was published in March 1994 by Phil Hughes and Bob Young, co-founder of Red Hat, and featured an interview with Linux creator Linus Torvalds.

Jun 3

Time

Place of Publication Hong Kong
Date of Publication Vol. 173, no. 17: May 4, 2009
Publisher King Road, Quarry Bay

newsweek12151.jpg

100 days Behind the Scenes Photographs by Callie Shell; Education of a President by Joe Klein

Newsweek

Place of Publication New York
Date of Publication Vol. CLIII, no. 18 : May 4, 2009
Publisher Newsweek

newsweek12151.jpg

Shanghai: The Next Detroit by Melinda Lau

Time

Place of Publication Hong Kong
Date of Publication Vol. CLIII, no. 18 : May 11, 2009
Publisher King Road,Quarry Bay

newsweek12151.jpg

The Time 100 The World’s Most Influential People

Newsweek

Place of Publication New York
Date of Publication Vol. CLIII, No. 19/20 : May 11/May 18, 2009
Publisher Newsweek

newsweek12221.jpg

Fear and the Flu: The New Age of Pandemics by Laurie Garrett

Mac Life

Place of Publication South San Francisco, CA
Date of Publication Vol. 3, no. 6: June 2009
Publisher Future US

Mac Life

Mobile Mac Answers : Your Ultimate Guide to MacBook and iPhone gear, tips and tricks

Newsweek

Place of Publication New York
Date of Publication Vol. CLIII, no. 21 : May 25, 2009, 2009
Publisher Newsweek

Obama on Obama : An Exclusive Interview by Jon Meacham

Time

Place of Publication Hong Kong
Date of Publication Vol. 173, no. 19 : May 20, 2009
Publisher King Road, Quarry Bay

Why you’ll be wearing masks again : the world may have dodged a deadly flu pandemic this time. We won’t always be so lucky by Bryan Walsh

PC World Philippines

Place of Publication Makati City
Date of Publication Vol. 21, no. 3: May 2009
Publisher WS Computer Pub.

newsweek12151.jpg

Next-Gen Netbooks: The New Ultraportables

Time

Place of Publication Hong Kong
Date of Publication Vol. 173, no. 20 : May 25, 2009
Publisher King Road,Quarry Bay

newsweek12151.jpg

How Pakistan Let Itself Down by Aryn Baker

Newsweek

Place of Publication Hong Kong
Date of Publication Vol. CLIII, no. 22 : June 1, 2009
Publisher King Road, Quarry Bay

newsweek3.jpg

Everything you think you know about Iran is wrong by Fareed Zakaria

Time

Place of Publication Makati City
Date of Publication Vol. 173, no. 11 : June 1, 2009
Publisher WS Computer Pub.

newsweek3.jpg

The Meaning of Michelle by Nancy Gibbs and Michael Scherer

May 20

mylibrary-poster-announcement.jpg

May 18

 
 
 
NEW CIRCULATION BOOKS

Aspects of network and information security

Author edited by Evangelos Kranakis, Evgueni Haroutunian, and Elisa Shahbazian
Place of Publication Amsterdam Washington D.C.
Date of Publication c2008
Publisher IOS Press

Network security is concerned with creating a secure inter-connected network that is designed so that on the one hand, users cannot perform actions that they are not allowed to perform, but on the other hand, can perform the actions that they are allowed to. Network security not only involves specifying and implementing a security policy that describes access control, but also implementing an Intrusion Detection System as a tool for detecting attempted attacks or intrusions by crackers or automated attack tools and identifying security breaches such as incoming shellcode, viruses, worms, malware and trojan horses transmitted via a computer system or network.Today’s computer infrastructure is exposed to several kinds of security threats ranging from virus attacks, unauthorized data access, sniffing and password cracking. Understanding network vulnerabilities in order to protect networks from external and internal threats is vital to the world’s economy and should be given the highest priority. Computer and network security involves many important and complicated issues and this gathering of scientists will help not only in raising awareness but also in teaching participants the state-of-the-art of security techniques. Topics in network security, information security and coding are discussed in this volume.

Collaborative decision making : perspectives and challenges

Author edited by Pascale Zaraté … [et al.]
Place of Publication Amsterdam, Netherlands
Date of Publication c2008
Publisher IOS Press

This publication presents the latest innovations and achievements of academic communities on Decision Support Systems (DSS). These advances include theory systems, computer-aided methods, algorithms, techniques and applications related to supporting decision making. The aim is to develop approaches for applying information systems technology to increase the effectiveness of decision making in situations where the computer system can support and enhance human judgments in the performance of tasks that have elements which cannot be specified in advance. Also it is intended to improve ways of synthesizing and applying relevant work from resource disciplines to practical implementation of systems that enhance decision support capability.The resource disciplines include: information technology, artificial intelligence, cognitive psychology, decision theory, organizational theory, operations research and modeling. Researchers come from the Operational Research area but also from Decision Theory, Multicriteria Decision Making methodologies, Fuzzy sets and modeling tools. Based on the introduction of Information and Communication Technologies in organizations, the decisional process is evolving from a mono actor to a multi actor situation in which cooperation is a way to make the decision.


eHealth : combining health telematics, telemedicine, biomedical engineering and bioinformatics to the edge : global experts summit textbook

Author edited by Bernd Blobel, Peter Pharow and Michael Nerlich
Place of Publication Amerstdam Washington, DC
Date of Publication c2008
Publisher IOS Press

 

Current demographic, economic and social conditions which developed countries are faced with require a paradigm change for delivering high quality and efficient health services. In that context, healthcare systems have to turn from organization-centered to process-oriented and finally towards individualized patient care, also called personal care, based on ehealth platform services. Interoperability requirements for ubiquitous personalized health services reach beyond current concepts of health information integration among professional stakeholders and related Electronic Patient Records. Future personal health platforms particularly have to maintain semantic interoperability among systems using different modalities and technologies, different knowledge representation and domain experts languages as well as different coding schemes and terminologies to include home care, as well as personal and mobile systems. This development is not restricted to regions or countries, but appears globally, requiring a comprehensive international collaboration. This publication within the series Studies in Health Technology and Informatics presents papers from leading international experts representing all domains involved in ehealth.

Security informatics and terrorism : patrolling the Web : social and technical problems of detecting and controlling terrorists’ use of the World Wide Web

Author edited by Cecilia S. Gal, Paul B. Kantor and Bracha Shapira
Place of Publication Amsterdam Washington, D.C.
Date of Publication c2008
Publisher IOS Press

 

This work is intended to be of interest to counter-terrorism experts and professionals, to academic researchers in information systems, computer science, political science and public policy, and to graduate students in these areas.

The goal of this book is to highlight several aspects of patrolling the Web that were raised and discussed by experts from different disciplines. The book includes academic studies from related technical fields, namely, computer science and information technology, the strategic point of view as presented by intelligence experts, and finally the practical point of view by experts from related industry describing lessons learned from practical efforts to tackle these problems.

This volume is organized into four major parts: definition and analysis of the subject, data-mining techniques for terrorism informatics, other theoretical methods to detect terrorists on the Web, and practical relevant industrial experience on patrolling the Web.

The Learning Grid handbook : concepts, technologies and applications

Author edited by Saverio Salerno … [et al.]
Place of Publication Amsterdam, Netherlands
Date of Publication c2008
Publisher IOS Press

 

Grid technologies are rising with the next generation of Internet by defining a powerful computing paradigm. Grid could be used as a technology ‘glue’ providing users with a uniform way to access resources by means of several devices. These technologies can provide a support for Technology Enhanced Learning (TEL) by enabling new learning environments based on collaboration, real direct experience, personalization, ubiquity, accessibility and contextualization. Nevertheless, to be effectively used in TEL, Grid must be complemented with other elements like semantics and educational modeling; leading to the concept of ‘Learning Grid’ as defined in the homonymous Special Interest Group (SIG) of the European Network of Excellence ‘Kaleidoscope: Shaping the Scientific Evolution of Technology Enhanced Learning’. The key challenge that Kaleidoscope is facing is the scientific and structural integration of the European TEL research. In this context, the Learning Grid SIG aims at contributing to the achievement of an improvement in TEL practices through the definition of open, distributed and pervasive environments for effective human learning taking into account that effective learning requires an active attitude of learners and that learning is a social and collaborative activity so requiring a technology that allows for active and realistic experiments, personalization, knowledge creation and evolution, as well as autonomous and dynamic creation of communities. The first section of the book is about the concept of Learning Grid and related technologies. The second chapter analyses and compares existing languages for the dynamic composition of distributed learning resources and services in aLearning Grid.

Augmented learning : research and design of mobile educational games

Author Eric Klopfer
Place of Publication Cambridge, Mass.
Date of Publication c2008
Publisher MIT Press

New technology has brought with it new tools for learning, and research has shown that the educational potential of video games resonates with scholars, teachers, and students alike. In Augmented Learning, Eric Klopfer describes the largely untapped potential of mobile learning games—games played on such handheld devices as cell phones, Game Boys, and Sony PSPs—to make a substantial impact on learning. Examining mobile games from both educational and gaming perspectives, Klopfer argues that the strengths of the mobile platform—its portability, context sensitivity, connectivity, and ubiquity—make it ideal for learning games in elementary, secondary, university, and lifelong education.

Klopfer begins by exploring the past and present of education, educational technology, “edutainment,” and mobile games, and then offers a series of case studies of mobile educational games that have been developed and implemented in recent years. These games—either participatory (which require interaction with other players) or augmented reality (which augment the real world with virtual information)—can be produced at lower cost than PC or full-size console games. They use social dynamics and real-world contexts to enhance game play, can be integrated into the natural flow of instruction more easily than their big-screen counterparts, and can create compelling educational and engaging environments for learners. They are especially well-suited for helping learners at every level develop twenty-first century skills—including the ability to tackle complex problems and acquire information in “just-in-time” fashion. All of this, Klopfer argues, puts mobile learning games in a unique and powerful position within educational technology.

Data mining IX : data mining, protection, detection and other security technologies

Author editors, A. Zanasi … [et al.]
Place of Publication Southampton Boston
Date of Publication c2008
Publisher WIT

This book contains papers presented at the ninth International Conference on Data Mining, Protection, Detection and other Security Technologies held at the University of Cadiz in Spain, 2008. The applications of Data Mining are important in business, particularly large companies and government agencies, and this market is still going through a period of consolidation. This is reflected in the important transactions that have recently taken place, such as the purchase of Datops by Lexis Nexis and of ClearForest by Reuters, followed by the buying of Inxight by Business Object, later itself acquired by SAP. These vibrant market movements are to be expected in a comparatively young discipline not yet consolidated, and point to the importance of pursuing research and new applications such as some of those described in this book.

The papers in these proceedings are arranged into the following topic areas: Data Mining; Text Mining; Business and Socioeconomic Applications; Security Issues; Risk Analysis.

Digital rights management

Author Joan Van Tassel
Place of Publication Amsterdam Boston
Date of Publication c2006
Publisher Focal

 Digital rights management (DRM) is a type of server software developed to enable secure distribution - and perhaps more importantly, to disable illegal distribution - of paid content over the Web. DRM technologies are being developed as a means of protection against the online piracy of commercially marketed material, which has proliferated through the widespread use of Napster and other peer-to-peer file exchange programs. With the flourish of these file exchange programs, content owners, creators and producers need to have a plan to distribute their content digitally and protect it at the same time-a seemingly impossible task. There are numerous books dealing with copyright, eBusiness, the Internet, privacy, security, content management, and related technical subjects. Additionally, there are several research papers, and almost daily newspaper and magazine articles dealing with digital piracy. However, there are only a few books and documents that bring these together as a basis for profitable exchange of digital content.”Digital Rights Management” can help content providers make money by unifying the confusing array of concepts that swirl around current presentations of DRM in newspapers and business publications. Learn from an award winning author and Emmy nominee. This title is perfect for the non-technical decision maker, content owner or DRM implementation manager. It details all the options from legal to technical.

Elements of argumentation

Author Philippe Besnard and Anthony Hunter
Place of Publication Cambridge, Mass.
Date of Publication c2008
Publisher MIT Press

 ILogic-based formalizations of argumentation, which assume a set of formulae and then lay out arguments and counterarguments that can be obtained from these formulae, have been refined in recent years in an attempt to capture more closely real-world practical argumentation. In Elements of Argumentation, Philippe Besnard and Anthony Hunter introduce techniques for formalizing deductive argumentation in artificial intelligence, emphasizing emerging formalizations for practical argumentation. Besnard and Hunter discuss how arguments can be constructed, how key intrinsic and extrinsic factors can be identified, and how these analyses can be harnessed for formalizing argumentation for use in real-world problem analysis and decision making.

The book focuses on a monological approach to argumentation, in which there is a set of possibly conflicting pieces of information (each represented by a formula) that has been collated by an agent or a pool of agents. The role of argumentation is to construct a collection of arguments and counterarguments pertaining to some particular claim of interest to be used for analysis or presentation.

Elements of Argumentation is the first book to elucidate and formalize key elements of deductive argumentation. It will be a valuable reference for researchers in computer science and artificial intelligence and of interest to scholars in such fields as logic, philosophy, linguistics, and cognitive science.

Human motion : understanding, modelling, capture and animation

Author edited by Bodo Rosenhahn, Reinhard Klette, and Dimitris Metaxas
Place of Publication Dordrecht, Netherlands
Date of Publication c2008
Publisher Springer

 

The study of human motion dates back more than 2000 years. With the event of information technology, new areas have been added to this field. Research using computer vision and computer graphics contributes to a transformation of biomechanics into a discipline that now applies computing technology throughout; on the other hand, computer vision and computer graphics also benefit from defining goals aimed at solving problems in biomechanics. Besides interactions, all three areas also developed their own inherent research dynamics towards studying human motion.

Researchers from all three of these areas have contributed to this book to promote the establishment of human motion research as a multi-facetted discipline and to improve the exchange of ideas and concepts between these three areas. Some chapters review the state of the art whilst others report on leading edge research results, with applications in medicine, sport science, cinematography and robotics.

Oracle 10g database administrator II : backup/recovery & network administration

Author Claire Rajan
Place of Publication Australia Boston, Mass.
Date of Publication c2007
Publisher Thomson Course Technology

 Oracle 10g Database Administrator II: Backup/Recovery uses the most current database release from Oracle to provide thorough coverage of an Oracle database through the day-to-day duties of a database administrator. This text drills down key tools and techniques for Oracle database backup, recovery and network administration and provides good preparation for the update Oracle certification exam, Database Fundamentals I (#1Z0-043). In addition to extensive review material, the end of chapter content also includes comprehensive coverage of the exam objectives and exam-like practice questions. This text is the perfect compliment to the Oracle 10g: Database Administrator: Implementation and Administration (DBA1) text and the 1Z0-042.

Predicting structured data

Author edited by Gökhan Bakır … [et al.]
Place of Publication Cambridge, Mass.
Date of Publication c2007
Publisher MIT Press

 Machine learning develops intelligent computer systems that are able to generalize from previously seen examples. A new domain of machine learning, in which the prediction must satisfy the additional constraints found in structured data, poses one of machine learning’s greatest challenges: learning functional dependencies between arbitrary input and output domains. This volume presents and analyzes the state of the art in machine learning algorithms and theory in this novel field. The contributors discuss applications as diverse as machine translation, document markup, computational biology, and information extraction, among others, providing a timely overview of an exciting field.

Prediction, learning, and games

Author Nicolo Cesa-Bianchi, Gabor Lugosi
Place of Publication Cambridge New York
Date of Publication c2006
Publisher Cambridge University Press


This important new text and reference for researchers and students in machine learning, game theory, statistics and information theory offers the first comprehensive treatment of the problem of predicting individual sequences. Unlike standard statistical approaches to forecasting, prediction of individual sequences does not impose any probabilistic assumption on the data-generating mechanism. Yet, prediction algorithms can be constructed that work well for all possible sequences, in the sense that their performance is always nearly as good as the best forecasting strategy in a given reference class. The central theme is the model of prediction using expert advice, a general framework within which many related problems can be cast and discussed. Repeated game playing, adaptive data compression, sequential investment in the stock market, sequential pattern analysis, and several other problems are viewed as instances of the experts’ framework and analyzed from a common nonstochastic standpoint that often reveals new and intriguing connections. Old and new forecasting methods are described in a mathematically precise way in order to characterize their theoretical limitations and possibilities.

Principles of model checking

Author Christel Baier, Joost-Pieter Katoen
Place of Publication Cambridge, Mass.
Date of Publication [2008?]
Publisher MIT Press

Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, or request-response properties. This automated technique for verification and debugging has developed into a mature and widely used approach with many applications. Principles of Model Checking offers a comprehensive introduction to model checking that is not only a text suitable for classroom use but also a valuable reference for researchers and practitioners in the field.

The book begins with the basic principles for modeling concurrent and communicating systems, introduces different classes of properties (including safety and liveness), presents the notion of fairness, and provides automata-based algorithms for these properties. It introduces the temporal logics LTL and CTL, compares them, and covers algorithms for verifying these logics, discussing real-time systems as well as systems subject to random phenomena. Separate chapters treat such efficiency-improving techniques as abstraction and symbolic manipulation. The book includes an extensive set of examples (most of which run through several chapters) and a complete set of basic results accompanied by detailed proofs. Each chapter concludes with a summary, bibliographic notes, and an extensive list of exercises of both practical and theoretical nature.

Ruby programming for medicine and biology

Author Jules J. Berman.
Place of Publication Sudbury, Mass.
Date of Publication c2008
Publisher Jones and Bartlett Publishersr

Part of the JONES AND BARTLETT SERIES IN BIOMEDICAL INFORMATICS Once again, Jules J. Berman provides biomedical researchers and hospital professionals with an introduction to a time-saving programming language. In this new how-to manual, Berman expertly guides both experienced and inexperienced programmers through the Ruby programming language. Ruby Programming for Medicine and Biology opens with three chapters of Ruby language instruction followed by discussions of 100 ruby scripts covering the most common computational tasks in the field of biomedicine. With helpful explanations of how scripts work, and how they might be implemented in real-world situations, readers will become familiar with this free, open source, object-oriented programming language that is quickly gaining momentum within the bioinformatics community.

Design concepts in programming languages

Author Ranklyn Turbak and David Gifford with Mark A. Sheldon
Place of Publication Cambridge, Mass.
Date of Publication c2008
Publisher MIT Press

 

Hundreds of programming languages are in use today—scripting languages for Internet commerce, user interface programming tools, spreadsheet macros, page format specification languages, and many others. Designing a programming language is a metaprogramming activity that bears certain similarities to programming in a regular language, with clarity and simplicity even more important than in ordinary programming. This comprehensive text uses a simple and concise framework to teach key ideas in programming language design and implementation. The book’s unique approach is based on a family of syntactically simple pedagogical languages that allow students to explore programming language concepts systematically. It takes as its premise and starting point the idea that when language behaviors become incredibly complex, the description of the behaviors must be incredibly simple.

The book presents a set of tools (a mathematical metalanguage, abstract syntax, operational and denotational semantics) and uses it to explore a comprehensive set of programming language design dimensions, including dynamic semantics (naming, state, control, data), static semantics (types, type reconstruction, polymporphism, effects), and pragmatics (compilation, garbage collection). The many examples and exercises offer students opportunities to apply the foundational ideas explained in the text. Specialized topics and code that implements many of the algorithms and compilation methods in the book can be found on the book’s Web site, along with such additional material as a section on concurrency and proofs of the theorems in the text. The book is suitable as a text for an introductory graduate or advanced undergraduate programming languages course; it can also serve as a reference for researchers and practitioners.

Mobile agents : basic concepts, mobility models, and the Tracy toolkit

Author Peter Braun, Wilhelm Rossak.
Place of Publication San Francisco, Calif.
Date of Publication c2005
Publisher Dpunkt.verlag

Mobile agents are software nomads that act as your personal representative, working autonomously through networks. They are able to visit network nodes directly using available computing power and are not limited by platform. This emerging field is now poised to become a cornerstone for new Web-based ubiquitous computing environments. “Mobile Agents” provides a practical introduction to mobile agent technology and surveys the state of the art in mobile agent research. Students and researchers can use the book as an introduction to the concepts and possibilities of this field and as an overview of ongoing research. Developers can use it to identify the capabilities of the technology to decide if mobile agents are the right solution for them. Practioners can also gain hands-on experience in programming mobile agents through exploration of the source code for a complete mobile agent environment available through the companion website. This work summarizes the state of the art in mobile agent research, and identifies the benefits and limitations of current mobile agent technology to help developers understand the possibilities of this new field.It is accompanied by extensive mobile agents web portal with the Java source code for a complete industrial-quality environment for mobile agents, with significant parts of the system open source.

Thinking recursively with Java

Author Eric Roberts
Place of Publication Hoboken, N.J.
Date of Publication c2006
Publisher Wiley

* Updated and revised to include the use of Java for programming examples, this book provides readers with a thorough and clear introduction to the difficult concept of recursion
* Uses a broad range of examples to illustrate the principles used in recursion and how to apply them to programming
* Features imaginative examples along with various exercises and their solutions.

Recent developments in biologically inspired computing

Author [edited by] Leandro Nunes De Castro, Fernando J. Von Zuben
Place of Publication Hershey, Pa.
Date of Publication c2005
Publisher Idea Group Pub.

Recent Developments in Biologically Inspired Computing is necessary reading for undergraduate and graduate students, and researchers interested in knowing the most recent advances in problem solving techniques inspired by nature. This book covers the most relevant areas in computational intelligence, including evolutionary algorithms, artificial neural networks, artificial immune systems and swarm systems. It also brings together novel and philosophical trends in the exciting fields of artificial life and robotics. This book has the advantage of covering a large number of computational approaches, presenting the state-of-the-art before entering into the details of specific extensions and new developments. Pseudocodes, flow charts and examples of applications are provided so as to help newcomers and mature researchers to get the point of the new approaches presented.

The art of designing embedded systems

Author Jack Ganssle
Place of Publication Amsterdam Boston
Date of Publication c2008
Publisher Elsevier / Newnes

Jack Ganssle has been forming the careers of embedded engineers for 20+ years. He has done this with four books, over 500 articles, a weekly column, and continuous lecturing. Technology moves fast and since the first edition of this best-selling classic much has changed. The new edition will reflect the author’s new and ever evolving philosophy in the face of new technology and realities.

Now more than ever an overarching philosophy of development is needed before just sitting down to build an application. Practicing embedded engineers will find that Jack provides a high-level strategic plan of attack to the often times chaotic and ad hoc design and development process. He helps frame and solve the issues an engineer confronts with real-time code and applications, hardware and software coexistences, and streamlines detail management.

Digital signal processing system design : LabVIEW-based hybrid programming

Author by Nasser Kehtarnavaz with laboratory contributions by Namjin Kim and Qingzhong Peng
Place of Publication Amsterdam Boston
Date of Publication c2008
Publisher Academic Press/Elsevier

 

This book combines textual and graphical programming to form a hybrid programming approach, enabling a more effective means of building and analyzing DSP systems. The hybrid programming approach allows the use of previously developed textual programming solutions to be integrated into LabVIEW’s highly interactive and visual environment, providing an easier and quicker method for building DSP systems. This book is an ideal introduction for engineers and students seeking to develop DSP systems in quick time.

Digital signal processing : instant access

Author James D. Broesch, Dag Stranneby, William Walker
Place of Publication Amsterdam Boston
Date of Publication c2009
Publisher Newnes/Elsevier

 

Digital signal processing is commonplace in most electronics including MP3 players, HDTVs, and phones, just to name a few of the applications. The engineers creating these devices are in need of essential information at a moment’s notice. The Instant Access Series provides all the critical content that a signal or communications engineer needs in his or her daily work.

This book provides an introduction to DSPs as well as succinct overviews of linear systems, digital filters, and digital compression. This book is filled with images, figures, tables, and easy to find tips and tricks for the engineer that needs material fast to complete projects to deadline.

Digital video and DSP : instant access

Author Keith Jack
Place of Publication Amsterdam Boston
Date of Publication c2008
Publisher Newnes/Elsevier

 

Digital video is everywhere! The engineers creating HDTV, mp3 players, and smart phones and their components are in need of essential information at a moment’s notice. The Instant Access Series provides all the critical content that a digital video engineer needs in his or her daily work.

This book provides an introduction to video as well as succinct overviews of analog and digital interfaces along with signal processing. This book is filled with images, figures, tables, and easy to find tips and tricks for the engineer that needs material fast to complete projects to deadline.

Fabrication and welding engineering

Author Roger Timings
Place of Publication Amsterdam
Date of Publication c2008
Publisher Elsevier

 

This brand new textbook by one of the leading engineering authors covers basic sheet-metal fabrication and welding engineering principles and applications in one volume - an unrivalled comprehensive coverage that reflects current working and teaching practice. It is fully up-to-date with the latest technical information and best practice and also includes chapters on non-technical but equally essential subjects such as health and safety, personal development and communication of technical information.

FPGAs : instant access

Author Clive “Max” Maxfield
Place of Publication Amsterdam Boston
Date of Publication c2008
Publisher Newnes

 

FPGAs are central to electronic design! The engineers designing these devices are in need of essential information at a moment’s notice. The Instant Access Series provides all the critical content that a computer design engineer needs in his or her daily work.

This book provides an introduction to FPGAs as well as succinct overviews of fundamental concepts and basic programming. FPGAs are a customizable chip flexible enough to be deployed in a wide range of products and applications. There are several basic design flows detailed including ones based in C/C++, DSP, and HDL. This book is filled with images, figures, tables, and easy to find tips and tricks for the engineer that needs material fast to complete projects to deadline.

Mechanical engineering : BTEC National Engineering Specialist Units

Author Alan Darbyshire
Place of Publication Amsterdam
Date of Publication c2008
Publisher Elsevier

 

The second edition of this established textbook fully covers the most popular specialist units of the Mechanical Engineering, Manufacturing Engineering and Operations and Maintenance Engineering pathways of the 2007 BTEC National Engineering syllabus.

Network security : current status and future directions

Author edited by Christos Douligeris Dimitrios N. Serpanos
Place of Publication Hoboken, N.J.
Date of Publication c2007
Publisher John Wiley [distributor]

 

A unique overview of network security issues, solutions, and methodologies at an architectural and research level.

Network Security provides the latest research and addresses likely future developments in network security protocols, architectures, policy, and implementations. It covers a wide range of topics dealing with network security, including secure routing, designing firewalls, mobile agent security, Bluetooth security, wireless sensor networks, securing digital content, and much more.

Leading authorities in the field provide reliable information on the current state of security protocols, architectures, implementations, and policies. Contributors analyze research activities, proposals, trends, and state-of-the-art aspects of security and provide expert insights into the future of the industry.

Computational intelligence : an introduction

Author Andries P. Engelbrecht
Place of Publication Chichester, England Hoboken, NJ
Date of Publication c2007
Publisher John Wiley & Sons

 

Computational Intelligence: An Introduction, Second Edition offers an in-depth exploration into the adaptive mechanisms that enable intelligent behaviour in complex and changing environments. The main focus of this text is centred on the computational modelling of biological and natural intelligent systems, encompassing swarm intelligence, fuzzy systems, artificial neutral networks, artificial immune systems and evolutionary computation.

Engelbrecht provides readers with a wide knowledge of Computational Intelligence (CI) paradigms and algorithms; inviting readers to implement and problem solve real-world, complex problems within the CI development framework. This implementation framework will enable readers to tackle new problems without any difficulty through a single Java class as part of the CI library.

Computational Intelligence: An Introduction, Second Edition is essential reading for third and fourth year undergraduate and postgraduate students studying CI. The first edition has been prescribed by a number of overseas universities and is thus a valuable teaching tool. In addition, it will also be a useful resource for researchers in Computational Intelligence and Artificial Intelligence, as well as engineers, statisticians, operational researchers, and bioinformaticians with an interest in applying AI or CI to solve problems in their domains.

S60 programming : a tutorial guide

Author Paul Coulton, Reuben Edwards, with Helen Clemson
Place of Publication Hoboken, NJ
Date of Publication c2007
Publisher John Wiley

 

Based on the authors’ experiences in developing and teaching Symbian OS, this practical guide is perfect for programmers and provides a series of example-based scenarios that show how to develop Symbian applications.

Sources :

http://www.amazon.com

http://alibris.com


May 14

CS_TITLES

A comparison of simultaneous localization and mapping (SLAM) methods and an implementation of EKF SLAM on ATRV-Mini platform / Lalaine Michelle A. Chen, Maureen Gail G. Geray, Carl Immanuel L. Manalo. 2009

Eye tracking using an ordinary web camera / Kirstie Camille L. Ferre, Maribeth V. Mercado, Rona May U. Tadlas. 2009

REALISM : real-time hand gesture interface for surgeons and medical experts / David Louis M. Achacon Jr., Denise M. Carlos, Maryann Kaye Puyaoan. 2009

TALa : theft alert for laptops / Shelah R. Castro, Karen Camae C. Chua, Melany S. Rosales. 2009

TOMAJO people counter : counting people through video surveillance / Jose Paulo C. Hisole, McReman R. Manlagnit, Nureen Renee Guiaya. 2009

TRACE : tracking and pose recognition of adults in health care environments / Alethea C. Carampel, Joanna Heidi R. Castillo, Maria Franchesca T. Pituk. 2009

EEE TITLES

AWMS : automated weather monitoring system for remote microclimate applications / Gino Virgilio B. Tibajia. 2009

Characterization of local implementations of parabolic grid antenna systems / Hombrebueno, Ben Joseph V. 2009

Compiler implementation for the dual-core ARM7 microprocessor / Delas Alas, Jerome … [et. al.]. 2009

Core : aquatic environment remote data logging platform for aquaculture applications / Barrera, Christine Ann. D. .. [et. al.]. 2009

Design and implementation of a high sensitivity differential capacitance sensing circuit for MEMS accelerometers / Erik John C. Estrada. 2009

Development of a blimp-type mobile robot platform / Cristopher S. Olavario, Marc Milan D. Perez, Mary Grace M. Santos. 2009

Development of a high sensitivity MEMS accelerometer for bipedal robots / Lester Ryan G. Manglicmot, Jun King P. Minon. 2009

Development of an RFID-based lane-level positioning system / Brigitte Anne L. Bautista, Philip A. Martinez, Reniel Alexis N. Padua. 2009

A dimmable flyback high power LED driver with constant-current control / Roberto Emmanuel A. Carlos. 2009

Ima3x : design and implementation of an integrated multimedia environment / Ray Vincent D. Gomez. 2009

Implementation of a Zigbee based active RFID system / Reblora, Kevin Paul A. [and] Rufo, Neil Rico O. 2009

Incorporating duration and intonation models in Filipino speech synthesis / Lito Rodel S. Lazaro, Leslie L. Policarpio. 2009

Incorporating natural language processing techniques in Filipino speech recognition / Reginald M. Almonte, Michael Gringo Angelo R. Bayona, Patrick Simon T. Corrales. 2009

InCtrl HD : intuitive user interface control using Wii remote for high definition videoconferencing / Marc Jordan G. Angco, Riyeth P. Tanyag. 2009

JPEG movie over Zigbee mesh / Arianne T. David … [et. al.]. 2009

Lifelink : development of a portable telehealth device for remote monitoring of biomedical signals / Julius Miguel J. Broma, Arlan Roie A. Santos. 2009

Location-based messaging using an RFID-based access control system / Maria Elvira Tan Sacro-Lacap, Joeven Rex Lagman Dizon. 2009

Mini ATX front end converter for solar application / Rainville M. Pedro. 2009

MOBLOCKS : tangible user interface (TUI) for mobile robot control as an educational tool for preschoolers / Luther Paul D. R. Caranguian, Pablito O. Tolentino Jr. 2009

Motesart xp : wireless sensor network for monitoring temperature and relative humidity in art spaces / Robin Christian S. Juson, Bernard James U. Tan, Ian Christopher M. Tolentino. 2009

Optimized multiple output high current switch-mode power supply for mobile robot applications / Gaudan Albert Chekov L. Castillo. 2009

Passive UHF RFID tag velocity approximation using linear phased array / Siegfred D. Balon, Joseph Aurelio Arthur C. Buyco. 2009

Performance measurements of diversity combining technique using multiple antennas for IEEE 802.15.4 wireless personal area networks / Issa M. Paulino. 2009

Photovoltaic multimode charging with maximum power point tracking / Niño Christoper B. Ramos. 2009

Price-based unit commitment using Muller method / Arvin M. Tabunot. 2009

Rapidly deployable beam-switched 802.11 wireless distribution system / John Cezar L. Pascua, Grace G. Sasondoncillo. 2009

rfATOM : a UHF RFID system implementation on an x86 motherboard platform / Laurice C. Abueg, Roma Franz Iris F. Diaz, Cecille Anne V. Soriente. 2009

Selection of optimal conductor set and application to radial network topology / Yap, Kerwin Thomas L. 2009

SENSLOPE : development of alternative cost-effective instrumentation and sensor networks for monitoring landslides and slope features / Rosanno JC de Dios, Jason Enriquez, Francis Gabriel Victorino. 2009

SMS application with unlimited service registration and indicator / Leonardo B. Bustamante Jr., Robert Ray D. Labatorio. 2009

A solution to price-based unit commitment using Lagrange relaxation combined with particle swarm optimization / Rafael V. Soriano. 2009

Solution to the unit commitment and economic dispatch problem of Luzon grid to optimize NPC and Meralco bilateral contracts with independent power producers / Joris Noel P. Basa. 2004

SUGPO: a rough terrain mobile robot for remote applications? phase II / Jesus Celrin V. Macavinta, Jr., John Ceasar G. Villarin. 2009

Voice over ZigBee mesh network (Voize) / John Carlo N. Nacion, Jefferson C. Dizon, Vincent Cris M. del Mundo. 2009

W.A.T.E.R. : wastewater analysis and treatment equipment routine / Goldie Anne M. Templonuevo, Jardine Sher C. Villarruz. 2009

 

« Previous Entries