ppxscal/embedding_network huggingface dataset:
End of the Millennium
Authors: Manuel Castells
Venue:  (1998)

:The final volume in Manuel Castells' trilogy is devoted to processes of global social change induced by interaction between networks and identity.He studies empirically the collapse of the Soviet Union, tracing it back to the incapacity of industrial statism to manage the transition to the Information Age. He shows the rise of inequality, polarization, and social exclusion throughout the world, focusing on Africa, on urban poverty, and on children's plight. He documents the formation of a global criminal economy that deeply affects economies and politics in many countries. He analyzes the political and cultural foundations of the emergence of the Asian Pacific as the most dynamic region in the global economy. And he reflects on the contradictions of European unfication, proposing the concept of the network state.In the general conclusion of the trilogy, included in this volume, Castells draws together the threads of his arguments and his findings, presenting a systematic interpretation of our world in this end of millennium.
AutoCAD 2000 Tutor for Engineering Graphics, 1st edition
Authors: Alan J. Kalameja
Venue:  (1999)

:At Autodesk Press we know that you want your books on AutoCAD out "fast and accurate". So, after rigorous peer and accuracy reviews, we are releasing the latest version of The AutoCAD Tutor for Engineering Graphics fully updated for the 2000 release of AutoCAD. Not only will The AutoCAD 2000 Tutor for Engineering Graphics be one of the first books available on this release of AutoCAD, it will also come with a Free 30-day trial version of AutoCAD 2000 included in a CD-ROM! The CD-ROM will contain fully functional AutoCAD 2000 software (no student watermark or hardware lock!) which will expire 30 days after initial installation. Also included on the CD-ROM are drawing files which can be used with AutoCAD 2000. Autodesk Press is the only AutoCAD publisher offering this valuable CD-ROM, included with most of our AutoCAD 2000 titles.
WCW vs. NWO World Tour: Official Secrets and Solutions
Authors: Brian Boyle
Venue:  (1997)

:With the signature and special moves of each wrestler revealed, this is your no-holds-barred complete guide to action! This guide includes all moves for all wrestlers, bios of each character, and stats for WCW and NWO wrestlers. With this guide in your corner, you'll dominate the ring!
AutoCAD: A Visual Approach: 2D Basics - R13, 1st edition
Authors: Steven R. Foster
Venue:  (1995)

:AutoCAD(R):A Visual Approach has been designed to meet the requirements set by Autodesk(R) for course standards. Each intructional module presents every command, feature, or concept with visual representation, allowing AutoCAD(R) users to work their way through the material using each module as a foundation to build towards the next book in the series. This 2D module focuses on the basics of computer hardware, DOS and Windows, and key AutoCAD(r) commands. 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
Automatic generation of staged geometric predicates
Authors: Aleksandar Nanevski, Guy Blelloch, Robert Harper
Venue: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming (2001)

Algorithms in Computational Geometry and Computer Aided Design are often developed for the Real RAM model of computation, which assumes exactness of all the input arguments and operations. In practice, however, the exactness imposes tremendous limitations on the algorithms --- even the basic operations become uncomputable, or prohibitively slow. When the computations of interest are limited to determining the sign of polynomial expressions over floating point numbers, faster approaches are available. One can evaluate the polynomial in floating-point first, together with some estimate of the rounding error, and fall back to exact arithmetic only if this error is too big to determine the sign reliably. A particularly efficient variation on this approach has been used by Shewchuk in his robust implementations of Orient and InSphere geometric predicates. We extend Shewchuk's method to arbitrary polynomial expressions. The expressions are given as programs in a suitable source language featuring basic arithmetic operations of addition, subtraction, multiplication and squaring, which are to be perceived by the programmer as exact. The source language also allows for anonymous functions, and thus enables the common functional programming technique of staging. The method is presented formally through several judgments that govern the compilation of the source expression into target code, which is then easily transformed into SML or, in case of single-stage expressions, into C.
Distributed high-performance computation for remote sensing
Authors: K. A. Hawick, H. A. James
Venue: Proceedings of the 1997 ACM/IEEE conference on Supercomputing (CDROM) (1997)

