ppxscal/embedding_network huggingface dataset:
Deformation with hierarchical B-splines
Authors: Zhiyong Xie, Gerald E. Farin
Venue: Mathematical Methods for Curves and Surfaces: Oslo 2000 (2001)

Deformation has received wide attention in the field of computer graphics, computer vision, and image processing. This paper describes a new method, which is based on the concept of hierarchical B-splines. Compared with existing methods, our approach is adaptive in that it puts more effort in complex regions, which need more attention. It also provides an elegent tool for curve or surface matching together with the iterative closest point method.
Inside MicroStation, 5th edition
Authors: Frank Conforti
Venue:  (1998)

:Updated for MS/J (including ProjectBank DGN), today's most popular MicroStation tutorial and reference manual has been thoughtfully updated for users who want to make optimal use of MicroStation. As in prior editions, the tutorials enable the reader to focus in on productivity-enhancing features such as proper design setup, configuring reference files, final output (plotting/printing, web output), production enhancements (e.g., AccuDraw, IntelliTrim, Power Selector, Annotation), and enterprise deployment.
Modeling and simulation in the VLSI environment
Authors: Howard Sachar, Robert A. Feretich
Venue: ACM SIGAPL APL Quote Quad (1980)

This paper discusses the use of APL to model VLSI chips as part of an initial design. Starting as a data flow, the design is partitioned and sliced into functional units that can be contained within a VLSI chip. By linking these APL models together, it is possible to simulate the overall implementation and find critical paths.
Computational Methods for the Study of Dynamic Economies, 1st edition
Authors: Ramon Marimon, Andrew Scott
Venue:  (2001)

:Macroeconomics increasingly uses stochastic dynamic general equilibrium models to understand theoretical and policy issues. Unless very strong assumptions are made, understanding the properties of particular models requires solving the model using a computer. This volume brings together leading contributors in the field who explain in detail how to implement the computational techniques needed to solve dynamic economics models. A broad spread of techniques are covered, and their application in a wide range of subjects discussed. The book provides the basics of a toolkit which researchers and graduate students can use to solve and analyse their own theoretical models.
Preflight and File Preparation with Cdrom, 2nd edition
Authors: Erika Kendra
Venue:  (2001)

: Part of the Against The Clock Series! Already popular in corporate training environments! All books in this series are built with the same pedagogical structure, designed to be used separately or in sets. Project-based instruction lets users learn the basics of the software programs while they complete real-world projects. All books are two-color & spiral bound for easy use and reference while working at the computer. All titles work for software across hardware platforms—both Mac and Windows. With a focus on newly evolving and proven techniques for ensuring accurate and timely output from digital layout files, File Preparation and Preflight, 2/E begins with an exploration of workflow - the tasks and processes required to prepare, package and deliver efficient digital content to their graphic arts service providers. From the start, the authors focus on the specific roles that various people play in the process - from the designer, to the mechanical artist, to the customer service representative, imaging experts, and output specialists. Each chapter is aimed at providing real-world examples of output challenges, and the solutions that ensure proper output. Considering the number of pages that fail to output properly, and their impact on the cost and timeliness of the project, File Preparation and Preflight, 2/E will prove an invaluable aid for the design team, production house, or graphic arts service provider. Ellenn Behoriam is the President and founder of Against The Clock, which has its roots in on-site training in many of the nation's leading publishing, design, prepress andprinting companies. Today, Ellenn and her staff, along with dozens of professional writers, educators, illustrators, and artists collaborate via a worldwide network to develop, illustrate, test, and publish courses for the Prentice Hall Against The Clock library. The group is dedicated to delivering the most helpful and well thought out series available for the graphic arts industry.
MCSE: Windows 2000 Core Requirements (Study Guide Series), 2nd edition
Authors: James Chellis, Lisa Donald, Paul Robichaux, Anil Desai
Venue:  (2001)

:The new edition of the MCSE: Windows 2000 Core Requirements box set is the ultimate study tool for the four core exams inthe Windows 2000 MCSE track. Working in conjunction with our team of expert authors, we've made significant enhancements to the study guides based on reader and instructor feedback gathered over the past year. So what's new? We've replaced virtually all of the review and bonus exam questions with more challenging questions that better reflect the difficulty of the actual tests; we've added Real World Scenarios to provide additional insights into the intricacies of implementing Windows 2000 technologies in enterprise networks; and we've added Exam Essentials sections to each chapter, where key exam topics are highlighted. All this in addition to general improvements to the overall instructional quality of the books. And exclusive to this 2nd edition box set, Sybex is including a free "Windows 2000 4-in-1 Core Requirements Exam Notes" book, a $29.99 value! Organized by the official exam objectives, this quick review guide is the perfect way to reinforce knowledge and identify weak spots before you take the exams.
Designing Interactive Web Sites, 1st edition
Authors: James L. Mohler, Jon M. Duff
Venue:  (1999)

