ppxscal/embedding_network huggingface dataset:
A Robust and Efficient Linearization Scheme for Doubly Nonlinear and Degenerate Parabolic Problems Arising in Flow in Porous Media
Authors: Marián Slodicka
Venue: SIAM Journal on Scientific Computing (2001)

We study a nonlinear degenerate convection-diffusion model problem having an application in groundwater aquifer and petroleum reservoir simulation. The true solution typically possesses low regularity, and therefore special numerical techniques for its approximation are needed. We design a robust, efficient, and reliable linear relaxation approximation scheme. We prove the convergence of iterations at each time step in the $H^1(\Omega)$-norm. Finally, the convergence of the approximate solution in corresponding functional spaces to its exact counterpart for the parabolic problem is shown.
Spoken query processing for interactive information retrieval
Authors: Fabio Crestani
Venue: Data Knowledge Engineering (2002)

It has long been recognized that interactivity improves the effectiveness of Information Retrieval systems. Speech is the most natural and interactive medium of communication and recent progress in speech recognition is making it possible to build systems that interact with the user via speech. However, given the typical length of queries submitted to Information Retrieval systems, it is easy to imagine that the effects of word recognition errors in spoken queries must be severely destructive on the system's effectiveness. The experimental work reported in this paper shows that the use of classical Information Retrieval techniques for spoken query processing is robust to considerably high levels of word recognition errors, in particular for long queries. Moreover, in the case of short queries, both standard relevance feedback and pseudo relevance feedback can be effectively employed to improve the effectiveness of spoken query processing.
Visual Basic 6 for Dummies Deluxe Compiler Kit with Cdrom
Authors: Wallace Wang, Wally Wang
Venue:  (1999)

:From the fundamentals of writing code to the excitement of designing a user interface, this guide explains this popular language in easy-to-understand terms. A special edition of Visual Basic 6 is bundled with this product so techniques from the book can be tried out. The CD includes sample programs and code, demonstrations, and freeware tools.
Introductory Computer Mathematics, 2nd edition
Authors: Nigel P. Cook
Venue:  (2002)

:This easy-to-understand review of the essentials of mathematics for computer technologists presents basic theory and procedures in an intuitive manner, augmented by numerous step-by-step, worked-out examples and arrowed, second-color annotations. Features instruction on calculator key usage, numerous practical applications of the mathematics, and plenty of problems and self-test review questions for practice. Begins at the very beginning--with fractions and decimal numbers--and then establishes a solid foundation in algebra, trigonometry and logarithms. Then covers computer-related mathematics, including digital number systems and codes, logic gate functions, Boolean algebra an dbinary arithmetic. A quick study/review guide in mathematics for anyone interested in computer technology.
Managing Projects with Make, 2nd edition
Authors: Andrew Oram
Venue:  (1992)

:Make is one of UNIX's greatest contributions to software development, and this book is the clearest description of make ever written. It describes all the basic features of make and provides guidelines on meeting the needs of large, modern projects. Also contains a description of free products that contain major enhancements to make.
Galerkin Methods in Age and Space for a Population Model with Nonlinear Diffusion
Authors: Bruce P. Ayati, Todd F. Dupont
Venue: SIAM Journal on Numerical Analysis (2002)

We present Galerkin methods in both the age and space variables for an age-dependent population undergoing nonlinear diffusion. The methods presented are a generalization of methods, where the approximation space in age is the space of piecewise constant functions. In this paper, we allow the use of discontinuous piecewise polynomial subspaces of L2 as the approximation space in age. As in the piecewise constant case, we move the discretization along characteristic lines. The time variable has been left continuous. The methods are shown to be superconvergent in the age variable.
Mac OS X: The Complete Reference
Authors: Jesse Feiler
Venue:  (2001)

