ppxscal/embedding_network huggingface dataset:
Simply Logical: Intelligent Reasoning by Example, 1st edition
Authors: Peter A. Flach
Venue:  (1994)

:An introduction to Prolog programming for artificial intelligence covering both basic and advanced AI material. A unique advantage to this work is the combination of AI, Prolog and Logic. Each technique is accompanied by a program implementing it. Seeks to simplify the basic concepts of logic programming. Contains exercises and authentic examples to help facilitate the understanding of difficult concepts.
Microsoft Office Professional: A Mastery Approach to Office 95, 1st edition
Authors: Patricia L. Sullivan
Venue:  (1996)

:In this text, Patricia Sullivan applies her extensive teaching experience to a format designed to transform the computer novice into an informed user of Office Professional for Windows. Concepts are introduced systematically, and a case-study approach provides applicable experience. Topics include Access, Word, mail merges, Excel, PowerPoint, and object linking and embedding.
Standards: The Rough Road to the Common Byte
Authors: Martin C. Libicki
Venue:  (1995)

:This report looks at the growing but confusing body of info. tech. standards by concentrating on 7 areas: UNIX OS; OSI for data communication; DoDs CALS; the Ada programming language; ISDN, narrow band & broadband; multimedia standards (text, database, & image compression), & 5 specialized standards (encryption, electronic chip design, machine tools, maps, TRON). Each realm is examined from several viewpoints: the problems that need to be solved, the degree of success of standards, the role of public policy in the standards process, & major trends in each area. Charts & tables.
The Web-Based Training Cookbook with Cdrom, 1st edition
Authors: Brandon Hall
Venue:  (1997)

:Multimedia training expert Brandon Hall schools you in Web-based training principles, introduces you to the three main types of courses, and arms you with the know-how and tools you need to create the type that's best for your organization. He covers all the bases for managers, trainers, and Webmasters. The CD-ROM provides demos of an online testing program, an HTML training site, and a sample multimedia program from a custom developer. Also provided is source code from several Web programs and links to the sites discussed in the book.
Bill Gates: Helping People Use Computers
Authors: Charnan Simon
Venue:  (1997)

:A biography of Bill Gates, focusing on the Seattle business community and the global village that he has helped create through his work as a computer software entrepreneur. 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
Tricks of the Internet Gurus, 1st edition
Authors: Philip Baczewski
Venue:  (1994)

:This book reveals the secrets and tricks used by Internet experts to make sense of the vast amount of information on the Internet. The disk includes examples of .SIG files, examples of scripts used to search for information on the net, example KILL files that are used to filter incoming information, and finally several "home-written" utilities used by the Gurus that contributed to the book.
Reverse-link capacity of multiband overlaid DS-CDMA systems
Authors: Lei Zhuge, Victor O. K. Li
Venue: Mobile Networks and Applications (2002)

In the future deployment of wideband DS-CDMA mobile communication systems, spectrum overlay among sub-bands with different bandwidths is probably inevitable. In this paper we present an approach to estimate the reverse-link capacity of overlaid multiband DS-CDMA systems in terms of the maximum number of users in each sub-band. We will derive the general capacity formula, and present a decomposition method for the capacity analysis to reduce the computational complexity. Based on this decomposition method the conditions for maximum bandwidth utilization are obtained. These results are then extended to account for realistic constraints such as the maximum received power and imperfect power control.
Windows 2000 User Management
Authors: Lori M. Sanders
Venue:  (2000)

:The purpose of Windows 2000 User Management is to provide a comprehensive, practical guide to managing users and their desktop environments with Windows 2000. The book is divided into three sections. The first is an overview of the new capabilities Windows 2000 offers for user and resource management, plus an overview of the Active Directory, domain models, and security mechanism available. The next section covers all aspects of user management-creation of users, bulk tools, migrations, from other directory structures, groups, and planning for efficient use of groups. The final section deals with managing the user's environment through the use of profiles, group policy objects, and the functions Microsoft has grouped and marketed as Intellimirror-client-side caching, single instance storage, remote boot and MSI. 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
Bits, Bytes and Big Brother: Federal Information Control in the Technological Age
Authors: Shannon E. Martin
Venue:  (1995)

:This study examines the tensions and interrelationships inherent in federal control of information in the technological era. Analyzing topics relating to information content and carrier issues, citizens' natural rights and utilities, and the effects of the executive and legislative branches, the author examines the historical definitions of information, traditional ethical principles, the parameters as framed by the Constitution, and three kinds of information control actions promulgated by the federal government (the Foreign Agents Registration and Propaganda Act, the Computer Security Act of 1987, and the Pentagon media rules during the Persian Gulf War). Following analysis of the practical, ethical, and legal issues involved, the author recommends a proactive information policy encompassing both information content and carriers and preserving Constitutional principles on the free flow of information.
AutoCAD Assessment Exam Preparation Manual, 1st edition
Authors: Alan J. Kalameja
Venue:  (2000)

