ppxscal/embedding_network huggingface dataset:
Formulations and Numerical Methods of the Black Oil Model in Porous Media
Authors: Zhangxin Chen
Venue: SIAM Journal on Numerical Analysis (2000)

The black oil model for describing the hydrocarbon equilibrium in porous media is considered in this paper. Various formulations of the governing equations that describe this model, including phase, weighted fluid, global, and pseudoglobal pressure-saturation formulations with the total velocity and flux, are first constructed. These formulations are more suitable for their mathematical and numerical analysis. Finite element approximate procedures are then analyzed. These procedures are based on the use of mixed finite element methods for the pressure equations and Galerkin finite element methods for the saturation equations. Error estimates are stated first for the case where capillary diffusion coefficients are assumed to be uniformly positive. Then an error analysis is carried out in detail for a degenerate case where these coefficients can be zero.
Solving Complex-Valued Linear Systems via Equivalent Real Formulations
Authors: David Day, Michael A. Heroux
Venue: SIAM Journal on Scientific Computing (2001)

Most preconditioned iterative methods apply to both real- and complex-valued linear systems. At the same time, most iterative linear solver packages available today focus exclusively on real-valued systems or deal with complex-valued systems as an afterthought. By recasting the complex problem in a real formulation, a real-valued solver can be applied to the equivalent real system. On one hand, real formulations have been dismissed due to their unfavorable spectral properties. On the other hand, using an equivalent preconditioned real formulation can be very effective. We give theoretical and experimental evidence that an equivalent real formulation is useful in a number of practical situations. Furthermore, we show how to use the advanced features of modern solver packages to formulate equivalent real preconditioners that are computationally efficient and mathematically identical to their complex counterparts.The effectiveness of equivalent real formulations is demonstrated by solving ill-conditioned complex-valued linear systems for a variety of large scale applications. Moreover, the circumstances under which certain equivalent real formulations are competitive is more clearly delineated.
Memory Issues in Embedded Systems-on-Chip: Optimizations and Exploration
Authors: Preeti Ranjan Panda, Alexandru Nicolau, Nikil Dutt
Venue:  (1998)

:Memory Issues in Embedded Systems-on-Chip: Optimizations and Exploration covers techniques for optimization of system-level memory requirements, and exploration of candidate memory architectures for implementing processor-core-based embedded systems. It is designed for researchers and graduate students; for designers of embedded systems who are migrating from a traditional micro-controller centered, board-based design methodology to newer design methodologies using IP blocks for process of core-based embedded systems-on-chip; and for CAD tool developers who wish to expand their application base from a hardware synthesis target to embedded systems that combine significant amounts of software and hardware.
Web question answering: is more always better?
Authors: Susan Dumais, Michele Banko, Eric Brill, Jimmy Lin, Andrew Ng
Venue: Proceedings of the 25th annual international ACM SIGIR conference on Research and development in information retrieval (2002)

This paper describes a question answering system that is designed to capitalize on the tremendous amount of data that is now available online. Most question answering systems use a wide variety of linguistic resources. We focus instead on the redundancy available in large corpora as an important resource. We use this redundancy to simplify the query rewrites that we need to use, and to support answer mining from returned snippets. Our system performs quite well given the simplicity of the techniques being utilized. Experimental results show that question answering accuracy can be greatly improved by analyzing more and more matching passages. Simple passage ranking and n-gram extraction techniques work well in our system making it efficient to use with many backend retrieval engines.
Microsoft PowerPoint 2000 Complete Tutorial, 1st edition
Authors: William R. Pasewark,  Sr., Catherine Skintik
Venue:  (2000)

:This comprehensive text provides a complete solution for thoroughand Microsoft certifiedtraining on Microsoft PowerPoint 2000.
Modeling ontologies for robotic environments
Authors: Antonio Chella, Massimo Cossentino, Roberto Pirrone, Andrea Ruisi
Venue: Proceedings of the 14th international conference on Software engineering and knowledge engineering (2002)

On the basis of a multiple abstraction levels specification process, we developed a representational model for environmental robotic knowledge through the definition of a set of ontologies using a multi perspective approach. A general ontological model for typical indoor environments has been first developed, followed by its specialization using an implementation perspective. Actual software implementation of the ontology has been obtained via a XML-based markup language, used to build a repository for robotic environmental knowledge.
Heideffer, Authenticity, and Modernity
Authors: Mark Wrathall, Jeff Malpas
Venue:  (2000)

