ppxscal/embedding_network huggingface dataset:
Sacrificing serializability to attain high availability of data in an unreliable network
Authors: Michael J. Fischer, Alan Michael
Venue: Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems (1982)

We present a simple algorithm for maintaining a replicated distributed dictionary which achieves high availability of data, rapid processing of atomic actions, efficient utilization of storage, and tolerance to node or network failures including lost or duplicated messages. It does not require transaction logs, synchronized clocks, or other complicated mechanisms for its operation. It achieves consistency contraints which are considerably weaker than serial consistency but nonetheless are adequate for many dictionary applications such as electronic appointment calendars and mail systems. The degree of consistency achieved depends on the particular history of operation of the system in a way that is intuitive and easily understood. The algorithm implements a "best effort" approximation to full serial consistency, relative to whatever internode communication has successfully taken place, so the semantics are fully specified even under partial failure of the system. Both the correctness of the algorithm and the utility of such weak semantics depend heavily on special properties of the dictionary operations.
Online Educator: A Guide to Creating Web-Based Courses
Authors: Marguarita McVay, Marguerita McVay Lynch
Venue:  (2002)

:Distance education is a hot topic in both universities and the K-12 arena. Individual schools, as well as education graduate programs, are thirsting for more information on the topic and are beginning to actively explore how to use the resources of the Internet to provide distance courses. Though many institutions have been involved in distance education for the past two decades (through correspondence or videos), they now find themselves desiring to take advantage of the Internet as a delivery mechanism. However, most institutions are ill-prepared to do so. Consequently, school administrators and faculty are looking for resources to help them move quickly into the Internet education market. This book provides faculty, trainers, and educational administrators a how to guide to developing online courses for delivery on the world wide web.
Netware 5 CNE: Update to Netware 5 Study Guide, 1st edition
Authors: Michael G. Moncur, John William Jenkins,  Jr.
Venue:  (1999)

:NetWare 5 CNE: Update to NetWare 5 Study Guide is the book you need to prepare for the NetWare 4.11 to NetWare 5 Update Test (50-638). Written by an expert team of NetWare 5 professionals, this book provides the quickest way to get ready to update your CNE credential for NetWare 5.
Visualising the probability distribution function of uncertain data: application to stochastic modelling of ground water solute transport
Authors: Alan E. McKinnon, Emma Raymond
Venue: Proceedings of the 2001 Asia-Pacific symposium on Information visualisation - Volume 9 (2001)

An overview of previous approaches to the visualisation of uncertainty is presented making the distinction between verity visualisation, where the uncertainty information is an integral part of information presentation and overloading where the information and its uncertainty are displayed separately. In either case the uncertainty information is usually represented as a standard error or confidence interval. We present some preliminary results from our attempts to visualise the probability distribution of uncertain data produced by colleagues who are developing a stochastic model of ground water solute dispersion.
Wireless Communications: TDMA Versus CDMA
Authors: Savo G. Glisic, Pentti A. Leppanen
Venue:  (1997)

:In Time Division Multiple Access (TDMA), within a given time frame a particular user is allowed to transmit within a given time slot. This technique is used in most of the second-generation digital mobile communication systems. In Europe the system is known as GSM, in USA as DAMPS and in Japan as MPT. In Code Division Multiple Access (CDMA) every user is using a distinct code so that it can occupy the same frequency bandwidth at the same time with other users and still can be separated on the basis of low correlation between the codes. These systems like IS-95 in the USA are also developed and standardized within the second generation of the mobile communication systems. CDMA systems within a cellular network can provide higher capacity and for this reason they become more and more attractive. At this moment it seems that both TDMA and CDMA remain viable candidates for application in future systems. Wireless Communications: TDMA versus CDMA provides enough information for correct understanding of the arguments in favour of one or other multiple access technique. The final decision about which of the two techniques should be employed will depend not only on technical arguments but also on the amount of new investments needed and compatibility with previous systems and their infrastructures. Wireless Communications: TDMA versus CDMA comprises a collection of specially written contributions from the most prominent specialists in wireless communications in the world today and presents the major, up to date, issues in this field. The material is grouped into four chapters: Communication theory, covering coding and modulation, Wireless communications,Antenna Propagation and Advanced Systems Technology. The book describes clearly the issues and presents the information in such a way that informed decisions about third generation wireless systems can be taken. It is essential reading for all researchers, engineers and managers working in the field of Wireless Communications.
Analysis of Numerical Errors in Large Eddy Simulation
Authors: V. John, W. J. Layton
Venue: SIAM Journal on Numerical Analysis (2002)

