ppxscal/embedding_network huggingface dataset:
Scalable, efficient epidemiological simulation
Authors: Stephen Eubank
Venue: Proceedings of the 2002 ACM symposium on Applied computing (2002)

We describe the design and implementation of a system for simulating the spread of disease among individuals in a large urban population over the course of several weeks. In contrast to traditional approaches, we do not assume uniform mixing among large sub-populations or split the population into spatial or demographic subpopulations determined a priori. Instead, we rely on empirical estimates of the social network, or contact patterns, that are produced by TRANSIMS, a large-scale simulation of transportation systems.
Negotiation-based protocols for disseminating information in wireless sensor networks
Authors: Joanna Kulik, Wendi Heinzelman, Hari Balakrishnan
Venue: Wireless Networks (2002)

In this paper, we present a family of adaptive protocols, called SPIN (Sensor Protocols for Information via Negotiation), that efficiently disseminate information among sensors in an energy-constrained wireless sensor network. Nodes running a SPIN communication protocol name their data using high-level data descriptors, called meta-data. They use meta-data negotiations to eliminate the transmission of redundant data throughout the network. In addition, SPIN nodes can base their communication decisions both upon application-specific knowledge of the data and upon knowledge of the resources that are available to them. This allows the sensors to efficiently distribute data given a limited energy supply. We simulate and analyze the performance of four specific SPIN protocols: SPIN-PP and SPIN-EC, which are optimized for a point-to-point network, and SPIN-BC and SPIN-RL, which are optimized for a broadcast network. Comparing the SPIN protocols to other possible approaches, we find that the SPIN protocols can deliver 60% more data for a given amount of energy than conventional approaches in a point-to-point network and 80% more data for a given amount of energy in a broadcast network. We also find that, in terms of dissemination rate and energy usage, the SPIN protocols perform close to the theoretical optimum in both point-to-point and broadcast networks.
Coarse-to-Fine Dynamic Programming
Authors: Christopher Raphael
Venue: IEEE Transactions on Pattern Analysis and Machine Intelligence (2001)

We introduce an extension of dynamic programming (DP) we call ¿Coarse-to-Fine Dynamic Programming¿ (CFDP), ideally suited to DP problems with large state space. CFDP uses dynamic programming to solve a sequence of coarse approximations which are lower bounds to the original DP problem. These approximations are developed by merging states in the original graph into ¿superstates¿ in a coarser graph which uses an optimistic arc cost between superstates. The approximations are designed so that when CFDP terminates the optimal path through the original state graph has been found. CFDP leads to significant decreases in the amount of computation necessary to solve many DP problems and can, in some instances, make otherwise infeasible computations possible. CFDP generalizes to DP problems with continuous state space and we offer a convergence result for this extension. The computation of the approximations requires that we bound the arc cost over all possible arcs associated with an adjacent pair of superstates; thus the feasibility of our proposed method requires the identification of such a lower bound. We demonstrate applications of this technique to optimization of functions and boundary estimation in mine recognition.
Applied Calculus with Technology, 1st edition
Authors: Richard C. Weimer
Venue:  (1998)

:Understanding that technology can be both a valuable tool and as an active companion in the learning of calculus, Weimer has produced a textbook that students-those majoring in business, management, economics, and the social, life and physical sciences-will appreciate for the way it helps guide them into the 21st century. Students are introduced to functions and associated preliminary algebraic material, and then are presented with basic concepts of differential calculus. The organization and careful introduction of material is designed to help even poorly prepared students succeed. This text is ideal for professors who wish to integrate DERIVE« or the TI-92 graphing calculator into the applied calculus course. 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 formal approach to the assessment and improvement of terminological models used in information systems engineering
Authors: Peter Wendorff
Venue: ACM SIGSOFT Software Engineering Notes (2001)

In the design and implementation of any information system identifiers are used to designate concepts. Typical examples are names of classes, variables, modules, database fields, etc. A terminological model is a set of identifiers together with a set of abstractions and a set of links between identifiers and abstractions. Naturally, terminological models embody important knowledge of a system, and therefore they play an important role during the development of information systems. In this paper we propose a metamodel for terminological models that is based on category theory as conceptual and notational framework.
An initial evaluation of the Tera Multithreaded Architecture and programming system using the C3I parallel benchmark suite
Authors: Sharon Brunett, John Thornley, Marrq Ellenbecker
Venue: Proceedings of the 1998 ACM/IEEE conference on Supercomputing (CDROM) (1998)

