ppxscal/embedding_network huggingface dataset:
Analysis of a Cutting Plane Method That Uses Weighted Analytic Center and Multiple Cuts
Authors: Zhi-Quan Luo
Venue: SIAM Journal on Optimization (1997)

We consider the analytic center cutting plane (or column generation) algorithm for solving general convex problems defined by a separation oracle. The oracle is called at an approximate analytic center of a polytope which contains the solution set and is given by the intersection of the linear inequalities previously generated from the oracle. If the approximate center is not in the solution set, separating hyperplanes will be placed through the approximate center, and a new approximate analytic center will be found for the shrunken polytope. In this paper, we consider using approximate weighted analytic centers in the cutting plane method and show that the method, with multiple cuts added in each step, has a complexity of $O(\eta m^2/\epsilon^2)$, where $\eta$ is the maximum number of cuts that can be added in each step and $m$ is the dimension of the problem.
A dynamic logic of multiprocessing with incomplete information
Authors: John H. Reif, Gary L. Peterson
Venue: Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1980)

A crucial property of distributed multiprocessing systems is the lack of complete information by any given process about the states of other processes. The contribution of this paper is a fundamental modal logic, MPL, for multiprocessing with incomplete information. (Section 1.5 gives an informal introduction to MPL; the formal definitions are in Section 2.)By way of this logic, we develop a solid (practical and theoretical) correspondence between distributed multiprocessing and multiplayer games of incomplete information.Fischer and Ladner, [1979] have shown a logspace reduction from the outcome problem for two person games of perfect information to satisfiability of formulas in their propositional dynamic logic (PDL). We provide in Section 3 a log-space reduction from the outcome problem for multiplayer games of incomplete information to satisfiability of formulas in our logic MPL. Although in general satisfiability in out logic is undecidable, the satisfiability problem of formulae with hierarchical visibility structure is shown decidable (using the methods for solving hierarchical games developed in Reif [1979] and Peterson and Reif [1979], and also the model theoretic techniques of Fischer and Ladner [1979] and Pratt [1979b]).At a more practical level, we argue that the game-like semantics of our logic provides a robust paradigm in which to view distributed multiprocessing problems. We apply our logic to describe total correctness properties of multi-process programs with shared variables as well as communicating processes with "handshake"-type message passing.
Geometry images
Authors: Xianfeng Gu, Steven J. Gortler, Hugues Hoppe
Venue: ACM Transactions on Graphics (TOG) (2002)

Surface geometry is often modeled with irregular triangle meshes. The process of remeshing refers to approximating such geometry using a mesh with (semi)-regular connectivity, which has advantages for many graphics applications. However, current techniques for remeshing arbitrary surfaces create only semi-regular meshes. The original mesh is typically decomposed into a set of disk-like charts, onto which the geometry is parametrized and sampled. In this paper, we propose to remesh an arbitrary surface onto a completely regular structure we call a geometry image. It captures geometry as a simple 2D array of quantized points. Surface signals like normals and colors are stored in similar 2D arrays using the same implicit surface parametrization --- texture coordinates are absent. To create a geometry image, we cut an arbitrary mesh along a network of edge paths, and parametrize the resulting single chart onto a square. Geometry images can be encoded using traditional image compression algorithms, such as wavelet-based coders.
Javascript Bible with Cdrom
Authors: Danny Goodman, Brendan Eich
Venue:  (2001)

:This book will cover the new powerful functionality JavaScript will gain with the release of fifth generation revisions of Internet Esxplorer and Netscape Communicator. The Gold Bible, will feature essential new JavaScript information, additional ready-to-use JavaScript applications and scores of additional JavaScript and Web page routines. This book will bring programmmers and non-technical professionals, including casual programmmers and scripters, painlessly up to speed on all aspects of mastering JavaScript. Key topics include programming fundamentals, JavaScript language elements and how to use them effectively, plus how to easily and efficiently add powerful new functionality to HTML documents and Java applets.
Proceedings of the fourteenth annual ACM symposium on Parallel algorithms and architectures
Venue: ACM Symposium on Parallel Algorithms and Architectures (2002)

The papers in this volume were presented at the 14th Annual ACM Symposium on Parallel Algorithms and Architectures, held August 11-13, 2002 in Winnipeg, Manitoba, Canada. The Symposium was sponsored by the Special Interest Group on Algorithms and Computation Theory (SIGACT) and the Special Interest Group on Computer Architecture (SIGARCH) of the ACM, in cooperation with European Association for Theoretical Computer Science (EATCS).The thirty technical presentations were selected by the Program Committee based on their perceived quality and originality, and their appropriateness to the theme of the Symposium. The mix of selected papers reflects the unique nature of the Symposium in bringing together the theory and practice of parallel computing, and in defining "parallel" very broadly to encompass any computational "device" that can perform multiple operations or tasks simultaneously. The technical papers in this volume are to be considered preliminary versions, and authors are generally expected to publish polished and complete versions in archival scientific journals.In addition to the technical presentations, this volume includes six brief communications presented at the SPAA Revue. These communications were selected either from abstracts directly submitted to the Revue or from extended abstracts submitted for technical presentations at the conference. The Committee's decisions were based on the perceived interest of these contributions which may serve as bases for further significant advances in parallel computing. Extended versions of the SPAA Revue papers may be published later in other conferences or journals.
Running Linux, 3rd edition
Authors: Matt Welsh
Venue:  (1999)

