ppxscal/embedding_network huggingface dataset:
Smartest recompilation
Authors: Zhong Shao, Andrew W. Appel
Venue: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1993)

To separately compile a program module in traditional statically-typed languages, one has to manually write down an import interface which explicitly specifies all the external symbols referenced in the module. Whenever the definitions of these external symbols are changed, the module has to be recompiled. In this paper, we present an algorithm which can automatically infer the &ldquo;minimum&rdquo; import interface for any module in languages based on the Damas-Milner type discipline (e.g., ML). By &ldquo;minimum&rdquo;, we mean that the interface specifies a set of assumptions (for external symbols) that are just enough to make the module type-check and compile. By compiling each module using its &ldquo;minimum&rdquo; import interface, we get a separate compilation method that can achieve the following optimal property: A compilation unit never needs to be recompiled unless its own implementation changes.
Subtopic structuring for full-length document access
Authors: Marti A. Hearst, Christian Plaunt
Venue: Proceedings of the 16th annual international ACM SIGIR conference on Research and development in information retrieval (1993)

We argue that the advent of large volumes of full-length text, as opposed to short texts like abstracts and newswire, should be accompanied by corresponding new approaches to information access. Toward this end, we discuss the merits of imposing structure on full-length text documents; that is, a partition of the text into coherent multi-paragraph units that represent the pattern of subtopics that comprise the text. Using this structure, we can make a distinction between the main topics, which occur throughout the length of the text, and the subtopics, which are of only limited extent. We discuss why recognition of subtopic structure is important and how, to some degree of accuracy, it can be found. We describe a new way of specifying queries on full-length documents and then describe an experiment in which making use of the recognition of local structure achieves better results on a typical information retrieval task than does a standard IR measure.
Using redundancies to find errors
Authors: Yichen Xie, Dawson Engler
Venue: Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering (2002)

This paper explores the idea that redundant operations, like type errors, commonly flag correctness errors. We experimentally test this idea by writing and applying four redundancy checkers to the Linux operating system, finding many errors. We then use these errors to demonstrate that redundancies, even when harmless, strongly correlate with the presence of traditional hard errors (e.g., null pointer dereferences, unreleased locks). Finally we show that how flagging redundant operations gives a way to make specifications "fail stop" bydetecting dangerous omissions.
The Information Systems Consultant's Handbook: Systems Analysis and Design, 1st edition
Authors: William S. Davis, David C. Yen
Venue:  (1998)

:The Information System Consultant's Handbook familiarizes systems analysts, systems designers, and information systems consultants with underlying principles, specific documentation, and methodologies. Eighty-two chapters comprise the book, and each chapter covers a single tool, technique, set of principles, or methodology. The clear, concise narrative, supplemented with numerous illustrations and diagrams, makes the material accessible for readers - effectively outlining new and unfamiliar analysis and design topics.
Efficient synchronization for mobile XML data
Authors: Franky Lam, Nicole Lam, Raymond Wong
Venue: Proceedings of the eleventh international conference on Information and knowledge management (2002)

Many handheld applications receive data from a primary database server and operate in an intermittently connected environment these days. They maintain data consistency with data sources through sychronization. In certain applications such as sales force automation, it is highly desirable if updates on the data source can be reflected at the handheld applications immediately. This paper proposes an efficient method to synchronize XML data on multiple mobile devices. Each device retrieves and caches a local copy of data from the database source based on a regular path expression. These local copies may be overlapping or disjoint with each other. An efficient mechanism is proposed to find all the disjoint copies to avoid unnecessary synchronizations. Each update to the data source will then be checked to identify all handheld applications which are affected by the update. Communication costs can be further reduced by eliminating the forwarding of unnecessary operations to groups of mobile clients.
Windows NT Thin Client Solutions: Implementing Terminal Server and Citrix MetaFrame, 1st edition
Authors: Todd W. Mathers, Shawn P. Genoway
Venue:  (1998)

:A comprehensive treatment of implementation considerations, Windows NT Thin Client Solutions: Implementing Terminal Server and Citrix Metaframe is an invaluable resource for system architects, system engineers, and network administrators who are integrating thin client technology into their networks. This book is a critical resource to help you evaluate the potential benefits of thin client technology for your specific network environment. Each stage of implementation is covered in detail, including:Solutions for a wide variety of corporate networks, from single-server operations to multiple-server international enterprise networksExpert advice on determining desktop, client infrastructure, and wide area network requirementsVital information on integrating Citrix MetaFrame with Microsoft Terminal Server, a critical task for networks that use other operating systems in addition to Windows NT Authoritative material on how to successfully install, optimize, and troubleshoot applications in a multi-user environment
Efficiently Constructing the Visibility Graph of a Simple Polygon with Obstacles
Authors: Sanjiv Kapoor, S. N. Maheshwari
Venue: SIAM Journal on Computing (2000)