The Tera Multithreaded Architecture (MTA) is a radical new architecture intended to revolutionize high-performance computing in both the scientific and commercial marketplaces. Each processor supports 128 threads in hardware. Extremely fast thread switching is used to mask latency in a uniform-access memory system without caching. It is claimed that these hardware characteristics allow compilers to easily transform sequential programs into efficient multithreaded programs for the Tera MTA. In this paper, we attempt to provide an objective initial evaluation of the performance of the Tera multithreaded architecture and programming system for general-purpose applications. The basis of our investigation is two programs from the C3I Parallel Benchmark Suite (C3IPBS). Both these programs have previously been shown to have the potential for large-scale parallelization. We compare the performance of these programs on (i) a fast uniprocessor, (ii) two conventional shared-memory multiprocessors, and (iii) the first installed Tera MTA (at the San Diego Supercomputer Center). On these platforms, we compare the effectiveness of both automatic and manual parallelization.
Inside Windows NT Infrastructures
Authors: David Iseminger
Venue:  (1998)

:With Windows NT becoming the dominant operating system in corporations today, IT professionals have a real need for hard answers to nuts-and-bolts questions about how to work with NT. This kind of information can really only be provided by Microsoft's NT Performance Group, where author David Iseminger works. As a result, this book contains real-world information that just hasn't been available before.
An active functionality service for e-business applications
Authors: M. Cilia, A. P. Buchmann
Venue: ACM SIGMOD Record (2002)

Service based architectures are a powerful approach to meet the fast evolution of business rules and the corresponding software. An active functionality service that detects events and involves the appropriate business rules is a critical component of such a service-based middleware architecture. In this paper we present an active functionality service that is capable of detecting events in heterogeneous environments, it uses an integral ontology-based approach for the semantic interpretation of heterogeneous events and data, and provides notifications through a publish/subscribe notification mechanism. The power of this approach is illustrated with the help of an auction application and through the personalization of car and driver portals in Internet-enabled vehicles.
Global Advantage on the Internet: From Corporate Connectivity to International Competitiveness, 1st edition
Authors: Mary J. Cronin
Venue:  (1997)

:Business on the Internet is going global. Thousands of U.S. companies have already discovered the value of the World Wide Web for marketing, sales, and customer support. The Web breaks down traditional barriers to international commerce, and innovative companies can use it to transcend the limits of size and location and to compete in the global electronic marketplace. But to thrive in this new environment, managers need to understand both the advantages and the pitfalls of business without borders. Global Advantage on the Internet analyzes successful strategies of corporations around the world, illustrating how the Internet has changed the rules for international competitiveness.
DB2/400 Design Concepts: Referential Integrity and Triggers
Authors: Sharon L. Hoffman
Venue:  (1996)

:Now you can offload key data integrity enforcement from your application code to the database manager, so business rules cannot be bypassed and modifications can be made in one place rather than application by application. Midrange Computing editor Sharon Hoffman tells you how in her new book, DB2/400 Design Concepts: Referential Integrity and Triggers. "When the V3R1 database announcements were unveiled in May 1994, presenters assumed that customers understood the functions in theory," writes Hoffman in her introduction. "This assumption has proven to be invalid." The problem, she explains, is that V3R1 introduced "unfamiliar terminology based on database concepts that are unknown in the AS/400 business community." To rectify the situation, Hoffman wrote DB2/400 Design Concepts: Referential Integrity and Triggers--the first and only book designed to explain these important functions from the perspective of a traditional AS/400 programmer! 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
Static checking of interprocess communication in ECSP
Authors: F. Baiardi, L. Ricci, M. Vanneschi
Venue: ACM SIGPLAN Notices (1984)

The structure of a compiler for the ECSP language is described. ECSP is a concurrent language extending Hoare's CSP: it supports dynamic communication channels and nested processes. The compilation of ECPS programs is obtained by the composition of several tools of minimal functionalities.A set of static checks on interactions between concurrent processes is described. The checks verify the mutual consistency of the interfaces of processes: an interface is given by a set of input/output channels connecting a process to its partners. It is shown that the amount and the coverage of checks depend on the entities referred to in interprocess communication constructs and that both increase with the adoption of explicit naming.The checks on process interfaces are carried on in several tool of the compiler front-end to achieve machine independence. To support separate compilation, each tool can be applied to a subset of the processes of a program.
HP-UX System and Administration Guide
Authors: Jay Shah
Venue:  (1996)

