ppxscal/embedding_network huggingface dataset:
Astronomy on the Personal Computer, 3rd edition
Authors: Oliver Montenbruck, T. Pfleger
Venue:  (1998)

:This resource ". . . goes further than its predecessors . . . breaks new ground for the beginner . . . each chapter covers a single computational routine and concludes with a complete program or module . . . an excellent book . . ".--"Sky & Telescope" (on the first edition). The new edition includes new Windows compatible software. 45 illus.
Linux Firewalls
Authors: Robert Ziegler, Carl Constaintine
Venue:  (1999)

:An Internet-connected Linux machine is in a high-risk situation. This book details security steps that a small non-enterprise business user might take to protect themselves when dealing with what the attacker may gain and what a victim may lose. These steps include packet-level firewall filtering, IP masquerading, proxies, tcp wrappers, system integrity checking, and system security monitoring with an overall emphasis on filtering and protection. This book will provide a description of the need for security measures and solutions. The goal is to help people get their Internet security measures in place quickly, without the need to become an expert in security or firewalls.
HTML: Your Visual Blueprint for Designing Effective Web Sites
Authors: Ruth Maran
Venue:  (2000)

:Visual blueprint is the only guidebook series that takes a VISUAL approach to professional-level computer topics. Inside you'll discover step-by-step screen shots that demonstrate over 100 key HTML tasks, including: Setting up a Web page Reducing image resolution Creating a link to an FTP site Adding embedded sound Creating radio buttons Creating an inline frame Adding JavaScript to a Web page Adding a hit counter Creating an internal style sheet Creating an XML declaration
A low-power digital matched filter for spread-spectrum systems
Authors: Shoji Goto, Takashi Yamada, Norihisa Takayama, Yoshifumi Matsushita, Yasoo Harada, Hiroto Yasuura
Venue: Proceedings of the 2002 international symposium on Low power electronics and design (2002)

A Digital Matched Filter (DMF) is an essential device for Direct-Sequence Spread-Spectrum (DS-SS) communication systems. Reducing the power consumption of a DMF is especially critical for battery-powered terminals. The reception registers and the correlation-calculating unit dissipate the majority of the power in a DMF. In this paper we discuss this problem and propose a low-power architectural approach to a DMF. The total switching activity factor and the switched capacitance are reduced. As a result of power analysis at the gate level, the implementation of the proposed architecture in a standard 0.18-&mgr;m CMOS technology achieved a reduction in the power consumption of more than 70%.
Corporate Information Factory, 2nd edition
Authors: W. H. Inmon, Claudia Imhoff, Ryan Sousa
Venue:  (2000)

:From traditional data warehousing to data marts and operational data stores, a dizzying array of architectures and tools are now available to help enterprises strategically use and manage information. Each has its unique costs and benefits associated with delivering value to the business. But, despite all the hype, not all solutions are equally well suited to every company's needs. In Corporate Information Factory, Bill Inmon, Claudia Imhoff, and Ryan Sousa introduce a practical and proven framework that shows companies how to leverage these solutions to build a company-wide information ecosystem.
Final Fantasy Tactics: Official Game Secrets
Authors: Elizabeth Hollinger, James Ratkos
Venue:  (1998)

:This official strategy guide provides players with battle-by-battle strategies, 70 maps in 3D, important statistical skills information for every job class, and reveals all treasures, secret places and hidden items. And as if that isn't enough, this book also shows you how to play FF VII's Cloud Strife!
Are Bitvectors Optimal?
Authors: H. Buhrman, P. B. Miltersen, J. Radhakrishnan, S. Venkatesh
Venue: SIAM Journal on Computing (2002)