:Once a little-known productivity boost for personal computers, Linux is now becoming a central part of computing environments everywhere. This operating system now serves as corporate hubs, web servers, academic research platforms, and program development systems. All along it's also managed to keep its original role as an enjoyable environment for personal computing, learning system administration and programming skills, and all-around hacking. This book, now in its third edition, has been widely recognized for years in the Linux community as the getting-started book people need. It goes into depth about configuration issues that often trip up users but are glossed over by other books. A complete, UNIX-compatible operating system developed by volunteers on the Internet, Linux is distributed freely in electronic form and at a low cost from many vendors. Developed first on the PC, it has been ported to many other architectures and can now support such heavy-duty features as multiprocessing, RAID, and clustering. Software packages on Linux include the Samba file server and Apache Web server; the X Window System (X11R6); TCP/IP networking (including PPP, SSH, and NFS support); popular software tools such as Emacs and TeX; a complete software development environment including C, C++, Java, Perl, Tcl/Tk, and Python; libraries, debuggers, multimedia support, scientific and database applications, and much more. Commercial applications that run on Linux range from end-user tools like word processors and spreadsheets to mission-critical software like the Oracle, Sybase, Informix, and IBM DB/2 database management systems. Running Linux explains everything you need to understand, install, and start using the Linux operating system. This includes a comprehensive installation tutorial, complete information on system maintenance, tools for document development and programming, and guidelines for network, file, printer, and Web site administration. New topics in the third edition include: KDE, a desktop that brings the friendliness and ease-of-use of Windows or the Macintosh to Linux Samba, which turns Linux into a office hub that serves files and printers to Microsoft systems PPP, the most popular software for logging into remote systems over phone lines Revised instructions for installation and configuration, particularly covering the Red Hat and SuSE distributions
Architect's Guide to QuickBooks Pro
Authors: Karen D. Mitchell, Craig Savage
Venue:  (1998)

:Complete setup, installation and usage guide for Architect's and Designer's who use QuickBooks Pro. This book walks the design industry professional through: Setting up QuickBooks Pro specific to the design industry. Entering transactions such as payroll, bills, printing checks, invoicing customers (several different ways) Printing and reading project reports What to do at the end of the month and end of the year Author Biography Karen Mitchell has been consulting with architect's and designer's for 12 years. Karen has years of experience in finance, the design industry and QuickBooks. She is a featured speaker at construction trade shows such as A/E/C SYSTEMS and Construction Business Technologies Conference. She has an innovative new business that uses the internet and telephone to give expert advice to construction industry professionals.
A Class of Trust-Region Methods for Parallel Optimization
Authors: P. D. Hough, J. C. Meza
Venue: SIAM Journal on Optimization (2002)

We present a new class of optimization methods that incorporates a parallel direct search (PDS) method within a trust-region Newton framework. This approach combines the inherent parallelism of PDS with the rapid and robust convergence properties of Newton methods. Numerical tests have yielded favorable results for both standard test problems and engineering applications. In addition, the new method appears to be more robust in the presence of noisy functions, which are inherent in many engineering simulations.
Diffusions and Confusions in Signal and Image Processing
Authors: N. Sochen, R. Kimmel, A. M. Bruckstein
Venue: Journal of Mathematical Imaging and Vision (2001)

In this paper we link, through simple examples, between three basic approaches for signal and image denoising and segmentation: (1) PDE axiomatics, (2) energy minimization and (3) adaptive filtering. We show the relation between PDE's that are derived from a master energy functional, i.e. the Polyakov harmonic action, and non-linear filters of robust statistics. This relation gives a simple and intuitive way of understanding geometric differential filters like the Beltrami flow. The relation between PDE's and filters is mediated through the short time kernel.
The Management of Telecommunications: Business Solutions to Business Problems, 2nd edition
Authors: Houston H. Carr
Venue:  (2002)