:This comprehensive book provides an in-depth look at the fundamentals of effective web design and site construction. The novice web designer learns the process of creating an interactive web site step by step, using real-world examples along the way. Users discover the fundamentals of web site coding without the use of any software specific packages. Advanced topics such as the construction of tables and JavaScript help the experienced designer create an effective site. The book teaches how other authoring programs relate to web design, as well as offering hints, tips, and tricks. The logical format and easy-to-read writing make this a perfect desktop reference.
RISC System/PowerPC System Architecture, 1st edition
Authors: IBM Corporation, International Business Machines
Venue:  (1994)

:Offers support for a wide range of products for the RISC System/6000 product line and AIX operating system, including Uni-processor (UP) and Symmetric Multiple Processor (SMP) systems. Provides important information for building many system features such as memory controllers with caches and bus-to-bus bridges. RISC System/ 6000 PowerPC System Architecture defines an architecture that allows each operating system--in particular, the AIX operating system--to run unchanged on all systems that comply with this architecture. It provides a consistent software interface across a broad range of system implementations and offers all hardware/software dependencies necessary for a successful system identification, configuration and performance tuning process. An important reference for all programmers and product development engineers who are developing software and hardware products for the RISC/System 6000 PowerPC systems. Also useful for system programmers involved in operating system design, system integrators building products and parts for the system family, and anyone interested in porting other operating systems to the RISC System/6000 family.
Optimal plans for aggregation
Authors: Andrei Broder, Michael Mitzenmacher
Venue: Proceedings of the twenty-first annual symposium on Principles of distributed computing (2002)

We consider the following problem, which arises in the context of distributed Web computations. An aggregator aims to combine specific data from n sources. The aggregator contacts all sources at once. The time for each source to return its data to the aggregator is independent and identically distributed according to a known distribution. The aggregator at some point stops waiting for data and returns an answer depending only on the data received so far. If the aggregator returns the aggregated information from k of the n sources at time t it obtains a reward Rk(t) that grows with k and decreases with t. The goal of the aggregator is to maximize its expected reward.We prove that for certain broad families of distributions and broad classes of reward functions, the optimal plan for the aggregator has a simple form and hence can be easily computed.
Building a Data Warehouse for Decision Support, 2nd edition
Authors: Vidette Poe, Stephen Brobst, Patricia Klauer
Venue:  (1997)

:In Building a Data Warehouse for Decision Support, Second Edition, a team of the world's leading experts presents a start-to-finish, state-of-the-art guide to designing and implementing data warehouses. You'll find up-to-the-minute solutions-oriented recommendations for the entire data warehouse development lifecycle, including best practices for requirements gathering and identifying business objectives; critical success factors - why and how they affect the success of your project; planning, scoping, and managing your data warehouse project; and managing metadata for a production data warehouse.
Computer Supported Cooperative Work
Authors: Michael D. Coovert, Lori L. Foster
Venue:  (2000)

:"This timely volume, intended for students and business professionals, provides an introduction to Computer Supported Cooperative Work (CSCW). The authors illustrate CSCW in action and discuss general trends in computer support systems including artificial intelligence, extended realities, and new strategies for interacting with technology. The changing job and worker requirements that accompany CSCW are examined from both a behavioral and technical standpoint. In addition, the authors discuss the implications for various aspects of human resource management including personnel selection, training, leadership, and performance appraisal. Written for the non-computer specialist, the book is easy to understand and will be useful to students in business, psychology, and computer courses and to business professionals implementing CSCW technologies."--BOOK JACKET.
New Perspectives on the Internet Using NetScape Communicator Software: Brief, 1st edition
Authors: Sandra E. Poindexter
Venue:  (1997)

:Part of the New Perspectives series, this text offers a case-based, problem-solving approach for learning the basic features of Netscape Communicator 4.0.
Nonlinear Stability Analysis of Area-Preserving Integrators
Authors: Robert D. Skeel, K. Srinivas
Venue: SIAM Journal on Numerical Analysis (2000)

Linear stability analysis is inadequate for integrators designed for nondissipative systems such as Hamiltonian systems in which nonlinear effects are often decisive. Mathematical theory exists (KAM theory) for rigorous analysis of small perturbations from equilibria, but it needs to be expressed in a form that is more easily applicable to the study of area-preserving maps. We have pursued this, obtaining a completely rigorous nonlinear stability analysis for elliptic equilibria based on the Moser twist theorem and a result of Cabral and Meyer [ Nonlinearity, 12 (1999), pp. 1351--1362], together with the theory of normal forms for Hamiltonian systems. The result is a determination of necessary and sufficient conditions for stability. These conditions are sharpened for the case of reversible maps and applied to the symplectic members of the Newmark family of integrators, which includes the leapfrog, the implicit midpoint, and the Störmer--Cowell methods. Nonlinear stability limits are more severe than those of linear theory. As an example, the leapfrog scheme actually has a step-size limitation of 71% of that predicted by linear analysis.
Financial and Process Metrics for the New Economy
Authors: James Sagner, Paula A. Lubas
Venue:  (2001)

