ppxscal/embedding_network huggingface dataset:
View representation in logical database design
Authors: Shamkant B. Navathe, Mario Schkolnick
Venue: Proceedings of the 1978 ACM SIGMOD international conference on management of data (1978)

The process of logical database design consists of four phases: view modeling, view integration, schema optimization and schema mapping. View modeling is defined as the modeling of the usage and information structure perspectives of the real world from the point of view of different users and/or applications. The view integration phase combines these views into a single community view which is subjected to further optimization and mapping. As a result, instances of users' model may be altered and application programs transformed.This paper proposes a scheme for view representation which will facilitate the process of view integration. This is done by enhancing the data abstraction framework proposed by Smith and Smith. It takes into account the instance-level interrelationships among data and the identification of instances via these interrelationships. The usage perspective is incorporated as rules and assertions about schema- and instance-level insertion and deletion.The problem of view integration is briefly addressed. Valid transformations of views are indicated as a part of the integration process.
Task Buster
Authors: Walnut Creek CD-ROM
Venue:  (1996)

:This collection of time-saving utilities provides any PC user with a unique and essential resource. The book comes with viewers for DOS, Windows 3.1 (16-bit), and Windows 95 and NT. It also includes an easy-to-use browser for Windows and MS-DOS. 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
The Architecture of Computer Hardware and System Software: An Information Technology Approach, 2nd edition
Authors: Irv Englander
Venue:  (2000)

:This newly revised reference presents fundamental computer hardware, systems software, and data concepts. It provides a careful, in depth, non-engineering introduction to the inner workings of modern computer systems. The book also features the latest advances in operating system design and computer interconnection.
Corel WordPerfect 8 for Window 95, 1st edition
Authors: Rick Sullivan
Venue:  (1999)

:Provides a complete training package for Corel WordPerfect 7/8 for Windows 95 featuring clear, easy-to-follow instructions, illustrations, and hands-on exercises that help make learners proficient users in 10 hours or less. Appropriate for self-paced learning, staff development, one day workshops or group instruction.
Generic unification via two-level types and parameterized modules
Authors: Tim Sheard
Venue: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming (2001)

As a functional pearl, we describe an efficient, modularized implementation of unification using the state of mutable reference cells to encode substitutions. We abstract our algorithms along two dimensions, first abstracting away from the structure of the terms to be unified, and second over the monad in which the mutable state is encapsulated. We choose this example to illustrate two important techniques that we believe many functional programmers would find useful. The first of these is the definition of recursive data types using two levels: a structure defining level, and a recursive knot-tying level. The second is the use of rank-2 polymorphism inside Haskell's record types to implement a form of type parameterized modules.
Windows programming with C++
Authors: Henning Hansen
Venue:  (2002)

Ever find that you only have time for the basics? Then get down to the Nitty Gritty. If you are already familiar with C++ this guide will allow you to get into professional application development for Windows using the WIN32 API. Simple examples will teach you not only the basics but also advanced topics too, such as getting started with DirectX.
Python Library Reference: February 19, 1999, Release 1.5.2
Authors: Guido Van Rossum
Venue:  (2000)

:Python Library Reference exceptions Python Library Reference is a manual that documents Python's standard library, as well as many optional library modules, which may or may not be available, depending on whether the underlying platform supports them and on the configuration choices made at compile time. The reference also documents the standard types of the language and its built-in functions and exceptions, many of which are not or incompletely documented in the Reference Manual. 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 iUniverse.com. All royalties go to the Python Software Activity.
A formal foundation for process modeling
Authors: Christopher Menzel, Michael Grüninger
Venue: Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001 (2001)

Process modeling is ubiquitous in business and industry. While a great deal of effort has been devoted to the formal and philosophical investigation of processes, surprisingly little research connects this work to real world process modeling. The purpose of this paper is to begin making such a connection. To do so, we first develop a simple mathematical model of activities and their instances based upon the model theory for the NIST Process Specification Language (PSL), a simple language for describing these entities, and a semantics for the latter in terms of the former, and a set of axioms for the semantics based upon the NIST Process Specification Language (PSL). On the basis of this foundation, we then develop a general notion of a process model, and an account of what it is for such a model to be realized by a collection of events.
ALS Microsoft Windows 2000 Server, 1st edition
Authors: Microsoft Corporation
Venue:  (2001)