:Intended for a telecommunications course taught in MIS departments in business schools at the undergraduate or MBA level. Students taking the business telecommunications course should have already taken an introductory MIS course and have a basic knowledge of computing and computer terminology. Rather than solely concentrating on the technology of telecommunications,Carr and Snyder's new textbook caters more to the needs of today's business students. MANAGEMENT OF TELECOMMUNICATIONS is the ideal textbook for exposing students to all facets of being a telecommunications end-user; It stresses the importance of the managerial decision-making side of telecommunications by applying the use of an integrated continuing case to illustrate key concepts and show the decision process. This book will provide business students with the technical vocabulary,technical understanding,and decision-making ability necessary to be an effective business telecommunications manager. Students using Carr and Snyder's book will lead the decision-making process by having an understanding of technology tradeoffs in relation to costs,marketing,customer service,and competition. Students will learn how telecommunications and telecommunications-intensive information systems,in particular,are part of the strategic,tactical,and operational decision processes of an organization.
Data Analysis with JMP in 4
Authors: Thomas Johnson, Kenneth N. Berk
Venue:  (2000)

:The book provides step-by-step instructions in enough detail to allow a user to turn to any section once they know the basics of the JMP&reg; program and the brief form in which the instructions are written. Both the order of the topics and the presentation of this book are centered on the analysis of data.
SIGCSE 2002 forum: industry in the ivory tower
Authors: Stuart Reges
Venue: Proceedings of the 33rd SIGCSE technical symposium on Computer science education (2002)