:Authored by a member of the AutoCAD Exam Board and an experienced AutoCAD trainer, the AutoCAD 2000 Assessment Exam Preparation Manual for Autodesk is what you need to prepare for the AutoCAD Assessment Exam. This self-paced workbook provides exercises and sample tests designed to improve your understanding of the AutoCAD concepts and drawing skills that will be tested during the actual exams.Keywords: AutoCAD Assessment Keywords: AutoCAD Certification
Problem Solving with FORTRAN 90: For Scientists and Engineers, 1st edition
Authors: David R. Brooks
Venue:  (1997)

:This book provides students with an introduction to Fortran 90, one of the most powerful and flexible programming languages for scientific computation available today. In this book, which is directed at undergraduate students who have not yet had a formal programming language course, the author shows how to use Fortran 90 to solve a wide range of computational problems that are found in engineering and the physical sciences. Following a brief introduction to computing in general, the author presents a thorough guide to problem solving and algorithm design using pseudocode to develop an understanding of the steps required to solve a particular problem. Subsequent chapters introduce the main features of Fortran 90, often in the context of solving simple science and engineering problems. Each chapter includes at least two complete programming applications that become progressively more challenging as programming skills develop.
Answering queries with useful bindings
Authors: Chen Li, Edward Chang
Venue: ACM Transactions on Database Systems (TODS) (2001)

In information-integration systems, sources may have diverse and limited query capabilities. To obtain maximum information from these restrictive sources to answer a query, one can access sources that are not specified in the query (i.e., off-query sources). In this article, we propose a query-planning framework to answer queries in the presence of limited access patterns. In the framework, a query and source descriptions are translated to a recursive datalog program. We then solve optimization problems in this framework, including how to decide whether accessing off-query sources is necessary, how to choose useful sources for a query, and how to test query containment. We develop algorithms to solve these problems, and thus construct an efficient program to answer a query.
Achieving World Class Manufacturing through Process Control, 1st edition
Authors: Joseph P. Shunta
Venue:  (1997)

:This book shows how to improve manufacturing by the use of process control. It shows specifically how improved economic performance in chemical manufacturing can be achieved and sustained through the application of process control and statistics to reduce process variability and improve quality, yield, throughput, energy utilization, and cycle time --i.e., the world class performance metrics in manufacturing. Because the technique is used to identify and assess process control improvements in terms of meeting business needs, it can also be directly applied to related processes in such industries as food and drugs, agricultural products, rubber, plastics, fibers, petroleum refining and petrochemicals, and film. Covers topics such as assessing variability; assessing control performance; process analysis to identify control opportunities; estimating benefits; prioritizing improvements for reduced resources; implementing automatic controls for reducing variability; inferential measurements; sustaining the benefits; and process design for improved controllability. For business managers, manufacturing supervisors, process engineers and applied statisticians responsible for improving the performance of their business.
Linux for suits
Authors: Doc Searls
Venue: Linux Journal (2001)

The Bazaar Way to Bet
A unified approach to approximating resource allocation and scheduling
Authors: Amotz Bar-Noy, Reuven Bar-Yehuda, Ari Freund, Joseph (Seffi) Naor, Baruch Schieber
Venue: Journal of the ACM (JACM) (2001)

We present a general framework for solving resource allocation and scheduling problems. Given a resource of fixed size, we present algorithms that approximate the maximum throughput or the minimum loss by a constant factor. Our approximation factors apply to many problems, among which are: (i) real-time scheduling of jobs on parallel machines, (ii) bandwidth allocation for sessions between two endpoints, (iii) general caching, (iv) dynamic storage allocation, and (v) bandwidth allocation on optical line and ring topologies. For some of these problems we provide the first constant factor approximation algorithm. Our algorithms are simple and efficient and are based on the local-ratio technique. We note that they can equivalently be interpreted within the primal-dual schema.
Music Online for Dummies
Authors: David Kushner
Venue:  (2000)

