ppxscal/embedding_network huggingface dataset:
Fundamentals of AutoCAD Release 14 with 3.5 Disk, 1st edition
Authors: Steven B. Combs, Jay H. Zirbel
Venue:  (1998)

:As practical as it's functional, this reader-friendly, hardbound book focuses on using AutoCAD as a drafting tool. It progresses into an AutoCAD book with a practical approach that emphasizes 2D techniques, offers discipline specific workbooks, and a website. The book will help readers understand the foundations for the software's commands, learn basic skills, and more advanced drawing areas such as dimensioning an object. Based on current standards, it offers a non-discipline approach that is equally accessible to the readers/students of mechanics, architecture or electronics, and weaves many examples and exercises throughout to expose users to real-world problems and situations. Appropriate for readers interested in design/industrial technology or engineering technology.
Superlinear Convergence and Implicit Filtering
Authors: T. D. Choi, C. T. Kelley
Venue: SIAM Journal on Optimization (1999)

In this paper we show how the implicit filtering algorithm can be coupled with the BFGS quasi-Newton update to obtain a superlinearly convergent iteration if the noise in the objective function decays sufficiently rapidly as the optimal point is approached. In this way we give insight into the observations of good performance in practice of quasi-Newton methods when they are coupled with implicit filtering. We also report on numerical experiments that show how an implementation of implicit filtering that exploits these new results can improve the performance of the algorithm.
Driver 2: Prima's Official Strategy Guide
Authors: Juanita Jones
Venue:  (2000)

:Tanner is back in the sequel to the huge hit Driver in Driver 2 for the PlayStation. Driver 2: Prima's Official Strategy Guide will also be a huge hit with tactics and tips to help get you through each mission and beat the bad guys, including:Useful tips for each of the 38 new missionsDetailed maps of Chicago, Las Vegas, Rio de Janeiro, and Havana that highlight car locations and shortcutsAll cheats and secretsKiller hints for avoiding the copsPowerful tips and tactics for all four new two-player modes
Oracle8i Tips and Techniques
Authors: Douglas Scherer, Xerxes Cursetjee
Venue:  (1999)

:Become an expert using hundreds of hidden,undocumented solutions that can only be discovered through extensive trial and error. Expert Technical Knowledge at the Turn of a Page. Catapult your Oracle8i knowledge to the next level by using hundreds of Oracle8i tips and techniques provided in the one-of-a-kind reference designed for every Oracle developer and DBA. This book highlights innovative solutions that are either hidden,undocumented,or can only be discovered through many years of experience or through extensive trial and error. Oracle8i Tips & Techniques provides hundreds of real-world examples and insider secrets for each component of Oracle8i,as well as details on integrating the components to work together as a fine-tuned unit. Inside,you'll find coverage of: Java Virtual Machine (JVM)interMediaJDBCEnterprise JavaBeansPL/SQLServer Installation and ManagementData WarehousingSecurityPerformancePacked with sample techniques and source code for use in developing,testing,deploying,and maintaining Oracle8i applications,this unique resource is ideal for all Oracle Developers and DBAs.
Designing for the User with OVID: Bridging the Gap Between Software Engineering and User Interface Design, 1st edition
Authors: Dave Roberts, Dick Berry, Scott Isensee, John Mullaly
Venue:  (1998)

:Object, View, and Interaction Design (OVID) addresses the need to improve the quality and efficiency of designing user interfaces. It applies many of the tools and techniques used in object-oriented code design to the domain of the user interface. OVID brings rigor to the design process and produces output that feeds directly into code design. OVID helps to create interfaces that meet user requirements and are easy to use.
How to cook a temporal proof system for your pet language
Authors: Zohar Manna, Amir Pnueli
Venue: Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1983)

An abstract temporal proof system is presented whose program-dependent part has a high-level interface with the programming language actually studied. Given a new language, it is sufficient to deline the interface notions of atomic transitions, justice, and fairness in order to obtain a full temporal proof system for this language. This construction is particularly useful for the analysis of concurrent systems. We illustrate the construction on the shared-variable model and on CSP. The generic proof system is shown to be relatively complete with respect to pure first-order temporal logic.
Library Automation at the University of Illinois at Urbana-Champaign, 1965-2000: A Case Study of Technological and Organizational Validity
Authors: Alvan Bregman, Robert H. Burger
Venue: IEEE Annals of the History of Computing (2002)

Successful library system automation depends on many factors, both technological and organizational, including an institution's flexibility in making changes that are consistent with a system's optimal use. Here, as the authors reflect on more than three decades of system implementation trial-and-error, they also examine the many interrelated factors that contribute to achieving a complete integration of automated library services.
Sort sets in the relational model
Authors: Seymour Ginsburg, Richard Hull
Venue: Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems (1983)

