ppxscal/embedding_network huggingface dataset:
Assigning types to processes
Authors: Nobuko Yoshida, Matthew Hennessy
Venue: Information and Computation (2002)

In wide area distributed systems it is now common for higher-order code to be transferred from one domain to another; the receiving host may initialise parameters and then execute the code in its local environment. In this paper we propose a fine-grained typing system for a higher-order -calculus which can be used to control the effect of such migrating code on local environments. Processes may be assigned different types depending on their intended use. This is in contrast to most of the previous work on typing processes where all processes are typed by a unique constant type, indicating essentially that they are well typed relative to a particular environment. Our fine-grained typing facilitates the management of access rights and provides host protection from potentially malicious behaviour. Our process type takes the form of an interface limiting the resources to which it has access and the types at which they may be used. Allowing resource names to appear both in process types and process terms, as interaction ports, complicates the typing system considerably. For the development of a coherent typing system, we use a kinding technique, similar to that used by the subtyping of the system F, and order-theoretic properties of our subtyping relation. Various examples of this paper illustrate the usage of our fine-grained process types in distributed systems.
E-Leader: Reinventing Leadership in a Connected Economy
Authors: Robert Hargrove
Venue:  (2002)

:How the dynamics of the connected economy are transforming the roles and rules of leadership.To be sure, the Internet has permeated every aspect of business todayfrom customer service to supply chain management, from recruitment to product development. Regardless of the dot.com fallout, the dynamics of the "connected economy" are transforming the practice and philosophy of leadership. In E-Leader, Robert Hargrove identifies the new mindset and skills that leaders must develop in order to thrive in a world where wealth is built on relationships and experiences, not products or even technology, and shows aspiring leaders in all types of organizations how to manage for the future. Author Biography: Robert Hargrove is founder and co-CEO of Masterful Coaching, Inc. An expert on organizational collaboration, coaching, and leadership, he consults worldwide and speaks and writes regularly on these issues. He lives in Brookline, Massachusetts. 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
Variable metric and conjugate direction methods in unconstrained optimization: recent developments
Authors: Donald Goldfarb
Venue: Proceedings of the ACM annual conference - Volume 1 (1972)

This paper discusses and summarizes three topics that are of current interest in the theory of unconstrained optimization. It treats variable metric algorithms that minimize convex quadratics in a finite number of steps without performing linear searches, variable metric and conjugate direction algorithms that minimize nonquadratics in a finite number of steps, and numerically stable variable metric updating formulas.
Study of category score algorithms for k-NN classifier
Authors: Huaizhong KOU, Georges Gardarin
Venue: Proceedings of the 25th annual international ACM SIGIR conference on Research and development in information retrieval (2002)

We analyzes category score algorithms for k-NN classifier found in the literature, including majority voting algorithm (MVA), simple sum algorithm (SSA). MVA and SSA are two mainly used algorithms to estimate score for candidate categories in k-NN classifier systems. Based on the hypothesis that utilization of internal relation between documents and categories could improve system performance, two new weighting score models: concept-based weighting (CBW) score model and term independence-based weighting (IBW) score model are proposed. Our experimental results confirm our hypothesis and show that in the term of precision average IBW and CBW are better than the other score models, while SSA is higher than MVA. According to macro-average F1 CBW performs best. Rocchio-based algorithm (RBA) always performs worst.
Operations and language generating devices suggested by the genome evolution
Authors: Jürgen Dassow, Victor Mitrana, Arto Salomaa
Venue: Theoretical Computer Science (2002)

Language-theoretic problems arising from the genome evolution discussed in series of papers (Dassow and Mitrana, Proc. 2nd Pacific Symp. on Biocomputing, World Scientific, Singapore, 1997, pp. 97-108; Bioinformatics, Lecture Notes in Computer Science, vol. 1278, Springer, Berlin, pp. 199-209; Dassow et al., BioSystems 43 (1997) 169-177; Dassow, Jewels are Forever, Springer, Berlin, 1999, pp. 171-181) are presented in a uniform way. The main emphasis is on the operations of inversion, transposition, duplication and deletion suggested by the genome evolution. Basic problems concerning these operations and their iterated versions are settled. A generative device (evolutionary grammar) based on these operations is investigated from different points of view (computational power, decidability problems, descriptional complexity). "Adult languages" (sets of stable strings) of such evolutionary grammars possess a surprising generative power.
Demystifying ATM/ADSL
Authors: Michael Busby
Venue:  (1998)

:In a book for the non-communications professional, ATM (asynchronous transfer mode) and ADSL (digital signal line) technologies are presented at an understandable level. The CD-ROM contains ATM training software.
The Density of Weakly Complete Problems under Adaptive Reductions
Authors: Jack H. Lutz, Yong Zhao
Venue: SIAM Journal on Computing (2000)

