ppxscal/embedding_network huggingface dataset:
Maple for Basic Calculus, 1st edition
Authors: Richard A. Parker
Venue:  (1997)

:Learn calculus from the new vantage point of a PC-based interactive computer algebra system. This book shows how Maple V, Release 3 and 4 can be applied to topics such as derivatives, integration, sequences, and differential equations. Students learn the essential concepts by combining paper and pencil exercises with problem solving using Maple.
Windows 95 Pocket Book
Authors: Ian Robertson Sinclair
Venue:  (1996)

:Windows 95 is Microsoft's replacement for Windows 3.1. It is their strategic vision for the future: it unleashes the true power of your PC; it makes using computers easy for everyone, and it sets the standard for desktop computing in the office or home. As a new user of Windows 95 you will either be meeting the system for the first time as a first time computer user, or you will have had previous experience of either Windows 3.1 and/or MS-DOS. Newnes Winows 95 Pocket Book has been prepared with both classes of user in mind, and experienced users can pick and choose sections within the book that explain the differences between Windows 3.1 and Windows 95. This book also gives you a useful and time saving - "How to" Actions list. See how commonly needed actions in Windows 95 are carried out in the simplest way or by the simplest menu path. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
A characterization of weakly Church-Rosser abstract reduction systems that are not Church-Rosser
Authors: Benedetto Intrigila, Ivano Salvo, Stefano Sorgi
Venue: Information and Computation (2002)

Basic properties of rewriting systems can be stated in the framework of abstract reduction systems (ARS). Properties like confluence (or Church-Rosser, CR) and weak confluence (or weak Church-Rosser, WCR) and their relationships can be studied in this setting: as a matter of fact, well-known counterexamples to the implication WCR CR have been formulated as ARS. In this paper, starting from the observation that such counterexamples are structurally similar, we set out a graph-theoretic characterization of WCR ARS that is not CR in terms of a suitable class of reduction graphs, such that in every WCR not CR ARS, we can embed at least one element of this class. Moreover, we give a tighter characterization for a restricted class of ARS enjoying a suitable regularity condition. Finally, as a consequence of our approach, we prove some interesting results about ARS using the mathematical tools developed. In particular, we prove an extension of the Newman's lemma and we find out conditions that, once assumed together with WCR property, ensure the unique normal form property. The Appendix treats two interesting examples, both generated by graph-rewriting rules, with specific combinatorial properties. 2001 Elsevier Science
Map graphs
Authors: Zhi-Zhong Chen, Michelangelo Grigni, Christos H. Papadimitriou
Venue: Journal of the ACM (JACM) (2002)

We consider a modified notion of planarity, in which two nations of a map are considered adjacent when they share any point of their boundaries (not necessarily an edge, as planarity requires). Such adjacencies define a map graph. We give an NP characterization for such graphs, derive some consequences regarding sparsity and coloring, and survey some algorithmic results.
The International Dictionary of Artificial Intelligence
Authors: William J. Raynor
Venue:  (2000)

:This book is for all disciplines - business, science, education and engineering. This work contains over 2,500 entries - defined, explained and illustrated - and detailed discussion of major concepts as well as topics in related disciplines. This volume is completely cross-reference, has an annotated bibliography and an extensive appendix of World Wide Web sites on the latest trends in artificial intelligence. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
An Optimization Methodology for Document Structure Extraction on Latin Character Documents
Authors: Jiseng Liang, Ihsin T. Phillips, Robert M. Haralick
Venue: IEEE Transactions on Pattern Analysis and Machine Intelligence (2001)

In this paper, we give a formal definition of a document image structure representation and we formulate document image structure extraction as a partitioning problem: Finding an optimal solution partitioning the set of glyphs of an input document image into a hierarchical tree structure where entities within the hierarchy at each level have similar physical properties and compatable semantic labels. We present a unified methodology that is applicable to construction of document structures at different hierarchical levels. An iterative, relaxation-like method is used to find a partitioning solution that maximizes the probability of the extracted structure. All the probabilities used in the partioning process are estimated from an extensive training set of various kinds of measurements among the entities within the hierarchy. The offline probabilities estimated in the training then drive all decisions in the online document structure extraction. We have implemented a text line extraction algorithm using this framework. The algorithm was evaluated on the UW-III database of some 1,600 scanned document image pages. An area-overlap measure is used to find the correspondence between the detected entities and the ground-truth. For a total of 105,020 text lines, the text line extraction algorithm identifies and segments 104,773 correctly, an accuracy of 99.76 percent. The detail of the algorithm is presented in this paper.
CPI-C: X-Open CAE Specification
Authors: CORPORATE X-Open Staff
Venue:  (1994)