The notion of "sort set" is introduced here to formalize the fact that certain database relations can be sorted so that two or more columns are simultaneously listed in order. This notion is shown to be applicable in several ways to enhance the efficiency of an implemented database. A characterization of when order dependency implies the existence of sort sets in a database is presented, along with several corollaries concerning conplexlty, Armstrong relations and cliques of certain graphs.Sort-set dependencies are then introduced A (finite) sound and complete set of inference rules for sort-set deoendencies is presented, but there is no such set for functional and sort-set dependencies taken together. Deciding logical immplication for sort-set dependencies is proved to be polynomial, but if functional dependencies are included the problem is co-NP complete. Each set of sort-set and functional dependencies is shown to have an Armstrong relation A natural generalization of Armstrong relation, here called "separator," is given and then used to study the relationship between order and sort-set dependencies.
Transforming support: from helpdesk to information center
Authors: Matthew Link
Venue: Proceedings of the 30th annual ACM SIGUCCS conference on User services (2002)

The Computing and Information Services (CIS) Helpdesk at Oklahoma State University (OSU) grew as an outgrowth of academic programming support and support for customers of CIS-developed applications. Like most centralized IT support teams, the Helpdesk expanded its scope primarily to cover the emergence of the desktop computer and the local area network. The rise in complexity of end-user computing environments is central to the development of such teams. Because of the increasing rate of users' collective movement to the margins of the network and the role of central support teams particular to the university environment, the role of the Helpdesk as a simple provider of solutions and contact point for PC repair should be re-evaluated.At OSU, as at many institutions, much desktop-level computer funding is largely decentralized, with departments or colleges able to purchase when and what they will, within the bounds of state purchasing rules. OSU is faced with a very highly distributed support structure, many support staff or systems administration personnel working for academic or administrative areas outside CIS. Departmental staff, as well as other A&M system campuses, need timely information provided to them regarding the availability and performance of core services. The Helpdesk is uniquely positioned to respond to these demands.The role of the Helpdesk, while recognizing its traditional role as a provider of first level support, should be positioned to assume a broader role as a manager of support communications for the central IT organization. Tools and processes should be made available to first responders and the role of emergency manager should be a built-in function of support managers or senior Helpdesk technicians. OSU has made some strong in-roads towards addressing these needs with an emergency operating procedure, daily "problem/change" meeting and associated "Grapevine", as well as teams addressing methods of network-based services monitoring, and outage notification.
Introducation to stochastic Petri nets
Authors: Gianfranco Balbo
Venue: Lectures on formal methods and performance analysis: first EEF/Euro summer school on trends in computer science (2002)

Stochastic Petri Nets are a modelling formalism that can be conveniently used for the analysis of complex models of Discrete Event Dynami Systems (DEDS) and for their performance and reliability evaluation. The automatic construction of the probabilistic models that underly the dynamic behaviours of these nets rely on a set of results that derive from the theory of untimed Petri nets. The paper introduces the basic motivations for modelling DEDS and briefly overviews the basic results of net theory that are useful for the definition of Stochastic Petri Nets and Generalized Stochastic Petri Nets. The different approaches that have been used for introducing the concept of time in these models are discussed in order to provide the basis for the definition of SPNs and GSPNs as well. Details on the solution techniques and on their computational aspects are provided. A brief overview of more advanced material is included at the end of the paper to highlight the state of the art in this field and to give pointers to relevant results published in the literature.
Efficient phrase querying with an auxiliary index
Authors: Dirk Bahle, Hugh E. Williams, Justin Zobel
Venue: Proceedings of the 25th annual international ACM SIGIR conference on Research and development in information retrieval (2002)

Search engines need to evaluate queries extremely fast, a challenging task given the vast quantities of data being indexed. A significant proportion of the queries posed to search engines involve phrases. In this paper we consider how phrase queries can be efficiently supported with low disk overheads. Previous research has shown that phrase queries can be rapidly evaluated using nextword indexes, but these indexes are twice as large as conventional inverted files. We propose a combination of nextword indexes with inverted files as a solution to this problem. Our experiments show that combined use of an auxiliary nextword index and a conventional inverted file allow evaluation of phrase queries in half the time required to evaluate such queries with an inverted file alone, and the space overhead is only 10% of the size of the inverted file. Further time savings are available with only slight increases in disk requirements.
Data Structures and Algorithms, 1st edition
Authors: Bruno R. Preiss
Venue:  (1999)

