ppxscal/embedding_network huggingface dataset:
Coordinated data prefetching by utilizing reference information at both proxy and web servers
Authors: Xin Chen, Xiaodong Zhang
Venue: ACM SIGMETRICS Performance Evaluation Review (2001)

Existing prefetching techniques rely on server-based, proxy-based, or client-based reference access information. Although Web servers may provide accurate access information, our studies show that significant communication overhead can be involved by sending unnecessary reference information to clients or/and proxy servers. Our study also shows that prediction accuracy of proxy-based prefetching can be significantly limited without input of Web servers. We propose a coordinated proxy-server prefetching technique that adaptively utilizes the reference information and coordinates prefetching activities at both proxy and web servers. In our design, the reference access information stored in proxy servers will be the main source serving data prefetching for groups of clients, each of whom shares the common surfing interests. The access information in the web server will be used to serve data prefetching only for data objects that are not qualified for proxy-based prefetching. Conducting trace-driven simulations, we show that both hit ratios and byte hit ratios contributed from coordinated proxy-server prefetching are are up to 88% higher than that from proxy-based prefetching, and they are comparable to the ratios from server-based prefetching with a difference of 5%.
Can a computer proof be elegant?
Authors: Steve Seiden
Venue: ACM SIGACT News (2001)

In computer science, proofs about computer algorithms are par for the course. Proofs by computer algorithms, on the other hand, are not so readily accepted. We present one viewpoint on computer assisted proofs, or what we call proofs via the computational method [13]. While one might expect pure mathematicians to be a bit leery of the computational method, one would hope that computer scientists would be more receptive. In the author's experience, this has not been the case. The comment one often hears is "Can't you find a better proof"? One of the arguments given against the computational method is that a computer assisted proof cannot possibly be elegant. We question this argument here.It is important to define precisely what the computational method is. In the computational method we seek to prove results using a computer program. More specifically, given a theorem we want to prove, we exhibit a computable Boolean function f and prove that the truth of f implies the theorem. Next, we give an algorithm for computing f. Finally, we execute this algorithm on a computer. If all goes well, the theorem is proven. The first (as far as we know) and most famous use of the computational method was in the proof of the four-color theorem by Appel and Haken [2]. This should be contrasted with the use of a computer to find a proof that is easily checked by hand. For instance, a counter-example found via a computer search, as in [9, 10], is not an example of the computational method.As the proof of the four-color theorem was the first use of the computational method, it generated a large amount of controversy. Foremost among the decryers of the Appel and Haken proof was Halmos [7, page 578], who states:By an explosion I mean a load noise, an unexpected and exciting announcement, but not necessarily a good thing. Some explosions open new territories and promise great future developments; others close a subject and seem to lead nowhere. &hellip;the four-color theorem [is] of the second [kind].Halmos goes further, attacking the computational method in general, stating "Down with oracles, I say---they are of no use in mathematics". While we cannot speak to the four-color theorem proof---the author has not seen it---we disagree with Halmos' assertion that computer proofs have no use in mathematics.In [13], we tried to give some motivation for using the computational method and address some of the complaints against it. We tried to argue that, in certain cases, a computer proof may be preferable to a traditional one. However, we feel that one point overlooked in [13], namely the question of elegance of computer proofs, should be addressed. Other authors have also addressed the question of computer aided proofs. For some alternative viewpoints, see [3, 4, 5, 7, 11, 12, 14].
Composite Synchronization in Parallel Discrete-Event Simulation
Authors: David M. Nicol, Jason Liu
Venue: IEEE Transactions on Parallel and Distributed Systems (2002)

