ppxscal/embedding_network huggingface dataset:
PhotoShop 7 for Dummies, 1st edition
Authors: Deke McClelland, Barbara Obermeier
Venue:  (2002)

:Includes coverage on Photoshop's main tools including: modifying images, retouching images, painting and drawing, creating type, adding special effects, creating vector art, CMYK editing, and preparing images for the Web.Photoshop guru Deke McClelland reveals his own techniques for quick and creative image editing, along with specific tips that Photoshop veterans can use to take advantage of the software's new features.Discover how to produce high quality scans, how to add background textures, bevels and text effects, and how to harness Photoshop's layering features, special effects filters and professional pre-press capabilities.Includes both Windows and Mac coverage.Author Biography: Deke McClelland (Boulder, CO) is the author of more than 60 books published in 20 different languages with over 3 million copies in print. Fifteen years ago, Deke oversaw the implementation of the first personal computer based production department in Boulder, Colorado. He later served as artistic director for one of the earliest all digital service bureaus in the United States. The winner of seven Computer Press Association Awards, Deke is also host of the video training series Total Photoshop and a contributing editor at Macworld and Photoshop User magazines.Barb Obermeier (Ventura, CA) is principal of Obermeier Design, a graphic design studio in California. She is co-author of Illustrator 10 For Dummies, Photoshop 6 For Dummies, and CorelDRAW 9 For Dummies. She has also contributed writing, technical editing or design and layout for many publications including, Look and Learn Photoshop 6, Look and Learn Dreamweaver 4, Photoshop 6 Visual Quick StartGuide and others. Barb also teaches computer graphics at UC Santa Barbara and Ventura College.
Mastering and Using Microsoft Word 2000: Beginning Course, 1st edition
Authors: H. Albert Napier, Philip J. Judd
Venue:  (1999)

:With a completion time of 75+ hours, this book features extensive step-by-step instructions combined with numerous screen illustrations to enable people to learn by doing. Solid end-of-chapter materials provide a strong reinforcement tool for learning. Case profiles show the reader the real world applications of the material they have covered while case projects emphasize the practical applications of the skills they have learned. Special sections with Internet, Caution, Notes and software TIPS provide helpful insights and enrichment information.
Elementary Definability and Completeness in General and Positive Modal Logic
Authors: Ernst Zimmermann
Venue: Journal of Logic, Language and Information (2002)

The paper generalises Goldblatt's completeness proof for Lemmon&ndash;Scott formulas to various modal propositional logics without classical negation and without ex falso, up to positive modal logic, where conjunction and disjunction, and where necessity and possibility are respectively independent. Further the paper proves definability theorems for Lemmon&ndash;Scott formulas, which hold even in modal propositional languages without negation and without falsum. Both, the completeness theorem and the definability theorem make use only of special constructions of relations, like relation products. No second order logic, no general frames are involved.
Accelerated Lotus Notes Application Development Study Guide, 1st edition
Authors: Libby Ingrassia Schwarz
Venue:  (1998)

:Introducing the only study guide to cover the Applications Development exams for both the Certified Lotus Professional (CLP) and the new Certified Lotus Specialist (CLS) certifications,written by a certified CLS/CLP instructor and popular consultant. Like all Accelerated guides,this one is portable,concise,and affordableperfect for busy Lotus Notes developers studying on the go. They'll appreciate the straightforward and thorough presentation,complete with hundreds of sample test questions that not only explain the correct answers but describe what in incorrect about the wrong ones.
Computer animation
Authors: Charles Csuri
Venue: ACM SIGGRAPH Computer Graphics (1975)

