ppxscal/embedding_network huggingface dataset:
A Multigrid-Preconditioned Newton--Krylov Method for the Incompressible Navier--Stokes Equations
Authors: M. Pernice, M. D. Tocci
Venue: SIAM Journal on Scientific Computing (2001)

Globalized inexact Newton methods are well suited for solving large-scale systems of nonlinear equations. When combined with a Krylov iterative method, an explicit Jacobian is never needed, and the resulting matrix-free Newton--Krylov method greatly simplifies application of the method to complex problems. Despite asymptotically superlinear rates of convergence, the overall efficiency of a Newton--Krylov solver is determined by the preconditioner. High-quality preconditioners can be constructed from methods that incorporate problem-specific information, and for the incompressible Navier--Stokes equations, classical pressure-correction methods such as SIMPLE and SIMPLER fulfill this requirement. A preconditioner is constructed by using these pressure-correction methods as smoothers in a linear multigrid procedure. The effectiveness of the resulting Newton--Krylov-multigrid method is demonstrated on benchmark incompressible flow problems.
A micro-economic approach to conflict resolution in mobile computing
Authors: Licia Capra, Wolfgang Emmerich, Cecilia Mascolo
Venue: Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering (2002)

Mobile devices, such as mobile phones and personal digital assistants, have gained wide-spread popularity. These devices will increasingly be networked, thus enabling the construction of distributed mobile applications. These have to adapt to changes in context, such as variations in network bandwidth, exhaustion of battery power or reachability of services on other devices. We show how the construction of adaptive and context-aware mobile applications can be supported using a reflective middleware. The middleware provides software engineers with primitives to describe how context changes are handled using policies. These policies may conflict. In this paper, we classify the different types of conflicts that may arise in mobile computing. We argue that conflicts cannot be resolved statically at the time applications are designed, but, rather, need to be resolved at execution time. We demonstrate a method by which these policy conflicts can be treated. This method uses a micro-economic approach that relies on a particular type of sealed-bid auction.
Foundations of Semantic Databases
Authors: Bert De Brock
Venue:  (1995)

:Providing a comprehensive theory of data modelling, this book explains the important concepts and principles with real-life examples showing how to apply it directly in practical applications. Topics covered include: a wide variety of functional requirements and query specification capabilities; a formal treatment of the semantics of the data; static and dynamic constraints and business rules; operations on tables, databases, and database universes; data dictionaries and their semantics; and comparisons of incidental properties and structural properties throughout the book. The book is aimed at professional database users such as designers, administrators and programmers, as well as specialists involved in data processing.
Information and the Crisis Economy
Authors: Herbert I. Schiller
Venue:  (1984)

:In this provocative work, communications scholar Herbert Schiller contends that the current proliferation of informational activities and the increasingly sophisticated information technology they demand are largely the result of efforts to control the economic, political, and cultural strains produced by a general crisis of the world market system.
The UNLOCK system: enhancing problem solving skills in CS-1 students
Authors: T. Beaubouef, R. Lucas, J. Howatt
Venue: ACM SIGCSE Bulletin (2001)

Many colleges typically lose 50% of their CS1 students because they possess no fundamental problem solving skill. The development of an interactive learning tool, UNLOCK, teaches students those fundamental skills. This article describes UNLOCK. The goal is to increase CS1 retention, thereby increasing the numbers of CS graduates.
Precise typing of abstract data type specifications
Authors: Richard B. Kieburtz
Venue: Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1983)