This paper considers a technique for composing global (barrier-style) and local (channel scanning) synchronization protocols within a single parallel discrete-event simulation. Composition is attractive because it allows one to tailor the synchronization mechanism to the model being simulated. We first motivate the problem by showing the large performance gap that can be introduced by a mismatch of model and synchronization method. Our solution calls for each channel between submodels to be classified as synchronous or asynchronous. We mathematically formulate the problem of optimally classifying channels and show that, in principle, the optimal classification can be obtained in time proportional to max C {x log C, V x N}, where C is the number of channels, V the number of unique minimal delays on those channels, and N is the number of submodels. We then demonstrate an implementation which finds an optimal solution at runtime and consider its performance on network topologies, including one of the global internet at the autonomous system level. We find that the automated method effectively determines channel assignments that maximize performance.
Systems Analysis and Design, 5th edition
Authors: Kenneth E. Kendall, Julie E. Kendall
Venue:  (2001)

:OFTEN IMITATED, NEVER DUPLICATED... There is simply no other Systems Analysis and Design textbook as exciting as Kendall & Kendall'. Their dynamic, comprehensive presentation leaves no stone unturned. With plenty of review questions and problems, hypothetical consulting situations, an ongoing case study, and even an associated Internet-based case study, this book makes the concepts of the course understandable and motivating. You are given all the tools to learn how to become a successful systems analyst, ace your exams, and have fun doing it' YOU WANT TO LEARN HOW TO BE A SYSTEMS ANALYST AND SYSTEMS DESIGNER... This book includes expanded coverage of data flow diagrams, data dictionaries, and process specifications, as it introduces examples of new software used by analysts and designers to manage projects, analyze and document systems, design new systems, and implement their plans. YOU NEED CURRENT TOPICS IN SYSTEMS ANALYSIS AND DESIGN... The fifth edition of Systems Analysis and Design has new coverage of UML, wireless technologies, ERP, Web-based systems for e-commerce, and expanded coverage on RAD and GUI design. YOU WANT YOUR SYSTEMS ANALYSIS AND DESIGN TEXT TO GIVE YOU HANDS-ON EXPERIENCE... HyperCaseoriginal, hypertext-based software created by the authorsis located on the text's Companion Web site: www.prenhall.com/kendall. This innovative software gives users firsthand experience with a business and organizational structure, allowing you to interview employees, observe office dynamics and practices, analyze prototypes, and review existing systems. The case, a businesssimulation called "Maple Ridge Engineering," is revisited throughout the text, with end-of-chapter exercises. All activities are based on real-life consulting experiences. YOU MUST HAVE INFORMATION ON HOW TO GET EXPERIENCE AS A SYSTEMS ANALYST... The authors include new coverage on analyzing e-commerceincluding thorough new material of e-commerce Web site designand more than 70 consulting opportunities, including new ones with an e-commerce focus. Students can evaluate the political, ethical, social, and economic implications of their systems design in these mini-cases. KENDALL & KENDALL, SYSTEMS ANALYSIS AND DESIGN, FIFTH EDITION giving you the tools to learn, practice, and perfect your skills in Systems Analysis and Design like no other text on the market ever has or ever will!
Approximating algebraic functions by means of rational ones
Authors: E. Pergola, R. Pinzani, S. Rinaldi
Venue: Theoretical Computer Science (2002)

In this paper, we use ECO method and the concept of succession rule to enumerate restricted classes of combinatorial objects. Let &&Ohgr; be the succession rule describing a construction of a combinatorial objects class, then the construction of the restricted class is described by means of an approximating succession rule &Ohgr;Rk obtained from &&Ohgr; in a natural way. We give sufficient conditions for the rule k to be finite; finally we determine finite approximating rules for various classes of paths, and the approximation of the corresponding algebraic language with a regular one.
Using Windows 3.1, 3rd edition
Authors: Ron Person
Venue:  (1994)

:This updated and enhanced edition includes expert tips and information on all the features and shortcuts of Windows 3.11. It's the perfect cradle-to-grave reference for all Windows users.Expert advice on Windows configuration, integration, and optimizationSpecial coverage of Windows for Workgroups 3.11 and networkingTroubleshooting sections give easy solutions to common problems
Netiquette
Authors: Virginia Shea, Cirginia Shea
Venue:  (1994)

