ppxscal/embedding_network huggingface dataset:
CCNP Cisco Configuring, Monitoring and Troubleshooting Dial-up Services Study Guide, Exam 640-505, 1st edition
Authors: Syngress Media Inc., Snygress Media Inc Staff
Venue:  (2000)

:Study for the Cisco Remote Access Networks exam on your way to work Providing you with 100% coverage of exam objectives,Syngress Media's CCNP Building Cisco Remote Access Networks Study Guide is the only study tool available for Exam 640-505. This new certification track replaces the Configuring,Monitoring,and Troubleshooting Dialup Services exam. The guide covers: *Identifying Cisco solutions to remote access needs *Enabling on-demand and permanent connections to the central site and enhancing connectivity *Scaling and troubleshooting remote access networks *More The study guide is a complete training package that puts at your fingertips a personal testing center with over 250 questions,chapter- ending practice questions with detailed answers,and 60 minutes of audio covering key exam topics essential to passing the exam - perfect for squeezing in extra study time during your commute and as a last minute "cram" session! You also get the entire book on CD-ROM,with a hyperlinked table of contents and a detailed glossary. Don't Let the Real Test Be Your First Test! Prepare to pass the CCNP Remote Access exam while gaining practical knowledge of Cisco technology for on-the-job success. Built on proven training methodology,this complete study guide and CD-ROM package offers actual classroom techniques used by more than 200,000 IT professionals each year. The CCNP Remote Access Study Guide covers the topics you need to review for the exam,including how to&#58 Enable and troubleshoot protocols and technologies Scale IP addresses with PAT and NAT Configure an asynchronous interface Verify and monitor ISDN Configurations Use ISDN and DDR to enhance remoteconnectivity Verify legacy DDR configurations Configure the 700 Series Router Use authetication,authorization,and accounting to scale access control in an expanding network
Antennas and Propagation for Wireless Communication Systems, 1st edition
Authors: Simon R. Saunders, Saunders R Simon
Venue:  (1999)

:This title introduces the basic concepts and specific applications of antennas and propagation to wireless systems, covering terrestrial and satellite radio systems in both mobile and fixed contexts. Includes:Illustrations of the significance and effect of the wireless propagation channelOverview of the fundamental electromagnetic principles underlying propagation and antennasBasic concepts of antennas and their application to specific wireless systemsPropagation measurement, modeling, and predication for fixed links for macrocells, microcells, picocells, and megacellsNarrowband and wideband channel modeling and the effect of the channel on communication system performanceMehtods that overcome and transform channel impairments to enhance performance using diversity, adaptive antennas, and equalizersExamples of real-world practical system problems of communications design and operationExtensive worked examplesEnd-chapter questionsTopical and relevant information for and about the wireless communications industry.
Windows 95: Exam 70-064, 2nd edition
Authors: Que Corporation, Dale Holmes, Cory Woodrow
Venue:  (1998)

:The MCSE TestPrep series is a unique way of preparing for MCSE exams. Each chapter covers a different exam objective. Each objective is further broken down into manageable sections. The information will be presented in a brief, outline format and will include an abundance of tables, figures, screen shots, and lists. Following each section will be a series of review questions, exercises, and answer explanations. Two complete practice exams and a glossary will be located at the end of the book.Includes only the ESSENTIAL information needed to pass the Windows 95 exam - #70-64 (one of four core exams)PRACTICE, PRACTICE, PRACTICE rather than read pages of text everything written in concise chunksStudy HUNDREDS of sample test questions as well as practice taking the exam with two complete exams at the back of the book
Lifting the Fog of War, 1st edition
Authors: William A. Owens, Edward Offley, Bill Owens
Venue:  (2001)

:A brilliant white paper on the changing face of war and the future of the military. As fleet commander during the Gulf War and then as vice chairman of the Joint Chiefs of Staff, Admiral William A. Owens saw firsthand that "smart" missiles, instant communications, and high-tech surveillance have replaced troops, tanks, and battleships as the "weapons" with which wars are fought. In this incisive and fascinating book, Owens vividly imagines the future of war and the implications for military policy and everyday life. In the wars of the future, Owens contends, the United States' greatest asset will be satellite surveillance, which allows the military to survey entire countries with great precision, round the clock, in any weather. So the United States and its allies should "lift the fog of war" by creating a satellite network rather than continuing to build more planes and nuclear weapons-and should tailor its military budget accordingly. Owens also urges the military to cut back its reliance on defense contractors and instead form open relationships with electronics and technology companies. Owens is one of the true visionaries in the military world. His forward-looking book is a blueprint for a smaller, saner military, and it speaks directly about America's opportunities and responsibilities as the world's dominant military power. Index About the Authors: As vice chairman of the Joint Chiefs of Staff during the first Clinton administration, ADMIRAL WILLIAM A. OWENS was the United States' second-highest-ranking military official. He now heads Teledesic, a leading satellite communications company, and lives near Seatlle. EDWARD OFFLEY has been Military Reporter for the Seattle Post-Intelligencer since 1987, and has covered military operations and exercises in eighteen countries. He lives in Bellevue, Washington.
Digital Control Systems, 2nd edition
Authors: Constantine H. Houpis
Venue:  (1991)

