ppxscal/embedding_network huggingface dataset:
Visual Test 6 Bible, 1st edition
Authors: Thomas R. Arnold
Venue:  (1998)

:Harness the power, flexibility, and new functionality of Visual Test 6 to enhance the effectiveness of your testing projects. Using concrete scenarios and detailed examples, leading Visual Test expert and veteran trainer Tom Arnold guides you through the entire test automation process - covering both the programming and project management skills needed to deliver high-quality Windows or Web-based software applications on schedule and within budget.
Foundations of Fluid Mechanics with Applications: Problem Solving with Mathematica, 1st edition
Authors: Evgenii V. Vorozhtsov, V. M. Fomin
Venue:  (1998)

:This book presents the basic concepts of continuum mechanics. The material is presented in a tensor invariant form with a large number of problems with solutions. The book integrates the use of the computer algebra system Mathematica, and contains a large number of programs on the disk that will help clarify the concepts of continuum mechanics.
Programming with Visibroker: A Developer's Guide to Visibroker for Java with Cdrom, 2nd edition
Authors: Stefan Reich, Bhaskar Vasudevan
Venue:  (2000)

:How to build advanced distributed object systems using the latest version of VisiBroker for Java. In this new edition of the acclaimed book on the VisiBroker ORB, technical insiders from the VisiBroker development team at Inprise bring you up to speed on the latest version of this most popular implementation of the CORBA standard-VisiBroker 4 for Java. They significantly update and expand the book, providing complete guidance for creating faster and better distributed object-oriented systems, either from scratch or by combining existing components. You'll learn programming techniques in CORBA, then explore in depth basic and advanced VisiBroker for Java implementations. Best of all, you'll be able to quickly master all of the new features introduced in VisiBroker 4, including:*Support for the current CORBA specification*The Portable Object Adapter (POA) for programming servers*Implementation of the Valuetypes feature of the latest CORBA release*Dynamic Programming APIs you can use with scripting*VisiBroker Interface Repository*VisiBroker Console, the graphical management tool for VisiBroker servers and services*VisiBroker's advanced thread and connection management framework*VisiBroker gatekeeper, including enhanced support for firewall navigation*Interceptors and Object WrappersThe CD-ROM contains:*A demo copy of VisiBroker for Java 4, including Naming and Event services*The complete code for all the examples in the bookThe companion Web site contains:*Links to useful resources on CORBA and VisiBroker*Late-breaking information about VisiBroker and CORBA*Examples and errata for the book
Modelling with AutoCAD Release 14: For Windows NT and Windows 95
Authors: Bob McFarlane
Venue:  (1999)

:This book follows the introduction of AutoCAD Release 14, and is intended for the R14 user who wants to learn about modeling. It is designed to demonstrate how the user can create 3D wire-frame models, surface models, and solid models with practical exercises backed up by user activities. All of the exercises have been completed/tested using Release 14.
Internet and World Wide Web Simplified ,3rd Edition, 3rd edition
Authors: Kelleigh Wing, Paul Whitehead
Venue:  (1999)

:Are you new to computers? Does new technology make you nervous? Relax! You're holding in your hands the easiest guide ever to the Internet and World Wide Web  a book that skips the long-winded explanations and shows you how things work. All you have to do is open the book, follow the friendly disk character  and discover just how easy it is to get up to speed.A friendly disk character introduces each taskSelf-contained, two-page lessons make learning a snapFull-color illustrations walk you through step-by-stepUseful tips offer extra hints for each taskSimplified® "I bought several of your books and they are just right! No regrets! I will always buy your books because they are the best." Seward Kollie (Dakar, Senegal) "You're marvelous! I am greatly in your debt." Patrick Baird (Lacey, WA)
Infidelity on the Internet: Virtual Relationships and Real Betrayal
Authors: Marlene M. Maheu
Venue:  (2001)