We consider the question of "numerical errors" in large eddy simulation. It is often claimed that straightforward discretization and solution using centered methods of models for large eddy motion can simulate the motion of turbulent flows with complexity independent of the Reynolds number and dependence only on the resolution ``$\delta$'' of the eddies sought. This report considers this question analytically: Is it possible to prove error estimates for discretizations of actually used large eddy models whose error constants depend only on $\delta$ but not Re? We consider the most common, simplest, and most mathematically tractable model and the most mathematically clear discretization. In two cases, we prove such an error estimate and try to explain why our technique of proof fails in the most general case. Our analysis aims to assume as little time regularity on the true solution as possible.
Customers.com: How to Create a Profitable Business Strategy for the Internet and Beyond
Authors: Patricia B. Seybold, Ronni T. Marshak
Venue:  (1998)

:Patricia Seybold has advised major companies not only on the technical requirements for a successful electronic commerce strategy, but also on the management, marketing, sales, and customer support systems necessary to create an infrastructure that seamlessly blends a company's e-commerce initiative with its overall business. It all starts with customers. For the past several years, Seybold has been working with electronic commerce pioneers who have made life easier for their customers by figuring out what they want and designing their Internet strategy accordingly. Seybold's guide is packed with insights on how both Fortune 500 giants and smaller companies have created e-commerce initiatives that place them well ahead of their competitors.
Using Subject Headings for Online Retrieval: Theory, Practice, and Potential
Authors: Karen Markey Drabenstott, Diane Vizine-Goetz
Venue:  (1994)

:Using Subject Headings for Online Retrieval is an indispensable tool for online system designers who are developing new systems or refining existing ones. The book describes subject analysis and subject searching in online catalogs, including the limitations of retrieval, and demonstrates how such limitations can be overcome through system design and programming. The book describes the Library of Congress Subject Headings system and system characteristics, shows how information is stored in machine-readable files, and offers examples of and recommendations for successful retrieval methods. Tables are included to support these recommendations, and diagrams, graphs, and bar charts are used to provide results of data analysis. Practitioners in institutions using or considering the installation of an online catalog will refer to this book often to generate specifications. Researchers in library systems, information retrieval, and user behavior will appreciate the book's detailing of the results of an extensive, empirical study of the subject terms entered into online systems by end users. Using Subject Headings for Online Retrieval also addresses the needs of advanced students in library schools and instructors in library automation, information retrieval, cataloging, indexing, and user behavior.
Essentials of NetScape, 1st edition
Authors: Robert T. Grauer, Gretchen Marx
Venue:  (1996)

:Written at a level that assumes no prior knowledge of the Internet or Netscape, this book serves as a beginner's guide to exploring the Internet. Featuring a step-by-step approach that is complimented by non-technical discussions of the concepts, users will find the book informative and easy to understand.
Teach Yourself Windows 2000 Professional Visually, 1st edition
Authors: Kelleigh Wing
Venue:  (2000)

:The bestselling 3-D Visual treatment is applied to this primer on Windows 2000 Professional, providing graphical demonstrations that helps users maximize productive use of this desktop interface of the corporate world.
Who's Afraid of Web Page Design? with Cdrom, 1st edition
Authors: Rebecca Tapley
Venue:  (1999)

:Who's Afraid of Web Page Design? is an introduction to the entire process of building a web site for people who know HTML but not graphics, multimedia, site planning, or other similar issues. The book takes you through the creation of three sample web sites from beginning to end, with discussions about all kinds of web sites for business and for personal use. Conversations between the author and the novice reader touch on simple questions, such as how to best use particular HTML tags, and more complicated points, such as when to redesign or how (or if) to use new web technologies. Features CD-ROM with shareware/freeware and HTML editors. Contains intermediate to advanced level HTML exercises, including the use of audio and video, graphics, and GIF animation. Illustrates topics with three sample web sites, covering most popular reasons why web sites are created. Explores both the fundamental work involved (writing HTML code, optimizing graphics, working with web colors) and the concepts behind good web page design (designing site functionality, thinking like a user, combining functionality with artistry).
A New QP-Free, Globally Convergent, Locally Superlinearly Convergent Algorithm For Inequality Constrained Optimization
Authors: Hou-Duo Qi, Liqun Qi
Venue: SIAM Journal on Optimization (2000)

In this paper, we propose a new QP-free method, which ensures the feasibility of all iterates, for inequality constrained optimization. The method is based on a nonsmooth equation reformulation of the KKT optimality condition, by using the Fischer--Burmeister nonlinear complementarity problem function. The study is strongly motivated by recent successful applications of this function to the complementarity problem and the variational inequality problem. The method we propose here enjoys some advantages over similar methods based on the equality part of the KKT optimality condition. For example, without assuming isolatedness of the accumulation point or boundedness of the Lagrangian multiplier approximation sequence, we show that every accumulation point of the iterative sequence generated by this method is a KKT point if the linear independence condition holds. And if the second-order sufficient condition and the strict complementarity condition hold, the method is superlinearly convergent. Some preliminary numerical results indicate that this new QP-free method is quite promising.
Information Assurance
Authors: Joseph George Boyce, Dan W. Jennings, Daniel F. Jennings
Venue:  (2001)