:"Take Apple's most stable, advanced, operating system to unprecedented heights with the help of this full-coverage resource. Learn how this completely new operating system leverages powerful, core technologies like Java and Unix, while building upon the famously friendly Macintosh interface. Take advantage of Mac's renowned networking capabilities, rock-solid system architecture, and best-in-class graphics support. From Darwin, the open source core of Mac OS X to Aqua, the elegant, surprisingly simple user interface, Mac OS X: The Complete Reference elucidates every facet of this stunningly smart operating system, guiding you to a rich, productive, and entertaining Mac OS X experience. Navigate effortlessly in Aqua--the fluid, fresh, state-of-the-art user interface Use the revolutionary Dock to organize and access everything from documents to applications to streaming video Save and exchange documents over networks using the Mac OS X pdf-based graphic architecture and file sharing Store, organize, and retrieve files more easily than ever through Aqua's completely reconfigured Finder Send and receive mail with the Mail application--plus create documents, databases, and presentations with AppleWorks Develop and deploy applications in Classic, Carbon, or Cocoa development environments Maximize your Internet experience with features like Sherlock, iTools, and support for a wide array of protocols Use AppleScript, Mac OS X services, and the command line to increase your productivity Implement even richer graphics with built-in support for portable and consistent visual effects, multimedia, and more Understand pre-emptive multitasking, symmetric multiprocessing, and protected memory for virtually crash-proof computing"
Computing the Sobolev Regularity of Refinable Functions by the Arnoldi Method
Authors: Amos Ron, Zuowei Shen, Kim-Chuan Toh
Venue: SIAM Journal on Matrix Analysis and Applications (2001)

The recent paper [Approx. Theory,(2000), pp. 185--225] provides a complete characterization of the L2-smoothness of a refinable function in terms of the spectrum of an associated operator. Based on this theory, we devise in this paper a numerically stable algorithm for calculating that smoothness parameter, employing the deflated Arnoldi method to this end. The algorithm is coded in Matlab, and details of the numerical implementation are discussed, together with some of the numerical experiments. The algorithm is designed to handle large masks, as well as masks of refinable functions with unstable shifts. This latter case is particularly important, in view of the recent developments in the area of wavelet frames.
Javascript: In an Instant, 1st edition
Authors: Michael Toot, Kelly Murdock
Venue:  (2001)

:"You really know how to get people addicted to learning! I'm a very satisfied Visual customer. Keep up the excellent work!" &mdash; Helen Lee (Calgary, Alberta, Canada)"I just purchased my third Visual book, and, once again, your product has surpassed my expectations. I sincerely appreciate your efforts. Keep up the wonderful work!" &mdash;Tracey Moore (Memphis, Tennessee)Read Less &mdash; Learn MoreAre you a visual learner who needs results &mdash; right away? Do you prefer to focus on the essentials &mdash; and skip the bells and whistles? If so, then this book is for you. Open it up and you'll find extra-large, step-by-step screen shots that show you how to tackle over 100 key JavaScript tasks, from creating rollover buttons and using the array object to formatting string variables and validating forms.FAST coverage of the essentials helps you get right to workFOCUSED two-page lessons cover a single taskVISUAL format shows you step-by-step how it's doneAuthor Biography: Michael S. Toot is an author and software program manager in the Seattle area. He is an MCSE and MCP+I and has been involved with Microsoft operating systems since 1992. He has written a book on Windows 2000 Server and enjoys learning new programs and operating systems, even those not from Microsoft. When not working or writing books, he is reading, sailing, writing movie reviews, fiction, and nonfiction, and conducting adventures in home renovation and repair on his ninety-three year old home.Kelly L. Murdock has written extensively on 3D graphics and Web technologies. His credits include the 3D Studio Max R3 Bible,Master HTML and XHTML Visually, JavaScript Blueprints, and 3D Graphics and VRML 2. He is also the creative force behind the children's education site at www.animabets.com.
Oracle PL/SQL Programming, 3rd edition
Authors: Steven Feuerstein, Bill Pribyl
Venue:  (2002)