A comprehensive 3-D real-time computer animation system is based upon a broad range of research activities in the field of computer graphics. In many ways the requirements for such a system are more challenging and complex than for other graphics systems. This is particularly true if one builds a language and a system which is truly user oriented and which has viable production capabilities for researchers and film makers. Too often systems which are the result of a research experiment in hardware or software design do not go beyond a beautiful demonstration of potentialities. Such experimentation is essential to advance the state of knowledge but if computer animation is to become a new research and production instrument we must, in addition, provide more examples of useable systems.Although each of the following topics are aspects of a real-time animation environment deserving a detailed explanation, they will be dealt with in a way to introduce to the reader basic requirements and problems. The topics are:I. STATE OF THE ART SYSTEMS, AND LANGUAGES&bull; Used as references and as a basis of comparison.II. AN ANIMATION ENVIRONMENT&bull; Several systems and languages are being implemented to run under RSX-11/D on our PDP-11/45 computer.A. VISIBLE SURFACE SYSTEM&bull; Allan Myers' algorithm&bull; VILAN (VIsual LANguage)B. GRAPHICS SUPPORT SYSTEM&bull; Manfred Knemeyer's system for handling hardware devices, data structures, management of transformations and time, and memory management for the graphics buffer.C. ANIMA&bull; A new graphics programming language has been designed and is being implemented.D. DATA GENERATION SYSTEM&bull; Some approaches to problems are briefly discussed.III. DISPLAY HARDWARE AND GRAPHICS ALGORITHMS&bull; The problems presented by the order of transformations in an algorithm are briefly described.IV. HIGH PERFORMANCE GRAPHICS&bull; some speculations
Interactive Pushdown Automata Animation
Authors: Jennifer McDonald
Venue: ACM SIGCSE Bulletin (2002)

This paper will present the Interactive Pushdown Automata Animation for use in an Automata Theory class. It will present the features of the IPAA as well as the algorithm and data model used. Finally, this article will outline the necessary pieces of a good visual tool and show how they are implemented in the IPAA.
Grid adaptation for functional outputs: application to two-dimensional inviscid flows
Authors: David A. Venditti, David L. Darmofal
Venue: Journal of Computational Physics (2002)

This paper presents an error estimation and grid adaptive strategy for estimating and reducing simulation errors in integral outputs (functionals) of partial differential equations. Adaptive criteria are derived using an adjoint-based error correction technique that relates the local residual errors of both the primal and adjoint solutions to the global error in the prescribed functional. This relationship allows local error contributions to be used as indicators in a grid adaptive strategy designed to produce specially tuned grids for accurately estimating the chosen functional. In this paper, attention is limited to two-dimensional inviscid flows using a standard finite volume discretization, although the procedure may be readily applied to other types of multidimensional problems and discretizations. Numerical examples demonstrate that the proposed adaptive procedure compares favorably in terms of accuracy, efficiency, and robustness relative to a commonly used gradient-based adaptive method.
3-D live: real time interaction for mixed reality
Authors: Simon Prince, Adrian David Cheok, Farzam Farbiz, Todd Williamson, Nik Johnson, Mark Billinghurst, Hirokazu Kato
Venue: Proceedings of the 2002 ACM conference on Computer supported cooperative work (2002)

We describe a real-time 3-D augmented reality video- conferencing system. With this technology, an observer sees the real world from his viewpoint, but modified so that the image of a remote collaborator is rendered into the scene. We register the image of the collaborator with the world by estimating the 3-D transformation between the camera and a fiducial marker. We describe a novel shape- from-silhouette algorithm, which generates the appropriate view of the collaborator and the associated depth map at 30 fps. When this view is superimposed upon the real world, it gives the strong impression that the collaborator is a real part of the scene. We also demonstrate interaction in virtual environments with a "live" fully 3-D collaborator. Finally, we consider interaction between users in the real world and collaborators in a virtual space, using a "tangible" AR interface.
Disconnected 2-factors in planar cubic bridgeless graphs
Authors: Ajit A. Diwan
Venue: Journal of Combinatorial Theory Series B (2002)

We prove that every planar cubic bridgeless graph with at least six vertices has a disconnected 2-factor, that is a 2-factor which is not a Hamilton cycle. This is in contrast to the fact that there exist arbitrarily large cubic bridgeless graphs in which every 2-factor is a Hamilton cycle.
Virtual Geographies: Bodies, Space, and Relations
Authors: Mike Crang, Jon May, Phil Crang
Venue:  (1999)