There are two important notions of data types being used in programming languages today. In the concept called abstract data types, types are algebras; the semantics of programs is described in terms of operations in these algebras. Another notion of type found in most of the "typed" programming languages in actual use regards types as sets of objects; the elements of types are the objects manipulated by the operators of a programming language. I shall be careful to use "abstract data type" when I mean the algebraic notion, and "data type" or simply "type" to mean the set-based concept.This paper presents a formal theory of types as an approximation to the exact semantics of a language, following the lead of Milner [Mil78]. The semantics is based upon multi-sorted algebras [ADJ73, 76, 77, 78] and is applied to a language consisting of equational specifications that define an abstract data type. The principal results of the paper are to characterize a class of typings as uniform approximations to an exact semantics, to extend Milner's theory of types to include types formed by coproduct construction, and to explicate typing as an (approximate) semantics for an equational theory.In developing a formal theory of abstract data types as multi-sorted algebras, the word "sort" is used to designate names used to distinguish various sets of objects that may constitute the domains of operators. Sorts are thus analogous to data types in programming languages. However, the sort signatures given to operators of abstract data types do not themselves constitute a very richly descriptive language. Sort names can be formed into sequences, corresponding to product construction in an object domain, but the theory (multi-sorted &Sigma;-algebras) does not seem to allow alternation sequences of sorts, corresponding to coproduct construction in an object domain. If this were possible, then sort signatures could actually fulfill the role of data types. We shall see that alternation sequences in type signatures arise naturally as a consequence of the semantics given to an equational theory.
Redistribution of totals through hierarchical data: an application of Benkard's distributed round
Authors: Adrian Smith
Venue: Proceedings of the international conference on APL-Berlin-2000 conference (2000)

The early days of APL are full of examples of spreadsheet-style applications which allow the user to maintain aggregated values and quickly redistribute the changes across base data. Generally these use a simple pro-rata approach which always leads to rounding problems where the adjusted values no longer sum to the required total.The example discussed in this paper was developed for the Strategic Planning manager at Nestl&eacute;-Rowntree and a key requirement was to permit rebalancing of adjusted totals throughout an arbitrarily deep tree-structure. In this case a simple pro-rata leads to endless imbalances, and the trick is to use Benkard's distributed rounding which ensures that when changes to aggregates are redistributed, the detail always adds exactly to the required total.The concept is illustrated using the VideoSoft Flexgrid OCX control. The Flexgrid was used here because it has a very simple and powerful approach to managing gridded data where one of the dimensions has an outline structure.
Getting Started with Sap R/3: An Introductory Guide to R/3 Navigation and Use, 1st edition
Authors: Dennis Prince, Robert Lyfareff, Francie Prince, Gareth Debruyn
Venue:  (1998)

:This book introduces you to the intricate world of SAP R/3. By establishing a learning environment of ease and practicality, Getting Started with SAP R/3 effectively explains how to use SAP functions and, more important, when and why to use them. Through a direct, results-oriented approach, you will gain immediate understanding and confidence not provided by other "how-to" resources. With each lesson building upon the others, you are quickly able to use R/3 functionality in a meaningful and productive manner.
Reverse engineering under siege
Authors: Pamela Samuelson
Venue: Communications of the ACM (2002)

Is reverse engineering a lawful way to acquire trade secrets?
The Wiener--Askey Polynomial Chaos for Stochastic Differential Equations
Authors: Dongbin Xiu, George Em Karniadakis
Venue: SIAM Journal on Scientific Computing (2002)

We present a new method for solving stochastic differential equations based on Galerkin projections and extensions of Wiener's polynomial chaos. Specifically, we represent the stochastic processes with an optimum trial basis from the Askey family of orthogonal polynomials that reduces the dimensionality of the system and leads to exponential convergence of the error. Several continuous and discrete processes are treated, and numerical examples show substantial speed-up compared to Monte Carlo simulations for low dimensional stochastic inputs.
Sams Teach Yourself Lotus Notes 5 in 24 Hours, 1st edition
Authors: Jane Calabria, Dorothy Burke
Venue:  (1999)

