ppxscal/embedding_network huggingface dataset:
Verification of randomized distributed algorithms
Authors: Roberto Segala
Venue: Lectures on formal methods and performance analysis: first EEF/Euro summer school on trends in computer science (2002)

We describe modular verification techniques for randomized distributed algorithms as extensions of techniques for ordinary, non-randomized, distributed algorithms. The main difficulty to overcome arises from the subtle interplay between probability and nondeterminism, where probability is due to the random choices that occur within an algorithm, and nondeterminism is due to the unknown speeds and scheduling policies of the processes. The techniques that we introduce are based on separation of probability from nondeterminism. When the nondeterminism is factored out, the analysis of an algorithm has several pieces that are in common with the area of performance evaluation. Thus, the techniques that we describe are likely to constitute a bridge to export typical performance evaluation techniques to the area of concurrent nondeterministic systems and, vice versa, to understand alternative ways for handling nondeterminism when it arises.
The SIGCSE 2001 Maze Demonstration program
Authors: Richard Rasala, Jeff Raab, Viera K. Proulx
Venue: Proceedings of the 33rd SIGCSE technical symposium on Computer science education (2002)

This article will describe the SIGCSE 2001 Maze Demo program that may be used as a CS2 laboratory exercise on traversal algorithms. The article will also describe the object-oriented design of the program and the Java Power Tools that were used to enable rapid development of its graphical user interface. Finally, the quality of the program and the speed of its development shows that it is now practical to teach freshmen using full graphical user interfaces rather than interfaces that use the console or a small restricted set of interface widgets.
Practical Microsoft Windows 2000 Server
Authors: Robert Reinstein, Dave Bixler
Venue:  (2000)

:Practical Microsoft Windows 2000 Server provides an excellent resource if you are setting up a new Server 2000 network or upgrading an NT Server 4.0 network. Step-by-step information makes this book useful in the setting up as well as the planning of a Windows 2000 Server network. Coverage includes new Windows 2000 Server features like the Windows 2000 Server Active Directory and the new environment provided to access the various Windows 2000 Server tools. This book provides a great primer and reference if you are a new network administrator, and a valuable resource if you're a veteran network administrator and need help to design and implement a Windows 2000 Server-based network.
Adobe Illustrator 5 Complete: Includes Version 5.5, 3rd edition
Authors: Sharyn Venit
Venue:  (1994)

:Adobe Illustrator 5 Complete, Third Edition is a comprehensive guide to Adobe Illustrator versions 5.0 and 5.5, the bestselling computer illustration and graphics program for the Macintosh from Adobe Systems, Inc. This book is for all Illustrator users, beginning to advanced, and provides in-depth coverage of the newest features of versions 5.0 and 5.5, including use of the new color and layer palettes and working with plug-in filters.
Response time in data broadcast systems: mean, variance and tradeoff
Authors: Shu Jiang, Nitin H. Vaidya
Venue: Mobile Networks and Applications (2002)

Data broadcast has been suggested as a promising method of information dissemination [2,33]. In such an environment, the information server cannot afford to serve the requests from a large population of users individually. Instead, the server uses a broadcast channel to deliver information to all users. A single transmission of a data item satisfies all pending requests for that item. The response time of a request depends on the broadcast time of the desired data item, which is scheduled by the server according to the overall demands for various data items. Therefore, the response time may vary in a large range. We argue that, in addition to mean response time, the variance of response time should also be taken into account by the broadcast scheduler. In this paper, we address the issue of variance optimization in regard to response time. Building on our previous research on mean response time optimization, we propose an algorithm which can minimize the variance of response time. Furthermore, we evaluate an algorithm that facilitates a tradeoff between the mean and variance of response time. Numerical examples that illustrate the performance of our algorithms are also presented.
Personalized portals for the wireless user based on mobile agents
Authors: George Samaras, Christoforos Panayiotou
Venue: Proceedings of the 2nd international workshop on Mobile commerce (2002)

Wireless users rarely (if ever) benefit from Internet information services thus requiring new type of services and new ways for structuring the needed content. Personalization appears to be the most appropriate solution to this need. It comes into aid by creating personalized portals that directly tones down factors that break up the functionally of the Internet/wireless services when viewed through wireless devices; factors like the click count, user response time and the size of the wireless network traffic. In this paper we present a flexible personalization system tuned for the wireless Internet taking into consideration not only the user profile but the device profile as well. The system utilizes the various characteristics of mobile agents to support flexibility, scalability, modularity and user mobility. We present appropriate, to the wireless environment, metrics and our initial performance evaluation indicates improvement ranging from 33% to, for certain metrics, 60.
An Infeasible Path-Following Method for Monotone Complementarity Problems
Authors: Paul Tseng
Venue: SIAM Journal on Optimization (1997)