:Virtual Geographies explores how new communication technologies are being used to produce new geographies and new types of space. Leading contributors from a wide range of disciplines including geography, sociology, philosophy and literature investigate howvisions of cyberspace have been constructed and offer a critical assessment of the status of virtual environments and geographies. Leading contributors set recent technological developments in both a historical and geographical perspective to offer a clearer view of the prospect ahead. probably find the book of interest . . . if they are interested in technology, communication, or popular culture (The Annals of the AAG - 04/00)
Broadband Access Technologies
Authors: Albert A. Azzam, Niel Ransom
Venue:  (1999)

:A service provider's survival guide to choosing the most suitable interactive voice and data services for their customer base Covers all the pros and cons of ADSL,APON,Wirless,and Cable Modems Compares and contrasts cost and performance issues Meet the need for data speed with the right technology. Demand for high-speed data transmission couldn't be more intense,with an exponentially growing curve of Internet users wearying of the "World Wide Wait" and dreaming of downloaded movies,music,multimedia,and more. For data,telecommunications,and Internet connectivity providers,the future looks bright-unless you choose the wrong access technology. This guide helps you make the right choice for your customer base among DSL,cable modem,fiber,and wireless. It gives you up-to-date information on these top competing technologies and can take the nail biting out of a make-or-break business decision. Written by Albert Azzam,a 27-year telecommunications veteran,ADSL expert,and contributor to the high-speed cable modem standard; and by Niel Ransom,also a telecom veteran and a communications specialist with Alcatel,Broadband Access Technologies gives you the data you need to: draw clear distinctions among the top competing access technologies; rate the advantages and disadvantages of each technology using up-to-date information; assess the impact of new network services and advanced applications; contrast the outlook in the United States and Europe; compare broadband network vendors; discover alternative technologies,including power-line transmissions; select the right access technology for your customer demographics. For telecommunications,data,and internet service providers,cable TVoperators,managers and technicians-as well as investors-this is the book that makes sense of broadband access.
Using motion planning to map protein folding landscapes and analyze folding kinetics of known native structures
Authors: Nancy M. Amato, Ken A. Dill, Guang Song
Venue: Proceedings of the sixth annual international conference on Computational biology (2002)

We present a novel approach for studying the kinetics of protein folding. The framework has evolved from robotics motion planning techniques called probabilistic roadmap methods (prms) that have been applied in many diverse fields with great success. In our previous work, we used a Prm-based technique to study protein folding pathways of several small proteins and obtained encouraging results. In this paper, we describe how our motion planning framework can be used to study protein folding kinetics. In particular, we present a refined version of our Prm-based framework and describe how it can be used to produce potential energy landscapes, free energy landscapes, and many folding pathways all from a single roadmap which is computed in a few hours on a desktop PC. Results are presented for 14 proteins. Our ability to produce large sets of unrelated folding pathways may potentially provide crucial insight into some aspects of folding kinetics, such as proteins that exhibit both two-state and three-state kinetics, that are not captured by other theoretical techniques.
Oracle: The Complete Reference, 3rd edition
Authors: George B. Koch, Kevin Loney
Venue:  (1995)

:If you have been searching for a single comprehensive reference source about Oracle, look no further! Oracle: The Complete Reference, Third Edition has been revised and updated to include the most up-to-date and comprehensive information about Oracle 7.x. Oracle experts George Koch and Kevin Loney have defined and explained all the capabilities and complexities of Oracle in easy-to-understand English. This book contains a huge alphabetical reference of virtually all Oracle commands, functions, syntax, key words, concepts, and products.
Wired Style: Principles of English Usage in the Digital Age
Authors: Constance Hale, Hale Scanlon, Jessie Scanlon
Venue:  (1999)

:Wired magazine's top editors have weighed thousands of new terms, phrases, idioms, and usages of the language since the advent of the global village. Elements of Style is no longer sufficient as a guide to English usage--Wired America needs Wired Style.
Repeating and Remembering Foreign Language Words: Implications for Language Teaching Systems
Authors: Chris Davis, Jessun Kim
Venue: Artificial Intelligence Review (2001)