:This hands-on guide teaches you how to utilize the full capabilities of Lotus Notes 5 in just 24 easy-to-follow lessons. Learn the newest and most useful features of Lotus Notes Release 5. Tightly focused on business-critical tasks, the authors teach you using real-world, task-based lessons. Take advantage of the pragmatic examples, hands-on techniques and comprehensive review questions to use this latest version of Notes to its fullest abilities. Learn to: Create and send email; Join discussion groups; Optimize mail features; Navigate the Web; Edit and Format Documents; Use Notes Remotely; Manage Calendar Entries and Tasks; Manage calendar and scheduling features; and Create a Journal. Written by a team of R5 Principally Certified Lotus Notes and Domino Professionals, peer reviewed, and supported by a Certified Series Editor, this book is part of a Series of R5 books offered by SAMS Publishing.
Sams Teach Yourself Adobe InDesign 1.5 in 24 Hours, 1st edition
Authors: Richard Romano, John San Filipo
Venue:  (2000)

:Sams Teach Yourself Adobe InDesign 1.5 in 24 Hours addresses each feature of Adobe's InDesign 1.5 in a proven tutorial method. The uniqueness of this book stems from the author's in-depth knowledge of the print industry. This book focuses on using InDesign in a professional environment rather than to produce simple documents at home or in a small office. Sams Teach Yourself InDesign in 24 Hours speaks to design professionals who need thorough expert tips, solid information on pre-press and PDF, and specialized advice on how to deploy InDesign in a PageMaker and/or Quark environment. Book will be day-and-date with a new point release of the product, expected in the first quarter of 2000 Focuses on the specific needs of the professional InDesign user, rather than dwelling on desktop publishing fundamentals
Mastering MATLAB 5: A Comprehensive Tutorial and Reference
Authors: Duane Hanselman, Bruce C. Littlefield
Venue:  (1997)

:B> This comprehensive book covers all aspects of MATLAB presented within an easy-to-follow "learn while doing" tutorial format. This book provides a complete reference to all MATLAB functions and graphics properties in one volume and provides numerous examples demonstrating the usefulness of MATLAB in solving real-world problems. It includes over 100 MATLAB M-files that illustrate the use of MATLAB in performing practical tasks and provides tools for Fourier series; interpolation; curve fitting; optimization; data analysis; graphical data analysis; array manipulation; plotting data; GUI construction; and GUI control of axes, line and surface properties. An essential reference for any scientific or technical professional who needs an in-depth understanding of the uses of MATLAB.
An experience in evaluating publish/subscribe services in a wireless network
Authors: Mauro Caporuscio, Antonio Carzaniga, Alexander Wolf
Venue: Proceedings of the 3rd international workshop on Software and performance (2002)

As wireless technology becomes more available, developers of distributed applications are becoming more interested in how that technology affects the performance of their systems. We have developed a distributed publish/subscribe communication service initially hosted on the standard IP-wired network infrastructure, but would now like to rehost that service onto a GPRS wireless network. This paper reports on our experience in attempting to evaluate the performance of the service using an available emulation environment. Our conclusion from our experience to date is that current tools do not model the wireless network at an appropriate level of abstraction. In particular, they do not allow us to study the integration of individual publish/subscribe service-layer elements with GPRS network-layer elements, nor do they allow us to study multiple GPRS clients interacting over the network. Instead we were limited to results related to the interaction between an individual GPRS client and the GPRS network modeled as a monolith.
Dictionary of Computer and Internet Terms, 7th edition
Authors: Douglas A. Downing, Michael A. Covington, Melody M. Covington
Venue:  (2000)

:Computer science and computer technology are constantly changing, and this handy dictionary has been expanded and updated once again to keep pace with newest developments. Updated to include expanded coverage of electronic publishing, the alphabetized entries define terms as familiar as DATABASE and INTERNET, and as esoteric as MANDELBROT SET. Tables and charts explain electronic circuit diagram symbols, the Quicksort algorithm in action, the way transistors operate, computer command codes, and just about everything else that relates to computers. The New York Times called this dictionary's previous edition "....a book that belongs on the desks of computer enthusiasts."
Javascript Unleashed with Cdrom, 3rd edition
Authors: R. Allen Wyke, Wagner
Venue:  (2000)