:Developed for academic courses, Microsoft Windows 2000 Server helps students build the skills they need on the job and for MCP Exam 70-215a core requirement on the Windows 2000 MCSE track. The textbook delivers Microsoft courseware adaptable for either a full 16-week semester or a 6-, 8-, or 10-week course. The book is filled with competency-based practice exercises that students complete on their own, while the companion lab manual features additional skill-building activities ideal for your classrooms computer lab. Along with the textbook and lab manual, students get a Student CD-ROM containing study aids, simulation video clips that demonstrate common procedures, an electronic version of the textbook, detailed information on how to begin a career in Information Technology, and a 120-day evaluation version of Windows 2000 Server software. An Instructor CD-ROM containing a complete set of instructor support materialsincluding lecture outlines, teaching tips, PowerPoint&reg; slides, test banks, and an instructor lab manualis also available.
Device-dependant modality selection for user-interfaces: an empirical study
Authors: Christian Elting, Jan Zwickel, Rainer Malaka
Venue: Proceedings of the 7th international conference on Intelligent user interfaces (2002)

The presentation of information using multiple modalities influences the perception of users, their comfort, and their performance in using a computer-based information system. This paper presents a user study investigating the effects of different output modality-combinations on the effectiveness to transport information and on the user's acceptance of the system. We chose a tourist information system as a test environment and conducted the study on three different devices (PDA, TV set, and desktop computer) to investigate whether the best modality-combination depends on the used device. It turned out that the modality-combination of spoken text in connection with a picture was the most effective regarding recall-performance. This effect was strongest for users working with PDAs, which can be explained by the cognitive load theory. In contrast to this, participants ranked different modality combinations as most appealing, namely those with written text.
Parallel and Distribution Simulation Systems, 1st edition
Authors: Richard M. Fujimoto
Venue:  (1999)

:A state-of-the-art guide for the implementation of distributed simulation technology. The rapid expansion of the Internet and commodity parallel computers has made parallel and distributed simulation (PADS) a hot technology indeed. Applications abound not only in the analysis of complex systems such as transportation or the next-generation Internet, but also in computer-generated virtual worlds for military and professional training, interactive computer games, and the entertainment industry. In this book, PADS expert Richard M. Fujimoto provides software developers with cutting-edge techniques for speeding up the execution of simulations across multiple processors and dealing with data distribution over wide area networks ,including the Internet. With an emphasis on parallel and distributed discrete event simulation technologies, Dr. Fujimoto compiles and consolidates research results in the field spanning the last twenty years, discussing the use of parallel and distributed computers in both the modeling and analysis of system behavior and the creation of distributed virtual environments. While other books on PADS concentrate on applications, Parallel and Distributed Simulation Systems clearly shows how to implement the technology. It explains in detail the synchronization algorithms needed to properly realize the simulations, including an in-depth discussion of time warp and advanced optimistic techniques. Finally, the book is richly supplemented with references, tables and illustrations, and examples of contemporary systems such as the Department of Defense's High Level Architecture (HLA), which has become the standard architecture for defense programsin the United States.
The Complete Idiot's Guide to Microsoft Windows Me
Authors: Paul McFedries
Venue:  (2000)

:If you one day sit down at your desk to discover Windows Millennium installed on your computer, you're going to want some guidance on how to use it. The Complete Idiot's Guide to Windows "Millennium" is aimed at people who, through no fault of their own, have ended up with Microsoft's latest consumer operating system. Computers are now an integral part of many people's lives, but that doesn't mean every user is an expert. This book uses a light, irreverent tone that engages your interest and has a little fun at Windows "Millennium's" expense. All the new Windows "Millennium" features are covered, including personalized menus, the latest version of Internet Explorer and Outlook Express, MSN Messenger Server, networking, digital camera and scanners and more.
A fresh approach to representing syntax with static binders in functional programming
Authors: Andrew M. Pitts
Venue: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming (2001)