The current experiment examined the proposal that visible speech can help with a difficult signal such as listening to a foreign language. This work extends earlier work by examining whether presenting the face of the speaker improves the accuracy of repetitions of short phrases of a language participants had not heard before (Korean) as well as examining whether this manipulation facilitates performance on a subsequent old/new recognition task. The results showed that both repetition accuracy and the subsequent memory of foreign language phrases were improved by showing the speaker's face. The implication of this finding is that foreign language learning will benefit by using a presentation method that includes the visible speech of the speaker. Ways that this might be reasonably achieved using a computer interface are discussed.
Wwf Raw Is War: Prima's Official Strategy Guide
Authors: Prima Publishing, David Cassady
Venue:  (2002)

:WWF RAW Is War and Prima's Official Strategy Guide promises to once again be the ultimate tag-team combination for video gamers and wrestling fans alike! The guide will feature complete moves for all Superstars (including stats and bios), coverage of all gameplay modes, tips for creating your own powerhouse Superstars, and tactics to demolish your opponents!
The Unofficial Guide to PCs
Authors: Dan Butler, Lee Hudspeth, T. J. Lee
Venue:  (1999)

:"The Unofficial Guide to PCs" delivers critical, unbiased information about the PC. Maximize productivity and utilize your PC more efficiently with the inside facts and tips about how to use and set up the PC. The guide is objective and frank about how to get the most out of one's PC investment.
Efficient instrumentation for code coverage testing
Authors: Mustafa M. Tikir, Jeffrey K. Hollingsworth
Venue: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis (2002)

Evaluation of Code Coverage is the problem of identifying the parts of a program that did not execute in one or more runs of a program. The traditional approach for code coverage tools is to use static code instrumentation. In this paper we present a new approach to dynamically insert and remove instrumentation code to reduce the runtime overhead of code coverage. We also explore the use of dominator tree information to reduce the number of instrumentation points needed. Our experiments show that our approach reduces runtime overhead by 38-90% compared with purecov, a commercial code coverage tool. Our tool is fully automated and available for download from the Internet.
Distributed and structured analysis approaches to study large and complex systems
Authors: Gianfranco Ciardo
Venue: Lectures on formal methods and performance analysis: first EEF/Euro summer school on trends in computer science (2002)

Both the logic and the stochastic analysis of discrete-state systems are hindered by the combinatorial growth of the state space underlying a high-level model. In this work, we consider two orthogonal approaches to cope with this "state-space explosion". Distributed algorithms that make use of the processors and memory overall available on a network of N workstations can manage models with state spaces approximately N times larger than what is possible on a single workstation. A second approach, constituting a fundamental paradigm shift, is instead based on decision diagrams and related implicit data structures that efficiently encode the state space or the transition rate matrix of a model, provided that it has some structure to guide its decomposition; with these implicit methods, enormous sets can be managed efficiently, but the numerical solution of the stochastic model, if desired, is still a bottleneck, as it requires vectors of the size of the state space.
Claris Home Page 3 for Windows and Macintosh: Visual QuickStart Guide (with CD-ROM), 1st edition
Authors: Richard F. Fenno
Venue:  (1997)

:Takes an easy, visual approach to teaching Claris Home Page, where pictures guide you through the software and show you what to do; works like a reference book - you look up what you need and then get straight to work; no long-winded passages - concise, straightforward commentary explains what you need to know; and companion Web site includes working examples, supplemental references, and more.
Frobenius partitions and the combinatorics of Ramanujan's 1 &#x03C6; 1 summation
Authors: Sylvie Corteel, Jeremy Lovejoy
Venue: Journal of Combinatorial Theory Series A (2002)

We examine the combinatorial significance of Ramanujan's famous summation. In particular, we prove bijectively a partition theoretic identity which implies the summation formula.
Modeling the beliefs of other agents
Authors: Richmond H. Thomason
Venue: Logic-based artificial intelligence (2000)