:CPI-C provides a consistent application programming interface for applications that require program-to-program communication. This specification defines a programming interface that allows X/Open-compliant systems to communicate with systems implementing SNA Logical Unit type 6.2 (LU 6.2). It does not address issues of peer-to-peer communication in X/Open-compliant systems, nor does it include transaction semantics.
A performance comparison of bitmap indexes
Authors: Kesheng Wu, Ekow J. Otoo, Arie Shoshani
Venue: Proceedings of the tenth international conference on Information and knowledge management (2001)

We present a comparison of two new word-aligned schemes with some schemes for compressing bitmap indexes, including the well-known byte-aligned bitmap code (BBC). On both synthetic data and real application data, the new word-aligned schemes use only 50% more space, but perform logical operations on compressed data 12 times faster than BBC. The new schemes achieve this performance advantage by guaranteeing that during logical operations every machine instruction performs useful work on words rather than on bytes or bits as in BBC.
Last Flesh: Life in the Transhuman Era, 1st edition
Authors: Christopher Dewdney
Venue:  (1998)

:On the brink of the transhuman age: a dazzling, disturbing gaze from one of our most original thinkersLast Flesh is about human transformation. It proposes that we are on the brink of the transhuman age an era that will usher in the next stage in human evolution, the posthuman era. Last Flesh is a personal, Renaissance look at this transitional period, its culture, media and technology.The transhuman epoch will be heralded by an unprecedented expansion of human capabilities. Genetic engineering, cyberneurology and artificial intelligence are about to give humans the keys to their own destiny. Voice-recognition, computer-assisted literature and art will provide a new cultural richness. At the same time nanotechnology, robotics and physics will produce astounding new advances in engineering. Last Flesh explores the impact, both social and moral of these innovations: -- Why the increasing pace of technological obsolescence is good for us-- Why our present concept of privacy must end if we are to flourish in the posthuman era-- How the Internet is really the last flowering of private literature before the advent of voice recognition-- How human consciousness will be "uploaded" into computersAn eclectic, free-ranging and yet completely accessible interpretation of where we are and where we are going as a species, Last Flesh is both energizing and foreboding, a brilliant melange of culture and technology that will dazzle and disturb. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
An experience: combining a project in data base management with modular programming techniques
Authors: Joseph F. Tvrdy, G. Robert D. Brandon
Venue: Proceedings of the 16th annual Southeast regional conference (1978)

The process of student registration and the associated tasks of generating accurate class schedules, class roles, and student schedules is an ever increasing problem, particularly at colleges and universities which continue to use the slow 'arena' type registration procedure. One increasingly popular solution to this problem is creation of an on-line student registration system and its accompanying data base. Under such a system, student registration may be spaced over an entire semester or, with the availability of more display terminals, conducted over a time span of several days.This paper describes the development of such a system as a class project in advanced information processing. The purpose of this project was threefold:1. To acquire a working knowledge of a data base management system (in this project, DMS II00).2. To gain experience in the use of structured programming, modular programming and team operation techniques.3. To actually implement an on-line registration system using existing equipment at Mississippi State University and demonstrate its effectiveness to the school registrar and other interested parties.
Tracking and surveillance in wide-area spatial environments using the abstract hidden Markov model
Authors: Hung H. Bui, Svetha Venkatesh, Geoff West
Venue: Hidden Markov models: applications in computer vision (2001)

In this paper, we consider the problem of tracking an object and predicting the object's future trajectory in a wide-area environment, with complex spatial layout and the use of multiple sensors/cameras. To solve this problem, there is a need for representing the dynamic and noisy data in the tracking tasks, and dealing with them at different levels of detail. We employ the Abstract Hidden Markov Models (AHMM), an extension of teh well-known Hidden Markov Model (HMM) and a special type of Dynamic Probabilistic Network (DPN), as our underlying representation framework. The AHMM allows us to explicitly encode the hierarchy of connected spatial locations, making it scalable to the size of the environment being modeled. We describe an application for tracking human movement in an office-like spatial layout where the AHMM is used to track and predict the evolution of object trajectories at different levels of detail.
One: Official Game Secrets
Authors: Ted Chapman
Venue:  (1997)

:Rage against the machine! Help John Cain destroy all who stand between him and the answers to his past. Solve the mystery with walkthroughs for all five levels, directions to secret areas, enemy strength and defense tables, cheat codes, and much more! The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Novell's: CNA Study Guide for NetWare 5.1
Authors: David James Clarke
Venue:  (2000)