:For more than a quarter of a century, Hubert L. Dreyfus has been the leading voice in American philosophy for the continuing relevance of phenomenology, particularly as developed by Edmund Husserl, Martin Heidegger, and Maurice Merleau-Ponty. Dreyfus has influenced a generation of students and a wide range of colleagues, and these volumes are an excellent representation of the extent and depth of that influence. In keeping with Dreyfus's openness to others' ideas, many of the essays in this volume take the form of arguments with various of his positions. The essays focus on the dialogue with the continental philosophical tradition, in particular the work of Heidegger, that has played a foundational role in Dreyfus's thinking. The sections are Philosophy and Authenticity; Modernity, Self, and the World; and Heideggerian Encounters. The book concludes with Dreyfus's responses to the essays. Contributors: William D. Blattner, Taylor Carman, David R. Cerbone, Dagfinn F&oslash;llesdal, Charles Guignon, Michel Haar, Beatrice Han, Alastair Hannay, John Haugeland, Randall Havas, Jeff Malpas, Mark Okrent, Richard Rorty, Julian Young, Michael E. Zimmerman.
Managing Business with Electronic Commerce: Issues and Trends
Authors: Aryya Gangopadhyay
Venue:  (2001)

:Because the field of electronic commerce has continued to expand so significantly in recent years, it has become necessary for businesses and organizations to address ways to develop successful business applications that aid in its effective utilization. Managing Business with Electronic Commerce: Issues and Trends addresses this important need and is intended for a general audience with an interest in this innovative field.
Stiquito for Beginners: An Introduction to Robotics, 1st edition
Authors: James M. Conrad, Jonathan W. Mills
Venue:  (1999)

:This second book on Stiquito presents another unique opportunity to learn about the field of robotics by providing the skills and equipment to build a small robot and electronic controls for the robot. Stiquito is a small, inexpensive, six-legged robot unique in its nominal cost and limitless applications. Organized into three parts, introduction, assembly instructions, and summary/references, the book provides the perfect learning environment including a curriculum, experiments, and projects. Stiquito's use in education is further illustrated with lab exercises and discussions on the use of nitinol in classroom experiments. Since its initial release in 1997, Stiquito has successfully been included in primary, secondary, and high school curricula.Also available: An accompanying teacher's manual including additional experiments with science benchmarks and national standards associated with each chapter.
A 4-colour problem for dense triangle-free graphs
Authors: Stephan Brandt
Venue: Discrete Mathematics (2002)

Triangle-free graphs of order n with minimum degree exceeding n/3 satisfy strong structural properties in several respects. Nevertheless, it is not known whether those graphs can have arbitrarily large chromatic number. We conjecture that these graphs are 4-colourable and give an affirmative answer for regular maximal triangle-free graphs satisfying the degree bound. Moreover, we show that the vertex transitive members of this class are 3-colourable. The indicated problem has a fractional appeal and we present several related conjectures in fractional terms.
Writing Effective E-Mail
Authors: Nancy Flynn, Tom Flynn
Venue:  (1998)

:Finally a book on e-mail that works from page one to simplify and demystify this essential subject. You'll examine whether e-mail is the appropriate communication tool for every message. Then you'll work through the critical steps of creating e-mail that has the right tone, avoiding e-mail pitfalls, and polishing up cybergrammar skills. There are key sections on formatting, as well as managing your e-mail from messages to viruses.
Essential Windows 2000 System Administrator's Black Box
Authors: Stu Sjouwerman, Nathan Wallace, Barry Shilmover
Venue:  (2000)

:Essential Windows 2000 System Administrator's Black Box is three essential Windows 2000 problem-solving guides conveniently packaged together and includes: Windows 2000 System Administrator''s Black Book, Windows 2000 Security Little Black Book, and Windows 2000 Registry Little Black Book. Complete guidance on installing and configuring Windows 2000, working with registry, security, Active Directory, IntelliMirror, scripting, basic networking, and much more. Serve as troubleshooting guides and quick references with details for administering both workstations and servers.
The extension of APL to treelike data structures
Authors: Hans R. Haegi
Venue: ACM SIGAPL APL Quote Quad (1976)

The purpose of this paper is to ensure the existence of an axiom system which---contrary to [2]---leads to a uniform behaviour of all generalized arrays including basic scalars with respect to the function seal (enclose). The extension described hereafter takes up most of the ideas laid down in [1], but deviates from them in some respects while including additional tools and concepts such as---canonical tree representation of arrays---virtual indexing (indexing outside the index domain of an array)---a new concept for indexing including---virtual indexing---slice indexing, based on the outer product with respect to catenation---path indexing---an operator called composition operator (a generalization of reduction)---composition of operatorsFurthermore, the paper includes as a substantial part a simulation of a model of extended APL, as seen from an algebraic point of view. The model, intended as a working tool, was developed by the author at the Berufsf&ouml;rderungswerk in Heidelberg, Germany, and is contained in a workspace called HEIDELTREE.On the following pages I state the essential ideas in an informal way giving examples rather than definitions, but including the motivations for the reasoning whenever feasible in short terms.
Stabilizability of Systems of One-Dimensional Wave Equations by One Internal or Boundary Control Force
Authors: Farid Ammar Khodja, Ahmed Bader
Venue: SIAM Journal on Control and Optimization (2000)