:-Experience-based theory provided in a logical and comprehensive manner-Management focused coverage includes establishing an IT security posture, implementing organizational awareness and training, and understanding the dynamics of new technologies -Numerous real-world examples provide a baseline for assessment and comparison Written by two INFOSEC experts, this book provides a systematic and practical approach for establishing, managing, and operating a comprehensive Information Assurance program. It is designed to provide ISSO managers, security managers, and INFOSEC professionals with an understanding of the essential issues required to develop and apply a targeted information security posture to both public and private corporations and government run agencies. There is a growing concern among all corporations and within the security industry to come up with new approaches to measure an organization's information security risks and posture. Information Assurance explains and defines the theories and processes that will help a company protect its proprietary information including: -The need to assess the current level of risk. -The need to determine what can impact the risk. -The need to determine how risk can be reduced.
The Complexity of Counting in Sparse, Regular, and Planar Graphs
Authors: Salil P. Vadhan
Venue: SIAM Journal on Computing (2002)

We show that a number of graph-theoretic counting problems remain ${\cal NP}$-hard, indeed $\#{\cal P}$-complete, in very restricted classes of graphs. In particular, we prove that the problems of counting matchings, vertex covers, independent sets, and extremal variants of these all remain hard when restricted to planar bipartite graphs of bounded degree or regular graphs of constant degree. We obtain corollaries about counting cliques in restricted classes of graphs and counting satisfying assignments to restricted classes of monotone 2-CNF formulae. To achieve these results, a new interpolation-based reduction technique which preserves properties such as constant degree is introduced.
Numerical Recipes in FORTRAN; The Art of Scientific Computing, 2nd edition
Authors: William H. Press, Saul A. Teukolsky, William T. Vetterling, Brian P. Flannery
Venue:  (1993)

:This is the revised and greatly expanded Second Edition of the hugely popular Numerical Recipes: The Art of Scientific Computing. The product of a unique collaboration among four leading scientists in academic research and industry, Numerical Recipes is a complete text and reference book on scientific computing. In a self-contained manner it proceeds from mathematical and theoretical considerations to actual practical computer routines. With over 100 new routines (now well over 300 in all), plus upgraded versions of many of the original routines, this book is more than ever the most practical, comprehensive handbook of scientific computing available today. The book retains the informal, easy-to-read style that made the first edition so popular, with many new topics presented at the same accessible level. In addition, some sections of more advanced material have been introduced, set off in small type from the main body of the text. Numerical Recipes is an ideal textbook for scientists and engineers and an indispensable reference for anyone who works in scientific computing. Highlights of the new material include a new chapter on integral equations and inverse methods; multigrid methods for solving partial differential equations; improved random number routines; wavelet transforms; the statistical bootstrap method; a new chapter on "less-numerical" algorithms including compression coding and arbitrary precision arithmetic; band diagonal linear systems; linear algebra on sparse matrices; Cholesky and QR decomposition; calculation of numerical derivatives; Pade approximants, and rational Chebyshev approximation; new special functions; Monte Carlo integration in high-dimensional spaces; globally convergent methods for sets of nonlinear equations; an expanded chapter on fast Fourier methods; spectral analysis on unevenly sampled data; Savitzky-Golay smoothing filters; and two-dimensional Kolmogorov-Smirnoff tests. All this is in addition to material on such basic top
True separate compilation of Java classes
Authors: D. Ancona, G. Lagorio, E. Zucca
Venue: Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming (2002)