Given a real number $\alpha < 1$, every language that is weakly $\leq_{n^{\alpha / 2} - {\rm T}}^{{\rm P}} $-hard for E or weakly $\leq_{n^{\alpha} - {\rm T}}^{\rm P}$-hard for E2 is shown to be exponentially dense. This simultaneously strengthens the results of Lutz and Mayordomo (1994) and Fu (1995).
Introduction to E-Commerce, 1st edition
Authors: Jeffrey F. Rayport, Bernard Jaworski
Venue:  (2001)

:This book is written for present and future practitioners who need a solid foundation in all aspects of conducting business in the New Economy. The authors focus on what a manager needs to know about Internet infrastructure,strategy formulation and implementation,technology concepts,public policy issues,and capital infrastructure in order to make effective business decisions. The authors present a framework for the study and practice of e-Commerce with business strategy at the core surrounded by four infrastructures; the technology infrastructure that underlies the Internet,the media infrastructure that provides the content for businesses,public policy regulations that provide both opportunities and constraints,and the capital infrastructure that provides the money and capital to run the businesses. Within this framework,the authors provide a deep exploration of core concepts of New Economy strategy and associated enablers enriched by a wide variety of examples,case studies,and explanations culled directly from practice.
Fundamentals of Information Systems
Authors: Torsten Polle, Torsten Ripke, Klaus-Dieter Schewe
Venue:  (1999)

:Fundamentals of Information Systems contains articles from the 7th International Workshop on Foundations of Models and Languages for Data and Objects (FoMLaDO '98), which was held in Timmel, Germany. These articles capture various aspects of database and information systems theory.
Voice-mail diary studies for naturalistic data capture under mobile conditions
Authors: Leysia Palen, Marilyn Salzman
Venue: Proceedings of the 2002 ACM conference on Computer supported cooperative work (2002)

Mobile technology requires new methods for studying its use under realistic conditions "in the field." Reflexively, mobile technology also creates new opportunities for data collection while participants are remotely located. We report on our experiences with a variation on the paper-based diary study technique, which we extend by using voice-mail paired with mobile and landline telephony to more easily collect data in natural situations. We discuss lessons learned from experiences with voice-mail diary studies in two investigations of different scope. We also present suggestions for tailoring the technique to different research objectives, garnering high subject participation, and configuring the voice-mail system for data collection.
Book Complete: Labs F/Electr Using Workbench, 1st edition
Authors: Muhammad H. Rashid
Venue:  (1998)

:This exciting new lab manual brings the real-time circuit simulation and testing capabilities of the STUDENT EDITION OF ELECTRONICS WORKBENCH (EWB) to your electronics lab. Written by a recognized authority on SPICE technology, this exciting new lab manual takes full advantage of ELECTRONIC WORKBENCH'S easy-to-use, visual schematic capture interface and virtual test bench equipment. The 15 design projects in this book start users off with circuit model specifications and then walks them through the process of finding component values. Using ELECTRONIC WORKBENCH, users learn how to verify circuit designs, investigate how robust or sensitive a circuit is to component variation, and explore the design effects of varying component values on circuit performance, A volume in the Brooks/Cole Thomson Learning BookWare Companion Series, it acts as a useful lab supplement to any electronics text.
FAQshare: a frequently asked questions voting system as a collaboration and evaluation tool in teaching activities
Authors: Huu Le Van, Andrea Trentini
Venue: Proceedings of the 14th international conference on Software engineering and knowledge engineering (2002)

This paper describes a system for managing FAQ lists with voting, to be used in an educational environment. Our goal is twofold: 1) to optimize the student-teacher interaction; 2) to evaluate the effectiveness of learning. In our FAQ sharing system students can contribute to a FAQ collection on the subject taught. They can post questions and answers (as in a standard FAQ management system) and they can vote for both types of items (questions for interest, answers for correctness). This way we let them state the importance of any question (we give them some responsibility) and we can also score them depending on: 1) "importance" of questions posted (based on voting from the whole group); 2) correctness of their answers (stated by the teacher). In this article we present our FAQ system and some use cases and ideas for student-evaluation purposes.
Writing Apache Modules with PERL and C, 1st edition
Authors: Lincoln Stein, Doug McEachern
Venue:  (1999)