The intent of this forum is to generate a really lively discussion on the gamut of our relationship - as computer science educators - to industry.How dependent are we/should we be on specific industry software and platforms? (Many examples come to mind - Microsoft Visual Studio.NET, Red Hat Linux, C#, Sun's version of Java.)How obligated are we to jump on board the newest upgraded software version of whatever we might be using?How does our desire for good job placement of our graduates square with our oft-repeated claim that we are educators, not trainers?Pursuing this issue of "where do we fall on the spectrum between training and education," what to do about all these industry certification programs - Cisco, Novell, Oracle, Microsoft. Do we teach these curricula? Do we give credit to students who take it, say at a community college, and then transfer?What about a service course in, say, Photoshop? Is this college-level material?Do opportunities for summer internships or research projects in an industry setting place some special obligations on us with respect to that company?
Visualisation for informed decision making; from code to components
Authors: Stuart M. Charters, Claire Knight, Nigel Thomas, Malcolm Munro
Venue: Proceedings of the 14th international conference on Software engineering and knowledge engineering (2002)

The problem of trying to view and comprehend large amounts of data is a well-known one. A specialised variant of this problem is the visualisation of software code and components for the purposes of understanding, decision-making, reuse and even integration. In particular the visualisation of software components, at a much higher level than source code, has received very little research. Visualisation is a powerful tool in situations such as this. This paper presents the application of real world metaphor based visualisations that address this problem. The application of visualisation to selecting software components is especially novel. It seeks to decrease the effort required by system integrators when locating suitable components in what is an increasingly crowded marketplace. Accurate information and understanding are vital if correct and informed decisions and judgements are to be made.
Essential Business Tactics for the Net, Second Edition, 2nd edition
Authors: Larry Chase, Eileen Shulock
Venue:  (2001)

:While aware of the Web's potential, most businesses and corporations are unaware of exactly how to mine it to reduce costs and increase profits. This book reveals how to do precisely that. Businesses both large and small will learn how to reduce costs of travel, printing, handling, postage, distribution, purchasing, and other operating costs, as well as lower costs and improve the efficiency of recruiting new employees. They'll also learn how to use the Web to test new products, services and ideas while increasing customer loyalty, how to mine information about competitors and existing customers as well as prospective clients, how to establish a brand identity, and more.Includes Companion Web Site with... Chapter-by-chapter resource listings, and updates for the book.
Mastering Lotus Notes and Domino R5 Premium Edition, 1st edition
Authors: Scot Haberman, Andrew Falciani, Matt Riggsby
Venue:  (2000)

:Do it All Using This Comprehensive Notes and Domino Resource. Are you a Notes user? Do you build Notes client applications? Ready to make the leap to Web development using the Domino server? This one book gives you all the instruction you need, taking you from end-user tasks to form design to database developmentand in the process making you a true Notes master.
QuarkXPress in a Nutshell: A Desktop Quick Reference
Authors: Donnie O'Quinn
Venue:  (1998)

:This quick-reference describes every tool, command, palette, and sub-menu in QuarkXPress 4, thus enabling users to make informed choices by providing a detailed understanding of the software, and reduce time spent by learning by trial and error.
Performing with Microsoft Publisher 2002 Comprehensive Course
Authors: Iris Blanc, Cathy Vento
Venue:  (2001)

:This new series by renowned authors Iris Blanc and Cathy Vento teaches Microsoft Publisher 2002 skills by having the learner assume the role of working in a business.
U.S. Government on the Web: Getting the Information You Need, 2nd edition
Authors: Peter Hernon, Robert E. Dugan, John A. Shuler
Venue:  (2001)

:There's a wealth of government information available on the Internet, most of it useful and much of it free! Now you can find and use the information your tax dollars pay for. Prepared by one of the country's foremost experts on U.S. government information and his colleagues, this timely guide organizes nearly 1,000 federal government Web sites and shows you how to find the information you need quickly and easily.. "More than a directory, this authoritative guide gives you a clear understanding of U.S. government agencies and the publications available.
Lower bounds for approximate polygon decomposition and minimum gap
Authors: Joachim Gudmundsson, Thore Husfeldt, Christos Levcopoulos
Venue: Information Processing Letters (2002)

We consider the problem of decomposing polygons (with holes) into various types of simpler polygons. We focus on the problem of partitioning a rectilinear polygon, with holes, into rectangles, and show an Ω (n log n) lower bound on the time-complexity. The result holds for any decomposition, optimal or approximative. The bound matches the complexity of a number of algorithms in the literature, proving their optimality and settling the complexity of approximate polygon decomposition in these cases.As a related result we show that any non-trivial approximation algorithm for the minimum gap problem requires Ω (n log n) time.
Programming Microsoft Visual C++, 5th edition
Authors: David J. Kruglinski, Scott Wingo, George W. Sheperd
Venue:  (1998)

:Newly expanded and updated for Microsoft Visual C++ 6.0, it offers even more of the detailed, comprehensive coverage that's consistently made this book the best overall explanation of the capabilities of this powerful and complex development tool. Important new coverage includes a full discussion of: control development with ATL, the latest database programming enhancements, recent COM improvements, using Microsoft Internet Explorer, and Visual C++ and MFC for Windows CE.
For Beginners
Authors: Don Mayo
Venue:  (1998)

:Written with home use in mind, this book is also ideal for the busy person who knows little or nothing about "the Net". Readers are taught Internet basics with succinct language and effective illustrations. Topics include surfing and chat, house, apartment, and job-hunting online, and entertainment and shopping online. Sections are featured on "netiquette" and online banking. 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
Coordinated En-Route Web Caching
Authors: Xueyan Tang, Samuel T. Chanson
Venue: IEEE Transactions on Computers (2002)

Web caching is an important technique for reducing Internet access latency, network traffic, and server load. This paper investigates cache management strategies for the en-route web caching environment, where caches are associated with routing nodes in the network. We propose a novel caching scheme that integrates both object placement and replacement policies and which makes caching decisions on all candidate sites in a coordinated fashion. In our scheme, cache status information along the routing path of a request is used in dynamically determining where to cache the requested object and what to replace if there is not enough space. The object placement problem is formulated as an optimization problem and the optimal locations to cache the object are obtained using a low-cost dynamic programming algorithm. Extensive simulation experiments have been performed to evaluate the proposed scheme in terms of a wide range of performance metrics. The results show that the proposed scheme significantly outperforms existing algorithms which consider either object placement or replacement at individual caches only.
Performance analysis of optimized smooth handoff in mobile IP
Authors: C. Blondia, N. Van den Wijngaert, G. Willems, O. Casals
Venue: Proceedings of the 5th ACM international workshop on Modeling analysis and simulation of wireless and mobile systems (2002)

Mobile IP allows node mobility involving changes of point-of-attachment to the Internet. In order to reduce the impact on the performance and the signaling overhead, hierarchical mobility management schemes have been introduced. These schemes define protocols that allow movements within a domain to be handled locally, without involvement of the mobile node's home network. In order to reduce more the packet losses during handoff, new schemes have been defined, such as smooth handoff. By storing packets temporarily in the access point after the mobile host has left and forwarding them to the new access point as soon as the mobile has connected to it, it is possible to reduce significantly the packet loss. In this paper we develop an analytical model and a simulation program using OPNET Modeler to evaluate the packet loss and packet delay for UDP streams and the throughput for TCP streams that are involved in a handoff. We show that, in spite of the buffering capabilities of the previous access point, packets may still get lost. The reason for this loss is identified and solutions to this problem are proposed.
Modular Operational Test Plans for Inferences on Software Reliability Based on a Markov Model
Authors: Jayant Rajgopal, Mainak Mazumdar
Venue: IEEE Transactions on Software Engineering (2002)

This paper considers the problem of assessing the reliability of a software system that can be decomposed into a finite number of modules. It uses a Markovian model for the transfer of control between modules in order to develop the system reliability expression in terms of the module reliabilities. An operational test procedure is considered in which only the individual modules are tested and the system is considered acceptable if, and only if, no failures are observed. The minimum number of tests required of each module is determined such that the probability of accepting a system whose reliability falls below a specified value R_0 is less than a specified small fraction beta. This sample size determination problem is formulated as a two-stage mathematical program and an algorithm is developed for solving this problem. Two examples from the literature are considered to demonstrate the procedure.