:Seventy-five million people worldwide are actively engaging in online sexual activity, reveling in the freedom and undefined boundaries of finding relationships in a virtual world. But when these people are also involved in real-life, committed relationships, the effects of their online affairs can be devastating. Infidelity on the Internet exposes the shocking reality of cyber-infidelity. Infidelity on the Internet looks at the questions raised by this new type of relationship, and provides committed couples with the information they need to face the challenges that the Internet brings.
Combinational and sequential equivalence checking
Authors: Andreas Kuehlmann, Cornelis A. J. van Eijk
Venue: Logic Synthesis and Verification (2001)

This chapter covers the problem of deciding functional equivalence of two design descriptions. We focus our presentation on the most commonly used form of equivalence checking, which compares the input/output behavior of two deterministic design models. We define the fundamental problem of equivalence checking and outline a general approach for its solution. Because of the broad practical relevance, we pay special attention to the problem of combinational equivalence checking and discuss various methods to make it scalable and robust for large designs. Furthermore, we outline key techniques for general sequential equivalence checking and present some basic methods to improve their performance.
Microsoft FrontPage 2002: Essential Concepts and Techniques, 1st edition
Authors: Gary B. Shelly, Thomas J. Cashman, Michael Mick
Venue:  (2001)

:Part of the highly successful Shelly Cashman Series, this text offers a clear, step-by-step, screen-by-screen approach to learning the basic skills of Microsoft FrontPage 2002.
Electronic Networks: Crossing Boundaries and Creating Communities
Authors: Tharon W. Howard, Chris Benson
Venue:  (1999)

:Read an excerpt from Electronic Networks! In spite of all the hype about the Internet and the ways networks are changing the face of education, there is surprisingly little information of pragmatic value to teachers. This book addresses that problem head on.Electronic Networks is a book written by practicing classroom teachers about actual instructional computing projects in real classrooms. Rather than talk about "the classroom of the future," the authors provide the help teachers need to integrate instructional technologies in their classrooms. They do so by addressing the real problems and real successes of teaching in networked environments.One way to read this book is to look for specific conditions and activities that ensure success with computers. Taken as a whole, the book is an argument for building a human infrastructure at the same pace we are installing computers and writing; for developing effective ways to assess whether students are truly benefiting from technology; and for addressing issues of equitable use.
Achieving E-business integration: a framework for success
Authors: William M. Ulrich
Venue: Software Magazine (2002)

E-BUSINESS INTEGRATION is an essential element in an organization's efforts to increase its agility in responding to customer, market, and other strategic requirements. E-business integration encompasses a wide variety of tool-enabled disciplines that collectively allow companies to meet business-driven information requirements in significantly streamlined time frames.
Fractal prefetching B+-Trees: optimizing both cache and disk performance
Authors: Shimin Chen, Phillip B. Gibbons, Todd C. Mowry, Gary Valentin
Venue: Proceedings of the 2002 ACM SIGMOD international conference on Management of data (2002)

B+-Trees have been traditionally optimized for I/O performance with disk pages as tree nodes. Recently, researchers have proposed new types of B+-Trees optimized for CPU cache performance in main memory environments, where the tree node sizes are one or a few cache lines. Unfortunately, due primarily to this large discrepancy in optimal node sizes, existing disk-optimized B+-Trees suffer from poor cache performance while cache-optimized B+-Trees exhibit poor disk performance. In this paper, we propose fractal prefetching B+-Trees (fpB+-Trees), which embed "cache-optimized" trees within "disk-optimized" trees, in order to optimize both cache and I/O performance. We design and evaluate two approaches to breaking disk pages into cache-optimized nodes: disk-first and cache-first. These approaches are somewhat biased in favor of maximizing disk and cache performance, respectively, as demonstrated by our results. Both implementations of fpB+-Trees achieve dramatically better cache performance than disk-optimized B+-Trees: a factor of 1.1-1.8 improvement for search, up to a factor of 4.2 improvement for range scans, and up to a 20-fold improvement for updates, all without significant degradation of I/O performance. In addition, fpB+-Trees accelerate I/O performance for range scans by using jump-pointer arrays to prefetch leaf pages, thereby achieving a speed-up of 2.5-5 on IBM's DB2 Universal Database.
Logical operations and Kolmogorov complexity
Authors: Alexander Shen, Nikolai Vereshchagin
Venue: Theoretical Computer Science (2002)