:Best-selling author David James Clarke IV, brings readers practical knowledge, tested techniques, real-world scenarios and hands-on lab exercises for NetWare 5.1 certification. The new NetWare 5.1 CNA exam is currently available. The old NetWare 5.0 CNA exam will eventually be retired. Existing NetWare 5.0 CNAs can use the new NetWare 5.1 CNA Study Guide to upgrade their certification to the latest version. Covers all the new changes in Novell Course 560 NetWare 5.1 Administration Version 2.0, including: new technology such as new ConsoleOne utility, ZENworks Version 2.0, advanced file system design, advanced NDS security and additional Browser configuration technology.
Issues of content and structure for a multilingual web site
Authors: Shihong Huang, Scott Tilley
Venue: Proceedings of the 19th annual international conference on Computer documentation (2001)

Most content on the Web today is in English, but the majority of the Earth's peoples speak languages other than English. To reach a wider audience, future Web sites will have to be multilingual, changing a Web site from one that is American-centric and single-language to one that is globally-oriented and multilingual. While the challenges in creating and maintaining a high-quality Web site in a single language are considerable, working with multiple languages simultaneously creates special challenges, both culturally and technically. This paper outlines issues related to two important aspects of the problem: content and structure. Several representative Web sites are examined to illustrate some of these considerations.
The Lotus Notes Collection, with CD-ROM, 1st edition
Authors: Jonathan MacKenzie
Venue:  (1996)

:Designed for small and mid-sized companies that want to install and use Notes on their own, this self-teaching book/CD-ROM package features coverage of the latest version of Lotus Notes R.4, including advice on how to use Notes with the Internet and Intranet. The CD-ROM contains the entire book in the form of a Lotus Notes database, allowing readers to master the product's features while using the book and CD interchangeably. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Enchanted Looms: Conscious Networks in Brains and Computers
Authors: Rodney Cotterill
Venue:  (1998)

:The title of this book was inspired by a passage in Charles Sherrington's Man on his Nature. When that famous physiologist died in 1952, the prospects for a scientific explanation of consciousness seemed remote. Enchanted Looms shows how the situation has changed dramatically, and provides what is probably the most wide-ranging account of the phenomenon ever written. Rodney Cotterill bridges the gap between the bottom-up approach to understanding consciousness, anchored in the brain's biochemistry, anatomy and physiology, and the top-down strategy, which concerns itself with behaviour and the nervous system's interaction with the environment. The author argues that an explanation of consciousness is now at hand, and extends the discussion to include intelligence and creativity. This beautifully written and illustrated book will be valued for its easy access to one of science's last great challenges. It will change forever our view of consciousness, and our concept of the human being.
Microsoft Office 97 Resource Kit with Cdrom, 1st edition
Authors: CORPORATE Microsoft Corporation Staff
Venue:  (1997)

:If you're an administrator or an IS professional, this book was written for you. Here you'll find the hands-on, in-depth information you need to roll out, support, and get the most from Microsoft Office 97 throughout your organization. For systems running Microsoft Windows 95 and Microsoft Windows NT Server or Windows NT Workstation 3.51 and 4.0, this book covers it all - migrating from earlier versions of Microsoft Office, switching from other applications such as Lotus 1-2-3 and WordPerfect, and coexistence among different versions of Microsoft Office. You get full information on network installation, plus the timesaving Network Installation Wizard on the enclosed CD-ROM. And like all the tools and utilities on the CD-ROM, this wizard is a tested, supported application designed to make your job easier. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
A study of performance on SMP and distributed memory architectures using a shared memory programming model
Authors: Eugene D. Brooks,  III, Karen H. Warren
Venue: Proceedings of the 1997 ACM/IEEE conference on Supercomputing (CDROM) (1997)

In this paper we examine the use of a shared memory programming model to address the problem of portability of application codes between distributed memory and shared memory architectures. We do this with an extension of the Parallel C Preprocessor. The extension, borrowed from Split-C and AC, uses type qualifiers instead of storage class modifiers to declare variables that are shared among processors. The type qualifier declaration supports an abstract shared memory facility on distributed memory machines while making direct use of hardware support on shared memory architectures.Our benchmarking study spans a wide range of shared memory and distributed memory platforms. Benchmarks include Gaussian elimination with backsubstitution, a two-dimensional fast Fourier transform, and a matrix-matrix multiply. We find that the type-qualifier-based shared memory programming model is capable of efficiently spanning both distributed memory and shared memory architectures. Although the resulting shared memory programming model is portable, it does not remove the need to arrange for overlapped or blocked remote memory references on platforms that require these tuning measures in order to obtain good performance.
ROC-1: Hardware Support for Recovery-Oriented Computing
Authors: David Oppenheimer, Aaron Brown, James Beck, Daniel Hettena, Jon Kuroda, Noah Treuhaft, David A. Patterson, Katherine Yelick
Venue: IEEE Transactions on Computers (2002)