:Oracle PL/SQL Programming is the first book devoted exclusively to the PL/SQL language, a rich procedural extension to the Oracle RDBMS and to SQL. You'll get the basics -- datatypes, control statements, exception handlers, records, and built-in functions. Beyond these basics, you'll learn the most advanced and powerful language constructs, including PL/SQL tables, cursor variables, and the wide array of built-in packages that extend PL/SQL. The book provides numerous, real-world examples and dozens of utilities you can put to use in your own applications. It also offers guidelines for an effective coding style, as well as the tips and techniques necessary to build modular, maintainable applications.
Note on "A Linear-Time Algorithm for Computing$K$-Terminal Reliability in a Series-Parallel Network"
Authors: A. Satyanarayana, R. K. Wood, L. Camarinopoulos, G. Pampoukis
Venue: SIAM Journal on Computing (1996)

In an original and very interesting paper (Satyanarayana and Wood [1]) concerning polygon-to-chain reductions in a stochastic network, a small inconsistency occurs in the proof of Theorem 1. In particular, this happens in cases where the whole set of {\bit K}-vertices lies in the remaining polygon. Such an example is the case of polygon type 5, where the appropriate note has been made by the authors for $|\hbox{\bit K}| = 2$. Analogous notes must also be made for polygon types 4, 6, and 7, when {\bit K}$ = 2$, 3, and 4, respectively. The correct transformations are given in Table 1 (note that dark vertices are {\bit K}-vertices).
Of maps and guidebooks: designing geographical technologies
Authors: Barry Brown, Mark Perry
Venue: ACM SIGGROUP Bulletin (2001)

The physical environment plays a large role in the design and use of technology. So called "context-aware" systems use ultrasound, GPS or cell-tracking, to work out their position and infer something of their context [9]. These systems offer the possibility of technology which responds better to the environments it is in [4], and also technologies which interact with the physical world in new ways [5]. Through these developments technology is increasingly taking on a geographical aspect, as it both disappears into the environment, and in turn make increasing use of that environment.Along with this work there is increasing interest in a more conceptual consideration of how we interact with the physical environment, and how we might think about the relationship of the environment to technology [11]. As HCI conceptualised the user, and CSCW, collaborative activity, with these new technologies there is a need to consider the physical environment and the role that geography could play in technology use and design. In this paper we discuss through these issues using the concepts of "space" and "place" from human geography. Our aim here is to inform design through developing a conceptual understanding of the geography of technology; something lacking in many discussions of context-awareness. If we are to design new technologies for the city, how is the city experienced and what form does in take? In particular how can we design technologies that take better account of the physical location of users, and their movements?
Computer Supported Social Networking For Augmenting Cooperation
Authors: H. Ogata, Y. Yano, N. Furugori, Q. Jin
Venue: Computer Supported Cooperative Work (2001)

The exploration of social networks is essential for finding capable cooperators who can help problem-solving and for augmenting cooperation between workers in an organization. This paper describes PeCo-Mediator-II to seek capable cooperators through a chain of personal connections (PeCo) in a networked organization. Moreover, this system helps to gather, explore, and visualize social networks in an organization. The experimental results show that the system facilitates users' encounters with cooperators and develops new helpful connections with the cooperators.
On the value of threshold signatures
Authors: Niklas Borselius, Chris J. Mitchell, Aaron Wilson
Venue: ACM SIGOPS Operating Systems Review (2002)

Threshold signature schemes are examples of threshold cryptosystems, as introduced by Desmedt, [4]. The purpose of this paper is to present a rather simple alternative to threshold signatures which raises questions about the value of such schemes, at least when applied to the mobile agent scenario.
ACM SIGACT news distributed computing column 2
Authors: Sergio Rajsbaum
Venue: ACM SIGACT News (2001)

