ppxscal/embedding_network huggingface dataset:
Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Venue: International Symposium on Software Testing and Analysis (2002)

ISSTA-2002, the International Symposium on Software Testing and Analysis, is the twelfth in a series of meetings that has raised awareness in the software engineering community of the crucial role of testing and analysis in software development. ISSTA brings together academics, industrial researchers, and practitioners to exchange new ideas, share experiences, and solve problems. Although ISSTA has always drawn international participation, ISSTA-2002 strengthens the ties between researchers and practitioners from around the globe by moving outside of North America for the first time.The ISSTA-2002 program features research papers, invited speakers, a panel discussion on the relevance of ISSTA research to industry, and a joint session with the co-located Workshop on Software Performance (WOSP). Ninety-seven papers were submitted to ISSTA-2002. They underwent a rigorous review process, with at least three Program Committee members reviewing each paper and with thorough discussion of the reviews. Some papers were reviewed by four or five Program Committee members and/or outside reviewers. The Program Committee selected eighteen of the papers as regular papers. The authors of eight additional papers were asked to recast their papers as short papers. The keynote address by Aldo Borrione provides insight into the software quality issues facing the automotive industry. The joint morning with WOSP features an invited talk by Prof. Ed Brinksma on integrating qualitative and quantitative validation of software systems, along with ISSTA and WOSP research paper sessions.
Introduction to T1/T3 Networking
Authors: Regis J. Bates, Bud Bates
Venue:  (1992)

:Here is a practical, solution-oriented guide to the capabilities, costs, and applications of rapidly proliferating T1/T3 networks. This book answers your questions about T1/T3 as it walks you through the entire analysis and implementation process.
The Technology Payoff: How to Profit with Empowered Workers in the Information Age
Authors: Eliezer Geisler
Venue:  (2001)

:A guide to action for senior executives faced with important technology decisions. What every executive and manager should know about information technology Increased competition has compelled organizations to flatten hierarchies, redesign business processes, empower workers, and rely upon other forms of change to improve performance. Information technology, used strategically, can facilitate these inevitable changes by enabling improvements in flexibility, efficiency, and most important, profitability. The Technology Payoff explores the expanded needs and opportunities for information systems, showing how and why organizations should integrate technology into their business strategies. Gerald Hoffman goes beyond traditional, large-scale information systems to introduce innovative approaches used within business environments of all sizes and disciplines. Free of technical jargon and complex explanations, this guide offers a well-rounded, uncluttered view of information technology, addressing its managerial, organizational, and technological impacts. End of chapter sections labeled "What You Must Know" and "What You Must Do" reinforce key issues and provide a mandate for improvement through information technology. Change is now a defining characteristic of business and a prerequisite for success in any industry. With The Technology Payoff, you'll understand the kinds of information systems you need to manage change and remain competitive in today's fast paced, dynamic business environment, and learn how to get them.
Confluence problems for trace rewriting systems
Authors: Markus Lohrey
Venue: Information and Computation (2001)

Rewriting systems over trace monoids, briefly trace rewriting systems, generalize both semi-Thue systems and vector replacement systems. In [21], a particular trace monoid M is presented such that confluence is undecidable for the class of length-reducing trace rewriting systems over M. In this paper, we show that this result holds for every trace monoid, which is neither free nor free commutative. Furthermore we show that confluence for special trace rewriting systems over a fixed trace monoid is decidable in polynomial time. Copyright 2001 "Academic Press.
Box Constrained Quadratic Programming with Proportioning and Projections
Authors: Zdenek Dostál
Venue: SIAM Journal on Optimization (1997)