We describe distributed and parallel algorithms for processing remotely sensed data such as geostationary satellite imagery. We have built a distributed data repository based around the client-server computing model across wide-area ATM networks, with embedded parallel and high-performance processing modules. We focus on algorithms for classification, geo-rectification, correlation and histogram analysis of the data. We consider characteristics of image data collected from the Japanese GMS5 geostationary meteorological satellite, and some analysis techniques we have applied to it. As well as providing a browsing interface to our data collection, our system provides processing and analysis services on-demand. We are developing our system to carry out processing and data reduction services at-a-distance, enabling remote users with limited bandwidth, access to our system, to obtain useful derived data products at the resolution they require.Our target hardware consists of a heterogeneous collection of distributed workstations, multi-processor servers and massively parallel computers at locations throughout Australia. These platforms are connected by ATM-based LANs and also through ATM switches across long distance WANs such as Telstra's Experimental Broadband Network, connecting Adelaide, Melbourne and Canberra. Our particular interest in constructing remote data access and processing services is the potential to utilise such resources as are available to a given user, yielding the best performance compromise of data processing and data delivery. To this end, we are building a set of resource scheduling and management utilities that will integrate the processing modules we describe. We have considered a number of software frameworks for building our integrated system and are focusing on a distributed object model using WWW protocols and the Java language.
Microsoft PowerPoint 2000 at a Glance, 1st edition
Authors: CORPORATE Perspection Inc
Venue:  (1999)

:Gives readers a fast, easy, visual way to solve problems and get work done with the latest version of Microsoft's versatile desktop slide-presentation program. This reference title delivers concise answers and is an ideal desk-side companion for users who need quick problem-solving information.
DB2/400: The New as/400 Database, 1st edition
Authors: Skip Marchesani
Venue:  (1994)

:This detailed discussion of the concepts, facilities, features, and functions within DB2/400 will enable you to make the most of the new and improved DBMS that came with the release of V3R1. Each new function is described and defined in detail with samples and suggestions of where and when to implement them. If you have or are planning on upgrading to V3R1, you will not want to be without this book. It is an invaluable tool that will help you successfully migrate to DB2/400. 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
Macros as multi-stage computations: type-safe, generative, binding macros in MacroML
Authors: Steven E. Ganz, Amr Sabry, Walid Taha
Venue: ACM SIGPLAN Notices (2001)

With few exceptions, macros have traditionally been viewed as operations on syntax trees or even on plain strings. This view makes macros seem ad hoc, and is at odds with two desirable features of contemporary typed functional languages: static typing and static scoping. At a deeper level, there is a need for a simple, usable semantics for macros. This paper argues that these problems can be addressed by formally viewing macros as multi-stage computations. This view eliminates the need for freshness conditions and tests on variable names, and provides a compositional interpretation that can serve as a basis for designing a sound type system for languages supporting macros, or even for compilation. To illustrate our approach, we develop and present MacroML, an extension of ML that supports inlining, recursive macros, and the definition of new binding constructs. The latter is subtle, and is the most novel addition in a statically typed setting. The semantics of a core subset of MacroML is given by an interpretation into MetaML, a statically-typed multi-stage programming language. It is then easy to show that MacroML is stage- and type-safe: macro expansion does not depend on runtime evaluation, and both stages do not "go wrong.
Risk Analysis and Security Survey, 2nd edition
Authors: James F. Broder
Venue:  (1999)

:Risk Analysis and the Security Survey, Second Edition provides an understanding of the principles of risk analysis to security students and professionals. It will help them produce more effective, results-oriented security surveys geared to the ever-changing needs of the organization.. "The most fundamental philosophy of risk control, design, and implementation is to make the program as self-sufficient as possible in all matters pertaining to security. This includes the two-sided coin of risk control: (1) the protection of assets by identifying, analyzing, and prioritizing the risk, and (2) contingency and disaster recovery planning.
Simulation-based optimization
Authors: Averill M. Law, Michael G. McComas
Venue: Proceedings of the 32nd conference on Winter simulation (2000)

In this tutorial we present an introduction to simulation-based optimization, which is, perhaps, the "hottest" topic in discrete-event simulation today. We give a precise statement of the problem being addressed and also experimental results for two commercial optimization packages applied to a manufacturing example with seven decision variables.
Cisco TCP/IP Routing Toolkit, 1st edition
Authors: Chris Lewis
Venue:  (1997)

:With the proliferation of TCP/IP networks (the internet, plus intranets and extranets) and Cisco's vast share of the router market, this toolkit is an essential for MIS directors, LAN managers and administrators, network engineers, and technical support staff. Cisco networking expert Chris Lewis explains the ins and outs of setting up your first router, system implementation, protocol basics, performance troubleshooting, network management, and security. 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
Microsoft Windows NT Server Resource Kit Version 4.0: Updated Information and Tools Exclusively for Owners of Win NT, 1st edition
Authors: CORPORATE Microsoft Corporation Staff
Venue:  (1997)

:Get two CD-ROMs filled with new and updated information and tools to help you go farther! You get 14 completely new tools, more than 18 updated and enhanced tools, and hundreds of megabytes of valuable information directly from TechNet. Experience Level: Intermediate/ Advanced 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
Teaching methods: how should we teach simulation?
Authors: Ingolf Ståhl
Venue: Proceedings of the 32nd conference on Winter simulation (2000)

