ppxscal/embedding_network huggingface dataset:
Computational complexity of some problems involving congruences on algebras
Authors: Clifford Bergman, Giora Slutzki
Venue: Theoretical Computer Science (2002)

We prove that several problems concerning congruences on algebras are complete for nondeterministic log-space. These problems are: determining the congruence on a given algebra generated by a set of pairs, and determining whether a given algebra is simple or subdirectly irreducible. We also consider the problem of determining the smallest fully invariant congruence on a given algebra containing a given set of pairs. We prove that this problem is complete for nondeterministic polynomial time.
Oracle8i: The Complete Reference (Book/CD-ROM Package), 10th edition
Authors: Kevin Loney, George Koch
Venue:  (2000)

:Announcing the 10th Anniversary Edition of the best-selling Oracle book of all timeOracle8i: The Complete Reference! Written by Oracle experts and complete with a fully searchable book and reusable code on CD-ROM,this is the most definitive resource available on Oracle8i. It's a must-have for every Oracle professional. The Official Resource on Oracle's E-Business-Enabled Database Solution. Master all the powerful features of Oracle8ithe most complete and comprehensive platform for building and deploying Internet and enterprise applications. Written by best-selling Oracle author,Kevin Loney,and a former senior vice president of Oracle Corporation,George Koch,Oracle8i: The Complete Reference covers all the components of this robust product. You'll learn key relational and object-relational database concepts; SQL,PL/SQL,SQLJ,and Java programming techniques; backup,recovery,and tuning methods; and much more. Get full details on critical database concepts,including all of the new Oracle8i features Handle SQL queries and data conversion Build reports with SQL *Plus Develop robust,Web-enabled PL/SQL applications Execute object technology in Oracle8i Implement object technology in Oracle8i Create multi-platform database applications with SQLJ and JDBC Use Oracle8i developer tools,including the data dictionary and optimizer Guarantee the security,recoverability,and availability of the database Back up,recover,and tune Oracle8i databases
E-Commerce Book: Building the E-Empire, 1st edition
Authors: Steffano Korper, Juanita Ellis
Venue:  (1999)

:The E-Commerce Book: Building the E-Empire will lead you through e-commerce basics, explaining how both large and small companies are riding the wave to huge success. This book provides the opportunity to participate in what many have called the next "Industrial Revolution." This book is direct result of over 10 years of industry experience and "The E-Commerce Program," developed for professionals in the area of e-commerce. Primarily, the book focuses on business concepts and how to apply this technology in order to be successful. The book covers globalizing your company, marketing and advertising, market trends, vendor solutions and must-know technologies such as credit card verification systems, security, auction technologies, storefronts, and overall technology architecture. The final chapter focuses how to get and deploy e-commerce solutions from process re-engineering to actual deployment and testing. Key Features The E-Commerce Book: Building the E-Empire will lead you through e-commerce basics, explaining how both large and small companies are riding the wave to huge success. This book provides the opportunity to participate in what many have called the next "Industrial Revolution." This book is direct result of over 10 years of industry experience and "The E-Commerce Program," developed for professionals in the area of e-commerce. Primarily, the book focuses on business concepts and how to apply this technology in order to be successful. The book covers globalizing your company, marketing and advertising, market trends, vendor solutions and must-know technologies such as credit card verification systems, security, auction technologies, storefronts, and overall technology architecture. The final chapter focuses how to get and deploy e-commerce solutions from process re-engineering to actual deployment and testing. Key Features The first complete book on deploying an e-commerce solution for small, medium and large businesses Reveals how to open your first e-commerce business and provides a globalized site and deployment planning Walks you through the business aspects of e-commerce and translates these into the overall architecture and design solution Will help any corporation, small business, or entrepreneur to move their company into the 21st century The first complete book on deploying an e-commerce solution for small, medium and large businesses Reveals how to open your first e-commerce business and provides a globalized site and deployment planning Walks you through the business aspects of e-commerce and translates these into the overall architecture and design solution Will help any corporation, small business, or entrepreneur to move their company into the 21st century
Supporting objects in run-time bytecode specialization
Authors: Reynald Affeldt, Hidehiko Masuhara, Eijiro Sumii, Akinori Yonezawa
Venue: Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation (2002)

This paper describes a run-time specialization system for the Java language. One of the main difficulties of supporting the full Java language resides in a sound yet effective management of references to objects. This is because the specialization process may share references with the running application that executes the residual code, and because side-effects through those references by the specialization process could easily break the semantics of the running application. To cope with these difficulties, we elaborate requirements that ensure sound run-time specialization. Based on them, we design and implement a run-time specialization system for the Java language, which exhibits, for instance, approximately 20-25% speed-up factor for a ray-tracing application.
Fundamentals of data element definition
Authors: Robert M. Curtice, Paul E. Jones,  Jr.
Venue: Proceedings of the 1981 ACM SIGMOD international conference on Management of data (1981)