:Cyberspace is booming. Each month, millions of people are discovering the power of the Internet, online services, and corporate email systems. With this power comes responsibility. People who wouldn't dream of burping at the end of dinner post offensive messages to international forums. Middle managers inadvertently send romantic email messages to the company-wide email alias. People at computer terminals forget that there are real live people on the other end of the wire. Topics are lost in noise, feelings are hurt, reputations are damaged, time and bandwidth are wasted. There's no longer an excuse. This book brings etiquette to the bustling frontiers of cyberspace. In a series of entertaining essays, the author establishes the do's and the don'ts of communicating online, from the Golden Rule to the art of the flame, from the elements of electronic style to virtual romance. Accessible to both network wizard and clueless newbie, this is the first book to offer the guidance that all users need to be perfectly polite online. The first book of network etiquette, including authoritative essays on: "Business Netiquette" "The Elements of Electronic Style" "The Art of the Flame" "Love & Sex in Cyberspace" Useful for every net user, from "newbie" to guru About the Author: Dubbed the "network manners guru" by the San Jose Mercury News, Virginia Shea has been a student of human nature all her life. She attended Princeton University and has worked in Silicon Valley since the mid-1980s. She now lives in Sunnyvale, California, with her husband and their four cats.
Novell's Encyclopedia of Networking, 2nd edition
Authors: Kevin Shafer, Steve Kalman
Venue:  (1997)

:For those of you lost in a sea of networking jargon, author Kevin Shafer has compiled the definitive reference tool for networking professionals -- Novells Encyclopedia of Networking. This comprehensive manual boasts over 5,000 entries covering everything from connectivity tools and equipment to security issues, NDS objects and properties, e-mail software, and NetWare and IntranetWare utilities. As an added reference bonus, Novells Encyclopedia of Networking includes a complete electronic version of the text on CD-ROM. Novells Encyclopedia of Networking also features a section on symbols and numbers as well as seven appendixes covering Acronyms and abbreviations Standard ASCII character set NDS objects and selectable properties Country codes for top-level domains Common NetWare and IntranetWare utilities Requests for comments Graphical review of network topologies
Engineering Programming: C, MATLAB and Java, 1st edition
Authors: Mark Austin, David Chancogne
Venue:  (1998)

:How do you select the right programming language for the right job? Austin and Chancogne provide students with a collection of four tutorials that cover concepts in modern engineering computations, and engineering programming in Ansi C, Matlab Version 5, and Java 1.1. The text gives practical guidance on selecting the best programming language for a project through a large number of working examples. With the help of these examples, students will learn how to design, write, and execute engineering programs using these programming languages. By incorporating Ansi C, Matlab, and Java into one text, students will quickly learn the strengths and weaknesses of each language. Theyll do this with the help of the 56 case study programs and 115 programming exercises integrated throughout the book. A small suite of basic engineering problems is also implemented in each of the three programming languages. The four tutorials featured in the book include:*Modern Engineering Computations - covers hardware components in a simple computer, operating systems, networks (including the Internet and World Wide Web), and an overview of programming languages.*C Tutorial - teaches students how to write multi-function C programs. Topics include basic data types, operators and expressions, program control, functions, dynamic memory allocation, and input/output.*Matlab - shows students how to solve simple matrix programs with simple graphics. This tutorial also demonstrates how MATLAB programs can be much shorter than equivalent implementations in C or Java.*Java - explains how Java got started, about object-oriented program design, and how to write Java programs withplatform-independent graphical user interfaces that can operate across the Internet.
E-Business Essentials
Authors: Frank J. Derfler
Venue:  (2000)