Two new closely related concepts are introduced that depend on a positive constant $\Gamma$. An iteration is proportional if the norm of violation of the Kuhn--Tucker conditions at active variables does not excessively exceed the norm of the part of the gradient that corresponds to free variables, while a progressive direction determines a descent direction that enables the released variables to move far enough from the boundary in a step called proportioning. An algorithm that uses the conjugate gradient method to explore the face of the region defined by the current iterate until a disproportional iteration is generated is proposed. It then changes the face by means of the progressive direction. It is proved that for strictly convex problems, the proportioning is a spacer iteration so that the algorithm converges to the solution. If the solution is nondegenerate then the algorithm finds the solution in a finite number of steps. Moreover, a simple lower bound on $\Gamma$ is given to ensure finite termination even for problems with degenerate solutions. The theory covers a class of algorithms, allowing many constraints to be added or dropped at a time and accepting approximate solutions of auxiliary problems. Preliminary numerical results are promising.
Direct from Dell: Strategies That Revolutionized an Industry
Authors: Michael Dell, Catherine Fredman
Venue:  (2000)

:In 1983, Michael Dell, a freshman at the University of Texas at Austin, drove away from his parents' Houston home in a BMW he'd bought selling subscriptions to his hometown newspaper. In the backseat were three personal computers. Today, he is the chairman and CEO of Dell Computer Corporation, a $30 billion company and the second largest manufacturer and marketer of computers in the world. Founded on a deceptively simple premise-to deliver high-performance computer systems directly to the end user-Dell Computer is the envy of its competition. It has consistently grown at two to three times the industry rate, its stock went up more than 90,000 percent in the last decade, and Dell is now selling more than $35 million worth of systems per day over www.dell.com. In Direct from Dell, you will learn why it's better for any business starting out to have too little capital rather than too much why your people pose a greater threat to the health of your business than your competition how you can exploit your competition's weakness by exposing its greatest strength how intergrating your business virtually can make the difference between being quick -and being dead and much more
Building Profitable Solutions: With Microsoft BackOffice Small Business Server 4.5 with Cdrom, 1st edition
Authors: Joshua Feinberg
Venue:  (1999)

:This guide explains how to build a successful and profitable practice creating network solutions with Small Business Server (SBS) 4.5. This reference details how to: analyze the unique business needs and internal landscape of the small business; help your clients exploit the technological, financial, and competitive advantages of using SBS as the digital backbone of their business systems; plan, roll out, test, and support a customized SBS installation; demonstrate an immediate return on an SBS investment; stay one step ahead of the business technology curve - your critical edge in positioning your services, setting rates, and deploying resources; and add value to your services.
Peachpit's PageMaker 5 Companion, 2nd edition
Authors: Robin Williams, Barbara Sikora, Vickie Calkins
Venue:  (1994)

:Robin Williams and friends enliven this PageMaker reference book with the same wit and elegance that made The Little Mac Book and The Mac is not a typewriter popular with users across the country. Its unique three-column format is designed to answer any PageMaker question. Column 1 defines a task. Column 2 shows the steps to perform it. Column 3 provides additional notes and tips. What could be simpler?
Low-power approach for decoding convolutional codes with adaptive viterbi algorithm approximations
Authors: R. Henning, C. Chakrabarti
Venue: Proceedings of the 2002 international symposium on Low power electronics and design (2002)

Significant power reduction can be achieved by exploiting real-time variation in system characteristics while decoding convolutional codes.The approach proposed herein adaptively approximates Viterbi decoding by varying truncation length and pruning threshold of the T-algorithm while employing trace-back memory management. Adaptation is performed according to variations in signal-to-noise ratio, code rate, and maximum acceptable bit error rate.Potential energy reduction of 70 to 97.5% compared to Viterbi decoding is demonstrated.Superiority of adaptive T-algorithm decoding compared to fixed T-algorithm decoding is studied.General conclusions about when applications can particularly benefit from this approach are given.
Samba Pocket Reference
Authors: Robert Eckstein, David Collier-Brown, Peter Kelly
Venue:  (2001)