Conditional Kolmogorov complexity K(x|y) can be understood as the complexity of the problem "Y&rarr;X", where X is the problem "construct x" and Y is the problem "construct y". Other logical operations (&uarr;, &darr;, &harr;) can be interpreted in a similar way, extending Kolmogorov interpretation of intuitionistic logic and Kleene realizability. This leads to interesting problems in algorithmic information theory. Some of these questions are discussed.
Introduction to Process Algebra, 1st edition
Authors: Wan Fokkink
Venue:  (2000)

:The theory or process algebra has developed rapidly over the last twenty years and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives an introduction into the basics of process algebra and its applications.
Practical Visual Interdev 6
Authors: Michael Amundsen, Susan Warren
Venue:  (1999)

:Practical Visual InterDev 6 is a straight forward, no-nonsense approach to learning and using Visual InterDev. Begin by learning the development environment and how to use the Wizards, editors, and debuggers. Active Server Pagesthe primary result of Visual InterDev developmentis then be covered in detail. A part of this book is dedicated to database usage, since interaction with databases is a large part of "hard-core" Web applications. This includes coverage of data interaction, COM+, and ADOMicrosoft's direction for data access. Practical Visual InterDev focuses on teaching you to use Visual InterDev and provides quick access to answers and information.
Partial correlation coefficients of intuitionistic fuzzy sets
Authors: Wen-Liang Hung
Venue: International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems (2002)

In many applications, partial correlation for three or more intuitionistic fuzzy sets are very important, but Hung [12] do not discuss this problem. In this paper, we propose a method to calculate the partial correlation of intuitionistic fuzzy sets by means of multivariate correlation model. In order to fit into normal framework, we use empirical logit transform (see Agresti [1] and Johnson and Wichern [13]) for the degree of membership of intuitionistic fuzzy set to achive this.
A framework for table driven testing of Java classes
Authors: Nigel Daley, Daniel Hoffman, Paul Strooper
Venue: Software&mdash;Practice Experience (2002)

With the advent of object-oriented languages and the portability of Java, the development and use of class libraries has become widespread. Effective class reuse depends on class reliability which in turn depends on thorough testing. This paper describes a class testing approach based on modeling each test case with a tuple and then generating large numbers of tuples to thoroughly cover an input space with many interesting combinations of values. The testing approach is supported by the Roast framework for the testing of Java classes. Roast provides automated tuple generation based on boundary values, unit operations that support driver standardization, and test case templates used for code generation. Roast produces thorough, compact test drivers with low development and maintenance cost. The framework and tool support are illustrated on a number of non-trivial classes, including a graphical user interface policy manager. Quantitative results are presented to substantiate the practicality and effectiveness of the approach.
Quantum Entanglement and Communication Complexity
Authors: Harry Buhrman, Richard Cleve, Wim van Dam
Venue: SIAM Journal on Computing (2001)

We consider a variation of the communication complexity scenario, where the parties are supplied with an extra resource: particles in an entangled quantum state. We note that "quantum nonlocality" can be naturally expressed in the language of communication complexity. These are communication complexity problems where the "output" is embodied in the correlations between the outputs of the individual parties. Without entanglement, the parties must communicate to produce the required correlations; whereas, with entanglement, no communication is necessary to produce the correlations. In this sense, nonlocality proofs can also be viewed as communication complexity problems where the presence of quantum entanglement reduces the amount of necessary communication. We show how to transform examples of nonlocality into more traditional communication complexity problems, where the output is explicitly determined by each individual party. The resulting problems require communication with or without entanglement, but the required communication is less when entanglement is available. All these results are a noteworthy contrast to the well-known fact that entanglement cannot be used to actually simulate or compress classical communication between remote parties.
LightWave Applied, Version 6.5 & 7
Authors: Joe Tracy, Jennifer Hachigian, Dave Jerrard
Venue:  (2001)