:The staff of PC Magazine has developed special talents and created a special focus on e-business. They produce practical and comprehensive explanations of the entire e-business process, from e-purchasing through production management and on to customer relationship management. They have developed expertly designed infographics, detailed information, and comprehensive explanations along with practical insight and hints. Readers will learn the challenges and problems met by e-business, an e-business vocabulary, the practical fundamentals of e-business systems, the major players, and many tips on deployment. e-Business Essentials is for business managers, entrepreneurs, and professionals looking to implement and expand e-commerce in their business. Its also for start-up companies and small business owners.
New Bounds On Covering Radius as a Function of Dual Distance
Authors: Tero Laihonen, Simon Litsyn
Venue: SIAM Journal on Discrete Mathematics (1999)

In this paper we estimate covering radius when dual distance is known. We derive new bounds on covering radii of linear codes. A bound for self-complementary codes is also presented. The improvements of these bounds on the known results are based on the knowledge of the cardinality of constant weight codes and on the behavior of Hahn polynomials and discrete Chebyshev polynomials.
Efficient Spectral-Galerkin Algorithms for Direct Solution of Second-Order Equations Using Ultraspherical Polynomials
Authors: Eid H. Doha, Waleed M. Abd-Elhameed
Venue: SIAM Journal on Scientific Computing (2002)

It is well known that spectral methods (tau, Galerkin, collocation) have a condition number of O(N4) (N is the number of retained modes of polynomial approximations). This paper presents some efficient spectral algorithms, which have a condition number of O(N2), based on the ultraspherical-Galerkin methods for second-order elliptic equations in one and two space variables. The key to the efficiency of these algorithms is to construct appropriate base functions, which lead to systems with specially structured matrices that can be efficiently inverted. The complexities of the algorithms are a small multiple of Nd+1 operations for a d-dimensional domain with (N-1)d unknowns, while the convergence rates of the algorithms are exponential for problems with smooth solutions.
Database Systems: Design, Implementation, and Management, 4th edition
Authors: Peter Rob, Carlos Coronel
Venue:  (1999)

:Database Systems: Design, Implementation, and Management, Fifth Edition is the only book that takes students step-by-step through the entire process of database development and creation. This text provides the most comprehensive, detailed, and clear coverage of database basics, with ample exercises and problems at the end of each chapter to encourage hands-on learning. After completing this text, users will gain the marketable skills and technical background necessary to compete in tomorrow's competitive database administration marketplace.
Reach for Your Dreams in 5-D Stereograms
Authors: Stephen Schutz, Susan Polis Schutz
Venue:  (1994)

:What is a 5-D Stereogram? A stereogram is a computer-generated image that "pops out" of the paper as if it were a Multi-Dimensional object. In order to see this image, however, the stereogram must be viewed in a certain way. How do you see the hidden 5-D stereogram image? Hold the art close to your nose so that it appears blurry. Relax and stare at it. Make believe you are looking "through" the art. Slowly move it away from your face until an image "pops out" and becomes perfectly clear. The time it takes to see the image can vary, so donÆt get impatient! Each page of the artwork has a hidden image in it, accompanied by a poem. Experience a truly astounding form of interactive art!
Inductively computable constructs in very high level languages
Authors: Amelia C. Fong
Venue: Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1979)

In this paper we study the profitability of applying the "reduction in strength" technique to programs in set-theoretic languages, focusing on the high level constructs involving set-formers. We define recursively two classes of expressions we shall call inductively computable set-formers and inductively computable predicates which can be evaluated with an order of magnitude improvement of the asymptotic running time as compared to the straightforward evaluation. The quantity developed for this comparison can be used to derive further results when additional information is known. For programs written in very high level languages, which often consist mostly of "nested" iterative constructs, this technique amounts to altering the "algorithm" used to compute the program by replacing it with an asymptotically faster algorithm.
The Essence of Microprocessor Engineering
Authors: Sid J. Katzen
Venue:  (1998)