We study the internal and boundary stabilizability of a system of wave equations by one control force. We prove that the "classical" internal damping applied to only one of the equations never gives exponential stability if the wave speeds are different and, if the wave speeds are the same, we give explicit necessary and sufficient conditions for the stability to occur. We also study the simultaneous boundary stabilization of the same system.
On some intriguing problems in hamiltonian graph theory: a survey
Authors: H. J. Broersma
Venue: Discrete Mathematics (2002)

We survey results and open problems in hamiltonian graph theory centered around three themes: regular graphs, t-tough graphs, and claw-free graphs.
Sams Teach Yourself Adobe Livemotion in 24 Hours, 1st edition
Authors: Molly E. Holzschlag
Venue:  (2000)

:Adobe LiveMotion is a brand-new graphics product that allows Web site designers to create fast-loading, vector-based animation while remaining in the familiar, integrated Adobe environment. It's Adobe's answer to both Macromedia Flash and Macromedia Fireworks. Sams Teach Yourself Adobe LiveMotion in 24 Hours was designed to serve as a Web designer's first introduction to LiveMotion, and to guide readers through the process of creating everything from simple animations to entire Web sites in LiveMotion. The book's author, Molly E. Holzschlag, has a unique perspective on LiveMotion. She has been watching the product's development since the earliest alpha stages, and with her extensive experience conducting her popular Web design and development training sessions, she knows exactly what kinds of techniques beginning users need to learn, and what types of questions they typically have about products like LiveMotion.
Process logic: preliminary report
Authors: V. R. Pratt
Venue: Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1979)

We discuss problems arising in reasoning about on-going processes, using the modal constructs after, throughout, during, and preserves. Earlier work established decidability of the theory whose language included only the first two of these, along with program connectives | , ; and *. Here we give a complete Gentzen-type axiomatizations for useful combinations of the other modalities. We also indicate how such Gentzen-type axiomatizations lead to deterministic exponential time upper bounds on the complexity of decision procedures for these languages. It remains an open problem how to completely axiomatize the combination of modalities during and preserves.
Experiences in automating the testing of SS7 signalling transfer points
Authors: Tim Moors, Malathi Veeraraghavan, Zhifeng Tao, Xuan Zheng, Ramesh Badri
Venue: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis (2002)

Signalling System 7 (SS7) is widely used for telephone signalling. Service providers need to frequently test their Signalling Transfer Points (STPs), which switch SS7 messages, for both protocol conformance and interoperability. This paper describes a system that automatically analyzes the data collected during STP tests. It consists of files that describe how the STPs are expected to behave during the test, and Perl code that translates this Expected Behavior into a program that can search the data collected during the test for the expected events, and report on whether the system passed the test. The system readily processed over 30,000 events for each test run, and identified abnormal behavior that could interfere with interoperability and protocol conformance.
Ultimate Fighting Championship
Authors: Prima Temp Authors, Tyrone Rodriguez, David Hunt
Venue:  (2000)

:Crush your competition with Ultimate Fighting Championship: Prima's Official Strategy Guide. When you step into the Octagon to battle the premier mixed martial arts fighters of the world, every move is fair. The guide gives you tactics and strategies to crush the competition, winning techniques, attacks, and combo moves, and a complete moves list for every fighter. You can perform the same signature moves as your favorite UFC fighter. Get the winning edge with Ultimate Fighting Championship: Prima's Official Strategy Guide.
Windows '95/98 Para Todos, 1st edition
Authors: Jamie Restrepo, Jaime A. Restrepo
Venue:  (1999)

:Written completely in Spanish for today's Spanish-speaking Windows users, Jaime Restrepo offers computer novices a thorough introduction to using Windows 95/98 "TM" . Clear screen illustrations and easy-to-follow text detail the changes from previous Windows programs, as well as the newest features of Windows 95/98 "TM", and how to use these features to get the results you want. Whether you use Windows for business, school work, or home computing, Jaime Restrepo will help you make the most of it.
MCSE Windows 2000 Professional Exam Prep: Exam 70-210 with Cdrom
Authors: Michael D. Stewart, Neall Alcott, James Bloomingdale
Venue:  (2000)