We study the it static membership problem: Given a set S of at most n keys drawn from a universe U of size m, store it so that queries of the form "Is u in S?" can be answered by making few accesses to the memory. We study schemes for this problem that use space close to the information theoretic lower bound of $\Omega(n\log(\frac{m}{n}))$ bits and yet answer queries by reading a small number of bits of the memory.We show that, for $\epsilon > 0$, there is a scheme that stores $O(\frac{n}{\epsilon^2}\log m)$ bits and answers membership queries using a randomized algorithm that reads just one bit of memory and errs with probability at most $\epsilon$. We consider schemes that make no error for queries in S but are allowed to err with probability at most $\epsilon$ for queries not in S. We show that there exist such schemes that store $O((\frac{n}{\epsilon})^2 \log m)$ bits and answer queries using just one bitprobe. If multiple probes are allowed, then the number of bits stored can be reduced to $O(n^{1+\delta}\log m)$ for any $\delta > 0$. The schemes mentioned above are based on probabilistic constructions of set systems with small intersections.We show lower bounds that come close to our upper bounds (for a large range of n and $\epsilon$): Schemes that answer queries with just one bitprobe and error probability $\epsilon$ must use $\Omega(\frac{n}{\epsilon\log(1/\epsilon)} \log m)$ bits of storage; if the error is restricted to queries not in S, then the scheme must use $\Omega(\frac{n^2}{\epsilon^2 \log (n/\epsilon)}\log m)$ bits of storage. We also consider deterministic schemes for the static membership problem and show tradeoffs between space and the number of probes.
The evolution of list-copying algorithms and the need for structured program verification
Authors: Stanley Lee, Willem P. deRoever, Susan L. Gerhart
Venue: Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1979)

How can one organize the understanding of complex algorithms? People have been thinking about this issue at least since Euclid first tried to explain his innovative greatest common divisor algorithm to his colleagues, but for current research into verifying state-of-the-art programs, some precise answers to the question are needed. Over the past decade the various verification methods which have been introduced (inductive assertions, structural induction, least-fixedpoint semantics, etc.) have established many basic principles of program verification (which we define as: establishing that a program text satisfies a given pair of input-output specifications). However, it is no coincidence that most published examples of the application of these methods have dealt with "toy programs" of carefully considered simplicity.Experience indicates that these "first generation" principles, with which one can easily verify a three-line greatest common divisor algorithm, do not directly enable one to verify a 10,000 line operating system (or even a 50 line list-processing algorithm) in complete detail. To verify complex programs, additional techniques of organization, analysis and manipulation are required. (That a similar situation exists in the writing of large, correct programs has long been recognized -- structured programming being one solution.)This paper examines the usefulness of correctness-preserving program transformations (see [6]) in structuring fairly complex correctness proofs. Using our approach one starts with a simple, high-level (or "abstract") algorithm which can be easily verified, then successively refines it by implementing the abstractions of the initial algorithm to obtain various final, detailed algorithms. In Section 2 we introduce the technique by deriving the Deutsch-Schorr-Waite list-marking algorithm [14]. Our main example is the more complex problem of verifying bounded-workspace list-copying algorithms: Section 3 defines the issues, Section 4 presents the key intermediate algorithm in detail and Section 5 considers three of the most complex (published) implementations of list-copying, one of which is discussed in detail. In Section 6 we make some general remarks on program verification and the relevance of our results to the (larger) field of program correctness; Section 7 mentions some related work.
SQL Server 6.5 Administration, 1st edition
Authors: Robert Scrimger, Matthew Shepker, Deanna Townsend
Venue:  (1998)

:Following in the footsteps of proven study materials by ARCO, Que is taking an exciting new approach to the MCSE exam preparation market. MCSE TestPrep: SQL Server 6.5 contains only the essential information needed to pass the SQL Server 6.5 Administration and Implementation exams [70-26(Implementation) & 70-27(Administration)]. Current exam guides cover objectives in great detail. TestPrep titles cut to the chase and provide experienced readers with only the basic essentials. The core information is supplemented with hundreds of questions and exercises so readers can learn the information through practice and repetition.PRACTICE, PRACTICE, PRACTICE-This Microsoft Certified book helps the user practice versus read lengthy text.Allows user to study and practice hundreds of sample test questions, and pass the SQL Server 6.5 Administration and Implementation exams.Learn insiders tips and notes from a distinguished team of MCSEs and Microsoft Certified Trainers.
Learning Cocoa
Authors: Troy Mott
Venue:  (2001)