This paper describes an output-sensitive scheme to construct the visibility graph of a simple polygon with m obstacles and n vertices in optimal O(|E| +T + m log n ) time where |E| is the size of the visibility graph and T is the time required to triangulate the simple polygon with obstacles. We use a partition of the space into regions called corridors which eases the efforts of the construction. Our algorithms are simple and the data structures used are only linked lists.
Digital Communication Receivers: Synchronization, Channel Estimation, and Signal Processing
Authors: Heinrich Meyr, Marc Moeneclaey, Stefan Fechtel
Venue:  (1997)

:Digital Communication Receivers offers a complete treatment on the theoretical and practical aspects of synchronization and channel estimation from the standpoint of digital signal processing. The focus on these increasingly important topics, the systematic approach to algorithm development, and the linked algorithm-architecture methodology in digital receiver design are unique features of this book. The material is structured according to different classes of transmission channels. In Part C, baseband transmission over wire or optical fiber is addressed. Part D covers passband transmission over satellite or terrestrial wireless channels. Part E deals with transmission over fading channels. Designed for the practicing communication engineer and the graduate student, the book places considerable emphasis on helpful examples, summaries, illustrations, and bibliographies. Contents include basic material, baseband communications, passband transmission, receiver structure for PAM signals, synthesis of synchronization algorithms, performance analysis of synchronizers, bit error degradation caused by random tracking errors, frequency estimation, timing adjustment by interpolation, DSP system implementation, characterization, modeling, and simulation of linear fading channels, detection and parameter synchronization on fading channels, receiver structures for fading channels, parameter synchronization for flat fading channels, and parameter synchronization for selective fading channels.
Extendible hashing for concurrent operations and distributed data
Authors: Carla Schlatter Ellis
Venue: Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems (1983)

The extendible hash file is a dynamic data structure that is an alternative to B-trees for use as a database index. While there have been many algorithms proposed to allow concurrent access to B trees similar solutions for extendible hash files have not appeared. In this paper, we present solutions to allow for concurrency that are based on locking protocols and minor modifications in the data structure.Another question that deserves consideration is whether these indexing structures can be adapted for use in a distributed database. Among the motivations for distributing data are increased availability and ease of growth, however, unless data structures in the access path are designed to support those goals, they may not be realized. We describe some first attempts at adapting extendible hash files for distributed data.
AutoCAD LT: Fundamentals and Applications
Authors: Ted Saufley, Paul B. Schreiner
Venue:  (2002)

:This text is a text and workbook combination that provides complete instruction in mastering AutoCAD LT for Windows 3.1 commands and drawing techniques. All AutoCAD LT for Windows 3.1 commands, menus, and techniques present in this text are covered in an easy-to-understand format.
An evaluation of color patterns for imaging of warning signals in cockpit displays
Authors: Tatiana Evreinova, Roope Raisamo
Venue: Proceedings of the second Nordic conference on Human-computer interaction (2002)

The quality of information perception in an aircraft cockpit depends on the way of interacting with display units, including modality, interface structure, and external exploitation conditions. The goal of this work is to find a solution that would allow real-time imaging or doubling of audible warning signals through spatial-temporal color coding. Software emulation of the peripheral display was built. The development and pilot evaluation of the method were both performed. Presentation of visual signals in paracentral field is efficient, but their optical and temporal parameters are critical in relation to distraction effect.
Microsoft FrontPage 2002: Introductory Concepts and Techniques, 1st edition
Authors: Thomas J. Cashman, Michael Mick, Gary B. Shelly
Venue:  (2001)

:Part of the highly successful Shelly Cashman Series, Microsoft FrontPage 2002 Introductory Concepts and Techniques provides step-by-step instructions accompanied by full-color screen shots, helping students learn basic FrontPage 2002 skills quickly and easily.
Zeus: Master of Olympus
Authors: Prima Temp Authors, Chris McCubbin
Venue:  (2000)

:Be a god in your own time! In Zeus: Master of Olympus, all the power is in your hands. Gods walk among mortals in the city states of your design, causing havoc or happiness wherever they wander. Summon famous mythological heroes to help you face the gods' wrath and complete your Herculean tasks. In Zeus: Master of OlympusPrima's Official Strategy Guide, you'll learn to avoid the pitfalls of bad diplomacy, host your own Olympic games, and be a hero! Prima can take you back to the past in no time at all with:Detailed walkthroughs of every adventureResources, events, and goals for each episodeCity-building strategiesAdvice on getting the most out of trade and diplomacyThe ins and outs of divine favor and wrathTerrain maps for every city
DeBugging SAS Programs: A Handbook of Tools and Techniques, 1st edition
Authors: Michele M. Burlew
Venue:  (2001)