We propose an infeasible path-following method for solving the monotone complementarity problem. This method maintains positivity of the iterates and uses two Newton steps per iteration---one with a centering term for global convergence and one without the centering term for local superlinear convergence. We show that every cluster point of the iterates is a solution, and if the underlying function is affine or is sufficiently smooth and a uniform nondegenerate function on $\Re_{++}^n$, then the convergence is globally Q-linear. Moreover, if every solution is strongly nondegenerate, the method has local quadratic convergence. The iterates are guaranteed to be bounded when either a Slater-type feasible solution exists or when the underlying function is an R0-function.
Super Searcher, Author, Scribe: Successful Writers Share Their Internet Research Secrets
Authors: Loraine Page
Venue:  (2002)

:The impact of the Internet on the writing profession is unprecedented, even revolutionary. Wired writers of the 21st century use the Internet to do research, to collaborate, to reach out to readers, and even to publish and sell their work. In this comprehensive reference, gems of wisdom are drawn from 14 leading journalists, book authors, writing instructors, and professional researchers in the literary field. These super-searching scribes share their online tips, techniques, sources, and success stories and offer advice that any working writer can put to immediate use.Loraine Page is the editor of Link-Up. She lives in Wading River, New York.
Age of Empires
Authors: Steven L. Kent
Venue:  (1998)

:The bestselling strategy guide has been updated and revised with expanded information about online play. Like other titles in the Inside Moves series, the book shows how to play the game over the Zone, and gives tips on selecting the appropriate hardware for effective play. 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
Indirect Boundary Stabilization of Weakly Coupled Hyperbolic Systems
Authors: Fatiha Alabau-Boussouira
Venue: SIAM Journal on Control and Optimization (2002)

This work is concerned with the boundary stabilization of an abstract system of two coupled second order evolution equations wherein only one of the equations is stabilized (indirect damping; see, e.g., J. Math. Anal. Appl., 173 (1993), pp. 339--358). We show that, under a condition on the operators of each equation and on the boundary feedback operator, the energy of smooth solutions of this system decays polynomially at $\infty$. We then apply this abstract result to several systems of partial differential equations (wave-wave systems, Kirchhoff--Petrowsky systems, and wave-Petrowsky systems).
Understanding PKI: Concepts, Standards, and Deployment Considerations, 2nd edition
Authors: Carlisle Adams, Steve Lloyd
Venue:  (2002)

PKI (public-key infrastructure) enables the secure exchange of data over otherwise unsecured media, such as the Internet. PKI is the underlying cryptographic security mechanism for digital certificates and certificate directories, which are used to authenticate a message sender. Because PKI is the standard for authenticating commercial electronic transactions, Understanding PKI, Second Edition, provides network and security architects with the tools they need to grasp each phase of the key/certificate life cycle, including generation, publication, deployment, and recovery.
Solving Multiple Knapsack Problems by Cutting Planes
Authors: C. E. Ferreira, A. Martin, R. Weismantel
Venue: SIAM Journal on Optimization (1996)

In this paper we consider the multiple knapsack problem, which is defined as follows: given a set $N$ of items with weights $f_i$, $i \in N$, a set $M$ of knapsacks with capacities $F_k$, $k \in M$, and a profit function $c_{ik}, i \in N, k \in M$, find an assignment of a subset of the set of items to the set of knapsacks that yields minimum cost. We consider the multiple knapsack problem from a polyhedral point of view. The inequalities that we describe here serve as the theoretical basis for a cutting plane algorithm. We present some of the implementation details of this algorithm, including a discussion and evaluation of different separation and primal heuristics. Our algorithm is applied to practical problem instances arising in the design of main frame computers, in the layout of electronic circuits, and in sugar cane alcohol production.
Using Visual Basic 5, 2nd edition
Authors: Michael McKelvy, Jeff Spotts, Brian Siler
Venue:  (1997)

:The Special Edition Using Visual Basic 5, Second Edition takes a tutorial approach. It is assumed that the reader is new to Visual Basic. The book will teach programming with Visual Basic in a steady, consistent pace. Once the reader has been taught the Visual Basic programming language, the book will progress into more advanced topics. Such hot topics include an overview of COM, creating ActiveX controls, using Visual Basic with Active Server Pages, and moreSpecial Edition Using Visual Basic 5, Second Edition builds on the success of the best selling first editionThis new edition incorporates changes based on feedback from the readers of previous editions of SE Using VB. Based on this feedback, Special Edition Using Visual Basic, Second Edition provides a smoother, easier way to learn and exploit Visual Basic 5.0Special Edition Using Visual Basic 5, Second Edition goes beyond most tutorials by providing expanded coverage of hot topics such as creating ActiveX controls, creating distributed applications, tapping into the Transaction Server, and more
Interactive Web Graphics with Shout3d
Authors: Bob Polevoi, Rob Polevol
Venue:  (2000)