:Learn about Cocoa application development not merely by reading, but by doing. After absorbing some basic concepts, you'll get right into writing example applications that become gradually more complex. Written by insiders at Apple Computer with access to engineers deeply involved in creating Mac® OS X, Learning Cocoa brings you information that you can't get anywhere else--giving you a leg up in the Mac OS X application development market.
Cyberlaw: What You Need to Know about Doing Business Online
Authors: David Johnston, Charles Morgan, Sunny Handa
Venue:  (1997)

:The information age has exploded with a world-wide bang. Leading us through this digital transformation is a new, up-to-date guide that tackles the changing effects of new information technology on business practice and the possible legal consequences thereof. Serial submission to Wired magazine and the Internet.
Adobe After Effects 5.0 Classroom in a Book
Authors: Adobe Creative Team, Adobe Systems
Venue:  (2001)

:Adobe After Effects 5.0 Classroom in a BookAdobe After Effects is the ultimate tool for creating sophisticated motion graphics and visual effects for film, video, multimedia, and the Web. Adobe After Effects 5.0 Classroom in a Book introduces video, Web, and film producers to the comprehensive set of tools available in After Effects. Using the image files included on the CD, readers gain a thorough tour of After Effects by following each project-based chapter. This book starts with a quick tour of the basic concepts and features of Adobe After Effects. Readers then delve into the basics of the software-how to work with compositions, the time graph, layers, and project and composition windows. From there, each chapter contains a specific project that illustrates key features of After Effects. When finished with this book, readers will know how to create motion graphic effects that include basic animation, sophisticated motion graphics, visual effects used in professional filmmaking, and much more. Those new to After Effects can follow the book from start to finish for a full tour of the software, while those familiar with After Effects can choose from lessons that correspond to their interests and needs.
UNIX Backup and Recovery, 1st edition
Authors: W. Curtis Preston, Curtis W. Preston
Venue:  (2001)

:Unix Backup Recovery provides a complete overview of all facets of Unix backup and recovery, and offers practical, affordable backup and recovery solutions for environments of all sizes and budgets. The book begins with detailed explanations of the native backup utilities available to the Unix administrator, and ends with practical advice on choosing a commercial backup utility. This book: Describes the features, limitations, and syntax of Unix backup and restore utilities,(including dump, tar, cpio, dd, GNUtar, and GNUcpio) for many popular versions of Unix, including AIX, Compaq Unix, HP-UX, IRIX, SCO, Solaris, and Linux Provides instructions for installing and configuring freely available backup systems such as AMANDA Includes ready-to-run shell scripts that automate live backups of Informix, Oracle, and Sybase databases Presents step-by-step recovery procedures for Oracle, Informix, and Sybase Presents step-by-step "bare-metal" disaster recovery procedures for AIX, Compaq Unix, HP-UX, IRIX, Solaris, and Linux Describes the design of "disaster recovery" and "highly available" systems Provides guidance on choosing a commercial backup and recovery system Describes the features and limitations of backup hardware
Teach Yourself Windows NT MCSE; Exam Preparation Guide, 1st edition
Authors: David G. Schaer, Theresa Hadden, Walter J. Glenn, Marcus W. Barton
Venue:  (1997)