:Create sound software designs with data structures that use modern object-oriented design patterns! Author Bruno Preiss presents the fundamentals of data structures and algorithms from a modern, object-oriented perspective. The text promotes object-oriented design using Java and illustrates the use of the latest object-oriented design patterns. Virtually all the data structures are discussed in the context of a single class hierarchy. This framework clearly shows the relationships between data structures and illustrates how polymorphism and inheritance can be used effectively. Key Features of the Text* All data structures are presented using a common framework. This shows the relationship between the data structures and how they are implemented.* Object-oriented design patterns are used to demonstrate how a good design fits together and transcends the problem at hand.* A single Java software design is used throughout the text to provide a better understanding of the operation of complicated data structures.* Just-in-time presentation of mathematical analysis techniques introduces students to mathematical concepts as needed.
Special Edition Using Microsoft FrontPage 2002, 1st edition
Authors: Neil Randall, Dennis Jones
Venue:  (2001)

:This book covers everything needed to develop and publish professional Web and intranet pages and sites using FrontPage 2002. It provides comprehensive sections on Web server setup and administration and on adding interactivity to Web sites with Active Server Pages and scripting languages such as JavaScript and Visual Basic ScriPART It also tells more advanced readers how to integrate Web sites with databases as well as add Dynamic HTML, XML, and Java applets to their sites.
Micro Java game development
Venue:  (2002)

Micro Java Games Development explains game development for devices that support J2ME MIDP. The six parts cover a full range of topics, from a tour of all available micro-devices (Palms, cell phones and pagers), a discussion of software standards apart from J2ME (cell phones, messaging, I-mode and wireless enhancements such as Bluetooth), and available J2ME extensions (Siemans, Ericcson, Nokia), development tools and restrictions, to the creation of a meaty J2ME game!
Inside Pro/ENGINEER Solutions 2000i, 3rd edition
Authors: Gary Graham, Dennis Steffen
Venue:  (2001)

:This new edition of Inside Pro/ENGINEER Solutions 2000i2 covers all changes and additions to this popular CAD program's interface and functionality. Offering tips and techniques for the beginning to advanced user, this industry-standard reference book incorporates new and revised information, illustrations, and sample design session material to show users how the software really works.In addition to comprehensive coverage of the ins and outs of using Pro/ENGINEER Solutions, the author counsels users on sound parametric design practices and techniques through the use of revised and expanded tutorials and knowledgeable, in-depth discussions of the design process.
The consultant game
Authors: Linda Kingsbury, Scott Harrigan, Tina Reed
Venue: Proceedings of the 30th annual ACM SIGUCCS conference on User services (2002)

One of the issues we face with new consultants coming into the position is an unrealistic perception of the demands of a job while going to school, especially with time management. So, we came up with an exercise in the form of a board game which gives new consultants some idea of what might happen on the job and what might happen in their personal lives and how this all works together with their time management and self-esteem.The Consultant Game is a fun game of chance and choice, much like life, and consultants learn how their work and personal lives are integrated, as well as finding out that they are expected to grow in the position by learning new skills and teaching others. The Consultant Game takes consultants through a month of consulting in which they have just so many Time and Self-Esteem Units. As they go through the days, there are chance events that occur and choices to be made which can improve or worsen their Self-Esteem and/or take or save some Time. They can also choose to expend Time units to learn new skills and can even teach others that skill once they mastered it for Self-Esteem Units. They also go through Paydays, of course, which gives them Self-Esteem as well as money.The game is followed up with a 15-20 minute 'debriefing' session to make sure all consultants understand the learning points from the game.
QMR-Based Projection Techniques for the Solution of Non-Hermitian Systems with Multiple Right-Hand Sides
Authors: Misha Kilmer, Eric Miller, Carey Rappaport
Venue: SIAM Journal on Scientific Computing (2001)

In this work we consider the simultaneous solution of large linear systems of the form Ax(j) = b(j), j=1,. . . ,K, where A is sparse and non-Hermitian. We describe single-seed and block-seed projection approaches to these multiple right-hand side problems that are based on the QMR and block QMR algorithms, respectively. We use (block) QMR to solve the (block) seed system and generate the relevant biorthogonal subspaces. Approximate solutions to the nonseed systems are simultaneously generated by minimizing their appropriately projected (block) residuals. After the initial (block) seed has converged, the process is repeated by choosing a new (block) seed from among the remaining nonconverged systems and using the previously generated approximate solutions as initial guesses for the new seed and nonseed systems. We give theory for the single-seed case that helps explain the convergence behavior under certain conditions. Implementation details for both the single-seed and block-seed algorithms are discussed and advantages of the block-seed algorithm in cache-based serial and parallel environments are noted. The computational savings of our methods over using QMR to solve each system individually are illustrated in two examples.
Mathematical and Numerical Modeling of Solute Dynamics in Blood Flow and Arterial Walls
Authors: Alfio Quarteroni, Alessandro Veneziani, Paolo Zunino
Venue: SIAM Journal on Numerical Analysis (2001)