:Apache is the most popular Web server on the Internet because it is free, reliable, and extensible. The availability of the source code and the modular design of Apache makes it possible to extend Web server functionality through the Apache API. For the most part, however, the Apache API has only been available to C programmers, and requires rebuilding the Apache server from source. mod_perl, the popular Apache module used primarily for enhanced CGI performance, changed all that by making the Apache API available to Perl programmers. With mod_perl, it becomes simple to develop Apache modules with Perl and install them without having to rebuild the Web server. Writing Apache Modules with Perl and C teaches you how to extend the capabilities of your Web server regardless of whether you use Perl or C as your programming language. The book explains the design of Apache, mod_perl, and the Apache API. It then demonstrates how to use them to perform for tasks like the following: Rewriting CGI scripts as Apache modules to vastly improve performance Server-side filtering of HTML documents, to embed special markup or code (much like SSI) Enhancing server log functionality Converting file formats on the fly Implementing dynamic navigation bars Incorporating database access into CGI scripts Customizing access control and authorization to block robots or to use an external database for passwords The authors are Lincoln Stein and Doug MacEachern. Lincoln is the successful author of How to Set Up and Maintain a World Wide Web Site and the developer of the widely used Perl CGI.pm module. Doug is a consultant and the creator of the innovative mod_perl Apache module.
Integrating AD with object-oriented toolkits for high-performance scientific computing
Authors: Jason Abate, Steve Benson, Lisa Grignon, Paul Hovland, Lois McInnes, Boyana Norris
Venue: Automatic differentiation of algorithms: from simulation to optimization (2000)

Often the most robust and efficient algorithms for the solution of large-scale problems involving nonlinear PDEs and optimization require the computation of derivatives. We examine the use of automatic differentiation (AD) for computing first and second derivatives in conjunction with two parallel toolkits, the Portable, Extensible Toolkit for Scientific Computing (PETSc) and the Toolkit for Advanced Optimization (TAO). We discuss how the use of mathematical abstractions in PETSc and TAO facilitates the use of AD to automatically generate derivative codes and present performance data demonstrating the suitability of this approach.
Oracle NT Handbook
Authors: Rama Velpuri, Anand Adkoli
Venue:  (1998)

:The authors provide a solid migration path from UNIX to NT and guide you task-by-task through everything from installation to fine-tuning and troubleshooting. Whether you're an experienced or aspiring DBA, with a background in Oracle, NT, or both, this complete guide helps you maximize today's hottest database technology.
Look and Learn Dreamweaver 4
Authors: Glenn Weadock, Emily Sherrill Weadock
Venue:  (2001)

:This heavily illustrated, attractively priced guide from graphics guru Deke McClelland is just what designers need to get up to speed fast on the world's premier Web authoring software. Throughout, feature-by-feature descriptions and step-by-step how-to instructions, all keyed to example screenshots, show Web design rookies and veterans alike how to master the software- and create great sites.
Indian language solutions for GNU/Linux
Authors: Frederick Noronha
Venue: Linux Journal (2002)

Some of the hardest languages to support are also some of the most widely spoken. Here's an overview of the projects to make Linux work with the two languages on our cover and more.
Heroes of Might and Magic III: The Shadow of Death, Prima's Official Strategy Guide
Authors: Russ Ceccola
Venue:  (2000)

:Return to a turbulent world in need of champions with Heroes of Might & Magic III: Shadow of Death expansion. Players explore the land with four valiant heroes from different corners of the world. They must endure many perils and undertake a multitude of quests, while learning to work together to stop Sandro, an ambitious Lich, from taking over all of Antagarich. Now, with Heroes of Might and Magic III: Shadow of DeathPrimas Official Strategy Guide, nothing can stop you because youll get complete item, resource, and treasure tables; strategies for defeating all enemies; in-depth walkthroughs; 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
Teach Yourself Visually Illustrator 10
Authors: Karen Kennedy, Mike Wooldridge
Venue:  (2002)

:Are you a visual learner? Do you prefer instructions that show you how to do something-and skip the long-winded explanations?If so, then this book is for you. Open it up and you will find clear, step-by-step screen shots that show you how to tackle scores of Illustrator 10 tasks, from working with paths, objects, type, bitmap images, and trapping to using effects, filters, styles, layers, and sliced artwork.Teach Yourself Visually"I write to extend my thanks and appreciation for your books. They are clear, easy to follow, and straight to the point. Keep up the good work! I will always buy your books because they are the best." &mdash;Seward Kollie (Dakar, Senegal)"Your books are extraordinary! I buy them for friends, family, and colleagues." &mdash;Christine J. Manfrin (Castle Rock, CO)"Teach Yourself" sidebars offer practical tips and tricksFull-color screen shots demonstrate each taskSuccinct explanations walk you through step by stepTwo-page lessons break big topics into bite-sized modulesAuthor Biography: Karen Kennedy is a professional graphic designer and production artist who has been intricately involved with Illustrator since it hit the market. She teaches classes in graphic design in Indianapolis, and this is her first book.Tara Keezer is a graphic designer for a Midwest transportation company and online technical support guru.
Data Structures: A Psuedocode approach with C
Authors: Richard F. Gilberg, Behrouz A. Forouzan
Venue:  (1998)