:The fun and easy way to plug into music on any PC! This timely volume offers you easy steps for finding, downloading, creating, and listening to music on any PC. You will delight in its contents, which include: Coverage of such hot trends as Cybercasts, MP3s, and Internet radio Tips on tweaking systems for optimal performance and locating the best tunes online A CD-ROM that contains software for making and listening to music files, linking to online music sites, and 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
A system software architecture for high-end computing
Authors: David S. Greenberg, Ron Brightwell, Lee Ann Fisk, Arthur Maccabe, Rolf Riesen
Venue: Proceedings of the 1997 ACM/IEEE conference on Supercomputing (CDROM) (1997)

Large MPP systems can neither solve grand-challenge scientific problems nor enable large scale industrial and governmental simulations if they rely on extensions to workstation system software. At Sandia National Laboratories we have developed, with our vendors, a new system architecture for high-end computing. Highest performance is achieved by providing applications with a light-weight interface to a collection of processing nodes. Usability is provided by creating node partitions specialized for user access, networking, and I/O. The entire system is glued together by a data movement interface which we call portals. Portals allow data to flow between processing nodes with minimal system overhead while maintaining a suitable degree of protection and reconfigurability.
Operator strength reduction
Authors: Keith D. Cooper, L. Taylor Simpson, Christopher A. Vick
Venue: ACM Transactions on Programming Languages and Systems (TOPLAS) (2001)

Operator strength reduction is a technique that improves compiler-generated code by reformulating certain costly computations in terms of less expensive ones. A common case arises in array addressing expressions used in loops. The compiler can replace the sequence of multiplies generated by a direct translation of the address expression with an equivalent sequence of additions. When combined with linear function test replacement, strength reduction can speed up the execution of loops containing array references. The improvement comes from two sources: a reduction in the number of operations needed to implement the loop and the use of less costly operations.This paper presents a new algorithm for operator strength reduction, called OSR. OSR improves upon an earlier algorithm of Allen, Cocke, and Kennedy [Allen et al. 1981]. OSR operates on the static single assignment (SSA) form of a procedure [Cytron et al. 1991]. By taking advantage of the properties of SSA form, we have derived an algorithm that is simple to understand, quick to implement, and, in practice, fast to run. Its asymptotic complexity is, in the worst case, the same as the Allen, Cocke,and Kennedy algorithm (ACK). OSR achieves optimization results that are equivalent to those obtained with the ACK algorithm. OSR has been implemented in several research and production compilers.
The HTML/CSS Developer's Resource Guide
Authors: Bryan Pfaffenberger
Venue:  (2000)

:Covers numerous emerging languages and W3C standards including SMIL(Synchronized Multimedia Integration Language), CDF, MathML, language codes for specifying foreign languages and more Inclusion of the source code allows more experienced programmers to modify the applets: Unlocks the hidden power of HTML using CSS Complete coverage of HTML 4 and CSS Levels 1 & 2 Quickly look up codes for special characters, colors, & audio
Laura Lemay's Web Workshop: NetScape Navigator Gold 3
Authors: Ned Snell
Venue:  (1996)

:Written in straightforward style, it illustrates key techniques with interesting, colorful examples.
'Visual literacy' as challenge to the internationalisation of interfaces: a study of South African student web users
Authors: Marion Walton, Vera Vukovic', Gary Marsden
Venue: CHI '02 extended abstracts on Human factors in computing systems (2002)

Following a social semiotic approach, this paper questions the Western cultural assumptions underpinning the web's evolving navigational conventions, and investigates to what extent a group of South African students command the currently dominant Western conventions. South African students (both novices and experienced web users) completed a series of visual exercises, where they interpreted a set of interface and conceptual conventions in common use on the web. Conceptual questions attempted to address to what extent students were familiar with and able to reproduce the conventional Western visual design resources for representing classificational taxonomies or 'tree structures' and various other visual devices for the implicit portrayal of hierarchical information structures (Kress and van Leeuwen 1996). Interface questions probed student recognition of common web icons. Some broadly cultural factors were found to explain at least some of the variation in the group. Finally, we consider the implications of our study for training, design, and the diverse range of South African representational resources.
Principles of Object-Oriented Software Development with Cdrom, 2nd edition
Authors: Anton Eliens
Venue:  (2000)

:This new edition continues its unique approach to teaching all aspects of object-oriented programming, bringing it right up to date with the latest advances in technology. It requires no extensive knowledge of programming languages. It is divided into four parts, each presenting the issues involved in object-oriented programming from a different perspective: software engineering and design, languages and system development, abstract data types and polymorphism, and applications and frameworks. Software engineers who want to understand the theory behind modern object-oriented technology while learning about such new topics as patterns, UML, and Java.
Programming Collaborative Web Applications with Microsoft Exchange 2000 Server
Authors: Mindy C. Martin
Venue:  (2000)