The numerical modeling of solutes absorption processes by the arterial wall is of paramount interest for the understanding of the relationships between the local features of blood flow, the nourishing of the inner arterial wall by the blood solutes, and the pathologies that can appear when this process is for some reason perturbed. In the present work, two models for the solutes dynamics are investigated. In the first model, which is essentially based on the one introduced by Rappitsch and Perktold [J. Biomech. Engrg., 118 (1996), pp. 511--519] and Rappitsch, Perktold, and Pernkopf [Internat. J. Numer. Methods Fluids, 25 (1997), pp. 847--857], the Navier--Stokes equations for an incompressible fluid, describing the blood velocity and pressure fields, are coupled with an advection-diffusion equation for the solute concentration. The wellposedness of this model is discussed. The second model considers also the solutes dynamics "inside" the arterial wall, described by a pure diffusion equation. Actually, this is a heterogeneous model, coupling different equations in different parts of the domain at hand. Its wellposedness is proven. Moreover, in view of the numerical study, an iterative finite element method by subdomains is proposed and its convergence properties are analyzed. Finally, several numerical results comparing the different models in situations of physiologic interest are illustrated.
Red Hat Linux 7 Unleashed
Authors: William Ball, Bill Ball, David Pitts
Venue:  (2000)

:Red Hat Linux 7 Unleashed shows you how to install, configure, and manage version 7, the latest version of Red Hat operating system. Version 7 boasts the latest stable Linux kernel, a new and improved installation program, updated libraries and a host of other improvements, including the new Xfree86 4.x. Learn how the operating system works from the inside out. Includes Red Hat Linux 7 Prepare your machine for installing Red Hat Linux using CD-ROMs or over a network. Provides practical guidance aimed at intermediate-level readers who want to extend their knowledge of Red Hat Linux and the Linux operating system
UNIX, with CD-ROM (Unleashed), 1st edition
Authors: Emmett Dulaney, Susan Christopherson, Fran Hatton
Venue:  (1993)

:The power user's guide to UNIX! This book/CD-ROM set provides an in-depth examination of UNIX and its utilities.Includes definitions, practical information, tips, tricks, and examplesFeatures shell scripts designed to aid advanced users in getting the most out of UNIXCoverage includes text editing, networking, configuration, and administration
A Potential Reduction Newton Method for Constrained Equations
Authors: Renato D. C. Monteiro, Jong-Shi Pang
Venue: SIAM Journal on Optimization (1999)

Extending our previous work [T. Wang, R. D. C. Monteiro, and J.-S. Pang, Math. Programming, 74 (1996), pp. 159--195], this paper presents a general potential reduction Newton method for solving a constrained system of nonlinear equations. A major convergence result for the method is established. Specializations of the method to a convex semidefinite program and a monotone complementarity problem in symmetric matrices are discussed. Strengthened convergence results are established in the context of these specializations.
Understanding BizTalk
Authors: John Matranga, Stephen Tranchida
Venue:  (2000)

From the Book:Integrating applications is enormously difficult. It always has been. But integrating applications is just a means to an end-the real end is integrating business processes. Organizations that want to thrive in the 21st century must do a better job of integrating their processes, not only within their organization, but also between them and their partners as well. It's not that simple. Business processes need to be automated and integrated more effectively, but that must be within the context of other more tangible business objectives. Organizations must embrace the global marketplace in order to expand the market for their goods and services. Although that indeed expands their possible reach, it also introduces fundamentally new computing demands for many-the need to maintain systems (or more systems than before) that are designed from the beginning to run non-stop-24 hours a day, 365 days a year. Further, organizations need to reduce cycle times across the board, for physical as well as virtual processes, in order to reduce time to market and deliver against higher customer and partner expectations. Organizations need to make better decisions, and make them faster than before, in order to outsmart competitors. They need to create, maintain, and share knowledge more effectively in order to identify and capitalize on new business opportunities as well as simply avoid making mistakes that could be avoided. They need to establish and maintain dynamic business relationships in order to streamline producing and providing goods and services to their customers. All these challenges are about integration and interoperability. But guess what? All your competitors are trying toachieve these same objectives. The distributed computing platform you choose therefore becomes critical in order to realize these objectives as cost effectively as possible in the short and long term, but more importantly, with the fastest time to market, because the new market is all about speed. If you don't adapt your business to meet these challenges on "Internet time," you will see yourself lose your customers and key partners to those that do. Windows DNA 2000 is Microsoft's platform for building distributed enterprise applications that serve the more demanding needs of organizations in the 21st century. One of the four focuses of the platform is integration and interoperability services, so you can more quickly and easily integrate applications on Windows 2000 with all the other assets in your organizations, independent of operating system, programming model, or programming language. The BizTalk Initiative will provide the integration and interoperability services that allow you to integrate and interoperate with the assets you already have, but will also allow you to use Internet-standard protocols and formats in order to more easily integrate with the rest of the world.