:Crack SAS coding problems quickly! Discover how SAS identifies problems; what the SAS log really means; common DATA step, PROC, and SAS macro problems and their solutions; and a quick reference of error messages. Debugging SAS Programs: A Handbook of Tools and Techniques is the "go-to" guide that helps you solve the most common problems that occur in the SAS DATA step, in base SAS PROCs, and in SAS macro code. The author covers a broad range of programming problems, from syntax errors to complex logic errors. The numerous examples will help you understand and eliminate these errors--and identify ways to avoid them from the start. Topics include how to read the SAS log; how to interpret error, note, and warning messages; and how to solve problems that might occur in the DATA step, base SAS PROC steps, and SAS macros. Supports releases 6.12 and higher of SAS software.Author Biography: Michele M. Burlew The author of SAS Macro Programming Made Easy, Michele Burlew is a self-employed SAS programmer with more than 20 years of experience. She specializes in designing and programming a variety of SAS applications, and she has expertise in using many SAS products. Michele's extensive experience in developing programs and working with end users gives her keen insight into the needs of SAS software users. 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
Teach Yourself PowerBuilder 5 (with Disk), 1st edition
Authors: David R. McClanahan, McClanahan Book Company
Venue:  (1996)

:First time developers can learn PowerBuilder 5 techniques from real-world examples and step-by-step instructions on how to build applications with teach yourself...PowerBuildeer 5. teach yourself...PowerBuildeer 5 gives readers a solid understanding of the PowerBuilder desktop and its tools. OOP programming techniques, custom ordering system and inventory control applications are covered, and the disk contains sample Powerscript code detailing the examples found in the book.
Relational rule induction with CPROGO14.4: a tutorial introductuon
Authors: Stephen Muggleton, John Firth
Venue: Relational Data Mining (2001)

This chapter describes the theory and use of CPROGOL4.4, a state-of-the-art Inductive Logic Programming (ILP) system. After explaining how to download the source code, the reader is guided through the development of PROGOL input files containing type definitions, mode declarations, back-ground knowledge, examples and integrity constraints. The theory behind the system is then described using a simple example as illustration. The main algorithms in PROGOL are given and methods of pruning the search space of possible hypotheses are discussed. Next the application of built-in procedures for estimating predictive accuracy and statistical significance of PROGOL hypotheses is demonstrated. Lastly, the reader is shown how to use the more advanced features of CPROGOL4.4, including positive-only learning and the use of metalogical predicates for pruning the search space.
PS2 Collection: Prima's Unauthorized Strategy Guide
Authors: David Mathews
Venue:  (2001)

:Armored Core 2Real PoolDOA2: HardcoreRidge Racer VDynasty Warriors 2SilpheedEternal RingSky OdysseyEvergraceSmuggler's RunFantavisionSSXGungriffon BlazeSummonerKessenSurfing H30Madden NFL 2001Swing Away GolfMidnight ClubTekken Tag TournamentMoto GPTimeSplittersNFL GameDay 2001Unreal TournamentNHL 2001Wild Wild RacingOrphenX SquadQ-BallReady 2 Rumble Boxing: Round 2
IT-based competency modeling and management: from theory to practice in enterprise engineering and operations
Authors: Mounira Harzallah
Venue: Computers in Industry (2002)

Better management of human competencies is becoming a new source of improvement of industrial performances for many companies, be they goods production, service or administrative organizations. In this paper, a new approach based on information technology is proposed for modeling and managing competencies within the enterprise engineering environment and the enterprise operations environment. Especially, a formal model of competency and related concepts (CRAI model) is first proposed and then a computer-based tool is discussed for qualitative and quantitative management of competencies. A competency database application for the management of a maintenance department of large manufacturing plant illustrates the approach and demonstrates potential functionalities of the computerized system. A discussion on extensions to collective competencies concludes the paper.
Efficient strategies for adaptive 3-D mesh generation over complex orography
Authors: R. Montenegro, G. Montero, J. M. Escobar, E. Rodríguez
Venue: Neural, Parallel Scientific Computations (2002)