:Samba is a cross-platform triumph: it turns a Unix or Linux system into a file and print server for Microsoft Windows network clients. Now you can let users store their files (and even important executables) in a single place for easy sharing and backup, protected by Unix or NT security mechanisms, and still offer such transparent access that PC users don't even realize they're going to another system. This book describes all the options for Samba's configuration file in quick-reference format. It also contains command-line options and related information on the use of the Samba daemons (smbd and nmbd) and the utilities in the Samba distribution (smbsh, smbclient, smbstatus, smbtar nmblookup, smbpasswd, testparm, testprns, rpcclient, and a version of tcpdump enhanced to interpret the protocol used by Samba). System administrators who are familiar with Samba and want a handy reminder of how to administer it without the bulk of a full-sized book will find this pocket reference invaluable.
PhotoShop Elements for Dummies, 1st edition
Authors: Deke McClelland, Galen Fott
Venue:  (2001)

:Packed with photo retouching tips and creative tricksCreate animated GIFs, a Web photo gallery, and other cool stuffGet up and running fastno photo-editing experience required! Photoshop Elements has lots of easy-to-use painting tools. But what are you supposed to do with all that other stuff  options like "Dissolve" and "Difference" and "Multiply"? Relax! With help from Photoshop gurus Deke McClelland and Galen Fott, you'll be working with layers, sharpening images, boosting color intensity, using filters, and more  in no time! For more plain-English advice, see:The 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.comFind listings of all our booksCreate your own personalized book with Hungry Minds a la CarteSign up for daily eTips at www.dummiesdaily.comAuthor Biography: Deke McClelland is the world's #1 Photoshop author, whose more than 50 books have over 3 million copies in print. Galen Fott is director of online training at Total Training Inc.
Bluetooth Implementation and Use
Authors: Robert Morrow
Venue:  (2002)

:Unlike most other references on the market, this next-generation resource goes well beyond Bluetooth specifications and thoroughly examines different implementation approachesas taught by a "master instructor." * Discusses Bluetooth in detail, covering both operational characteristics as well as its use in a wireless communications system * Addresses the coexistence of Bluetooth's with other wireless networks * Provides information on the significant security problems that exist when communicating without wires * Based on 2 very popular and highly effective courses the author has been teaching for more than a yearBLUETOOTHBringing low-cost, low-power wireless connectivity to data-driven devices, Bluetooth is revolutionizing human/technology interaction. Revenue generated by Bluetooth devices was $2 billion in 2001. Bluetooth revenue will skyrocket to $333 billion per year by 2006, according to international marketing, consulting, and training firm Frost & Sullivan.WORKING BLUETOOTHIf you're the one who puts the bite into Bluetooth, this meaty guide is for you. In these pages, master Bluetooth instructor Dr. Robert Morrow lays out precise guidance on making Bluetooth work in today's and next-generation applications.THE INSIDE TRACK FOR WIRELESS PROFESSIONALSPacked with priceless experience, Bluetooth Implementation and Use cuts the time it takes you to* Implement wireless cable for phones, other handhelds, and portables* Build futuristic Bluetooth appsfor refrigerators that update PDA shopping lists, PDAs that survey local stores for the best prices, and as many others as you can dream up* Examine operational characteristics in detail* Solve security issues* Get technical insights on Bluetooth's coexistence with other wireless devices* Find the facts you want on packet structure, paging, host interfacing, and designing and testing the Bluetooth module* Probe the math behind the specifications for further researchTHE HANDS ON GUIDE TO BLUETOOTHAnyone tackling a job involving Bluetooth needs this in-depth guide. It goes beyond introducing the technology and prepares you for hands-on involvement with uses today and applications to come.
Programmable Logic Controllers, 2nd edition
Authors: Bill Bolton, W. Bolton
Venue:  (2000)

:Ideal as an accessible introduction for university students, the second edition includes expanded sections on internal architecture, input-output devices, networks, and programming languages with microprocessor systems, and has been fully revised in line with the new BTEC Higher National unit on PLCs, and the 2000 specifications for the Advanced GNVQ unit from Edexcel.
Getting the most from an algorithms design course: a personal experience
Authors: Francis Suraweera
Venue: ACM SIGCSE Bulletin (2001)