The expanding use of data management techniques and, especially, an increase in data dictionary usage reflects the growing importance placed on data as a resource. While most organizations now recognize the need to provide good definitions for their data, few achieve a high quality data definition program. One of the possible reasons is that guidelines for data element definition are scarce. This paper explores the nature of data elements and provides guidelines for their definition.
Fix Your Own PC, 6th edition
Authors: Corey Sandler
Venue:  (2000)

:With a good set of screwdrivers, an antistatic strap, and Fix Your Own PC, you'll be ready to tackle any job - big or small. Packed with detailed graphics and photos, this guide will quickly and easily help you diagnose and fix your own PC.
Modern Control Systems, 8th edition
Authors: Richard C. Dorf, Robert H. Bishop, Yvo Riezebos
Venue:  (1997)

:For more than twenty years, Modern Control Systems has set the standard of excellence for undergraduate control systems textbooks. It has remained a bestseller because Richard Dorf and Robert Bishop have been able to take complex control theory and make it exciting and accessible to students. The book presents a control engineering methodology that, while based on mathematical fundamentals, stresses physical system modeling and practical control system designs with realistic system specifications.
Towards a real-world wide web
Authors: Tim Kindberg, John Barton
Venue: Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system (2000)

As computer hardware shrinks and lightens and as communications becomes cheaper and more widely available, we have new opportunities for software systems to support nomadic users of ubiquitous or pervasive computing services [16, 24]. We are interested in systems that support interaction with the physical world wherever users happen to be. More and more things in the physical world, such as our cars and domestic appliances, are becoming "smart". Users need a convenient framework in which they can benefit from the smart artifacts around them. Users can also benefit from services built for non-electronic entities that they encounter in their everyday lives, such as goods on the shelves of stores, paintings in galleries and items in the office. We think the physical world and the virtual world would both be richer if they were more closely linked.The approaching pervasiveness of web technology, new kinds of wireless networks, and cheaper portable devices provide an opportunity to construct a virtual bridge between mobile users and physical entities. At HP Labs we have been exploring this opportunity through an infrastructure to support "web presence" for people, places and things [14], and the "CoolTown" demonstrator applications that run on top of the infrastructure [4].In this paper we discuss how we provide mobile people and devices with web-based services for "things" --- the physical entities --- in their environment. Things become web-present by embedding web servers in them or by hosting their web-presence within a web server. To enable services for web things we need a system that connects things and services. We will outline a system that leverages the power of the Web as a basis for nomadic computing, then highlight one important subsystem that uses DNS technology to name web things in a scalable and context dependent fashion.Section 2 describes our use of the Web as 'just enough' middleware for nomadic computing, and describes web presence. Section 3 describes how we tackle the naming issues that arise in providing web presence for the things that mobile users encounter. Section 4 relates our work to that of others and concludes the paper.
Three-Dimensional Analysis of Human Locomotion, 1st edition
Authors: Paul Allard, A. Cappozzo, A. Lundberg, C. Vaughan
Venue:  (1998)

:Thanks to improvements in motion recording technology and computer data processing, real-time, full-body 3D representations of human locomotions are now possible. This book examines 3D analysis of human locomotion and discusses fundamental aspects of functional anatomy, motor control, and neuroscience applied to locomotion. It provides advice on setting up and operating a gait laboratory along with the essentials of instrumentation and the current modeling techniques for estimating muscle forces.
On testing and conformance relations for UML statechart diagrams behaviours
Authors: Diego Latella, Mieke Massink
Venue: ACM SIGSOFT Software Engineering Notes (2002)

In this paper we study the formal relationship between testing preorder/equivalences for a behavioural subset of UML Statechart Diagrams and a conformance relation for implementations with respect to specifications given using such diagrams. We study the impact of stuttering on the above mentioned relationship. In the context of UMLSDs, stuttering occurs when no transition of the UMLSD is enabled by the current event in the current (global) state of the underlying state-machine. We consider both the case in which the semantics underlying the testing relations does not model stuttering explicitly - we call it the non-stuttering semantics - and the case in which it does it - i.e. the stuttering semantics. We show that in the first case the conformance relation is stronger than the reverse of the MUST preorder and, consequently, stronger than the MAY preorder. Much more interesting results can be proven in the second case, possibly under proper conditions on the sets of events under consideration. In fact the conformance relation is shown to coincide with the MAY preorder, and thus be implied by the reverse MUST preorder. Finally, we show important substitutivity properties which hold in the case of stuttering semantics.
New Perspectives on Office 2000 - Second Course, 1st edition
Authors: June Jamrich Parsons, Dan Oja
Venue:  (1999)