In the FEM simulation of processes that occur in a three-dimensional domain defined over an irregular terrain, it is fundamental to have a mesh generator being capable of adapting itself to the topographic characteristics. The objective of this work is to develop a code able to generate a tetrahedral mesh from an "optimal" node distribution in the domain. This last one is limited in its lower part by the terrain, and in its upper part by a horizontal plane placed in such a height that the magnitudes under study may be considered steady. The lateral walls are formed by four vertical planes. The main ideas for the construction of the initial mesh combine, on one hand, the use of a refinement/derefinement algorithm for two-dimensional domains; and, on the other hand, a tetrahedral mesh generator algorithm based on Delaunay triangulation. Moreover, it is proposed a procedure to optimise the resulting mesh. It is also analysed a function to define the vertical distance between nodes distributed in the domain, and several strategies for the appropriate generation of the corresponding set of points are proposed. Finally, in order to show the efficiency of these techniques, every strategy is applied to the construction of meshes adapted to the topography of a south part of La Palma (Canary Islands).
Textile displays: using textiles to investigate computational technology as design material
Authors: Lars Hallnäs, Linda Melin, Johan Redström
Venue: Proceedings of the second Nordic conference on Human-computer interaction (2002)

As we face an increasingly heterogeneous collection of computational devices, there is a need to develop a general approach to what it is that we design as we create computational things. One such basic approach is to consider computational technology to be a design material. In the present paper, we describe how a traditional material --- textiles --- can be used to investigate aspects of the expressiveness and aesthetics of computational technology as design material. As an example of this approach, we use an experimental design project made for an art museum. We describe a series of conceptual sketches of how textile artefacts can be used to re-interpret elementary acts of information technology use and the experiences from working with the final installation of one of them. Finally, we discuss properties of textiles and computational technology, such as expressions related to vagueness, unpredictability and slowness.
Cryptography and Security, 1st edition
Authors: S. Tsujii
Venue:  (1992)

:Introduces recent results of Japanese research and development in post-DES (Data Encryption Standard) cryptography. topics covered include fundamental techniques in cryptography, practical results on the development of common-key cryptosystems, identify-based key distribution systems, authentication systems, key management, and the development of cryptographic instruments (such as encryption equipment devices [services] for voice communication). Provides a survey of Japanese advances in security techniques for concealing communications and file data, detecting illegal data modification, and data verification. 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
How to Use Microsoft Office 97: Visually in Full Color, 2nd edition
Authors: Sherry Willard Kinkoph, Kathy Ivens
Venue:  (1998)

:How to Use presents you with a straightforward, visual approach to learning. The steps and graphics guide you through the tasks you'll need to perform in Office 97.
Incremental Learning with Respect to New Incoming Input Attributes
Authors: Sheng-Uei Guan, Shanchun Li
Venue: Neural Processing Letters (2001)

Neural networks are generally exposed to a dynamic environment where the training patterns or the input attributes (features) will likely be introduced into the current domain incrementally. This Letter considers the situation where a new set of input attributes must be considered and added into the existing neural network. The conventional method is to discard the existing network and redesign one from scratch. This approach wastes the old knowledge and the previous effort. In order to reduce computational time, improve generalization accuracy, and enhance intelligence of the learned models, we present ILIA algorithms (namely ILIA1, ILIA2, ILIA3, ILIA4 and ILIA5) capable of Incremental Learning in terms of Input Attributes. Using the ILIA algorithms, when new input attributes are introduced into the original problem, the existing neural network can be retained and a new sub-network is constructed and trained incrementally. The new sub-network and the old one are merged later to form a new network for the changed problem. In addition, ILIA algorithms have the ability to decide whether the new incoming input attributes are relevant to the output and consistent with the existing input attributes or not and suggest to accept or reject them. Experimental results show that the ILIA algorithms are efficient and effective both for the classification and regression problems.
MCSE Windows 98 for Dummies, 1st edition
Authors: Glenn E. Weadock
Venue:  (1998)

:Complete with a CD-ROM loaded with exam questions written just for this book by Microsoft-certified experts, MCSE Windows 98 For Dummies brings you everything you need to pass the exam - and make every second count.
Exponential time differencing for stiff systems
Authors: S. M. Cox, P. C. Matthews
Venue: Journal of Computational Physics (2002)

We develop a class of numerical methods for stiff systems, based on the method of exponential time differencing. We describe schemes with second- and higher-order accuracy, introduce new Runge-Kutta versions of these schemes, and extend the method to show how it may be applied to systems whose linear part is nondiagonal. We test the method against other common schemes, including integrating factor and linearly implicit methods, and show how it is more accurate in a number of applications. We apply the method to both dissipative mad dispersive partial differential equations, after illustrating its behavior using forced ordinary differential equations with stiff linear parts.