This paper deals with the issue of how one can teach simulation in the most time-efficient way. We first distinguish between different types of student as regards their background and future needs. We next look at reasons for studying simulation at a business school. Next we compare animation oriented simulators with simulation languages. We then study a list of desirable criteria for simulation software, in particular simulation languages, that should be used in education. We finally answer the question if there is any system that fulfills all of these criteria.
Chip in the Curtain: Computer Technology in the Soviet Union
Authors: David A. Wellman
Venue:  (1995)

:Explains the Soviet Unions struggle with the development & application of computers in Soviet society. Addresses Russian traditions (history of the Russian people frustrates attempts to apply computer power); the Soviet system (it works against development & use of computers); hardware & software, education (how Soviets meet the problems of developing a computer literate society); & prospects of the Soviets trailing behind the West. Illustrations, figures, photos, & tables. 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
Flow Measurement, 1st edition
Authors: Bela G. Liptak
Venue:  (1993)

:Fully illustrated with diagrams, tables, and formulas, covers virtually every type of flow meter in use today.
A new class of linear feedback shift register generators
Authors: Pierre L'Ecuyer, Francois Panneton
Venue: Proceedings of the 32nd conference on Winter simulation (2000)

An efficient implementation of linear feedback shift register sequences with a given characteristic polynomial is obtained by a new method. It involves a polynomial linear congruential generator over the finite field with two elements. We obtain maximal equidistribution by constructing a suitable output mapping. Local randomness could be improved by combining the generator's output with that of some other (e.g., nonlinear and efficient) generator.
Sams Teach Yourself Visual Cafe 2 in 21 Days, 1st edition
Authors: Mike Cohn
Venue:  (1997)

:Sams Teach Yourself Visual Cafe In 21 Days is a tutorial in the format of the other best selling Teach Yourself books. It presents information on what Visual Cafe is and how to use it to develop. Since Visual Cafe's programming language is Java, Teach Yourself Visual Cafe in 21 Days also teaches you how to program with Java to create both applets and applications.
ABCs of Microsoft Internet Explorer for Windows 95
Authors: John Ross
Venue:  (1996)

:The ABCs of Microsoft Internet Explorer 3 is an easy-to-use, task-oriented guide to the most important features of Internet Explorer. Friendly design and accessible chapters show you how to harness the capabilities of Internet Explorer. You'll be able to quickly find what you need, accomplish the task at hand, and move on. Start using Internet Explorer today - even if you've never used it before. Understand the basic structure and services of the Internet. Find out where to get Internet Explorer and how to get online. Install and configure Internet Explorer. Browse the World Wide Web. Participate in Internet newsgroups. Work with interactive Web pages. Download files from the Internet, and send and receive e-mail. A bigger, better index helps you find exactly what you need. No matter how you define the task, this complete, cross-referenced index takes you directly to the section you need.
Cyberregs: a business guide to web property, privacy, and patents
Venue:  (2001)

CyberRegs brings you up to speed on current developments in patent, copyright, digital signature, and privacy policies. Taking an even-handed approach to the debate between greater and lesser control of the Internet, this book provides fascinating background on recent Web legislation. It discusses in depth the many complex policy issues now being hotly debated, and speculates on possible future legal outcomes.
Notification for shared annotation of digital documents
Authors: A. J. Bernheim Brush, David Bargeron, Jonathan Grudin, Anoop Gupta
Venue: Proceedings of the SIGCHI conference on Human factors in computing systems: Changing our world, changing ourselves (2002)

Notification and shared annotations go hand-in-hand. Notification of activity in a shared document system is known to support awareness and improve asynchronous collaboration, but few studies have examined user needs and explored design tradeoffs. We examined large-scale use of notifications in a commercial system and found it lacking. We designed and deployed enhancements to the system, then conducted a field study to gauge their effect. We found that providing more information in notification messages, supporting multiple communication channels through which notifications can be received, and allowing customization of notification messages are particularly important. Overall awareness of annotation activity on software specifications increased with our enhancements
Implementing Microsoft Proxy Server 2, 10th edition
Authors: Kevin Schuler
Venue:  (1997)

:A wealth of examples, tips, tricks, and workarounds guides readers through an effective deployment of the Microsoft Proxy Server. The book includes questions to help readers analyze their business needs and to introduce them to new possibilities enabled by the Proxy Server. The CD-ROM contains Internet Explorer 4, Active Desktop components, and hot links to networking, proxy, and security sites.
How to scale transactional storage systems
Authors: Liuba Shrira, Barbara Liskov, Miguel Castro, Atul Adya
Venue: Proceedings of the 7th workshop on ACM SIGOPS European workshop: Systems support for worldwide applications (1996)