The Distributed Computing Column covers the theory of systems that are composed of a number of interacting computing elements. These include problems of communication and networking, databases, distributed shared memory, multiprocessor architectures, operating systems, verification, internet, and the web.This issue consists of two guest contributions: A review of the DISC 2000 Conference by Lisa Higham, and a routing survey by Cyril Gavoille. This survey focuses on routing messages in distributed networks with efficient data structures. After an overview of the various results of the literature, some interestingly open problems are described. Many thanks to Lisa and Cyril!
PC Learning Labs Teaches WordPro 96 for Windows 3.1
Authors: Logical Operations, Pc Learning Labs, Susan L. Reber
Venue:  (1994)

:After years of perfecting innovative software teaching techniques for thousands of students in the classroom, PC Learning Labs presents a proven personal approach that makes learning Word Pro 96 Windows 3.1 a snap. PC Learning Labs believes the quickest way to learn is by doing and this combination book/disk tool helps you do just that. It delivers the same hands-on instruction that has helped thousands of beginning users just like you become truly confident and productive in Word Pro 96.
Computers for People, 2nd edition
Authors: Jack B. Rochester, Jon Rochester
Venue:  (1993)

:To be literate means to be knowledgeable or educated about something. Computer literacy is being knowledgeable about the computer and how it works in our daily lives. It also means being able to operate and use a computer, at least to perform basic tasks.
Kris Jamsa's Starting with Mp3 with Cdrom
Authors: Russell Shaw
Venue:  (2001)

:MP3 is sound and video through your PC. MP3 files have CD sound quality and are small enough to be easily transferred across the Internet. Kris Jamsa's Starting with MP3 will teach you how to harness the multimedia power of the Web to do fascinating, fun, and useful things. It will teach you where to get, how to install, and how to use the software your PC must have to play multimedia sound and video files. You will also learn the endless things you can do with MP3, like finding and playing music files with thousands of stations, watching television on the PC or watching the Internet on TV, and sending home-movies via e-mail! This book will also provide information on improving your own personal Web site with multimedia content. Kris Jamsa's Starting with MP3 is perfect for anyone who is interested in making their computer come alive with sound and video!
Legal Research: Historical Foundations of the Electronic Age
Authors: George S. Grossman
Venue:  (1994)

:Maintaining that the development of legal research tools has been a fundamental and integral part of the history of law, this anthology includes selections and notes on court reports, digests, legislative codes, administrative regulations, citators, treatises, law reviews and other sources. 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
The Yahoo! Ultimate Guide to Finance and Money on the Web: From Bonds to Bills, Mortgages to Mutual Funds, Credit to Car Loans
Authors: Julie M. Fenster
Venue:  (2000)

:From mutual funds to planning for retirement the Yahoo! Finance Book is the one-stop for readers to use the Web to master their personal financial lives. 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
SAT and ATPG: algorithms for Boolean decision problems
Authors: Wolfgang Kunz, João Marques-Silva, Sharad Malik
Venue: Logic Synthesis and Verification (2001)

The problems of Boolean satisfiability (SAT) and automatic test pattern generation (ATPG) are strongly related - both in terms of application areas (premanufacturing design validation and post-manufacturing testing), as well as in terms of techniques used in their practical solutions (searching large combinatorial spaces through efficient pruning). However, historically these domains have evolved somewhat independently with limited interaction. While ATPG has been primarily driven by reasoning based on circuit structure, SAT has forcussed on reasoning using conjunctive form (CNF) representations of Boolean formulas. In this chapter, we introduce these problems, describe key techniques used to solve them in practice, and highlight the common themes and differences between them.
On the Convergence of Pattern Search Algorithms
Authors: Virginia Torczon
Venue: SIAM Journal on Optimization (1997)