:Part of the New Perspectives Series, this text offers a case-based, problem solving approach to learning the more advanced features of the Microsoft Office 2000 Premium package.
EyeTap technology for wireless electronic news gathering
Authors: Steve Mann, James Fung, Eric Moncrieff
Venue: ACM SIGMOBILE Mobile Computing and Communications Review (1999)

The results of actual field tests of a new class of Personal Imaging systems, the Electronic News Gathering WearComp (ENGwear), are presented. These incorporate EyeTap Technology to cause the eye itself to function as if it were a camera, and to allow the eye to be wirelessly tapped out of and tapped into, capturing exactly what the user is viewing. This brings the point of view of the camera to the same point as the user's eye, and also allows the user to allow others to wirelessly modify his/her perception of visual reality. Images thus captured are simultaneously sent and received live to and from the internet using IP-over-wireless technology. This novel application of wireless technology empowers reporters: ENGwear systems allow for a great degree of mobility, and are constantly operational and recording to a circular buffer allowing the reporter to never 'miss a shot'.
Business Data Communications: Introductory Concepts and Techniques, 3rd edition
Authors: Gary B. Shelly, Thomas J. Cashman, Judy A. Serwatka
Venue:  (2000)

:Part of the highly successful Shelly Cashman Series, text reflects the latest trends in business data communications without excessive detail or overly technical discussions.
Virtual Power: Using Your PC to Realize the Life of Your Dreams
Authors: Mark Bunting, Mark Seal
Venue:  (1999)

:Mark Bunting believes that computers can bring happiness to all aspects of your life, from enabling you to set up a thriving home business to enhancing your love life, from helping you to become more organized to improving your fitness and health. What does this mean? Let's say you want to write a business plan for your new business - not only can you find out how to do it, but you can find samples on the computer as well. You can even use the computer to communicate with people who have already done what you want to do. Are you looking for information about a particular math subject, school, event in history, or business outlook? Whatever your field of interest, you can access the most up-to-date information on your computer. Bunting promises to show you how to use your computer as your partner in any project you undertake. After all, your computer is not merely an expensive machine bought for typing letters; it can become the most extraordinary tool at your disposal because it enables you to build, fix, or create whatever you want. Mark Bunting, the Bob Vila of the cyberworld, will dramatically change your relationship with your personal computer. He will help you realize a life of increased freedom and success - the life of your dreams - with your computer.
Orphen: Scion of Sorcery
Authors: Tim Bogenn, Phillip Marcus
Venue:  (2000)

:Can You Solve the Hidden Mysteries of Chaos Island? BradyGAMES Orphen: Scion of Sorcery Official Strategy Guide features a detailed walkthrough with descriptions of each quest, Combat resources list, Elemental and Projectile Sorcery, Complete listings of the weapons and items and where to find them.
Excel 2002: Introductory Edition, 1st edition
Authors: Timothy J. O'Leary, Linda O'Leary
Venue:  (2001)

:SERIES TAGLINE: The O'Leary Series is the true step-by step way to develop computer application skills. Its design emphasizes the step-by step visual approach with screen captures for every concept.
A New Fast-Multipole Accelerated Poisson Solver in Two Dimensions
Authors: Frank Ethridge, Leslie Greengard
Venue: SIAM Journal on Scientific Computing (2001)

We present an adaptive fast multipole method for solving the Poisson equation in two dimensions. The algorithm is direct, assumes that the source distribution is discretized using an adaptive quad-tree, and allows for Dirichlet, Neumann, periodic, and free-space conditions to be imposed on the boundary of a square. The amount of work per grid point is comparable to that of classical fast solvers, even for highly nonuniform grids.
Analysis of the Hamilton--Jacobi Equation in Nonlinear Control Theory by Symplectic Geometry
Authors: Noboru Sakamoto
Venue: SIAM Journal on Control and Optimization (2001)

In this paper, the geometric property and structure of the Hamilton--Jacobi equation arising from nonlinear control theory are investigated using symplectic geometry. The generating function of symplectic transforms plays an important role in revealing the structure of the Hamilton--Jacobi equation. It is seen that many fundamental properties of the Riccati equation can be generalized in the Hamilton--Jacobi equation, and, therefore, the theory of the Hamilton--Jacobi equation naturally contains that of the Riccati equation.
Data Acquisition and Process Control with the M68HC11 Microcontroller, 2nd edition
Authors: Frederick F. Driscoll, Robert S. Villanucci
Venue:  (1999)