:Written for users of all skill levels, this tutorial teaches animators how to master LightWave 6.5 through the development of actual projects. With more than 600 images, users will be treated to in-depth tutorials on using the software's features to build detailed and realistic objects like buildings, cars, and mountains. From showing basic functions of Modeler and Layout to creating an entire architecture landscape with camera fly-through, this book gives in-depth coverage to techniques critical for animation success. Also included is a CD-ROM containing objects, figures, and bonus material such as an updated version of Breaking into Hollywood.Author Biography: Joe Tracy was the founding editor of New Tekniques, a magazine recognized as the top resource for LightWave artists and animators. He is the author of Web Marketing Applied. He lives in Santa Barbara, California. Dave Jerrard is a special effects artist in Hollywood. He lives in Valencia, California. Jennifer Hachigian is a visual effects artist who runs the Celshader.com Web site. She lives in Burbank, California. Epic Software Group, Inc., founded in 1990, is a leading provider of new media projects and services for Fortune 500 companies. It is located in The Woodlands, Texas.
Parallel Solution of Partial Differential Equations
Authors: Petter E. Bjrstad
Venue:  (2000)

:The papers in this volume are based on lectures given at the IMA workshop on the "Parallel Solution of Partial Differential Equations" held during June 9 to 13, 1997." "This volume contains papers on the development and assessment of new approximation and solution techniques that can take advantage of parallel computers. It will be of interest to applied mathematicians, computer scientists, and engineers concerned with investigating the state-of-the-art and future directions in numerical computing.
Inside the Microsoft Windows 98 Registry with Cdrom, 1st edition
Authors: Gunter Born, Guenther Born
Venue:  (1998)

:The Registry in any 32-bit version of Microsoft Windows (Windows 95, Windows 98, Windows NT 4.0, and Windows NT 5.0) determines default behavior for many parts of the Windows environment. Knowing how to successfully manipulate the Registry is crucial to seamlessly integrating new applications. Inside the Microsoft Windows 98 Registry is the reference you'll want to have close by. The book-and-CD set provides an overview, starting from the baseline tools of the Registry that are directly accessible. Concepts and recurring features of the Registry are explained, so if you're a developer, a system administrator, or a power user you can ensure that your applications are well behaved in the many flavors of 32-bit Windows. You'll also be able to extend the functionality of the various Windows shells through proper modification of Registry files.
AutoCAD for Interior Design and Space Planning: For Release 14, 3rd edition
Authors: Beverly L. Kirkpatrick, James M. Kirkpatrick
Venue:  (1998)

:This self-paced tutorial helps interior designers and architects learn AutoCAD (Release 14) by actually using it in planning and designing a wide variety of realistic interiors. Using a non-technical writing style and hands-on PROMPT/RESPONSE tutorial approach, it takes readers step-by-step through the creation of all of the drawings necessary for a space planning project (Tenant Space Project)  from floor plans, elevations, and furniture planning, through power and lighting plans, to isometric and three-dimensional drawings. Four other projects  obtained from designers presently working in the field  are included as practice exercises. Contains 493 line drawings  most drawn to scale  that provide readers with visual confirmation of the accuracy of their drawings. Additional tips, notes, and warnings alert readers to shortcuts, pitfalls, and special features of the software. For interior designers and architects.
The Velocity Tracking Problem for Navier--Stokes Flows With Boundary Control
Authors: M. D. Gunzburger, S. Manservisi
Venue: SIAM Journal on Control and Optimization (2000)

We present some systematic approaches to the mathematical formulation and numerical approximation of the time-dependent optimal control problem of tracking the velocity for Navier--Stokes flows in a bounded, two-dimensional domain with boundary control. We study the existence of optimal solutions and derive an optimality system from which optimal solutions may be determined. We also define and analyze semidiscrete-in-time and full space-time discrete approximations of the optimality system and a gradient method for the solution of the fully discrete system. The results of some computational experiments are provided.
Incremental hardware estimation during hardware/software functional partitioning
Authors: Frank Vahid, Daniel D. Gajski
Venue: Readings in hardware/software co-design (2001)