:Gilberg and Forouzan's language-independent data structures text enables students to first design algorithms using Pseudocode, and then build them using the C programming language. Written at a level that makes it easy for students to understand, the book de-emphasizes mathematical rigor and provides a practical approach to data structures.
Implementing the IEEE Software Engineering Standards
Authors: Michael E. Schmidt
Venue:  (2000)

:Implementing the IEEE Software Engineering Standards is a practical and professional guide to implementing the IEEE Software Engineering standards in your software development process. There are 39 complex standards involved, some more critical than others. This book explains where to start, which standards to implement first, and how to integrate them into your current software development process. The book presents a realistic Software Life-Cycle Model to complement the standards and aid development. One of the book's biggest benefits is that it helps software engineers reconcile some latest "best practices" such as rapid prototyping and use of CASE tools with use of the standards.
Abstract and conclusions of PLI invited paper: program generation, termination, and binding-time analysis
Authors: Neil D. Jones, Arne J. Glenstrup
Venue: Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming (2002)

Recent research suggests that the goal of fully automatic and reliable program generation for a broad range of applications is coming nearer to feasibility. However, several interesting and challenging problems remain to be solved before it becomes a reality. .We first discuss the relations between problem specifications and their solutions in program form, and then narrow the discussion to an important special case: program transformation. Although the goal of fully automatic program generation is still far from fully achieved, there has been some success in a special case: partial evaluation, also known as program specialization.A key problem in all program generation is <i>termination of the generation process</i>. This paper describes recent progress towards automatically solving the termination problem, first for individual programs, and then for specializers and "generating extensions," the program generators that most offline partial evaluators produce.
Improving transport layer performance by using A novel medium access control protocol with fast collision resolution in wireless LANs
Authors: Younggoo Kwon, Yuguang Fang, Haniph Latchman
Venue: Proceedings of the 5th ACM international workshop on Modeling analysis and simulation of wireless and mobile systems (2002)

Development of efficient medium access control (MAC) protocols is a fundamental research issue in high-speed wireless local area networks (LANs). In this paper, we focus on the performance improvement both of MAC layer and transport layer by using a novel medium access control protocol in high-speed wireless LANs which use carrier sense multiple access/collision avoidance(CSMA/CA). We propose an efficient distributed contention-based MAC protocol, namely, the Fast Collision Resolution (FCR) algorithm, and show that the proposed FCR algorithm provides high throughput and low latency while improving the fairness performance for serving users in wireless LANs. The performance of the FCR algorithm is compared with that of the IEEE 802.11 MAC algorithm via extensive simulation studies both in MAC layer and transport layer. The results show that the FCR algorithm achieves a significantly higher efficiency than the IEEE 802.11 MAC algorithm and is well suited for transport layer protocols such as transmission control protocol (TCP) and user datagram protocol (UDP).
Getting into information retrieval
Authors: C. J. van Rijsbergen
Venue: Lectures on information retrieval (2001)

This is a general introduction to Information Retrieval concentrating on some specific topics. I will begin by setting the scene for IR research and introduce its extensive experimental evaluation methodology. I will highlight some of the related areas of research which are currently in fashion emphasising the role of IR in each. For each introductory topic I will illustrate its relevance to IR in the context of a multimedia and multi-lingual environment where appropriate. I will also try and relate these topics to the other papers contained in this volume. My main purpose will be to introduce some underlying concepts and ideas essential for the understanding of IR research and techniques.
Windows NT Power Toolkit
Authors: Ed Tittel, Stu Sjouwerman
Venue:  (1999)

:This book covers the analysis, tuning, optimization, automation, enhancement, maintenance, and troubleshooting of Windows NT Server 4.0 and Windows NT Workstation 4.0. In most cases, the two operating systems overlap completely and will be discussed together; in other cases, where the two systems diverge, each platform will be covered separately. This advanced title comprises a task-oriented treatment of the Windows NT 4 environment, including both Windows NT Server 4.0 and Windows NT Workstation 4.0. Thus, this book is aimed squarely at power users, to guide them to painless, effective use of Windows NT both inside and outside the workplace. By concentrating on the use of operating system tools and utilities, Resource Kit elements, and selected third party tuning, analysis, optimization, and productivity tools, this book will show its readers how to carry out everyday and advanced tasks.
Corel WordPerfect Version 7.0 Made Easy: Extended Course, 1st edition
Authors: Katie Layman, Lavaughn Hart
Venue:  (1997)

:Part of the Made Easy Series, all books integrate the learning of word processing with the proper formatting of business documents, language arts reinforcement, vocabulary building, and critical thinking practice.
Learning Corel WordPerfect 7
Authors: Iris Blanc, Kathy Berkemeyer
Venue:  (1997)

:For assistance with the latest version of the popular word processing program, this book includes step-by-step concepts, exercises, keystrokes and applications that enable the reader to learn Corel WordPerfect easily and quickly. Unique hardcover spiral allows the title to be displayed on the spine.