:This all-in-one reference offers comprehensive, in-depth coverage of the M68HC11 to readers who will be designing real systems using this popular microcontroller. Focusing on the M68HC11 as a laboratory measurement and process control platform, it provides all the design and development tools needed to create a microcontroller-based product that can solve common application problems; no outside data or references are needed. Organized into four sections: Part I covers the M68HC11 microcontroller and the Evaluation Board (EVB) system; Part II features new chapters on Program Design and Designing and Writing Program Modules; Part III includes four re-written chapters on software considerations and hardware design procedures to acquire input data and provide output interface and control with the microcontroller; Part IV provides five applications chapters solving five typical engineering problems. Appropriate for anyone interested in microcontrollers or microprocessors.
OpenGL SuperBible with Cdrom, 2nd edition
Authors: Richard S. Wright, Michael Sweet
Venue:  (1999)

:OpenGL SuperBible, Second Edition is a comprehensive, hands-on guide that provides everything you need to program with the new version of OpenGL. Find the necessary guidance in applying complex concepts-such as drawing in space; points, lines, and polygons; moving around in space; color, lighting, and materials; Raster graphics in OpenGL; texture mapping; 3D modeling and object composition; fog and blending visual effects; curves and surfaces; OpenGL pixel format and rendering context; non-Windows rendering; and more.
Microsoft Word X/2002: Comprehensive, 1st edition
Authors: Beverly B. Zimmerman, S. Scott Zimmerman, Ann Shaffer
Venue:  (2001)

:Part of the New Perspectives series, this text offers a case-based, problem-solving approach and innovative technology for meaningful learning of Microsoft Word 2002.
Multimedia Applications Development: Using Indeo Video and DVI Technology, 2nd edition
Authors: Mark J. Bunzel, Sandra K. Morris
Venue:  (1993)

:This official Intel guide to interactive multimedia applications development using DVI technology's powerful capabilities has been completely updated to include the latest technological developments, including the introduction of new Intel hardware that now makes DVI technology economical for virtually any IBM PC-compatible computer.
CMOS Logic Circuit Design
Authors: John P. Uyemura
Venue:  (1999)

:CMOS Logic Circuit Design is an up-to-date treatment of the analysis and design of CMOS integrated digital logic circuits. It is a self- contained treatment that covers all of the important digital circuit design styles found in modern CMOS chips.Introductory chapters on MOSFET physics and CMOS fabrication provide the background needed for a solid understanding of the circuit design techniques in the remainder of the book. Static CMOS logic design is given an in-depth treatment which covers both the analysis and design of these types of circuits. Emphasis is on analyzing circuits to understand the relationship between the design and performance in an integrated environment. Analytic models and their application are presented to provide a uniform base for the design philosophy developed in the study.Dynamic circuit concepts such as charge sharing and charge leakage are presented in detail and then applied to dynamic logic families such as domino cascades, self-resetting logic, and dynamic single-phase designs. Differential logic families are given an entire chapter that discusses CVSL, CPL, and related design styles. Chip issues such as interconnect modeling, crosstalk, and input/output circuits round out the coverage.
Globally convergent inexact generalized Newton's methods for nonsmooth equations
Authors: Pu Dingguo, Tian Weiwen
Venue: Journal of Computational and Applied Mathematics (2002)

In this paper, motivated by the Martinez and Qi methods (J. Comput. Appl. Math. 60 (1995) 127), we propose one type of globally convergent inexact generalized Newton's methods to solve nonsmooth equations in which the functions are nondifferentiable, but are Lipschitz continuous. The methods make the norm of the functions decreasing. These methods are implementable and globally convergent. We also prove that the algorithms have superlinear convergence rates under some mild conditions.
An evolutionary approach to digital recording and information about heritage sites
Authors: John Counsell
Venue: Proceedings of the 2001 conference on Virtual reality, archeology, and cultural heritage (2001)

This paper considers 3 cases undertaken by a team at the University of the West of England (FBE/UWE) --- the Tower of London Computer Models and more recent linked European Historic Gardens on the Web. The team is continuing to investigate uses of spatial information systems to store, manage and visualise records of historic sites, enabling interactive off-site access to interpretative information. Existing records, often accrued in an ad-hoc manner, are mostly inadequate for such use and incomplete without external contextual reference to the physical heritage site for complete understanding. They are in this respect 'uncoordinated', lacking independent coherence. By contrast explicit integrated codification of similar digital data is necessary for stand-alone remote access. Such use necessarily starts with accumulation of an archive of data but ought to proceed to being able to answer locational questions such as 'where' and 'when' and ultimately to the support of strategic analysis and 'what-if' speculation.While buildings are relatively slow to change and decay, so past records and now computer modeled analogues stay valid in the long term, yet their contexts, settings, gardens and grounds are open to rapid change. Effective recording of potentially rapid change is highly resource intensive, justifying exploration of automated data capture, usually satellite imaging at the macro, and remote controlled video at the micro levels. Yet automated capture creates additional problems for record management, storage and retrieval in which few heritage organisations have achieved maturity. Experts often cannot obtain the precise interpretation from a photo that they can make in person on site, so melding such interpreted information with rapidly changing imagery is also an issue discussed in this paper.