Tell category theorists about the concept of abstract syntax for a language and they may say "that's just the initial algebra for a sum-of-products functor on the category of sets". Despite what you might think, they are trying to be helpful since the initiality property is the common denominator of both definitions by structural recursion and proofs by structural induction [5, Sect. 4.4]. In recent years we have learned how to extend this initial algebra view of abstract syntax to encompass languages with statically scoped binders. In the presence of such binders one wants to abstract away from the specific names of bound variables, either by quotienting parse trees by a suitable notion of alpha-equivalence, or by replacing conventional trees with ones containing de Bruijn indices [1]. By changing from the category of sets to other well-known, but still 'set-like' categories of sheaves or presheaves, one can regain an initial algebra view of this even more than normally abstract syntax---the pay-off being new and automatically generated forms of structural recursion and induction that respect alpha-equivalence [2, 3]. One good test of these new ideas is to see if they give rise to new forms of functional programming. In fact they do. The paper [6] sketches a functional programming language for representing and manipulating syntactical structure involving binders, based on the mathematical model of variable-binding in [3, 4]. In this ML-like language there are new forms of type for names and name-binding that come along with facilities for declaring fresh names, for binding names in abstractions and for pulling apart such name-abstractions via pattern-matching. The key idea is that properly abstract uses of names, i.e. ones that do not descend below the level of alpha-conversion, can be imposed on the user by a static type system that deduces information about the freshness of names. Even though we appear to be giving users a 'gensym' facility, the type system restricts the way it can be used to the extent that we keep within effect-free functional programming, in the sense that the usual laws of pure functional programming remain valid (augmented with new laws for names and name-abstractions). In this talk I will introduce this new approach to representing languages static binders in functional programming and discuss some of the difficulties we have had verifying its semantic properties.
Enterprise Information Technologies: Designing the Competitive Company
Authors: Bruce Love
Venue:  (1993)

:Seize the power of information across your company to compete and win! For years, executives and IS managers have sought to integrate multi-vendor hardware and software across an enterprise to drive critical business strategies. Now, as competitive stakes increase and the advantages from conventional automation diminish, successful companies must harness the power of its information resources by transforming existing computer data into a vital business asset. This pathfinding book gives you a bold, yet practical, approach for achieving this long sought-after goal. Written from both a managerial and a technical perspective, it shows the current state of the art, explains how enterprise information technologies work and how they relate to each other, and demonstrates how any company can use existing computer data to tame tough information problems, enhance key business processes, improve management control and decision-making, and liberate the potential of your firm's greatest asset - your employees. Enterprise Information Technologies explores break-through solutions to meet today's tough competitive pressures - and puts them in a realistic framework that allows you to build upon an expanding information infrastructure that improves with use. You'll find powerful ideas and practical solutions covering real-world prototypes and designs for performing insightful and precise information transformation supported by a general information infrastructure; detailed checklists and a conceptual framework to help you better appreciate the opportunities and risks of "automating information"; the most attractive opportunities for exploiting existing data to enhance critical programs, re-engineer procedures, boost tactical responsiveness, and increase management effectiveness; a comprehensive systems integration model, based on large-scale client server architecture, for creating a coherent processing environment; the most promising vendor visions that address information's t 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
Probabilistic game semantics
Authors: Vincent Danos, Russell S. Harmer
Venue: ACM Transactions on Computational Logic (TOCL) (2002)

A category of HO/N-style games and probabilistic strategies is developed where the possible choices of a strategy are quantified so as to give a measure of the likelihood of seeing a given play. A two-sided die is shown to be universal in this category, in the sense that any strategy breaks down into a composition between some deterministic strategy and that die. The interpretative power of the category is then demonstrated by delineating a Cartesian closed subcategory that provides a fully abstract model of a probabilistic extension of Idealized Algol.
SAS/C C++ Development System User's Guide, 1st edition
Authors: CORPORATE SAS Institute Staff
Venue:  (1993)

:This book describes how to use the SAS/C C++ Development System to compile C++ programs. It includes a discussion of the basics of the product, such as what header files and options it uses; environment-specific details for using the Development System under each of the three supported environments (TSO, CMS, and MVS batch); and how to debug C++ files using the SAS/C Debugger. This book is not intended as a C++ tutorial and does not contain an introduction to the C++ language. This book is intended for programmers using the SAS/C C++ Development System and assumes the user is familiar with both C and C++ languages. Supports releases 6.00 and higher. 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
AutoCAD 2000 3d F/X and Design with CD-ROM
Authors: Brian Matthews
Venue:  (1999)

