ppxscal/embedding_network huggingface dataset:
The Big Playstation Book: Prima's Unauthorized Game Secrets
Authors: Prima Creative Services
Venue:  (1998)

:Over 100 more games are covered in this second edition of The Big PlayStation Book. Get the hottest tips and coolest tricks for Tomb Raider II, WCW Nitro, Breath of Fire III, and many more of your favorite games! 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
Tables, Charts and Graphs
Authors: Sue Etherington
Venue:  (2002)

:World renowned for its digital expertise, Dorling Kindersley shares its know-how in a series of user-friendly visual guides to all the computer skills you'll ever need. The Essential Computers series provides simple, visual references to all the computer skills you need, from word processing to the internet. Addressing the issues that thousands of new users face every day, the Essential Computers series helps them join the "Information Age." Each book in the series is geared toward solving a specific task by using the most up-to-date software available. Whether the issue is creating spreadsheets in Microsoft Excel or parental control of the internet, each lesson is taught in the simple, step-by-step style that DK made famous. The text is clearly illustrated with pictures pulled directly from computer screens, showing the reader what to expect at each stage.
Wireless XML Developer's Guide
Authors: Mikael Hillborg
Venue:  (2002)

:Develop powerful XML-based wireless applications using this professional resource. Packed with ready-to-use code that you can customize and plug into your own mobile apps,this advanced developer's guide is a must-have for building robust wireless Internet applications. Engineer Your Way to ExcellenceUse XML technologies to develop applications for the mobile Internet with this hands-on professional guide. You'll get full details on creating and optimizing multimedia applications for wireless devices,integrating databases,building Web interfaces and voice portals,and much more. This advanced resource also provides valuable coverage of VoiceXML,Multimedia Messaging,Mobile Commerce and personalization. Leverage the power of XML in your wireless applications with this essential developer's guide. Understand wireless networks and protocolsincluding i-mode Work with XML schemas,links,and namespaces effectively Utilize XML-related technologiesXHTML,SMIL,GML,WMLin your wireless applications Use XSLT to adapt content for XHTML Basic browsers Make Web sites i-mode compatible Add audio and speech recognition using VoiceXML Integrate text,graphics,and audio using SMIL Transfer Web content to handheld devices 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
A space-time conservation element and solution element method for solving the two- and three-dimensional unsteady euler equations using quadrilateral and hexahedral meshes
Authors: Zeng-Chan Zhang, S. T. John Yu, Sin-Chung Chang
Venue: Journal of Computational Physics (2002)

In this paper, we report a version of the space-time conservation element and solution element (CE/SE) method in which the 2D and 3D unsteady Euler equations are simulated using structured or unstructured quadrilateral and hexahedral meshes, respectively. In the present method, mesh values of flow variables and their spatial derivatives are treated as independent unknowns to be solved for. At each mesh point, the value of a flow variable is obtained by imposing a flux conservation condition. On the other hand, the spatial derivatives are evaluated using a finite-difference/weighted-average procedure. Note that the present extension retains many key advantages of the original CE/SE method which uses triangular and tetrahedral meshes, respectively, for its 2D and 3D applications. These advantages include efficient parallel computing, ease of implementing nonreflecting boundary conditions, high-fidelity resolution of shocks and waves, and a genuinely multidimensional formulation without the need to use a dimensional-splitting approach. In particular, because Riemann solvers-- the cornerstones of the Godunov-type upwind schemes--are not needed to capture shocks, the computational logic of the present method is considerably simpler. To demonstrate the capability of the present method, numerical results are presented for several benchmark problems including oblique shock reflection, supersonic flow over a wedge, and a 3D detonation flow.
Computer Animation and Simulation, 97: Proceedings of the Eurographics Workshop in Budapest, Hungary, September 2-3, 1997
Authors: D. Thalmann, W. Purgathofer, W. T. Hewitt, M. Van de Panne, W. Hansmann
Venue:  (1997)

:The contributions to this book address the problem of synthesizing the realistic movement and behavior of human-like characters, simulated animals, fluids, and other dynamic phenomena. The animation techniques are driven by the goals of efficiency, as required by real-time interactive animations, and quality, as demanded by animations used in feature films. This series of workshops provides a high-quality international forum for the exchange of new ideas related to the themes of character animation, simulation of dynamic natural phenomena, motion capture and analysis, physically-based modeling, behavioral animation, and visualization.
The Windows Enduser's Step-by-Step Guide to DOS and the Command Line in Windows 95/98
Authors: Carolyn Z. Gillay, Bette A. Peat
Venue:  (1999)