:Interactive 3D content is emerging as a must-have for Web sites today. Shout3D uses Java technology to deliver Web 3D through an applet that is playable without a plug-in on nearly all browsers. Whether you're a Web developer producing 3D Web content, a 3D animator learning the basics of interactive graphics programming, or a Java programmer using Shout3D to program interactivity, this book will help you take your 3D graphics to Web users. From Shout3D fundamentals to understanding 3D scenes in VRML, Web 3D expert and instructor Rob Polevoi introduces you to the power of Shout3D. The 32-page color section illustrates the projects in the book and shows you the full effects of Shout3D Web graphics. The CD includes all the code used in the book, a full-strength demo version of the newest version of Shout3D, animations, plus programming and animation tools and plug-ins.
Philosophy and AI: Essays at the Interface
Authors: Robert Cummins, John Pollack
Venue:  (1991)

:Philosophers have found that the concepts and technology of artificial intelligence provide useful ways to test theories of knowledge and reason. Conversely, researchers in artificial intelligence, noting that the production of information-processing systems requires a prior theory of rationality, have begun writing philosophy. Philosophy and AI presents invited contributions that focus on the different perspectives and techniques that philosophy and AI bring to the theory of rationality.
Interacting with Virtual Environments
Authors: Lindsay W. MacDonald, John Vince
Venue:  (1993)

:Leading international developers of interaction and image display techniques offer indispensable insight into how the two are being synthesized in a mutually beneficial way. Emphasizes practical cutting-edge methods which can be readily used in a wide variety of applications, to wit: providing a graphical user interface for collaborative computer systems; creating image databases, visualization, animation and virtual reality systems and other simulations. Abundantly illustrated with drawings and color plates.
Pro/Engineer Solutions: Advanced Techniques and Workarounds, 1st edition
Authors: Bob Townsend, Gregory R. Schmidt
Venue:  (2000)

:Parametric Technology Corporation (PTC) - developer of Pro/ENGINEER - is one of the CAD/CAM/CAE industry's leading supplier of software tools used to automate the mechanical development of a product from conceptual design through production. Worldwide, more than 16,000 companies employ PTC's integrated software technologies to reduce time to market, improve engineering processes, and optimize product quality.
Exploring the Internet with NetScape Communicator 4.0, 1st edition
Authors: Robert T. Grauer, Gretchen Marx
Venue:  (1998)

:This book helps develop the necessary skill set to use the Internet effectively with Netscape Communicator. Concepts are presented in non-technical terms with step-by-step instructions and numerous screen captures so readers can understand and use Netscape quickly and easily. This book provides how and why hands-on experience in addition to the rationale behind what is being done.
Business @ the Speed of Thought: Succeeding in the Digital Economy
Authors: Bill Gates, Collins Hemingway
Venue:  (2000)

:The CEO and chairman of Microsoft shows how technology has become key factor in effectively operating businesses; discusses how the creation of a worldclass digital nervous system will provide constant learning and promote success; and provides indepth examples of companies that used technology to turn failure into victory.
Teach Yourself PL/SQL in 21 Days with Cdrom
Authors: Tom Luers, Jonathan Merrick, Timothy Atwood, Jonathan Gennick
Venue:  (1997)

:Teach Yourself PL/SQL is 21 Days is the ultimate hands-on guide that teaches you how to take full advantage of Oracle's powerful database systems, including Web-based J/SQL implementations. In addition, you will learn to streamline client/server communications and queries and use a variety of enhancements, such as triggers and packages, which make Oracle application development much smoother. Whether you are a beginning programmer or an accomplished Oracle user, Teach Yourself PL/SQL in 21 Days will help you establish yourself as an Oracle programmer, ready for advancement in this premium database market place. By walking you through each element of the PL/SQL language extension, this book helps you to understand the PL/SQL basics of using new and existing Oracle8 objects, as well as complex processing issues. This guide also teaches you to implement PL/SQL in a comprehensive, real-world system.
AXIS: The Next Generation of Java Soap, 1st edition
Authors: Romin Irani, S. Jeelani Basha
Venue:  (2002)

:SOAP is rapidly becoming the standard protocol used for communication in distributed applications and web services. All major vendors are currently investing heavily in supporting web services and integrating support for SOAP. One of the main problems with Apache SOAP 2.x is performance, the code was developed in an ad-hoc manner and performance and scalability weren't a top priority. AXIS implements SAX based parsing which is faster and requires less memory. The considerable enhancements should drive people to convert to AXIS from not only Apache SOAP, but other Java SOAP implementations as well.With SOAP (the specification, not a specific implementation) undergoing radical changes, the limitations of the Apache SOAP 2.x implementation were constraining the ability to keep up with the changes. Therefore, Apache decide that a total ground up re-architecture was needed and the name was change to emphasise the scale of the changes. Upgrading current applications to AXIS will require considerable changes so there will be a demand for information on this. AXIS will be the first major Java implementation to support the latest SOAP specification and the redesign should allow it be easily updated as things change.
Online Competitive Intelligence: Increase Your Profits Using Cyber-Intelligence
Authors: Helen P. Burwell
Venue:  (1999)