:The system administrator's guide for the fastest growing UNIX operating system-HP-UX whether you're a developer,technical manager,operator,or system administrator,this invaluable guide offers you a solid,easy-to-understand introduction to Hewlett-Packard's increasingly popular UNIX operating systemHP-UX. This practical book provides the know-how needed to manage HP-UX systemsand also demonstrates the differences between HP-UX and other versions of UNIX,such as Solaris and AIX. HP-UX System and Adminstration Guide features: Complete information on HP=UX installation,management,tuning,and troubleshooting; Important networking/connectivity coverage of TCP/IP; Detailed guidance on HP-UX kernel configuration in a single chapter; Extensive descriptions of HP=UX hardware and software products. Filled with figures and diagrams as well as sample scripts,this first-of-its-kind reference contains the tools,techniques,and tips that will enable you to work confidently and effectively in the HP=UX environment
HTML Web Publishing 6-in-1
Authors: Todd Stauffer
Venue:  (1997)

:To be successful on the Web, you must know how to design effective Web pages that attract an audience and maintain a consistent level of repeat hits. This definitive guide to Web publishing shows you how to do just that. Get an overview of various publishing tools and languages, such as Java, ActiveX, and Visual Basic. Then learn how to use these programming languages and products, such as Netscape Composer and Microsoft FrontPage, to design tables, add sound and video, create forms, build animated GIF files, and more! Additional chapters teach you Web design principles and show you how to register your site with the most popular search engines.
Independent triangles covering given vertices of a graph
Authors: Hao Li, Jianping Li
Venue: Theoretical Computer Science (2001)

Let G be a simple graph of order n, k a positive integer with n&ge;3k and X a set of any k vertices of G. We show that if the minimum degree G)&ge;(n + k)=2, then G contains k independent triangles covering all vertices of X ; and if the minimum degree (G)&ge;(n+2k)=2, then G contains k independent triangles such that each triangle contains exactly one vertex of X . The bounds on the minimum degree of G in above results are sharp. Some conjectures about independent triangles covering some given vertices are proposed.
Word for Windows 6 for Dummies: Quick Reference
Authors: George Lynch
Venue:  (1994)

:Few word processing programs are as feature-packed as Microsoft Word. Now, with Word For Windows 6 For Dummies Quick Reference, all those features and expert techniques for putting them to use are at your fingertips and instantly accessible. Real-world examples show Word in action, with plain-English explanations of such things as how to Format text in multiple columns Create, apply, and modify styles for consistent, professional-looking documents Insert graphic images, spreadsheet data and charts, and all kinds of other information Print envelopes and labels Plus, to help you get to in-depth information quickly, Word For Windows 6 For Dummies Quick Reference contains cross references to Word For Windows&reg; 6 For Dummies&reg;.
Using Excel Visual Basic for Applications (Special Edition), 2nd edition
Authors: Jeff Webb
Venue:  (1995)

:Written by a former Senior Writer at Microsoft, this book shows the reader how to do everything from simple macro creation to powerful application development. Readers will be able to speed up the development process and avoid "reinventing the wheel" for common processes.Leads the reader through the process of recording and modifying macrosExplains how to create stand-alone Windows applicationsPerfect companion to the Visual Basic Application documentation
Upgrading and Fixing MACs and IMACS for Dummies, 1st edition
Authors: Todd Todd Stauffer
Venue:  (2000)

:Hands-on advice to boost your system's performanceCovers USB, FireWire, Power PC G3/G4 acceleration, and moreRev up performance and resolve problems  no experience required! Is your Mac acting sluggish? Does it crash all the time? Relax! With the step-by-step instructions in this friendly do-it-yourself guide, you'll soon have your system back in tip-top shape. From installing today's coolest add-ins and peripherals to troubleshooting typical problems, it's just what you need to get the most out of your Mac.Discover how to: Formulate an upgrade plan Select high-performance peripherals Set up high-speed Internet access Upgrade cards, RAM, drives, and processors Maintain and troubleshoot your systemThe Dummies Way Explanations in plain English "Get in, get out" information Icons and other navigational aids Tear-out cheat sheet Top ten lists A dash of humor and funGet smart! www.dummies.com Register to win cool prizes Browse exclusive articles and excerpts Get a free Dummies Daily e-mail newsletter Chat with authors and preview other books Talk to us, ask questions, get answersAuthor Biography: Todd Stauffer is the "Upgrade Guy" columnist for MacCentral Online, publisher of Mac-Upgrade.com, and cohost of the Disk Doctors television show. His books include the Macworld® Mac® Upgrade and Repair Bible and the Macworld® Mac® OS 9 Bible.
CORBA Networking with Java with Cdrom
Authors: George M. Doss
Venue:  (1998)

:"CORBA Networking with Java" is a practical, hands-on approach for network administrators who want to know the day-to-day pitfalls and problems of integrating a CORBA network with Java. The CD-ROM contains an Intranet fundamentals course.
Simulation of factory operations: simulation in daily factory operation: 'setting the line bogey in Augusta'
Authors: Gordon D. Rehn
Venue: Proceedings of the 32nd conference on Winter simulation (2000)