:This book explores how command syntax, parameters, parsing commands, and troubleshooting are handled better from the DOS command line interface than from Windows. This is a step-by-step approach leading users from a basic to a sophisticated use of the command line interface using the MS-DOS window in Windows 95/98.
Term-specific smoothing for the language modeling approach to information retrieval: the importance of a query term
Authors: Djoerd Hiemstra
Venue: Proceedings of the 25th annual international ACM SIGIR conference on Research and development in information retrieval (2002)

This paper follows a formal approach to information retrieval based on statistical language models. By introducing some simple reformulations of the basic language modeling approach we introduce the notion of importance of a query term. The importance of a query term is an unknown parameter that explicitly models which of the query terms are generated from the relevant documents (the important terms), and which are not (the unimportant terms). The new language modeling approach is shown to explain a number of practical facts of today's information retrieval systems that are not very well explained by the current state of information retrieval theory, including stop words, mandatory terms, coordination level ranking and retrieval using phrases.
Cyberbride: The Complete Online Guide to Planning Your Wedding
Authors: Denise Fields, Alan Fields
Venue:  (2000)

:The Internet offers brides and grooms great wedding deals, the ease of online gift registry, and expert wedding advice for free. Denise and Alan Fields, dubbed the "wedding watchdogs" after the phenomenal success of their Bridal Bargains, show even technical neophytes where to find it all. They've discovered how to surf the Net for discounts on wedding invitations, how to order wedding flowers online directly from growers, how to download free wedding planning software, and much more, rating and ranking the best sites along the way.
14 Day Wedding Planner with Internet Guide
Authors: Don Altman, Altman Sanda, Sanda Altman
Venue:  (1999)

:Whether you are a working woman or a busy couple with little available time, wedding planning can be a stressful, time-consuming process. But no longer... 14 Day Wedding Planner With Internet Guide is a complete planning tool and wedding calendar that brings all the diverse elements of your wedding together seamlessly, quickly, and creatively. An easy-to-use theme approach gives you the benefits of planning related tasks simultaneously. So, whether you have 14 months before the big, dayor only 4 monthsyou'll accomplish all you need to, without losing sight of your overall vision. If you have Internet access, 14 Day Wedding Planner With Internet Guide also lets you harness the money-saving, time-saving, and searching capabilities of the Internet's World Wide Web. Plus, This book includes: Budget tips and secrets offer savy ways to save on catering, cakes, invitations, up to 50% on designer gowns, and much more. Detailed Wedding Checklists are designed to help you map out a complete wedding strategy every strep of the way. Plan the memorable dream wedding you want, smoothly and easily, with the 14 Day Wedding Planner With Internet Guide.
Effects of alloying elements on cobalt silicide formation
Authors: C. Lavoie, C. Cabral,  Jr., F. M. d'Heurle, J. L. Jordan-Sweet, J. M. E. Harper
Venue: Journal of Electronic Materials (2002)

Alloying elements can substantially affect the formation of cobalt silicide. A comprehensive study of phase formation was performed on 23 Co alloys with alloying element concentrations ranging from 1 at.% up to 20 at.%. Using in-situ characterization techniques in which x-ray diffraction (XRD) and elastic-light scattering are monitored simultaneously, we follow the formation of the silicide phases and the associated variation in surface roughness in real time during rapid thermal annealing. For pure Co silicide, we detect the formation of all stable silicide phases (Co2Si, CoSi, and CoSi2) as well as abnormal grain growth in the Co film and thermal degradation of the silicide layer at high temperatures. The effect of the various additives on phase formation was determined. The roughness of the interface was also measured using grazing incidence x-ray reflectivity (GIXR). We show that by selecting an alloy with a specific composition, we can change the phase-formation temperatures and modify the final CoSi2 film texture and roughness.
Research issues in developing a platform for spatial-aware applications
Authors: Peter Coschurba, Uwe Kubach, Alexander Leonhardi
Venue: Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system (2000)

Applications that take into account the location or the context of their users are growing in importance. Examples for such applications are "Guide" [Davis et al. 1998], an interactive tourist guide developed at Lancaster University or Stick-e-Notes (University of Kent) [Brown 1995], a kind of virtual PostIt, that allows to annotate a context with an object (e.g. a notice). Context-aware applications are developed isolated from each other. No sharing of components or interaction between the different applications is possible. We propose an open platform for such applications. Such a platform would allow an easier implementation of such applications and allow a sharing of components. In the development of such a platform a number of issues from various research areas arise. In the interdisciplinary Nexus project we are currently developing such a platform.The remainder of this paper is structured as follows: The basic idea of the Nexus project will be discussed in the next section. Section 3 will introduce the proposed architecture of the Nexus platform. In the following section we will take a look at specific research topics. We finally conclude the paper in section 5.
UMTS Networks: Architecture, Mobility and Services
Authors: Heikki Kaaranen, Siamak Naghian, Lauri Laitinen, Ari Ahtiainen, Valtteri Niemi
Venue:  (2001)