:This comprehensive treatment of digital control theory emphasizes the incorporation of discrete modern controls. The second edition contains material in the following areas W-Transformation Design Methods,Frequency Domain Design Techniques,Robotics Applications,Modern Technology for Digital Control Implementation,and CAD Packages for Control.
Microsoft FrontPage Version 2002 Step by Step with Cdrom
Authors: Online Training Solutions Online Press Inc.
Venue:  (2001)

:Microsoft FrontPage Version 2002 is a user-friendly, fast, effective way to create and manage professional Internet or intranet sites without programming by using familiar Microsoft Office tools and integration features. Microsoft FrontPage Version 2002 Step by Step offers self-paced instruction to the beginning-to-advanced user who wants to get the most out of the FrontPage Web site creation and management tool-and prepare for Microsoft Office User (MOUS) certification. This personal training system offers easy-to-follow lessons full of clear objectives, a wealth of task-oriented procedures, and dozens of real-world business scenarios. Each Step by Step title consists of friendly, straightforward instruction with dozens of full-color screenshots and illustrations to help you learn exactly what you need to know at your own pace. A companion CD-ROM includes practice files that are tightly integrated with the lessons, plus movie-style demonstrations of key procedures. Other features include a "QuickLook Guide" for easy visual navigation, a "Finding the Best Starting Point for You" section to help you decide how to the most out of the book, and a special lay-flat binding to keep the book open during lessons. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Advances in Gabor Analysis
Authors: Hans G. Feichtinger, Thomas Strohmer
Venue:  (2001)

:Gabor Analysis constitutes a central part of time-frequency analysis. While preserving the symmetry between the time (location) domain and the frequency (wave number) domain it avoids the high degree of redundancy inherent in the continuous short-time Fourier transform. The ability to resolve details of a signal ( or a system impulse response) in a two-dimensional representation, whose coefficients have a very natural interpretation, is the basis for many interesting applications in electrical engineering, or signal-and image processing in general, and thus makes Gabor Analysis an important branch of applied mathematics, whose full recognition lies ahead of us. The proposed book contributes positively to this devleopment.The aim of the book is to provide an overview of recent developments in the area of Gabor analysis by bringing together the leading scientists of various disciplines related to this subject. Covering theory, numerics, as well as applications of Gabor analysis, the book will not merely be a collection of articles but a nice blend of invited chapters with a consistent presentation. Each chapter contains the most recent research while providing enough background material to put the work into proper context. Graduate students, practitioners and other researchers in the areas of numerical analysis, electrical engineering and applied mathematics will find this book a current and useful resource.
Livemotion for Dummies
Authors: K. Daniel Clark, Cathy Abes
Venue:  (2000)

:Create wild animations and engaging user interfacesPacked with tips for effective raster and vector animationsJump start your animation skills and add pizzazz to Web pages Adobe® LiveMotion lets you create traffic-stopping Web animations and user interfaces  once you get the hang of all those complicated menus and effects. That's why you need this friendly guide. Using down-to-earth explanations and examples, it shows you step-by-step how to put together animated Web graphics that really rock!Discover how to: Animate shapes, text, or photos Work with colors, layers, and opacity Create cool 3D effects and add sound Design eye-catching bars and buttons Import files from Photoshop®, Flash, and other programsThe Dummies Way Explanations in plain English "Get in, get out" information Icons and other navigational aids Tear-out cheat sheet Top ten lists A dash of humor and funGet smart! www.dummies.com Register to win cool prizes Browse exclusive articles and excerpts Get a free Dummies Daily e-mail newsletter Chat with authors and preview other books Talk to us, ask questions, get answersAuthor Biography: K. Daniel Clark is a noted graphics artist who has worked for Adobe, MacUser®, and Oracle®, among other clients. Cathy Abes is a former senior editor at Publish®.
Tutorial on extreme programming
Authors: James Caristi
Venue: ACM SIGCSE Bulletin (2002)

The methodology known as Extreme Programming will be presented, beginning with its reason for existence, philosophy, and a detailed exposition of the twelve practices that define it. There will also be a discussion of its strengths and weaknesses as a software design methodology.
HTML Style Sheets Design Guide, 1st edition
Authors: Natanya Pitts, Natanya Pitts-Moultis
Venue:  (1997)