:JavaScript Unleashed, Third Edition serves as a reference to the JavaScript language for the high-end programmer as well as a guide for developing JavaScript applications from the ground up. The topics most important to the intermediate to advanced Javascript programmer are covered, including Web security, integrating JavaScript with Java, and forms and data validation. Other topics include creating special effects with JavaScript, controlling layers with JavaScript, DHTML and Cascading Style Sheets, and using lookup tables in JavaScript. Some of the new topics covered are Internet Explorer 5, Active Server Pages, Netscape Plug-in autoinstalls and applets digital signature verification, and content layering.
Recipe to lab management or the cookie cutter approach to building labs
Authors: John H. Wilson
Venue: Proceedings of the 30th annual ACM SIGUCCS conference on User services (2002)

The ingredients in establishing and maintaining computer labs include determining the purpose and function of the lab; hardware and software needs; and infrastructure support. This paper outlines an approach to provide a recipe in establishing and maintaining labs. This approach attempts to lessen the guesswork and allows the lab manager to make more precise determinations when allocating resources.I have been managing computer labs for several years at Oklahoma State University and have developed a cookie cutter approach to implementing and managing computer lab facilities. This approach has simplified the process by defining the key ingredients needed whether it's implementing a new facility or just upgrading an existing one.The three basic ingredients necessary to deliver satisfying results are budget, labor, and materials. Short-term and long-term costs and expenses for execution and continual maintenance of the facility characterize budget. Expenses are equipment rollover, training of the support team, consumables, software updates, etc.Labor is defined both internally and externally. The internal labor support needs to be formed without duplicating the external labor support. For example, there is no need to have a server manager on the internal support team if the current infrastructure already has one in place. By utilizing the already existing server management, costs for a duplicate server manager can be reduced.Last, materials for the facility are outlined both internally and externally. Materials needed internally include hardware, software, furnishings, and supplies. The external materials include network and servers. Again the purpose here is to eliminate any redundant service. For example, the LAN systems team manages the lab servers for us. I don't need to hire a server manager.
ICANN in Year 3
Authors: Alan Davidson, Peter G. Neumann, Susan Crawford, Karl Auerbach
Venue: Proceedings of the 12th annual conference on Computers, freedom and privacy (2002)

ICANN was created 3 years ago as a unique experiment in Internet self-governance. Could a private, non-government, global organization coordinate critical Internet naming and numbering functions in a legitimate way? Increasingly, critics complain that ICANN has not fulfilled it's promise. This panel debate will examine whether ICANN's vision of bottom-up global self-governance for the Internet is a myth or a reality.
TechTV's Upgrading Your PC
Authors: Mark Edward Soper, Patrick Norton
Venue:  (2001)

:This book covers the most cost-effective upgrades for a variety of systems: Covers the latest technologies: Windows 2000, Socket 370 and Socket A CPU's, Firewire, CD-RW, DVD-ROM, scanners, digital cameras, ISDN, cable and DSL modems, downloadable music players, and more. Covers easy upgrades (such as a new monitor or a printer), to complex upgrades (adding RAM, adding CD-RW, installing a home network) in an easy to follow, step-by-step, conversational way. Features Leo Laporte, the high-energy host of TechTV programs Call for Help and The ScreenSavers, live shows dedicated to providing help to call-in views with computer questions or problems. TechTV's Upgrading Your PC is a reference-based title written in an approachable first person point of view. This book teaches a reader how to upgrade his PC and peripherals to increase productivity on his PC without intimidating or offending him. Finally the reader learns how various software applications and operating systems upgrades can help him use or not use his PC more efficiently. TechTV is the only cable television channel covering technology news, information and entertainment from a consumer, industry and market perspective 24 hours a day. Offering everything from industry news to product review, updates on tech stocks to tech support, TechTV's original programming keeps the wired world informed and entertained. TechTV is one of the fastest growing cable networks, currently available in more than 23.5 million households and distributing content to 70 countries around the world. With over 700,000 unique visitors per month, techtv.com is a community destination that encourages viewer interaction through e-mail, live chat and video mail.
Internet Resource Guide for Nurses and Health Care Professionals, 2nd edition
Authors: Cynthia M. Mascara, Patricia Czar, Toni Hebda
Venue:  (2000)