We introduce the ROC-1 hardware platform, a large-scale cluster system designed to provide high availability for Internet service applications. The ROC-1 prototype embodies our philosophy of Recovery-Oriented Computing (ROC) by emphasizing detection and recovery from the failures that inevitably occur in Internet service environments, rather than simple avoidance of such failures. ROC-1 promises greater availability than existing server systems by incorporating four techniques applied from the ground up to both hardware and software: redundancy and isolation, online self-testing and verification, support for problem diagnosis, and concern for human interaction with the system.
Pinball Machines: Everything You Wanted to Know
Authors: Marco Rossignoli
Venue:  (1999)

:This fantastic book tells the detailed history of pinball games from the 1930s to the 1990s, including the evolution of all sorts of game features--from flippers and bumpers to sound, scoring, and tilt mechanisms--all immersed in the complex and magnificent artwork characteristic of pinball machines. Pinball manufacturing giants like Gottlieb, Williams, and Bally are well represented, in addition to several lesser-known and foreign manufacturers. With a listing of over 3,000 games built to date, statistics, pricing information, and over 900 color photographs (including close-ups, flyers, images of rare prototypes, and games never before seen in print), this is essential for the libraries of all pinball lovers. The pinball machine is here to stay--due in part to the exponential increase in the number of serious collectors and enthusiasts. What other modern amusement machine can boast a longevity of over 60 years, withstanding the test of time and ever-changing technology, while maintaining its instantly recognizable form? The rolling, bouncing silver ball, as unpredictable as the flip of a coin or even life itself, has kept up with cutting-edge advancements in electronics, mechanics, and even computers, to amuse and test the skill of players worldwide! The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Electric Machines: Analysis and Design Applying MATLAB, 1st edition
Authors: Jim J. Cathey
Venue:  (2000)

:This text contains sufficient material for a single semester core course in electric machines and energy conversion,while allowing some selectivity among the topics covered by the latter sections of Chapters 3-7 depending on a school's curriculum. The text can work for either a course in energy design principles and analysis with an optional design project,or for a capstone design course that follows an introductory course in energy device principles. A unique feature of "Electric Machines: Analysis and Design Applying MATLAB" is its integration of the popular interactive computer software MATLAB to handle the tedious calculations arising in electric machine analysis. As a result,more exact models of devices can be retained for analysis rather than the approximate models commonly introduced for the sake of computational simplicity. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Improvements to systematic program development
Authors: Jianxin Li
Venue: Proceedings of the 30th annual Southeast regional conference (1992)

This paper improves a program development method proposed in a recent paper by R. G. Dromey. It is argued that writing the postcondition in a judicious way can lead to programs which are easy to verify and efficient. Furthermore, we want to investigate feasibility of bridging the gap between the art of programming and the science of programming. It might be that the art is in writing the postcondition and the science in developing an algorithm from the postcondition. Examples are given to illustrate Dromey's method and improvements to it.
Python Tutorial: February 19, 1999, Release 1.5.2
Authors: Guido Van Rossum
Venue:  (2000)

:Python Tutorial exceptions Python is an easy-to-learn, powerful programming language. It has efficient high-level data structures and a simple but effective approach to object-oriented programming. Python's elegant syntax and dynamic typing, together with its interpreted nature, make it an ideal language for scripting and rapid application development in many areas on most platforms. Python Tutorial introduces the reader informally to the basic concepts and features of the Python language and system. It helps to have a Python interpreter handy for hands-on experience, but all examples are self-contained. This volume is designed to be a handy desktop companion, saving you the time and expense of printing the documentation yourself. It is also useful when viewing the online version of the Python documentation is inconvenient. This book was produced by toExcel from open source documentation freely available from the Python website. Any errors in this book are the responsibility of toExcel. All royalties go to the Python Software Activity.
Inside Adobe Illustrator 4 for Windows: With Disk
Authors: New Riders
Venue:  (1993)

:This high-quality tutorial/disk set gives users an in-depth look into the amazing features of Adobe Illustrator 4.Learn how to produce effective, eye-catching ads, technical illustrations, logos, newsletters, and annual reportsProvides clear examples of advanced featuresIncludes reference information for troubleshooting and problem-solving