:Includes all curriculum objectives for the Microsoft Windows 2000 Professional exam (70-2. To give readers the skills they need to upgrade their certification to the Windows 2000 track. Offers a proven method for in-depth study, review, and real-life practice. Provides step-by step instructions on key topics for the successful implementation and integration of Windows 2000 Professional. Windows 2000 has many new features that must be learned by both the new user and users experienced with the prior Windows operating systems 3.51 and 4.0.
PhotoShop 6 Complete
Venue:  (2001)

:With over 1,000 pages for only $19.99, this book is an amazing value for anyone learning and using Photoshop 6.Web design professionals, graphic artists, desktop publishers, and photographers will learn how to navigate the most powerful graphics tool on the market. Covers the newest Photoshop features! 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
Public and Private Land Mobile Radio: Technologies, Services and Economics, 1st edition
Authors: Lawrence Harte, Robyn Shalhoub, Alan Shark
Venue:  (2000)

From the Book:PREFACE: Foreword Commercial Trunked Radio is currently in operation in over 61 countries worldwide, and it will continue to grow as more and more countries realize the enormous benefits to their economies. In some countries, we refer to trunked radio as Specialized Mobile Radio, Enhanced Specialized Mobile Radio, or Public Access Mobile Radio, just to name a few. Recognizing the many different terms for essentially the same basic service, be it analog or digital, IMTA prefers to use the term Commercial Trunked Radio. What characterizes this type of radio system apart from traditional LMR systems is not so much the technology but the nature of exclusive licenses that allow operators to operate as a carrier. Operators of private internal systems often have little incentives to upgrade equipment, maximize capacity, and develop larger coverage areas. On the contrary, commercial trunked radio operators have economic incentives to operate efficiently, expand coverage areas, and to offer an array of different services (voice data) and more. Today there are over 8,000,000 units in service worldwide. We use this particular measure for analysis since a typical customer may order and maintain eight radios on average. The overall growth of "units in service" is expected to increase very dramatically as we see more and more digital systems coming on line. We are extremely pleased to have been invited to help in the preparation of this worthy endeavor, and are pleased to be looked upon as a truly international association representing the Commercial Trunked Radio Industry worldwide. This book is truly a "must read" for anyoneconsideringentering this highly lucrative business.Alan R. SharkPresident CEO International Mobile Telecommunications AssociationWashington, D.C.
The Computers of Star Trek
Authors: Lois H. Gresh, Robert E. Weinberg
Venue:  (2001)

:The depiction of computers on the various "Star Trek" series has ranged from lame to breathtakingly imaginative. This book covers the gamut, and makes lucid and entertaining comparison of these fictional computers with those that now exist or are likely to inhabit our future. Throughout its history, "Star Trek" has been an accurate reflection of contemporary ideas about computers and their role in our lives. Affectionately but without illusions, The Computers of Star trek shows how those ideas compare with what we now know we can and will do with computers. About the Authors:As a computer specialist, Lois H. Gresh design tests for security loopholes, as well as designing and coding corporate websites and systems. As a fiction writer, Gresh is the author of dozens of suspense and science fiction stories. She lives in Rochester, New York.Robert Weinberg's fiction writing has been nominated for the Hugo, World Fantasy, and Balrog awards, and he is a two-time winner of the World Fantasy Award. He lives in Chicago, Illinois.
Maximizing Mechanical Desktop 6, 1st edition
Authors: Ron K. Cheng, Daniel T. Banach
Venue:  (2001)

:Gain a first-hand understanding of computer modeling concepts as you discover the secrets of using Mechanical Desktop 6 to construct 3D parametric solid parts, generate assemblies, produce 3D NURBS-based surface models, and output 2D engineering drawings!New from Autodesk Press, Maximizing Mechanical Desktop 6 is a "must" for mechanical engineers and engineering students alike. Unlike cookbook-style tutorials, this book propels readers to an understanding of computer-aided design theory while offering in-depth instruction in the whys and hows of using Mechanical Desktop to save time and enhance productivity. The first chapter begins with an overview of computer modeling concepts, explains how 3D objects are represented on computer, and introduces readers to the Mechanical Desktop 6 user interface (including use of the desktop browser). Using carefully engineered examples and exercises, subsequent chapters lead readers through the ins and outs of each of the four Mechanical Desktop modules: part modeling, assembly modeling, surface modeling, and engineering drafting. Instruction in converting AutoCAD solids to Mechanical Desktop solids, editing static base solid features by leveraging AutoCAD solid editing tools, and using the feature exchange add-on is also included to empower readers with the expertise needed to fully exploit the power of their software.