Applications of the future will need to support large numbers of clients and will require scalable storage systems that allow state to be shared reliably. Recent research in distributed file systems provides technology that increases the scalability of storage systems. But file systems only support sharing with weak consistency guarantees and can not support applications that require transactional consistency. The challenge is how to provide scalable storage systems that support transactional applications.We are developing technology for scalable transactional storage systems. Our approach combines scalable caching and coherence techniques developed in serverless file systems and DSM systems, with recovery techniques developed in traditional databases. This position paper describes the design rationale for split caching, a new scalable memory management technique for network-based transactional object storage systems, and fragment reconstruction, a new coherence protocol that supports fine-grained sharing.
Artificial nonmonotonic neural networks
Authors: B. Boutsinas, M. N. Vrahatis
Venue: Artificial Intelligence (2001)

In this paper, we introduce Artificial Nonmonotonic Neural Networks (ANNNs), a kind of hybrid learning systems that are capable of nonmonotonic reasoning. Nonmonotonic reasoning plays an important role in the development of artificial intelligent systems that try to mimic common sense reasoning, as exhibited by humans. On the other hand, a hybrid learning system provides an explanation capability to trained Neural Networks through acquiring symbolic knowledge of a domain, refining it using a set of classified examples along with Connectionist learning techniques and, finally, extracting comprehensible symbolic information. Artificial Nonmonotonic Neural Networks acquire knowledge represented by a multiple inheritance scheme with exceptions, such as nonmonotonic inheritance networks, and then can extract the refined knowledge in the same scheme. The key idea is to use a special cell operation during training in order to preserve the symbolic meaning of the initial inheritance scheme. Methods for knowledge initialization, knowledge refinement and knowledge extraction are introduced. We, also, prove that these methods address perfectly the constraints imposed by nonmonotonicity. Finally, performance of ANNNs is compared to other well-known hybrid systems, through extensive empirical tests. . 2001 Elsevier Science B.V. All rights reserved.
Digital Signal Processing Demystified
Authors: James D. Broesch
Venue:  (1995)

:Emphasizes practical applications and applying DSP techniques to solve specific problems. The accompanying disk for Windows PCs contains working examples of DSP applications. 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
Application level hand-off support for mobile media transcoding sessions
Authors: Sumit Roy, Bo Shen, Vijay Sundaram, Raj Kumar
Venue: Proceedings of the 12th international workshop on Network and operating systems support for digital audio and video (2002)

Media transcoding can be used to enable mobile devices that have low resolution and low bit-rate capabilities to access content created for stationary, desktop clients with high bandwidth connections. By deploying transcoding servers near the edge of a large network, it becomes possible to support clients with multiple resolutions, while limiting the bandwidth requirements in the core network.
Types as models: model checking message-passing programs
Authors: Sagar Chaki, Sriram K. Rajamani, Jakob Rehof
Venue: ACM SIGPLAN Notices (2002)

Abstraction and composition are the fundamental issues in making model checking viable for software. This paper proposes new techniques for automating abstraction and decomposition using source level type information provided by the programmer. Our system includes two novel components to achieve this end: (1) a behavioral type-and-effect system for the &pi;-calculus, which extracts sound models as types, and (2) an assume-guarantee proof rule for carrying out compositional model checking on the types. Open simulation between CCS processes is used as both the subtyping relation in the type system and the abstraction relation for compositional model checking.We have implemented these ideas in a tool---PIPER. PIPER exploits type signatures provided by the programmer to partition the model checking problem, and emit model checking obligations that are discharged using the SPIN model checker. We present the details on applying PIPER on two examples: (1) the SIS standard for managing trouble tickets across multiple organizations and (2) a file reader from the pipelined implementation of a web server.
Hackers: Heroes of the Computer Revolution
Authors: Steven Levy
Venue:  (1994)

:A mere fifteen years ago, computer nerds were seen as marginal weirdos, outsiders whose world would never resonate with the mainstream. That was before one pioneering work documented the underground computer revolution that was about to change our world forever. With groundbreaking profiles of Bill Gates, Steve Wozniak, MIT's Tech Model Railroad Club, and more, Steven Levy's Hackers brilliantly captured a seminal moment when the risk-takers and explorers were poised to conquer twentieth-century America's last great frontier. And in the Internet age, the hacker ethic-first espoused here-is alive and well. A remarkable collection of characters...courageously exploring mindspace, an inner world where nobody had ever been before. (The New York Times) Fascinating...A huge job hugely well done. (The Washington Post) Author Bio: Steven Levy is also the author of Crypto: When the Code Rebels Beat the Government-Saving Privacy in the Digital Age and the chief technology writer for Newsweek. He is a regular contributor to numerous publications including Macworld and Wired.