:Microsoft Exchange 2000 Server enables a wide range of collaborative activities, including group scheduling, team customer and task lists, document routing, and discussion groups that are designed to help knowledge workers become more productive. Exchange 2000 significantly expands the Exchange infrastructure for collaboration and business applications through its use of the new Web Store. The Web Store provides a single point of management and collaboration for knowledge stored and shared through e-mail, documents, and applications. It integrates Web content such as Web pages, rich storage for documents, extensive messaging and collaboration services, and complete application hosting and workflow services. The Exchange platform has an increasingly strong story for developers in the enterprise. A few companies, such as ECMS and MicroEye, are making progress toward building large scale collaboration applications on Exchange, and their visible success has served to validate the potential of the platform. 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
System dynamics modelling in supply chain management: research review
Authors: Bernhard J. Angerhofer, Marios C. Angelides
Venue: Proceedings of the 32nd conference on Winter simulation (2000)

The use of System Dynamics Modeling in Supply Chain Management has only recently re-emerged after a lengthy slack period. Current research on System Dynamics Modelling in supply chain management focuses on inventory decision and policy development, time compression, demand amplification, supply chain design and integration, and international supply chain management. The paper first gives an overview of recent research work in these areas, followed by a discussion of research issues that have evolved, and presents a taxonomy of research and development in System Dynamics Modelling in supply chain management.
Flexible authentication of XML documents
Authors: P. Devanbu, M. Gertz, A. Kwong, C. Martel, G. Nuckolls, S. G. Stubblebine
Venue: Proceedings of the 8th ACM conference on Computer and Communications Security (2001)

XML is increasingly becoming the format of choice for information exchange, in critical areas such as government, finance, healthcare and law, where integrity is of the essence. As this trend grows, one can expect that documents (or collections thereof) may get quite large, and clients may wish to query for specific segments of these documents. In critical applications, clients must be assured that they are getting complete and correct answers to their queries. Existing methods for signing XML documents cannot be used to establish that an answer to a query is complete. A simple approach has a server processing queries and certifying answers by digitally signing them with an on-line private key; however, the server, and its on-line private key, would be vulnerable to external hacking and insider attacks. We propose a new approach to signing XML documents which allows untrusted servers to answer certain types of path queries and selection queries over XML documents without the need for trusted on-line signing keys. This approach enhances both the security and scalability of publishing information in XML format over the internet. In addition, it provides greater flexibility in authenticating parts of XML documents, in response to commercial or security policy considerations.
Communication complexity method for measuring nondeterminism in finite automata
Authors: Juraj Karhuäki, Sebastian Seibert, Juhani Karhumaki, Hartmut Klauck, Georg Schnitger
Venue: Information and Computation (2002)

While deterministic finite automata seem to be well understood, surprisingly many important problems concerning nondeterministic finite automata (nfa's) remain open. One such problem area is the study of different measures of nondeterminism in finite automata and the estimation of the sizes of minimal nondeterministic finite automata. In this paper the concept of communication complexity is applied in order to achieve progress in this problem area. The main results are as follows:(1) Deterministic communication complexity provides lower bounds on the size of nfa's with bounded unambiguity. Applying this fact, the proofs of several results about nfa's with limited ambiguity can be simplified and presented in a uniform way. (2) There is a family of languages KONk2 with an exponential size gap between nfa's with polynomial leaf number/ambiguity and nfa's with ambiguity k. This partially provides an answer to the open problem posed by B. Ravikumar and O. Ibarra (1989, SIAM J. Comput. 18, 1263-1282) and H. Leung (1998, SIAM J. Comput. 27, 1073-1082).
Software Quality Management and ISO 9001: How to Make Them Work for You, 1st edition
Authors: Michael G. Jenner
Venue:  (1995)

:Addresses the issues of managing a modern organization within the framework of ISO 9001 requirements. Challenging the belief that quality equals bureaucracy, Jenner breaks down the ISO 9001 standard in detail. Shows software developers how to come to terms with ISO 9001 and how to use it specifically in the development process. Includes an ISO 9001 conformance checklist and numerous sample procedures.
Practical Guide to Intranet Client Server Applications Using the Web: With Cdrom with Cdrom
Authors: Norman E. Smith
Venue:  (1997)

:-based tools instead of traditional proprietary tools has grown with the explosion of the Web. This book reviews these software development tools and identifies what is involved with developing an Intranet/Internet application.
Collaborative Computing with Delphi 3: With Cdrom with Cdrom
Authors: James R. Callan
Venue:  (1997)

:rs and developers with an especially strong focus on the concept of "scaling"-- the process of upscaling software applications from the desktop to the client/server environment. 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