:Unique and readable, this guide reveals inside information on where to find and how to use the best commercial and Internet sources to achieve success in today's business environment. It emphasizes the use of this data to assess and develop corporate strategies that will beat the competition to the marketplace, build and retain market share, and maximize profits.
Selling Online for Dummies with Cdrom, 1st edition
Authors: Leslie Heeter Lundquist, Frank Catalano, Dummies Tech Press
Venue:  (1998)

:Take advantage of key electronic commerce tools available today with Selling Online For Dummies. Build a professional-quality and practical site that keeps customers coming back -- or get your existing site on track for success. Find out how to make it safe for your customers to purchase directly from your site. Online selling is here to stay, and this reference helps you make the most of it! Inside, find helpful advice on how to Decide whether your business would profit from selling online Choose an Internet service that's right for your business Select server hardware and software that fits your needs and budget Create exciting content that brings customers to your site over and over Configure your servers for optimal operation Use advertising to boost your revenue Accept digital payment without sacrificing security
The effect of target applications on the design of database machines
Authors: Paula Hawthorn
Venue: Proceedings of the 1981 ACM SIGMOD international conference on Management of data (1981)

Specialized, single function processors can be built to be faster and cheaper than general purpose processors. Most database machines use such special purpose processors to manipulate data, with a general purpose managing processor to control the special purpose processors and perform utility functions. In this paper, the organization and use of these data manipulation processors is explored. Database machines are classified into single data manipulation processor systems, multiple disk-associated data manipulation processor systems, and multiple cache-associated processor systems. Examples of actual database machines are given for each category.Application types are classified into business, bibliographic search, and statistical analysis systems. A metric is developed to compare the performance of the categories of database machines with respect to the application types. The metric is the effective instruction rate, which is comparable to the instruction rate (millions of instructions per second) for conventional computers. It is shown that the effective instruction rate is highly sensitive to the proportion of work performed in the database machine's data manipulation processors. Therefore, determining the work that must be performed in the machine's managing processor is found to be important to determining the performance of the machine.Database machine performance for each category of database machines is compared for each type of application. It is shown that single processor systems are best for business applications; that disk-based multiple processor systems are best for bibliographic search applications; and that hybrid systems are best for statistical analysis applications. Therefore, the design of the organization of data manipulation processors is shown to be application-dependent.
HTML Pocket Reference, 1st edition
Authors: Jennifer Niederst, Chuck Musciano
Venue:  (1999)

:The author of the best-selling Web Design in a Nutshell, Jennifer Niederst, delivers a concise guide to every HTML tag in this pocket reference. Each tag entry includes: Detailed information on the tag's attributes Browser support information, including Netscape Navigator, Microsoft Internet Explorer, Opera, and WebTV HTML 4.0 support information, including whether the tag is deprecated in the current spec In addition to tag-by-tag descriptions, the book also includes several useful charts, including: Character entities Decimal-to-hexadecimal conversions Color names Niederst also provides context for the tags, indicating which tags are grouped together and bare-bones examples of how standard Web page elements are constructed. This pocket reference is targeted at Web designers and Web authors and is likely to be the most dog-eared book on every Web professional's desk.
A Singular Perturbation Approach to a Recursive Deconvolution Problem
Authors: Fabio Fagnani, Luciano Pandolfi
Venue: SIAM Journal on Control and Optimization (2001)

Following the approach described by A. V. Kryazhimskii and Yu. S. Osipov, we present a recursive algorithm which can be applied to solve the deconvolution problem of linear finite dimensional input output systems. The method gives an on line approximation of the unknown input, based on approximate samples of the output. Key features of this approach are the introduction of an associated singularly perturbed system and the use of a quasi canonical form due to Morse.
Adobe Premier for MacIntosh: Classroom in a Book (with CD-ROM), 2nd edition
Authors: Adobe Systems Inc.
Venue:  (1994)

:Classroom in a Book: Adobe Premiere covers all the new and advanced features of Adobe Premiere 4.0 or greater. Each chapter has been rewritten for this Second Edition to optimize your understanding of the speed, power, and new special effects of Adobe Premiere 4. The enclosed CD disc contains professionally created movies and film clips that you will work with throughout the book. Classroom in a Book: Adobe Premiere for Macintosh supports Adobe Premiere version 4.0 or greater. Topics covered include: Assembling a movie Advanced editing features Creating a videotape Special effects Creating titles Capturing and compression Superimposed clips Dynamic Filters