:Provides the incentive for more experimentation with the powerful modeling and editing capabilities built into 3D Studio. Provides intermediate to advanced readers with an easy-to-follow, step-by-step format of the capabilities and AutoCAD and 3D design. Demonstrates the use of color, light, texture, animation, and sound to bring designs to life. Shows how to create basic forms of 3D: wireframe, surface, and solid models. Shows readers how to master 3D with the most powerful design tool available. 3D modeling in AutoCAD is a daunting yet rewarding task. AutoCAD 2000 3D f/x and design helps readers hone 3D skills in an easy-to-follow, project-oriented approach. Explores creating 3D models and exporting them to a Web site for client viewing, which decreases project development times. 16-page Color Studio educates readers by illustrating results of projects, such as joining wire-frame, surface, and solid models, which are complex to understand in black and white. Trial versions of today's hottest software, including JASC Paint Shop Pro and Mech-Q drafting utilities. More than 100 original project drawings, image files, and sound files to help you work through the book's 3D projects. All the files needed to complete the exercises in the book with answers and examples of completed work.
The Webmaster's Handbook with Cdrom
Authors: John Merlin Fisher
Venue:  (1996)

:Whatever environment you work in, you can build and manage a Web site that integrates cutting-edge technology with visual appeal, interactive functionality, safety, and easy maintenance. Powerful, time-saving tips are right at your fingertips in The Webmaster's Handbook.
GISMO: a Generator of Internet Streaming Media Objects and workloads
Authors: Shudong Jin, Azer Bestavros
Venue: ACM SIGMETRICS Performance Evaluation Review (2001)

This paper presents a tool called GISMO (Generator of Internet Streaming Media Objects and workloads). GISMO enables the specification of a number of streaming media access characteristics, including object popularity, temporal correlation of request, seasonal access patterns, user session durations, user inter-activity times, and variable bit-rate (VBR) self-similarity and marginal distributions. The embodiment of these characteristics in GISMO enables the generation of realistic and scalable request streams for use in the benchmarking and comparative evaluation of Internet streaming media delivery techniques. To demonstrate the usefulness of GISMO, we present a case study that shows the importance of various workload characteristics in determining the effectiveness of proxy caching and server patching techniques in reducing bandwidth requirements.
Analyzing security protocols with secrecy types and logic programs
Authors: Martín Abadi, Bruno Blanchet
Venue: ACM SIGPLAN Notices (2002)

We study and further develop two language-based techniques for analyzing security protocols. One is based on a typed process calculus; the other, on untyped logic programs. Both focus on secrecy properties. We contribute to these two techniques, in particular by extending the former with a flexible, generic treatment of many cryptographic operations. We also establish an equivalence between the two techniques.
PowerBuilder 5: A Developers Guide
Authors: David R. McClanahan
Venue:  (1996)

:PowerBuilder 5: A Developer's Guide is a comprehensive guide to the leading client/server development environment for Windows. PowerBuilder 5: A Developer's Guide covers all aspects of PowerBuilder from the PowerBuilder Desktop to advanced data handling, automated transactions, and SQL programming. DataWindows, Database Painter, and OOP programming techniques are also covered and the CD-ROM contains all the sample applications from the book.
Intelligent Environments: Spatial Aspects of the Information Revolution
Authors: Peter Droege
Venue:  (1997)

:The environment - as modified and created by people - is largely organized around the use of information, its generation and exchange. How do recent innovations in the technologies of information management and communication affect our use of space and place, and the way we perceive and think about our surroundings? A wide range of professionals and academics reports findings, views and ideas. Together, they describe the architecture of a postmodern paradigm: how swiftly mutating and proliferating technology applications have begun to interact with the construction and reading of space in architecture, economics, geography, history, planning, social science, transport, visual art - but also in the newer domains that have joined this spectrum through the very nature of their impacts: information technology and telecommunications. 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
Possibilities and limitations of call-by-need space improvement
Authors: Jörgen Gustavsson, David Sands
Venue: ACM SIGPLAN Notices (2001)

Innocent-looking program transformations can easily change the space complexity of lazy functional programs. The theory of space improvement seeks to characterize those local program transformations which are guaranteed never to worsen asymptotic space complexity of any program. Previous work by the authors introduced the space improvement relation and showed that a number of simple local transformation laws are indeed space improvements. This paper seeks an answer to the following questions: is the improvement relation inhabited by interesting program transformations, and, if so, how might they be established? We show that the asymptotic space improvement relation is semantically badly behaved, but that the theory of strong space improvement possesses a fixed-point induction theorem which permits the derivation of improvement properties for recursive definitions. With the help of this tool we explore the landscape of space improvement by considering a range of classical program transformation.