:Presents projects and reference materials so that the reader can master and apply style sheets technology as quickly as possible to their Web pages. Teaches simple ways to specify fonts, weights, sizes, leading, margins, and amultitude of other style parameters. Explains the underlying concepts and controls that style sheets provide. Instructs the reader how to dissect the contents of several highly complex style sheets and understand their design. Demonstrates how to build style sheets according to the rules for mixing and matching external and online styles. Covers the relationship between HTML and style sheets, including the original models, discussions, and proprietary developments that have led to the emerging standard. Explores HTML markup as it relates to styles in the form of syntax, backgrounds, fonts, text, and more. Unlike other HTML books, HTML Style Sheets Design Guide actually focuses on cascading style sheets and teaches readers visually with 4-color examples. All examples used throughout the book. Demo versions of style-conscious software for PC, Macintosh, and Unix machines are provided. Links to an associated Web site where readers can find pointers to software and other style sheet sources available.
A Fully Dynamic Algorithm for Recognizing and Representing Proper Interval Graphs
Authors: Pavol Hell, Ron Shamir, Roded Sharan
Venue: SIAM Journal on Computing (2002)

In this paper we study the problem of recognizing and representing dynamically changing proper interval graphs. The input to the problem consists of a series of modifications to be performed on a graph, where a modification can be a deletion or an addition of a vertex or an edge. The objective is to maintain a representation of the graph as long as it remains a proper interval graph, and to detect when it ceases to be so. The representation should enable one to efficiently construct a realization of the graph by an inclusion-free family of intervals. This problem has important applications in physical mapping of DNA.We give a near-optimal fully dynamic algorithm for this problem. It operates in O(log n) worst-case time per edge insertion or deletion. We prove a close lower bound of $\Omega(\log n/(\log\log n+\log b))$ amortized time per operation in the cell probe model with word-size b. We also construct optimal incremental and decremental algorithms for the problem, which handle each edge operation in O(1) time. As a byproduct of our algorithm, we solve in O(log n) worst-case time the problem of maintaining connectivity in a dynamically changing proper interval graph.
Deriving Efficient Cache Coherence Protocols Through Refinement
Authors: Ratan Nalumasu, Ganesh Gopalakrishnan
Venue: Formal Methods in System Design (2002)

We address the problem of developing efficient cache coherence protocols for use in distributed systems implementing distributed shared memory (DSM) using message passing. A serious drawback of traditional approaches to this problem is that the users are required to state the desired coherence protocol at the level of asynchronous message interactions involving request, acknowledge, and negative acknowledge messages, and handle unexpected messages by introducing intermediate states. Proofs of correctness of protocols described in terms of low level asynchronous messages are very involved. Often the proofs hold only for specific configurations and buffer allocations. We propose a method in which the users state the desired protocol directly in terms of the desired high-level effect, namely synchronization and coordination, using the synchronous rendezvous construct. These descriptions are much easier to understand and computationally more efficient to verify than asynchronous protocols due to their small state spaces. The rendezvous protocol can also be synthesized into efficient asynchronous protocols. In this paper, we present our protocol refinement procedure, prove its soundness, and provide examples of its efficiency. Our synthesis procedure applies to large classes of DSM protocols.
The Functional Approach to Programming
Authors: Guy Cousineau, M. Mauny
Venue:  (1997)

:In functional programming, logical concepts are evident and programs are transparent so can be written quickly and cleanly. The authors introduce the subject via examples and explain what programs compute and how to reason about them. They show how the ideas can implemented in Caml, a dialect of ML, and give examples of how complex programs from various areas can be developed in close agreement with their specifications.Many exercises and examples are included throughout the book; solutions are also available. An appendix gives all the code used in the book in Standard ML.
Practical program verification: automatic program proving for real-time embedded software
Authors: John Nagle, Scott Johnson
Venue: Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1983)

Despite the attractiveness of the concept, attempts to date to use proof of correctness techniques on production software have been generally unsuccessful. The obstacles encountered are not fundamental. We have implemented a proof of correctness system to be used for improving the realiability of certain small, real-time programs. It appears that many of the problems of past systems can be avoided.This work is supported by the Long Range Research Program of the Ford Motor Company, Dearborn, Michigan.
Reading, Writing and the World Wide Web
Authors: Patrick Bryce Bjork, Richard Cummins
Venue:  (1999)

:Reading, Writing and the World Wide Web is a college composition textbook specifically designed for the computer-mediated and online classroom. Reading, Writing and the World Wide Web fully integrates its writing activities with sections on computer use, electronic communication, and a detailed instructional for researching and publishing on the World Wide Web.
Concept of logical AI
Authors: John McCarthy
Venue: Logic-based artificial intelligence (2000)