:UMTS (Universal Mobile Telecommunication Services) systems are third-generation systems designed for multimedia communication. Traditionally mobile systems books have concentrated on the radio interface issues. Although the radio interface in any cellular system is extremely important it is only one part of a very large and sophisticated cellular system such as the third-generation system. UMTS Network provides a comprehensive introduction and reference to third-generation mobile systems, suitable for individuals at a variety of knowledge levels.
Troubleshooting Microsoft Excel Spreadsheets
Authors: Laurie Ann Ulrich
Venue:  (2000)

:Trouble with your Microsoft Excel spreadsheet? Confounded by error messages? With this handy Troubleshooting guide, its easy to pinpoint and solve your own software problems. Fast! Each section opens with a troubleshooting chart to help quickly diagnose the source of the problem. It offers clear, step-by-step solutions to try right away, plus a full chapter of things to do to stay out of trouble or learn a new trick. Continuous support via the Troubleshooting "Latest Solutions" Web site provides monthly updates on additional problem solving information. Books in the Troubleshooting series are colorful, superbly organized, and easy to read, giving even novice users the confidence to fix it themselves without calling tech support or wasting time on futile trial and error. Covering both Excel 97 and Excel 2000, this book shows how to troubleshoot worksheets, analyze data, share data over the Web, and more.
Dynamic Logic
Authors: David Harel, Jerzy Tiuryn, Dexter Kozen
Venue:  (2000)

:Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms. For example, Propositional Dynamic Logic (PDL) can be described as a blend of three complementary classical ingredients: propositional calculus, modal logic, and the algebra of regular events. In First-Order Dynamic Logic (DL), the propositional calculus is replaced by classical first-order predicate calculus. Dynamic Logic is a system of remarkable unity that is theoretically rich as well as of practical value. It can be used for formalizing correctness specifications and proving rigorously that those specifications are met by a particular program. Other uses include determining the equivalence of programs, comparing the expressive power of various programming constructs, and synthesizing programs from specifications. This book provides the first comprehensive introduction to Dynamic Logic. It is divided into three parts. The first part reviews the appropriate fundamental concepts of logic and computability theory and can stand alone as an introduction to these topics. The second part discusses PDL and its variants, and the third part discusses DL and its variants. Examples are provided throughout, and exercises and a short historical section are included at the end of each chapter.
Special Edition Using Microsoft FrontPage 2000: Special Edition, 1st edition
Authors: Neil Randall, Dennis Jones
Venue:  (1999)

:Special Edition Using Microsoft FrontPage 2000 is an all-in-one guide to designing, creating, and publishing on the World Wide Web and on intranets with the leading tool on the market. The book fully documents the product and its features, but it also gives you a solid foundation in the principles of planning and design. More advanced coverage shows you how to integrate Web sites with databases and add Dynamic HTML, XML, and Java applets to your Web sites.
A framework for research in database management for statistical analysis or a primer on statistical database management problems for computer scientists
Authors: Doug Bates, Haran Boral, David J. DeWitt
Venue: Proceedings of the 1982 ACM SIGMOD international conference on Management of data (1982)

This paper is intended to introduce those familiar with database management issues to the problems of managing large statistical databases. We begin with a characterization of statistical databases based on the structure and use of the data in the database. Several data management problems are then described. In particular, we discuss the problem of repetitive computations on large segments of the database during the lifetime of a statistical analysis. The organization of a data management system which avoids this problem by caching previously computed results and automatically maintaining their integrity is presented. We conclude with a list of problems that this organization raises and a discussion of related work.
Alternating-time temporal logic
Authors: Rajeev Alur, Thomas A. Henzinger, Orna Kupferman
Venue: Journal of the ACM (JACM) (2002)

Temporal logic comes in two varieties: linear-time temporal logic assumes implicit universal quantification over all paths that are generated by the execution of a system; branching-time temporal logic allows explicit existential and universal quantification over all paths. We introduce a third, more general variety of temporal logic: alternating-time temporal logic offers selective quantification over those paths that are possible outcomes of games, such as the game in which the system and the environment alternate moves. While linear-time and branching-time logics are natural specification languages for closed systems, alternating-time logics are natural specification languages for open systems. For example, by preceding the temporal operator "eventually" with a selective path quantifier, we can specify that in the game between the system and the environment, the system has a strategy to reach a certain state. The problems of receptiveness, realizability, and controllability can be formulated as model-checking problems for alternating-time formulas. Depending on whether or not we admit arbitrary nesting of selective path quantifiers and temporal operators, we obtain the two alternating-time temporal logics ATL and ATL&ast;.ATL and ATL&ast; are interpreted over concurrent game structures. Every state transition of a concurrent game structure results from a choice of moves, one for each player. The players represent individual components and the environment of an open system. Concurrent game structures can capture various forms of synchronous composition for open systems, and if augmented with fairness constraints, also asynchronous composition. Over structures without fairness constraints, the model-checking complexity of ATL is linear in the size of the game structure and length of the formula, and the symbolic model-checking algorithm for CTL extends with few modifications to ATL. Over structures with weak-fairness constraints, ATL model checking requires the solution of 1-pair Rabin games, and can be done in polynomial time. Over structures with strong-fairness constraints, ATL model checking requires the solution of games with Boolean combinations of B&uuml;chi conditions, and can be done in PSPACE. In the case of ATL&ast;, the model-checking problem is closely related to the synthesis problem for linear-time formulas, and requires doubly exponential time.
Teach Yourself the Internet
Authors: David A. Crowder, Swasy
Venue:  (1998)