We define a type system modeling true separate compilation for a small but significant Java subset, in the sense that a single class declaration can be intra-checked (following the Cardelli's terminology) and compiled providing a minimal set of type requirements on missing classes. These requirements are specified by a local type environment associated with each single class, while in the existing formal definitions of the Java type system classes are typed in a global type environment containing all the type information on a closed program. We also provide formal rules for static inter-checking and relate our approach with compilation of closed programs, by proving that we get the same results.
Official PowerBuilder 6 Fundamentals with Cdrom, 2nd edition
Authors: Steve Erlank, Craig Levin
Venue:  (1997)

:Official PowerBuilder&reg; 6 Fundamentals, Second Edition shows how to master the concepts of object-oriented, client/server development and shows the most efficient ways to use PowerBuilder 6 to develop and deploy GUI systems. Adopting an approach similar to Powersoft training courses, this book, officially endorsed by Powersoft, helps prepare readers sitting for the Powersoft Certification exams. Highlighting language techniques with standards for effective design, this step-by-step guide covers every aspect of creating robust, professional applications. The book also covers component programming in PowerBuilder 6, with a look at object-orientation, n-tier client/server systems, OLE, and DDE. Also featured are dozens of complex, but commonly used programming techniques rarely found in documentation or training courses. Contains a solid introduction to object oriented, GUI development environments with no programming experience necessary. Provides client/server fundamentals with guidelines for writing successful applications. Presents design standards for creating effective interfaces and databases. Includes Internet techniques for deploying applications globally, with an introduction to creating full-featured, Internet-enabled programs. Fully functional PowerBuilder 6 demo All the examples from the book Sample data for exercises Links to helpful Internet resources Powersoft reference materials, online guides and FAQs
Special Edition Using Macromedia Director 8 with Cdrom
Authors: Gary Rosenzweig
Venue:  (2000)

:Special Edition Using Macromedia Director 8 is a comprehensive guide to creating and publishing Director movies. This book provides in-depth explanation of the complex features of Director and Lingo, as well as power tips and techniques to maximize the features and tools. In this book you'll find complete coverage of Director 8, from advanced issues such as Lingo scripting and multi-user applications to the hot new features of the latest release. New feature coverage includes more efficient sprite editing with the context-sensitive Property Inspector, increased control of cast members (sorting by name, date, type, size) through the Cast Manager, vector drawing tools that add illustration capability, and special imaging effects and Transition Behaviors to add pizzazz and drama to applications.
Testing Computer Software, 2nd edition
Authors: Cem Kaner, Hung Q. Nguyen, Jack L. Falk
Venue:  (1993)

:This book will teach you how to test computer software under real-world conditions. The authors have all been test managers and software development managers at well-known Silicon Valley software companies. Successful consumer software companies have learned how to produce high-quality products under tight time and budget constraints. The book explains the testing side of that success.Who this book is for:*Testers and Test Managers*Project Managers-Understand the timeline, depth of investigation, and quality of communication to hold testers accountable for.*Programmers-Gain insight into the sources of errors in your code, understand what tests your work will have to pass, and why testers do the things they do.*Students-Train for an entry-level position in software development.What you will learn:*How to find important bugs quickly*How to describe software errors clearly*How to create a testing plan with a minimum of paperwork*How to design and use a bug-tracking system*Where testing fits in the product development process*How to test products that will be translated into other languages*How to test for compatibility with devices, such as printers*What laws apply to software qualityJACK FALK consults on software quality management and software engineering management. Jack is certified in Software Quality Engineering by the American Society of Quality. He is Vice Chair of the Santa Clara Valley Software Quality Association and an active participant in the Los Altos Workshops on Software Testing. HUNG Q. NGUYEN is Founder, President, and CEO of softGear technology. He has worked in the computer software and hardware industries, holding management positionsinengineering, quality assurance, testing, product development, and information technology, as well as making significant contributions as a tester and programmer. He is an ASQ-Certified Quality Engineer, and a senior member and San Francisco Section Certification Chairman of the American Society for Quality.
Is-Is: Deployment in IP Networks
Authors: Russ White, Alvaro Retana
Venue:  (2002)

From the Book:From the first inception of networked systems, networks have grown into large international systems that impact our daily lives in ways we can hardly begin to imagine. Just about every piece of information about any good or service, any financial transaction, and many other forms of communication, all pass through a network of some type. Each of these networks generally relies on one of four routing protocols to direct and guide these packets of information flowing from place to place: Open Shortest Path First (OSPF), Enhanced Interior Gateway Routing Protocol (EIGRP), the Border Gateway Protocol (BGP), and/or Intermediate System to Intermediate System (IS-IS).The goal of this book is to examine and describe the last of these protocols, IS-IS, a widely used protocol that hasn't been examined in the detail that other routing protocols have, in the context of routing for the Internet Protocol (TCP/IP) protocol suite. While IS-IS was originally designed to (and still does) provide routing information for the OSI suite of network protocols, most of the devices in use today use the IP protocols to communicate.If you are running IS-IS, are planning on running it, or are just a network engineer hoping to gain further understanding on the various concepts of routing and routing protocols, this book will help you. If you are protocol developer, this book will give you a sense of the IS-IS protocol, and how it is used.We begin, in Chapter 1, with an overview of the IS-IS protocol, including a short history, Dijkstra's Shortest Path First algorithm, and other fundamentals of the IS-IS routing system. The second chapter delves into protocol details, including packetformats and protocol mechanisms. Chapter 3 discusses designing an IS-IS routing domain, while Chapter 4 discusses other issues you may face when deploying a large-scale IS-IS network. Chapter 5 provides a very short look at the interaction between IS-IS and Multiprotocol Label Switching (MPLS). Each chapter includes review questions that may be suitable for use in a classroom environment; answers to the questions are provided in an appendix at the end of the book.