The most significant goal of an algorithm design course is to prepare students to solve general problems that they will encounter later in their lives. Departments usually offer such courses at the upper undergraduate and graduate levels. Today, compared to three decades ago, we have numerous texts on this and similar courses. The authors of these textbooks suggest different ways to organize their material to suit a variety of audiences. This paper deals with the following. How can we ensure that our students will acquire the necessary skills and abilities to solve general problems? We do this by tying the assessments to the objectives and aims of the course. We list some of the most desirable outcomes for this course, suggest possible ways to assess them based on our experience, and do assessments in a way to foster the confidence they need to handle general problems.
Complete Idiot's Guide to the PalmPilot and Palm III
Authors: Preston Gralla, Gralla Preston
Venue:  (1999)

:Author Preston Gralla leads the reader through the use of PalmPilot as he/she would actually use the product in real life. He has focused on a "lifestyle" approach - first introducing the reader to the machine and its features, and then describing the applications included. Preston shows the reader how to juggle a busy schedule, how to keep track of names and addresses, how to track expenses and exchange data with Excel. Preston writes in a very friendly, easy-to-read style. He shares with the reader undocumented secrets and "Easter eggs" that he has discovered in his work as the executive editor for ZDNet Software library. He will point readers to new shareware and software that has been developed for use on the PalmPilot.
A database representation that improves automation and maintains consistency in a multiple view environment
Authors: Fawzi Albalooshi
Venue: Proceedings of the 14th international conference on Software engineering and knowledge engineering (2002)

The paper presents an approach to information representation that takes advantage of the incremental nature of software development to facilitate automation. Software is developed in stages where input to a stage is highly dependent on the stage that precedes it. A canonical database representation that is shared by the development tools is presented. It aims at the provision of maximum automated services in the development process. At the same time ensuring the consistency of design information and avoiding its redundancy, and yet providing an open environment in which new tools and services can be incorporated with no effect on existing ones. Experiments are carried out to examine the usefulness of the representation to store the artifacts of a system under development and its suitability in achieving automation in the development process. Similar work carried out by researchers in the field and a number of commercially available tools are analyzed.
Solution plans and interactive problem solving
Authors: William E. Howden
Venue: Proceedings of the 1st annual conference on Computer graphics and interactive techniques (1974)

The concept of a "solution plan" is used to characterize the structure of interactive systems in which the user guides the solution process. A formalism for describing and analyzing solution plan structures is presented. The formalism can be used to define the role of the user in an interactive system. The solution plan approach to interaction is particularly applicable to problems which have an obvious graphical representation. An interactive graphics system for solving a class of routing problems is described. Suggestions for the application of the approach to other problems are included.
Microsoft Office 2000 Advanced Course, 1st edition
Authors: Sandra Cable, Connie Morrison, Catherine H. Skintik
Venue:  (1999)

:This comprehensive 75+ hour text is designed for an advanced course on the four main Microsoft Office 2000 applications plus Outlook. The coverage of Word and Excel provide Proficient level certification for the Microsoft Office User Specialist (MOUS) certification program. This text offers a complete MOUS solution for Microsoft Office 2000 certification when used in conjunction with our introductory Office 2000 text.
Controlling user interaction
Authors: David J. Kasik
Venue: ACM SIGGRAPH Computer Graphics (1976)