:The economic and operational realities of business have changed. Financial and Process Metrics for the New Economy replaces Old Economy thinking with bold approaches and insights for transaction finance and its component systems in the New Economy. The result is a solid foundation for financial assessment, dynamic guidelines for innovative model implementation, and the first book to factor in the time value of money -- and fully explain the new financial and process metrics -- for corporate decision-makers of today and tomorrow.
On lossless tranformation of databases schemes not necessarily satisfying universal instance assumption
Authors: Tomasz Imielinski, Nicolas Spyratos
Venue: Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems (1984)

Given a multirelational database scheme and a relational mapping f transforming it, an important question is whether the resulting scheme is equivalent to the original one. This question was addressed in the literature with respect to those relational schemes that satisfy the so called universal relation assumption; however, no study was ever concerned with multirelational (data base) schemes that do not necessarily satisfy this assumption.We present two general definitions of lossless transformation of the database scheme based on the so-called closed world and open world assumptions. While both definitions seem to be practically justified, the one based on the open world assumption is more "tractable" We are able to test losslessness defined in such a way for a wide class of relational expressions and dependencies. An algorithm for testing losslessness of a mappings (which are arbitrary relational expressions built up from projections, cartesian products and restrictions) is presented in the paper. Moreover, given a lossless transformation, our algorithm enables us to explicitly construct an "inverted" mapping that restores the corresponding state of the original database. The application of the algorithm to schemes specified by differrent types of dependencies is described. In particular the application of the algorithm for schemes specified by inclusion dependencies is presented. In this case the algorithm works for families of inclusion dependencies having finite chase property. This class of inclusion dependencies is characterized in the paper.
Easy Word 97: See It Done, Do It Yourself, 2nd edition
Authors: Sherry Willard Kinkoph, Heidi Steele
Venue:  (1998)

:This visual guide uses pictures rather than lengthy explanations to teach you Word 97 - the easiest way.
Early Digital Computers at Bell Telephone Laboratories
Authors: M. M. Irvine
Venue: IEEE Annals of the History of Computing (2001)

This article relates highlights from the digital computer development activities at Bell Telephone Laboratories for roughly the period 1937-1958. The history begins with a researcher using relays to build a binary adder on his home kitchen table, continues with relay computers designed for military use, and culminates with computers developed after Bell Labs invented the transistor.
A new dimension in access control: studying maintenance engineering across organizational boundaries
Authors: Gunnar Stevens, Volker Wulf
Venue: Proceedings of the 2002 ACM conference on Computer supported cooperative work (2002)

Inter-organizational cooperation has specific requirements for access control. The paper presents the results from a field study which looks at the cooperation between two engineering offices and a steel mill. Based on these findings we have developed new mechanisms for access control in groupware. These mechanisms allow to restrict operations on shared data while or even after they take place. The new access mechanisms can be decomposed and implemented into a component-based framework. We show how this framework can be extended to realize additional mechanisms for access control with little efforts.
Microsoft PowerPoint 2002 for Dummies
Authors: Doug Lowe, Janet Lowe
Venue:  (2001)

:Put your presentations on the Web  details inside Perk up your presentations with sound, video, and animation effects Create slide shows that grab your audience's attention and make you look good! Got a big presentation coming up? Don't worry! From formatting text and working with templates to clip art, diagrams, animations, and other cool stuff, this friendly guide walks you through PowerPoint basics and beyond  and shows you step-by-step how to build a presentation that'll make your audience say "Wow!" Discover how to: Work with outlines and templates Add pictures and use drawing tools Jazz things up with multimedia and special effects Collaborate on Web presentations Deal with goofs and glitches The 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 fun Get smart! Sign up for daily eTips. Choose from among 33 different subject categories Get news you can use on everything from money to health to computers
Easy Microsoft Windows XP Home Edition
Authors: Shelley O'Hara, Kate Welsh
Venue:  (2001)

: Easy Windows XP Home is the perfect book for beginners who want to learn Windows XP and who prefer a visual, four-color approach. This book covers more than 150 of the most important tasks, ranging from simple features such as opening a folder, to more advanced topics such as installing new hardware or restoring a system.
Proof assistance for real-time systems using an interactive theorem prover
Authors: Paul Z. Kolano
Venue: Theoretical Computer Science (2002)