:Bullets: { Approved and certified from Microsoft { Prepares you to pass Exams 70-067 and 70-068 { Offers practice questions in the book and at the E-zone site that will test your knowledge and help you become comfortable with the actual exam { Covers all comprehensive exam objectives in concise format { Makes it easy to access and retain the information you need to pass the exam COPY: Practice for the NT Server and NT Enterprise MCSE exams with Teach Yourself Windows NT Server4: MCSE Exam Preparation Guide. This Microsoft-approved, comprehensive training guide features test questions, tables, figures, and review sections to completely prepare you for Exams 70-067 and 70-068. Avoid enrolling in a class and save yourself thousands of dollars. Teach Yourself Windows NT Server 4: MCSE Exam Preparation Guide thoroughly trains you better for less. Visit the E-zone to have your additional review questions answered by mentors within 24 hours. Teach Yourself Windows NT Server 4: MCSE Exam Preparation Guide is sure to help you pass your exams.Written for Microsoft exams 70-67 and 70-68.Written by a Microsoft Certified Trainer.Includes Internet Resource sections for the readers to obtain the most up-to-date information about a particular subject.
A comprehensive project for CS2: combining key data structures and algorithms into an integrated web browser and search engine
Authors: Tia Newhall, Lisa Meeden
Venue: ACM SIGCSE Bulletin (2002)

We present our experience using a large, real-world application as a course project for the second half of the semester of a CS2 course. Our primary goal for the project was to create an engaging application that incorporated most of the key data structures and algorithms introduced in the course. Specifically, the project uses binary search trees, priority queues, hash tables, and graphs. The project consisted of four parts combined to build an integrated web browser and search engine in Java. A key benefit of an incremental, long-term project of this type is that students quickly learn that their initial design and implementation decisions have a significant impact on the eventual extensibility and performance of their software. This provides numerous opportunities for students to recognize the importance of software engineering techniques and complexity analysis in the development of a successful application. We present students' responses to the project which show that they overwhelmingly enjoyed the project and felt that it helped them to see how the data structures and algorithms discussed in the course are used in real software.
Statistical Regularization of Inverse Problems
Authors: Luis Tenorio
Venue: SIAM Review (2001)

In experimental sciences we often need to solve inverse problems. That is, we want to obtain information about the internal structure of a physical system from indirect noisy observations. Often the problem is not whether a solution exists; on the contrary, there are too many solutions that fit the data to a chosen tolerance level. The goal is to use prior information to determine a physically meaningful solution. Here, we present some of the basic questions that arise. We describe methods that can be used to find inversion estimates as well as ways to assess their performance.
SPARROW-a speech and knowledge based architecture for a workplace
Authors: Ruth Marzi
Venue: Proceedings of the international conference on APL-Berlin-2000 conference (2000)

An architecture is presented, which for complex office-systems makes use of speech-processing as well as various methods from artificial intelligence in order to increase the acceptance of such systems. Support can only be useful if it is twofold: the end-user has to be supported in his daily tasks, but the ADE (application development engineer) also needs a tool to support him in the difficult task of configuring a work-place system and keeping it up to date, since the requirements on his qualifications span a wide area.
More WordPerfect 6 for Windows for Dummies
Authors: Margaret Levine Young, David C. Kay
Venue:  (1994)

:If you're one of the thousands of readers who used WordPerfect&reg; 6 For Windows&reg; For Dummies&reg; to become adept at creating impressive, effective word processing documents, you'll be glad to find that this program has even more capabilities and even more techniques that you can add to your WordPerfect repertoire. With best-selling authors Margy Levine Young and David C. Kay to show you the ropes, you'll discover how to Jazz up your documents with graphics, clip art, and even your own drawings Format your documents with tables, headers, footnotes, comments, and special text effects Generate indexes, tables of contents, lists of figures, and cross-references Adjust typography, including word and line spacing, text positioning, hyphenation, and mathematical equations Customize WordPerfect and set up your own time-saving macros Find technical support and resources online Whether you're working on a memo or a manuscript, MORE WordPerfect 6 For Windows For Dummies is one of at least two essential WordPerfect guides - the other, of course, being WordPerfect&reg; For Windows&reg; For Dummies&reg;.
Tony Hawk's Pro Skater: Official Strategy Guide
Authors: Brady Games
Venue:  (1999)

:This BradyGames strategy guide has maps of every level and highlights of all secrets The breakdown of all the tricks gives you the competitive edge to earn the maximum number of points per trick and area. Includes bios of all characters and an exclusive interview with Tony Hawk. You will perform hundreds of tricks and stunt combos, including kickflip and a frontside to gain points and win competitions.
Just for Fun: The Story of an Accidental Revolutionary
Authors: Linus Torvalds, David Diamond
Venue:  (2002)

:Ten years ago, college student Linus Torvalds retreated to his own computer to write code. He quips, "I couldn't afford software that I liked, so I wrote my own operating system." Not only did he write the operating system, he gave it away and invited other software engineers to improve it.The rest is history. Today, Torvalds has become the key figure in the open source software movement. The powerful operating system he wrote, Linux, has grown into a major force in the computer industry, while its voluntary development model has made Linux the world's largest collaborative project. Hundreds of the world's best engineers contribute to the improvement of Linux. Over 12 million machines, including many of the servers that power the World Wide Web, now run on Linux, as do the top-of-the-line offerings from such hardware giants as IBM and Compaq.Just for Fun chronicles Torvalds's amazing lifefrom his eccentric childhood in Finland, to his gangly, geeky teenage years when his greatest joy was writing programs on his grandfather's VIC-20 computer, to his rise to world-wide fame with Linux. Brimming with Torvalds's candid observations and opinions, this is a must-read for anyone who wants to know where high tech and business are going in the future.
Adaptive implicit modeling using subdivision curves and surfaces as skeletons
Authors: Alexis Angelidis, Marie-Paule Cani
Venue: Proceedings of the seventh ACM symposium on Solid modeling and applications (2002)

Recent work has shown that implicit modeling using levels of details (LODs) is possible thanks to the use of subdivision-curves as skeletons. However, the geometric skeleton of a 3D shape is, in the general case, a graph of interconnected curve segments and surface patches, the exclusive use of curve skeletons is therefore not sufficient. We present a model that uses a graph of interconnected subdivision curves and surfaces as a skeleton, on which a varying radius can be specified in order to control surface thickness. The subdivision levels of the skeleton provide levels of detail for the field function that defines the implicit surface. Its visualization is achieved by generating a coarse mesh that surrounds the skeleton. At high valence skeleton vertices, triangulation topology issues are managed by locally overlapping the iso-surface triangulations. The mesh is then adaptively refined in order to sample the current LOD of the implicit surface within an error tolerance. The last contribution is a new solution to the unwanted blending problem. It avoids blending between parts of the surface that do not correspond to neighboring skeletal elements, and ensures continuity everywhere. All these methods are integrated into an interactive modeling system, where the user can create, view and edit complex shapes at different levels of detail.
Rapid Application Development: rough and dirty or value-for-money engineering?
Authors: Alan Howard
Venue: Communications of the ACM (2002)

Success in any type of work relies as much on one's attitude toward it as on the skills and techniques applied.
Beginning Web Development With Visual Interdev 6
Authors: Andrew Mumford, Mike Cai, Paul Wilton, John Duckett
Venue:  (1999)

:Visual Interdev is the Visual Basic of web development. Like "Beginning Visual Basic 6.0, " this book teaches programming, at the same time as exploring the programming environment Visual Interdev 6. Visual Interdev is a Visual Basic environment that can be used to build applications using VBScript, JavaScript, HTML and ASP. Tools also are provided with VI 6 that make database development easier.
Improving energy saving in hard real time systems via a modified dual priority scheduling
Authors: M. Angels Moncusi, Alex Arenas, Jesus Labarta
Venue: ACM SIGARCH Computer Architecture News (2001)

In this paper, we present a modification of the Dual Priority scheduling algorithm, for hard real-time systems, that takes advantage of its performance to efficiently improve energy saving. The approach exploit the priority scheme to lengthen the runtime of tasks reducing the speed of the processor and the voltage supply, thereby saving energy by spreading run cycles up to the maximal time constraints allowed. We show by simulation that our approach improves the energy saving obtained with a pre-emptive Fixed Priority scheduling.
Short Order Microsoft PhotoDraw 2000
Authors: Molly W. Joss, Jason Dunn
Venue:  (2000)

:Aimed at intermediate to advanced Office users, Short Order PhotoDraw is a visual, two-color, step-by-step guide to the practical use of PhotoDraw 2000 - including coverage of the new version 2. The book is a productivity tool for users seeking to maximize PhotoDraw 2000, and the book's unique format enables the reader to quickly find solutions to design problems. Power tips and notes will provide even more information about timesaving features and uses for the software not found elsewhere. Topics covered include image retouching, drawing and editing, modifying clip art, preparing images for the Web, creating special effects, maximizing the included templates and much more.