This paper develops a formalism combining elements of epistemic and nonmonotonic logic, which is applied to the general topic of modeling the attitudes of other agents, and in particular to the problem of achieving mutuality.
Managing with Information Technology
Authors: Richard Ennals
Venue:  (1994)

:During the last two decades, computers have become routine tools in business, education and industry. Computing and the use of computers is no longer exclusively the province of the specialist. A new generation of "professional" users has emerged, the "hybrid managers" who have to combine a knowledge of new technology with an understanding of the management of the area in which it is being used. Managing with Information Technology offers a unique approach to this important and developing area, bridging the conventional divides between computing technology and private, public and voluntary sector management. By providing business managers (and management students) with insights into the way I.T. is applied in different sectors, the book suggests directions for the efficient and cost-effective application of I.T.
Corel Linux for Dummies with Cdrom, 1st edition
Authors: Stephen E. Harris
Venue:  (2000)

:With a complete distribution of Corel Linux included on CD-ROM. This terrific book-and-software combo give readers everything they need to harness the open source power of Linux - and make the most of the user-friendly Corel environment. Readers get easy-to-follow tips on installation, the new Corel file management system, and more - even WordPerfect 8 on the CD-ROM! 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
Set up Your Home Office in a Weekend
Authors: Faithe Wempen
Venue:  (2000)

:The number of people working from home, whether on a part or full time basis, has grown to nearly 50 million. There are many design books that take a decorative point of view for creating a home office, but there has yet to be a complete reference for home office users that covers topics from furniture selection to phone and fax lines. Set Up Your Home Office In a Weekend takes the complete approach to creating a home office by discussing everything from space needs to financial planning to software selection. Home office users will find coverage of such hot topics as setting up office space, selecting computer equipment, connecting to the world, and keeping track of the finances and records. Both the self-employed and small business owners will benefit from the information and resources found in this comprehensive reference.
Model checking Java programs using structural heuristics
Authors: Alex Groce, Willem Visser
Venue: ACM SIGSOFT Software Engineering Notes (2002)

We describe work in troducing heuristic search into the Java PathFinder model checker, which targets Java bytecode. Rather than focusing on heuristics aimed at a particular kind of error (such as deadlocks) we describe heuristics based on a modification of traditional branch coverage metrics and other structure measures, such as thread inter-dependency. We present experimental results showing the utility of these heuristics, and argue for the usefulness of structural heuristics as a class.
Professional Java Server Programming J2EE 1.3 Edition, 2nd edition
Authors: Wrox Author Team, John Davies, Tyler Jewell, Rod Johnson, Cedric Buest, Longshaw
Venue:  (2001)

:The release of the 1.3 version of the Java 2 Platform, Enterprise Edition (J2EE) represents the evolution of Sun Microsystems' server-side development platform into a more mature and sophisticated specification. Servlets 2.3 gain events and filtering; JavaServer Pages (JSP) 1.2 gain a new XML syntax and enhancements to the custom tag mechanisms; and Enterprise JavaBeans (EJB) 2.0 has some significant changes to its container-managed persistence model, as well as support for asynchronous processing with the new message-driven beans. This book demonstrates how to design and construct secure and scalable n-tier J2EE applications, using JSP and servlets for the web tier and EJBs for the business logic. It also covers J2EE Connector Architecture that allows you to easily integrate your J2EE applications to enterprise information systems. This book covers: The J2EE container architecture and runtime services Web component development with Servlets 2.3 and JavaServer Pages 1.2 Business logic components with EJB 2.0, including container-managed persistence, EJB QL, and message-driven beans Underlying J2EE technologies for distributed development - RMI, JDBC and JNDI Introduction to Web Services covering SOAP, SwA, WSDL, and UDDI
Improving software inspections with group process support
Authors: Craig K. Tyran, Joey F. George
Venue: Communications of the ACM (2002)

The 'group process' governing any group interaction also influences a group's inspection performance.