This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. Several issues arose during the encoding of ASTRAL that are relevant to the encoding of many real-time specification languages such as encoding formulas as types, handling partial functions, dealing with noninterleaved concurrency, and defining irregular operators. These issues and possible solutions are presented as well as how they were handled in the ASTRAL encoding. A translator was written that translates any ASTRAL specification into its corresponding PVS encoding. After performing the proofs of several systems using their translations, PVS strategies were developed to automate the proofs of certain types of properties. In particular, strategies are presented for fully automating the proofs of certain classes of untimed properties. In addition, strategies were developed for partially automating the derivation of timed executions using transition steps. The encoding was used as the basis for a fully automated transition sequence generator tool, which has a wide variety of applications.
The visitor as virtual archaeologist: explorations in mixed reality technology to enhance educational and social interaction in the museum
Authors: Tony Hall, Luigina Ciolfi, Liam Bannon, Mike Fraser, Steve Benford, John Bowers, Chris Greenhalgh, Sten-Olof Hellström, Shahram Izadi, Holger Schnädelbach, Martin Flintham
Venue: Proceedings of the 2001 conference on Virtual reality, archeology, and cultural heritage (2001)

SHAPE, "Situating Hybrid Assemblies in Public Environments", is an EU Future and Emerging Technologies project of the Disappearing Computer initiative, concerned with designing and developing novel technology to enhance interpersonal interaction in public locales: exploratoria, galleries, and museums, for example. This paper outlines a use of hybrid reality technology to enhance users' social experience and learning about antique artefacts and their related history. We describe early SHAPE technical work where we explore whether there are benefits: educational and social, to visitors of extending virtual archaeology or augmented reality archaeology into the public setting of the museum.
Why software still stinks
Authors: Michele Tepper
Venue: netWorker (2002)

Back in 1997, technology journalist Clive Thompson wrote that "Software is badly made. More than that, it is often horribly made. It is developed with the sort of irresponsible abandon that would be unconscionable if it were applied to bridge-building, car-making and possibly even plumbing." Five years later, does he think the situation has gotten better? "If anything," he says, "it's gotten worse."
Linux Programming for Dummies
Authors: Jim Keogh
Venue:  (2000)

:Download sample code at the companion Web siteFun mini quizzes let you test your programming knowledgeThe fun and easy way to start writing Linux® bash shell programs With Linux shell programming, it's easy to create sophisticated applications quickly  after you pick up a few basic programming skills. That's where this friendly guide comes in. Walking you through all the basics, from variables and subprograms to printouts and debugging, programming pro Jim Keogh will have you creating Linux apps in a snap.Discover how to: Write your first shell program Design a user interface Work with loops, functions, and more Create database and e-mail programs Harness the ten most useful Linux utilities Debug your 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: Jim Keogh is the chair of the Software Development for Electronic Commerce track at Columbia University and the author of more than 40 computer books.
AutoLISP Programming: Principles and Techniques: Solution Manual
Authors: Rod Rawls, Mark Hagen
Venue:  (1997)

:A step-by-step approach provides practical, easy-to-follow instruction for mastering the AutoLISP programming language. Content ranges from basic to advanced programming techniques and includes all AutoLISP functions through Release 14. Complete instructions describe how to create useful and productive routines and programs.
Improved Approximation Algorithms for the Vertex Cover Problem in Graphs and Hypergraphs
Authors: Eran Halperin
Venue: SIAM Journal on Computing (2002)

We obtain improved algorithms for finding small vertex covers in bounded degree graphs and hypergraphs. We use semidefinite programming to relax the problems and introduce new} rounding techniques for these relaxations. On graphs with maximum degree at most $\Delta$, the algorithm achieves a performance ratio of $2-(1-o(1))\frac{2 \ln \ln \Delta}{\ln \Delta}$ for large $\Delta$, which improves the previously known ratio of $2-\frac{\log \Delta + O(1)}{\Delta}$ obtained by Halld{órsson and Radhakrishnan. Using similar techniques, we also present improved approximations for the vertex cover problem in hypergraphs. For k-uniform hypergraphs with n vertices, we achieve a ratio of $k-(1-o(1))\frac{k\ln \ln n}{\ln n}$ for large n, and for k-uniform hypergraphs with maximum degree at most $\Delta$ the algorithm achieves a ratio of $k-(1-o(1))\frac{k(k-1)\ln \ln \Delta}{\ln \Delta}$ for large $\Delta$. These results considerably improve the previous best ratio of $k(1-c/\Delta^\frac{1}{k-1})$ for bounded degree k-uniform hypergraphs, and $k(1-c/n^\frac{k-1}{k})$ for general k-uniform hypergraphs, both obtained by Krivelevich. Using similar techniques, we also obtain an approximation algorithm for the weighted independent set problem, matching a recent result of Halldorsson.