We introduce an abstract definition of pattern search methods for solving nonlinear unconstrained optimization problems. Our definition unifies an important collection of optimization methods that neither compute nor explicitly approximate derivatives. We exploit our characterization of pattern search methods to establish a global convergence theory that does not enforce a notion of sufficient decrease. Our analysis is possible because the iterates of a pattern search method lie on a scaled, translated integer lattice. This allows us to relax the classical requirements on the acceptance of the step, at the expense of stronger conditions on the form of the step, and still guarantee global convergence.
Learning WML & WMLScript
Authors: Martin Frost
Venue:  (2000)

:The next generation of mobile communicators is here, and deliveringcontent to them will mean programming in WML (Wireless Markup Language) and WMLScript, the languages of the Wireless Application Environment (WAE). The WAE allows information in almost all applications to be formatted for display on mobile devices, such as cell phones, and enables the user to interact with the information. Why learn yet another technology? According to some estimates, 75 percent of web document viewing by the year 2002 will be through non-desktop devices, many using wireless technologies. Clearly, the future is wireless. For web developers who want to get up to speed quickly in these languages, Learning WML & WMLScript maps out in detail the WAE and its two major components, WML and WMLScript. Fortunately, the WAE provides a World Wide Web-like model for writing applications, incorporating several key features of the Web to ease the transition for developers. Almost all wireless applications can be written with WML, which replaces HTML in the wireless environment, and WMLScript, which replaces JavaScript. With this book, web developers with some knowledge of programming and C, Java, or JavaScript syntax can easily master both languages. Chapter by chapter, Learning WML & WMLScript takes readers through the following WML topics: Decks, templates and cards User Interaction Variables and contexts Tasks, events, and timers Text and text formatting Images WMLScript topics include: Data types, conversions and variables Operators and expressions Statements Functions Standard libraries Learning WML & WMLScript is the resource of choice for application developers who want to upgrade their skills and their sites so they won't be left plugged in during the wireless revolution.
Retiming-based logic synthesis for low-power
Authors: Yu-Lung Hsu, Sying-Jyan Wang
Venue: Proceedings of the 2002 international symposium on Low power electronics and design (2002)

Power management has become a great concern in VLSI design in recent years. In this paper, we consider the logic level design technique for low power applications. We present a retiming-based optimization method, in which part of the circuit is selected and moved so that it produces logic signals one clock cycle before they are actually applied. If these values can solely determine the output logic level, then the other part of the circuit can be turned-off to save power. We explore acceptable retimed circuit structures, in which circuit function is not changed. An algorithm is proposed to select the optimal logic block to be retimed. We experiment the low-power circuit structure with some MCNC benchmark circuits, and results indicate an improvement over previous methods. Our method achieves a significant reduction in switching activity, and the reduction can be more than 70% in some case. The required area overhead is very small.
Short Order Macromedia Dreamweaver 3
Authors: Steven Moniz
Venue:  (2000)

:Short Order Dreamweaver 3 teaches you Dreamweaver in a step-by-step progression of the complete Web site creation process. Presented in a comprehensive yet streamlined format, examples based on real-life projects cover all phases of site development and management. In building a basic Web page, you'll learn how to specify text and paragraph properties and insert images, hypertext links, and URLs. You'll also learn to create tables, frames and forms, use cascading style sheets, and work with behaviors, timelines, and libraries. Then move on to managing your Web site with Dreamweaver, using plugins, windows, palettes and inspectors. Find out what's new in version 3, and gain access online resources. 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
Mutli-agents systems and applications
Authors: Jaime G. Carbonell, Jöorg Siekmann
Venue:  (2001)

This book presents selected tutorial lectures given at the summer school on Multi-Agent Systems and Their Applications held in Prague, Czech Republic, in July 2001 under the sponsorship of ECCAI and Agent Link. The 20 lectures by leading researchers in the field presented in the book give a competent state-of-the-art account of research and development in the field of multi-agent systems and advanced applications. The book offers parts on foundations of MAS; social behaviour, meta-reasoning, and learning; and applications.