:This concise, pocket-sized guide to the online healthcare environment provides background information about the Internet, its services and various types of Internet resources available for nursing and healthcare professionals and students. Updated with the most current resources, the book is designed to provide users with the knowledge and confidence needed to use the Internet for education, research, career and other purposes. Topics include an introduction to the Internet, services available, how to evaluate information and online learning and opportunities. For nursing and healthcare professionals.
ASP.NET Mobile Controls: Tutorial Guide: Adaptive Web Content for Mobile Devices, 1st edition
Authors: Matt Butler, Neil Raybould, Srinivasa Sivakumar, Matthew Gibbs
Venue:  (2001)

:The ASP.NET mobile controls give developers the tools they need to create sites and applications that are accessible from a variety of devices. They are contained in an optional add-in called the Microsoft Mobile Internet Toolkit, which can be installed on top of the .NET Framework. This toolkit contains the controls themselves, plus some additional functionality that can be utilized by Visual Studio .NET for producing mobile applications. This book is designed to cover three areas. The first section teaches the basic concepts of mobile development, and walks the reader through the basics of WAP, WML, and the concepts of devices with limitations in size, memory, screen, bandwidth, etc. The core section of the book goes on to teach ASP.NET developers how to create mobile controls to produce targeted output suitable for viewing on one of these devices. The next section then applies this to Visual Studio .NET, with chapters showing how to do this from within the Studio environment. The book finishes with a case study, collecting the concepts discussed throughout the book into a worked example. This book teaches the ASP.NET programmer all of the necessary concepts they need to understand to be able to competently create applications using these controls. About the Author: Technology is an artistic subcategory, application architecture - its sculpture, the hum of servers - its music, and code is its poetry. Just as there are both 'artists' and 'entertainers' in the 'arts', so, too, with technology. MAtt Butler is an artist, not an entertainer. Matt Gibbs is a software developer at Microsoft where he has been working on Internet technologies since 1997. Aftergraduating from various engineering degrees, Constantinos Hadjisotiriou has switched to working with databases, websites, and gadgets. He is now busy with porting a new image compression format to PocketPC, writing PL/SQL procedures, and taking on various web programming contracts. Neil Raybould is working as a software developer and technical writer with Crossoft Incorporated, Pennsylvania. He has given several presentations on ASP and ASP.NET related topics in the Pittsburgh area. Neil holds a BS (Virginia Tech), an MBA (Duquesne University), and MCSD and MCDBA certifications. Srinivasa Sivakumar is a software consultant, developer and writer. He specializes in Web and Mobile technologies using Microsoft solutions. He currently works at Chicago for TransTech, Inc. He also writes technical articles for ASPToday.com, CSharpToday.com, .NET Developer, etc.
MCSE Windows 2000 Core Four Exam Prep Pack
Authors: Ed Tittel, James Michael Stewart, Kurt Hudson
Venue:  (2000)

:The MCSE Windows 2000 Core-Four Exam Prep Pack includes: MCSE Windows 2000 Directory Services Exam Prep, MCSE Windows 2000 Network Exam Prep, MCSE Windows 2000 Professional Exam Prep, and MCSE Windows 2000 Server Exam Prep. Includes four CDs containing 8 practice tests. Features updated content 100% focused on the Core Four Exams, and revised practice tests. Each book includes two complete practice exams with questions designed to assess the reader's readiness to sit for the exam and answers and explanations that reinforce the reasoning behind the correct answers. The MCSE Windows 2000 Core-Four Exam Prep Pack includes: MCSE Windows 2000 Directory Services Exam Prep, MCSE Windows 2000 Network Exam Prep, MCSE Windows 2000 Professional Exam Prep, and MCSE Windows 2000 Server Exam Prep. Covers exams 70-217, 70-216, 70-210, 70-215