The John Deere Augusta Works uses discrete event simulation in predicting assembly line output as a function of varying model and option mix quantities in daily production schedules. The most unique aspect of this application is not necessarily how it is used but who uses the model. Prior to each production day, a Union representative executes the model, and the simulation results establish the target production goal for the day. Day-to-day wages are based on the actual production attained relative to the simulated target. This paper describes the simulation tool structure designed for Augusta, and discusses the circumstances surrounding this unique simulation application. Included in the discussion are the benefits derived from the application; the critical success factors enabling its use; lessons learned in converting a simulation analysis into an operating tool; and future improvements envisioned.
Agents as Objects with Knowledge Base State
Authors: Nikolaos Skarmeas
Venue:  (1998)

:Advances in computer technology in general and computer networks in particular have significantly affected the requirements of modern applications, where the need to operate in decentralised environments is of primary importance. The conceptual models of the applications are also becoming complex and semantically rich.A promising technology towards the design and development of systems of such domains is agent based systems. Agents, having a knowledge component, act and interact with other agents and information sources in order to achieve some goals. Platforms intended for l supporting the development of such systems should offer a number of features, including communication, concurrency, mobility, high level data structures, object orientation etc.This book describes the design and implementation of such a language platform called April++ and its use on a number of applications. Methodologically, in designing and implementing the language, a layered approach has been adopted. April++ has been developed as a series of mecro defined layers on top of the relatively primitive features of a pre-existing language called April.On top of April++ a number of application layers have been built, specific for the application domains considered. This includes a mobile agent application, a distributed database application and a network management one.
Digital and Microprocessor Fundamentals: Theory and Applications, 2nd edition
Authors: William Kleitz
Venue:  (1996)

:Focusing on the "must-know", this text provides one-volume coverage of the fundamentals of both digital electronics and microprocessors, helping the reader to become proficient at both the hardware and software aspects of microprocessor-based systems. It uses a simple, easy-to-understand writing style, an abundance of clearly explained examples, and nearly 1,000 illustrations to explain practical applications and problems using industry-standard ICs and circuits and schematics that the reader will encounter on the job. Important features of this text are many: coordinates digital/microprocessor coverage throughout the text; first provides all theory required to understand a particular IC or circuit, then gives examples of its use; includes examples and system design applications that give a complete explanation of circuit operation - with all required hardware and software, so they can be duplicated in the lab; uses the 8085A microprocessor and 8051 microcontroller to explain the fundamentals of microprocessor architecture, programming, and hardware; clearly explains the microprocessor program solutions for the 8085 and 8051; includes a glossary for each chapter; and contains a Supplementary Index of ICs and an Instruction Set Reference Encyclopedia. Complete with end-of-chapter summaries, numerous appendixes, and schematic interpretation problems (all of which are new to this second edition), this text is an essential source for the fundamentals of theory and 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
The "look and feel" of an ebook: considerations in interface design
Authors: Ruth Wilson
Venue: Proceedings of the 2002 ACM symposium on Applied computing (2002)

This paper asks, "How should an electronic textbook look and feel?" The results of the Visual Book and the WEB Book experiments, both of which address this question, are discussed, and the EBONI (Electronic Book ON-screen Interface) Project's evaluations involving students and lecturers in UK Higher Education are outlined. It is proposed that, in terms of the on-screen appearance of information, certain aspects of the paper book metaphor should be retained and that text should be made more "scannable" to suit the electronic medium. In terms of the look and feel of the physical object, issues such as display technology, size, weight and ergonomics should be taken into account. These considerations will form the basis of EBONI's best practice guidelines for designing electronic textbooks.
Complete guide to Internet publicity: creating and launching successful online campaigns
Authors: Steve O'Keefe
Venue:  (2002)

With an extremely crowded and competitive online marketplace, attracting and holding an audience is now more critical to a company's success than ever before. This sequel to Steve O'Keefe's bestselling classic Public on the Internet offers a step-by-step guide to creating and deploying online campaigns.
Simplifying video editing with SILVER
Authors: Juan Casares, A. Chris Long, Brad Myers, Scott Stevens, Albert Corbett
Venue: CHI '02 extended abstracts on Human factors in computing systems (2002)

Digital video is becoming more ubiquitous. Unfortunately, editing videos remains difficult for several reasons. It has dual tracks of audio and video and may require working at the smallest level of detail. Silver is an authoring tool that uses video metadata to overcome these problems. It provides mulitiple views with different content types and at different levels of abstraction. This paper focuses on Silver's smart selection and editing operations, which work at a high semantic level and handle different boundaries in audio and video. Our research suggests several ways in which video editing tools can assist users in the composition and reuse of video.