The user of an interactive application is in an anamolous position, especially if he is not one of the elite class known as "computer bums". This mythical user is at the end of a process totally controlled by a computer and a program. His communications with the program may suffer greatly because of this total dependence.Control of communication in the batch environment is much more a one-way street. Here the user supplies the program data, and the batch program informs him if something has gone wrong by evicting his run from the machine. The user then consults available documentation (if it exists) or a computer expert (if one exists) for help in solving the problem. The communication between program and user is not critical in this environment; the user is expected to know what to do before he starts the run and can seek assistance outside of the computer.The interactive environment, however, has the user totally at the mercy of the program for diagnostic and prompting information. Even sophisticated graphics-oriented applications, which provide large amounts of useful information through pictures, may not adequately control the user's interaction. The user needs direction imposed on him to successfully solve his problem. At the same time, the system must provide flexibility, i.e., he must not be constrained to a single path of action that may only suit the code's implementor. No user's manual can capture a flow of this nature because of the inherently static nature of words on paper. Furthermore, paging back and forth in a manual to decipher what is to be done next destroys the spontaneity implicit in a successful interactive system.The user must be the main concern of the interactive system for it to be successful. With this goal in mind, Battelle-Columbus has developed a structured approach to controlling user interaction. The approach benefits the implementor as well as the user. It places emphasis on design and checkout of interaction as the first, rather than the last, step in an interactive application.
Starcraft Expansion Set: Brood Wars; Official Strategy Guide
Authors: Prima Publishing, Bart G. Farkas
Venue:  (1999)

:Critical single-player strategies Advanced multiplayer strategies for total domination Complete stats for all-new Terran, Protoss, and Zerg units Details about the new worlds Alternate Starcraft strategies direct from the game testers
Teach Yourself Linux, 1st edition
Authors: Steven Oualline, Eric Foster-Johnson
Venue:  (1999)

:Linux is a multi-user, multi-tasking operating system like UNIX, but one only needs a PC to run it. This title covers Linux usage from the ground up, beginning with coverage of a first session and progressing through advanced topics.
Open Source Enterprise Solutions: Developing an E-Business Strategy
Authors: Gunnison Carbone, Duane Stoddard
Venue:  (2001)

:This book shows IT professionals and developers that the open source approach can offer flexible, reliable, and secure enterprise solutions. Written by the founders of the Open3.org open source movement, the book provides a roadmap to all critical components of an open source e-business infrastructure. Through detailed coverage of Enterprise Applications (EA), Enterprise Application Integration (EAI) as well as Business-to-Business (B2B) and Business-to-Customer (B2C) software, the authors explain how to leverage open source solutions to bring business processes online, integrate disparate applications and databases across the enterprise, and ensure secure, efficient e-business transactions.
PostScript by Example
Authors: Henry McGilton
Venue:  (1992)

:PostScript by Example is packed with 500 examples and 700 pictures to help users and programmers at all levels become knowledgeable in PostScript--the industry-standard page-description lanague developed by Adobe Systems Inc. Loaded with hands-on exercises and step-by-step instructions, this book covers two broad areas. You will start with the basic concepts of PostScript--graphics, text, and language. Then continue with "build-it-yourself" PostScript tools to construct fonts, patterns, forms, and manage your printing environment. Henry McGilton and Mary Campione provide invaluable information for both beginning and experienced PostScript users on how to: Law foundatinos of the PostScript painting model--paths, graphics states, text, clipping, transformations, arcs, curves and images. Understand PostScript Level 2 patterns, forms, images, composite fonts, halftones, and color models. Construct error handlers, download fonts and PostScript programs, and understand Encapsulated PostScript. The most comprehensive hands-on PostScript guide ever, PostScript by Example is your toolkit for building effective PostScript programs.
Convergence Analysis of Inexact Infeasible-Interior-Point Algorithms for Solving Linear Programming Problems
Authors: Janos Korzak
Venue: SIAM Journal on Optimization (2000)

In this paper we present a convergence analysis for some inexact (polynomial) variants of the infeasible-interior-point algorithm of Kojima, Megiddo, and Mizuno. For this analysis we assume that the iterates are bounded. The new variants allow the use of search directions that are calculated from the defining linear system with only moderate accuracy, e.g., via the use of Krylov subspace methods like CG or QMR. Furthermore, some numerical results for the proposed methods are given.