:An information-packed resource for anyone who is new to the Internet or who wants to get a handle on what the Internet is and how they can utilize it. Step-by-step instructions guide readers through basic -- and increasingly advanced -- Internet tasks, including making an initial connection, taking part in chats, and finding information online.
Professional ADO 2.5 RDS Programming with ASP 3.0
Authors: John Papa, Matt Brown, Charles Crawford Caison
Venue:  (1999)

:Together, Microsoft's ADO data access technology and their dynamic Internet package Active Server Pages have become a powerful combo for delivering data-driven content across the Web. Existing ASP developer upgrading to ADO 2.5 and developers migrating to ASP who want to use the latest guide will benefit from this helpful text.
Mutation testing for the new century
Authors: W. Eric Wong
Venue: Kluwer International Series On Advances In Database Systems; Vol. 24 (2001)

Mutation Testing for the New Century brings together cutting edge research results in mutation testing from a wide range of researchers. This book provides answers to key questions related to mutation and raises questions yet to be answered. It is an excellent resource for researchers, practitioners, and students of software engineering.
Data structures for Boolean functions
Authors: Christoph Meinel, Christian Stangier
Venue: Computational Discrete Mathematics: advanced lectures (2001)

This article gives an outline of a lecture about ordered binary decision diagrams (OBDDs). Introduced in 1986, OBDDs nowadays are the state-of-the-art data structure for representation of Boolean functions in electronic design automation (EDA). An overview is given about the data structure, its properties, algorithmic behaviour, and the most important applications. Proofs and technical details have been omitted but can be found all in [28].
The First Week With My New PC: A Very Basic Guide for Mature Adults and Everyone Who Wants to "Get Connected"
Authors: Pamela R. Lessing
Venue:  (2000)

:This book was specifically written for the author's 85-year-old mother who is now a PC master. But it was also "field-tested" by adults of all ages. Within one month everyone was an "expert" -- sending and receiving e-mail, using the Internet (for checking the weather, following the stock market, and looking up topics such as "gastrointestinal"), writing and organizing correspondence, playing music and games, and enjoying the wonderful new world of the Web. Once you've mastered these few pages, you too will be entitled to post with pride the "Golden Mouse Award" (on page 200). And you'll "be connected" without fuss and frustration -- just simple step-by-step instructions, no jargon, no complications.
GSM Superphones: Technologies and Services
Authors: Richard Levine, Lawrence Harte
Venue:  (1998)

:GSM stands poised for a major thrust into the U.S. market - still an alphabet soup of competing (and too often incompatible) products. This detailed guide gives you the knowledge you need. With clear, readable text and a wealth of tantalizing examples and case studies, GSM Superphones makes GSM easy to understand, even if you don't have a technical degree. Light on the math and packed with lists of all major GSM component and network suppliers, a critical overview of technologies and services, and an essential scope-out of the movement of the marketplace, this book is a must-have for anyone in the telecommunications game.
Unified methodology for resolving power-performance tradeoffs at the microarchitectural and circuit levels
Authors: Victor Zyuban, Philip Strenski
Venue: Proceedings of the 2002 international symposium on Low power electronics and design (2002)

Evaluation of architectural tradeoffs is complicated by implications in the circuit domain which are typically not captured in the analysis but substantially affect the results. We propose a metric of hardware intensity (&eegr;), which is useful for evaluating issues that affect both circuits and architecture. Analyzing data for actual designs we show how to measure the introduced parameters and discuss variations between observed results and common theoretical assumptions. For a power-efficient design we derive relations for &eegr; and supply voltage V under progressively more general situations, and incorporate &eegr; into a prior art architectural energy-efficiency criterion. Then, a more general relation is derived for the optimal balance between the architectural complexity, hardware intensity and power supply. Modified forms for these relations are obtained in special cases where the supply voltage is constrained or when clock gating is disallowed.