:The Essence of Microprocessor Engineering concentrates on embedded systems and will provide the reader with the confidence to design, construct and program a working embedded system. The text is split into three parts: Part I provides a foundation to digital systems and computer architecture; Part II considers the software aspects of the 68000 microprocessor including programming; and Part III covers the hardware aspects of interfacing, testing and debugging and concludes with a mini project-based case study. Key features include real-world hardware and software products used to illustrate the material; allows the reader to design, construct, code and test a real working system; assumes no prior knowledge of digital systems; a self-contained text, suitable for home study; and an associated web site giving solutions, additional examples, software etc.
On the size of the Durfee square of a random integer partition
Authors: Ljuben R. Mutafchiev
Venue: Journal of Computational and Applied Mathematics (2002)

We prove a local limit theorem for the length of the side of the Durfee square in a random partition of a positive integer n as n → ∞. We rely our asymptotic analysis on the power series expansion of xm2 Π(1 -xj)-2 whose coefficient of xn equals the number of partitions of n in which the Durfee square is m2.
Teach Yourself Microsoft Word 2000 Visually, 1st edition
Authors: Ruth Maran
Venue:  (1999)

:Read less and learn more about Microsoft Word 2000 with this easy-to-understand guide. No figure numbers are used because text, graphics, and illustrations are tightly integrated. The topics begin and end on two-page spreads, with full color to add emphasis, organization, and structure.
Quick Finite Element Methods for Electromagnetic Waves with Cdrom
Authors: Guiseppe Pelosi, Stefano Selleri, Roberto Coccioli
Venue:  (1998)

:Now you can quickly and more easily work out challenging microwave engineering and high-frequency electromagnetic problems using the finite element method (FEM) with this practical book and software package. Using clear, concise text and dozens of real-world application examples, the book provides a detailed description of FEM implementation, while the software provides the code and tools needed to solve the three major types of EM problems: guided propagation, scattering, and radiation. Valuable for practicing electrical engineers, R&D personnel new to FEM, and engineering students, the book provides a succinct overview of basic FEM concepts, outlines the capabilities and advantages of employing FEM methods, defines key finite elements, and describes various hybrid methods and absorbing boundary conditions. This unique book and software package enables you to:  Compute the dispersion diagram of arbitrarily shaped inhomogeneous isotropic lossless or lossy guiding structures  Analyze E- and H-plane waveguide discontinuities and devices  Understand the reflection from and transmission through simple 2-D inhomogeneous periodic structures, such as dichroics and photonic crystals  Analyze scattering from arbitrarily shaped inhomogeneous 2-D objects  Calculate the radiation diagram on principal planes of aperture antennas modeled as 2-D structures  Create geometric models using a fully functional 2-D mesh generator CD-ROM Included! Easy-to-use finite element software contains ready-made FORTRAN subroutines and source code that you can use immediately to solve a wide range of microwave and EM problems.The package is fully compatible with Internet "freeware," so you can perform advanced engineering functions without having to purchase expensive pre- and post-processing tools.
Evaluating Success of a Y 2000 Project
Authors: Howard Rubin, Brian Robbins
Venue:  (1998)

:Includes details how to apply the QuickSTATus(tm)
MCP+I Training Guide Internet Exams, 1st edition
Authors: Joe Casad, Wayne Dalton, Emmett Dulaney
Venue:  (1998)

:Exam takers need a complete start-to-finish training program that provides a continuous, step-by-step approach to conquering the Internet Specialist exams. MCSE Training Guide: Internet Specialist Exams instructs exam takers on the technological details they need to pass each of the exams leading to the popular new Internet Specialist certification in an efficient, effective manner. This one comprehensive book covers each of the three exams required to achieve the new Internet Specialist certification. Exams include Internetworking with Microsoft TCP/IP on Microsoft Windows NT 4.0 (70-059), Implementing and Supporting Microsoft Windows NT Server 4.0 (70-067), and Implementing and Supporting Microsoft Internet Information Server 4 (70-087).This COMPREHENSIVE study package is a complete solution, preparing you for all three exams that you need to pass to become a MCPS--Internet SpecialistOur exclusive TestPrep test engine software provides the most realistic simulation of the actual exams and allows users to link back to source material for review of incorrect responsesEach exam section is organized by the Microsoft exam objectives