Logical AI involves representing knowledge of an agent's world, its goals and the current situation by sentences in logic. The agent decides what to do by inferring that a certain action or course of action is appropriate to achieve the goals. We characterize briefly a large number of concepts that have arisen in research in logical AI. Reaching human-level AI required programs that deal with the common sense informatic situation. Human-level logical AI requires extensions to the way logic is used in formalizing branches of mathematics and physical science. It also seems to require extensions to the logics themselves, both in the formalism for expressing knowledge and the reasoning used to reach conclusions. A large number of concepts need to be studied to achieve logical AI of human level. This chapter presents candidates, some of them well known, but others new.
Visual Cafe for Java Explorer: Database Development Edition, 1st edition
Authors: William B. Brogden, Jeffrey A. Louie
Venue:  (1997)

:Symantec's Visual Caf&eacute; for Java Rapid Application Development (RAD) tool can be used to create database applets and applications using Java. Coriolis's Visual Caf&eacute; for Java EXplorer: Database Development Edition covers the tool's Integrated Development Environment (IDE) in great depth, discussing numerous examples that illustrate design, implementation, and operation of Visual Caf&eacute; for Java: Database Development Edition. This book covers the latest versions of the Java Software Developer's Kit (JDK), JavaBeans, and Java Database Connectivity (JDBC). This book also teaches professional programmers to leverage object-oriented programming skills to master Java and create applications that interact with popular databases. Webmasters learn basic object-oriented programming concepts and techniques and to use an award-winning Java development tool to add applets to their sites. Introduces Java concepts and object-oriented methods in a way that is useful to experienced programmers and Webmasters who might be new to object-oriented programming. Covers Visual Caf&eacute; for Java's Integrated Development Environment in great detail, showing how to take full advantage of all the features that it offers. Shows how to use Visual Caf&eacute; for Java to develop applets and applications that interact with the most widely used databases. Discusses how Java-based standards, such as JavaBeans and JDBC, are used with Visual Caf&eacute; for Java. All the examples and source code used in the book
Digital Signal Processing: System Analysis and Design
Authors: Paulo Diniz, Sergio Netto, Eduardo Da Silva
Venue:  (2002)

:Digital signal processing lies at the heart of the communications revolution and is an essential element of key technologies such as mobile phones and the Internet. This book covers all the major topics in digital signal processing (DSP) design and analysis, supported by MATLAB examples and other modeling techniques. The authors explain clearly and concisely why and how to use digital signal processing systems; how to approximate a desired transfer function characteristic using polynomials and ratios of polynomials; why an appropriate mapping of a transfer function onto a suitable structure is important for practical applications; and how to analyze, represent, and explore the trade-off between time and frequency representation of signals. An ideal textbook for students, it will also be a useful reference for engineers working on the development of signal processing systems.
SIGEST
Authors: The Editors
Venue: SIAM Review (1999)

This issue's SIGEST paper, "The ring loading problem,'' by Alexander Schrijver, Paul Seymour, and Peter Winkler, appeared originally in volume 11 of SIAM Journal on Discrete Mathematics, February 1998. Beginning with an application of great and growing practical importance to modern communication networks, the authors show that the associated mathematical formulation, a highly special integer multicommodity flow problem, is NP-complete. They then describe their (ultimately successful) search for a fast algorithm that provably produces a solution within 5% of the optimum load. The paper is a lively, appealing mix of algorithmic theoretical computer science, operations research, and graph theory and has already inspired several other papers in the area. The exposition is outstanding, allowing even novices to understand both theoretical and practical aspects of the problem. The continuing, fruitful interactions between mathematics and numerical experiments are exceptionally interesting. For the paper's appearance in SIGEST, the authors have added a new approximation algorithm and comments about a further application area. We are grateful to them for their contribution to SIAM Review.
Mastering Microsoft FrontPage 2002 Premium Edition
Authors: Peter Weverka, Molly E. Holzschlag
Venue:  (2001)

:Combine Sound Design Principles and the Power of FrontPage 2002 This Premium Edition of Mastering FrontPage 2002 is the most complete FrontPage book you'll find anywhere, designed to teach you everything you need to know to get the most out of the world's most efficient Web development application. Seasoned Web developer and columnist Molly Holzschlag shows you the key design principles that contribute to a successful site, and popular author and Microsoft applications expert Peter Weverka guides you through the FrontPage techniques that will enable you to realize your design objectives quickly and easily. Coverage includes * Ensuring compatibility with different browsers * Positioning graphics on Web pages * Minimizing the load time for your Web pages * Implementing counters, search engines, and other components * Saving time and effort with style sheets and Cascading Style Sheets * Publishing your Web site to the Internet * Incorporating JavaScript, VBScript and Dynamic HTML * Using ActiveX programming techniques * Linking your site to a back-end database * Maintaining and promoting your Web site * Using FrontPage server extensions and SharePoint team services to create a dynamic site for your company * Writing and implementing CGI and Perl scripts