To aid in the functional partitioning of a system into interacting hardware and software components, fast yet accurate estimations of hardware size are necessary. We introduce a technique for obtaining such estimates in two orders of magnitude less time than previous approaches without sacrificing substantial accuracy, by incrementally updating a design model for a changed partition rather than re-estimating entirely.
Panel on integrating security concepts into existing computer courses
Authors: Paul Mullins, Jim Wolfe, Michael Fry, Erik Wynters, William Calhoun, Robert Montante, William Oblitey
Venue: Proceedings of the 33rd SIGCSE technical symposium on Computer science education (2002)

Recently, computer security has come to the forefront of public awareness. With the onslaught of worms such as Code Red, national (U.S.) concern has increased about cyber terrorism and the information infrastructure. One educational response has been the emergence of a number of computer security degree programs - at the undergraduate level, e.g., East Stroudsburg State University of PA, and at the graduate level, e.g., the Heinz School at Carnegie-Mellon University.The panel members were all participants in the Cyber security faculty development Workshop[1] held at Indiana University of PA in August, 2001. Among the goals of the workshop was the development of courses that would teach the theory and application of security, including the use of specially designed (quarantined) "attack" and "defend" computer labs. Additional goals include development of modules related to security for CS core courses, and an interdisciplinary minor for Computer Science and Criminology majors.It was the consensus of the panel participants that many institutions would be unable to implement special degree programs or tracks, and, in a significant number of cases, might be unable to immediately implement even one specialized course. Yet, all the participants also believed strongly that security-related content in our computer courses can, and should, be improved. Even if no security-based courses are added, major and non-major courses in computer science, CIS, etc., can do a better job of raising awareness of threats, vulnerabilities, and risks.Each panel member will address a specific course or sub discipline and describe how security was infused or added to the current curriculum. The intent is to foster discussion regarding appropriateness and pedagogy while relating individual experiences, successes and failures. Audience and panel members will be encouraged to discuss the relative merits of this approach.
From Carnegie to Internet 2: Forging the Serials Future : Proceedings of the North American Serials Interest Group, INC. : 14th Annual Conference, June 10-13, 1999, Carnegie
Authors: P. Michelle Finader
Venue:  (2000)

:From Carnegie to Internet2 is derived from proceedings of NASIG's 14th Annual Conference, held in June 1999 in Pittsburgh, Pennsylvania. Discussing the powerful impact technology has on librarianship, this comprehensive guide shares information and encourages learning through its discussions of metadata, scenario building, full-text databases, electronic serials, reliable Web sources, the history of librarianship, scholarly publishing by librarians, the evolution of distance education, and communication among groups and individuals. The current information and practical insight in From Carnegie to Internet2 will help you improve your technical skills and prepare you and your library for the 20th century.
AMGE Based on Element Agglomeration
Authors: Jim E. Jones, Panayot S. Vassilevski
Venue: SIAM Journal on Scientific Computing (2001)

This paper contains the main ideas for an AMGe (algebraic multigrid for finite elements) method based on element agglomeration. In the method, coarse grid elements are formed by agglomerating fine grid elements. Compatible interpolation operators are constructed which yield coarse grid basis functions with a minimal energy property. Heuristics based on interpolation quality measures are used to guide the agglomeration procedure. The performance of the resulting method is demonstrated in two-level numerical experiments.
Configuring Cisco Avvid: Architecture for Voice, Video, and Integrated Data
Authors: Erik Rozell, Sandy C. Kronenberg
Venue:  (2000)

:The first book to discuss the components of Cisco systems' latest technology and architecture, AVVID. In the United States, data traffic will surpass voice traffic by the beginning of 2000. In many cases, data has already surpassed voice on some service provider networks. The challenge of the enterprise is to optimize networking to carry data, voice and video traffic at the same time and over one standardized architecture. Cisco's AVVID will do that and Configuring Cisco AVVID will give IT professionals, ISPs, and, engineers the first insight into the new architecture and its products.