ppxscal/embedding_network huggingface dataset:
KPT 3 for Windows (Visual QuickStart Guide)
Authors: Sandee Cohen, Sandy Cohen
Venue:  (1997)

:Kai's Power Tools are used with Photoshop, Painter, Illustrator, FreeHand, and other programs that support Photoshop plug-ins. The QuickStart format is ideal for readers familiar with these programs, but who need an easy-access guide to using the plug-ins right away.
Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function
Authors: Sergey Berezin, Edmund Clarke, Armin Biere, Yunshan Zhu
Venue: Formal Methods in System Design (2002)

We present a new technique for verification of complex hardware devices that allows both generality and a high degree of automation. The technique is based on our new way of constructing a &ldquo;light-weight&rdquo; completion function together with new encoding of uninterpreted functions called reference file representation.Our technique combines our completion function method and reference file representation with compositional model checking and theorem proving. This extends the state of the art in two directions. First, we obtain a more general verification methodology. Second, it is easier to use, since it has a higher degree of automation.As a benchmark, we take Tomasulo's algorithm for scheduling out-of-order instruction execution used in many modern superscalar processors like the Pentium-II and the PowerPC 604. The algorithm is parameterized by the processor configuration, and our approach allows us to prove its correctness in general, independent of any actual design.
Microsoft Windows 2000 TCP/IP Protocols and Services: Technical Reference with CD-ROM
Authors: Thomas Lee, Joseph E. Davies
Venue:  (1999)

From the Book:I can still remember picking up my first TCP/IP book in early 1994. Up to that point, I'd had several years of networking experience with Windows for Workgroups, Novell NetWare, and Windows NT 3.1, but knew little of UNIX or of TCP/IP. I had finally broken down and decided to get onto the Internet, but all the instructions my ISP gave me were totally foreign. So I went out and bought a book-actually, I bought several. At first the concepts were foreign and seemed so contrary to what I knew. Reading W. Richard Steven's books really brought the subject to light, and gradually, like peeling an onion, I worked through the layers and discovered the wonderful world of TCP/IP Why We Wrote This Book I started thinking about writing this book many years ago. Most of the good TCP/IP books available then were either aimed at the UNIX market or were completely generic. As I did more and more with Microsoft's TCP/IP offerings and watched the Windows 2000 product slowly evolve, it was obvious a book focusing on TCP/IP with a Windows 2000 focus would be very useful. Joe and I worked together several years ago as part of a team that was rolling out advanced TCP/IP training to Microsoft product support engineers. Joe was the course author and I was one of the many trainers who delivered this material to a very tough audience. It took time, and a lot of convincing by those nice people at Microsoft Press, but here we are. We wrote this book as an in-depth reference to the TCP/IP protocol suite and the related network services. We explain how this suite of protocols and related services work and how they function in Windows 2000. We have aimed this book at several differentaudiences: General technical staff Anyone interested in learning the details of TCP/IP as implemented in Windows 2000. TCP/IP administrators This book contains details of the protocols and services administrators need to do problem solving and TCP/IP infrastructure planning.
On the Solution of Equality Constrained Quadratic Programming Problems Arising in Optimization
Authors: Nicholas I. M. Gould, Mary E. Hribar, Jorge Nocedal
Venue: SIAM Journal on Scientific Computing (2001)

We consider the application of the conjugate gradient method to the solution of large equality constrained quadratic programs arising in nonlinear optimization. Our approach is based implicitly on a reduced linear system and generates iterates in the null space of the constraints. Instead of computing a basis for this null space, we choose to work directly with the matrix of constraint gradients, computing projections into the null space by either a normal equations or an augmented system approach. Unfortunately, in practice such projections can result in significant rounding errors. We propose iterative refinement techniques, as well as an adaptive reformulation of the quadratic problem, that can greatly reduce these errors without incurring high computational overheads. Numerical results illustrating the efficacy of the proposed approaches are presented.
Instant AutoCAD: Mechanical Desktop 5.0 with Cdrom, 1st edition
Authors: Stephen J. Ethier, Christine A. Ethier
Venue:  (2002)

:Delivering technical information in a quick-and-easy format, this tutorial/CD-ROM package is designed to give users the information and hands-on practical experience they need to work knowledgeably and efficiently with Mechanical Desktop 5.0a 3D, feature-based, parametric modeler that enables users to create models of 3D parts from 2D sketches, and using these parts, to create detailed drawings and assemblies. (Mechanical Desktop is fully integrated and makes use of the AutoCAD graphic interface.) The tutorial covers an Introduction to Mechanical Desktop, design fundamentals, part creation, viewing and working in 3D, part editing, part drawing, assembly creation, assembly drawing, and an introduction to surface modeling.
A Note on a Question of C. D. Savage
Authors: Michael Naatz
Venue: SIAM Journal on Discrete Mathematics (2001)

Given a graph G and an orientation $\sigma$ of some of its edges, consider the graph $AO_\sigma(G)$ which is defined as follows: The vertices are the acyclic orientations of G which agree with $\sigma$, and two of these are adjacent if they differ only by the reversal of a single edge. $AO_\sigma(G)$ is easily seen to be bipartite. The purpose of this note is to show that it need not contain a Hamilton path even if both partite sets have the same cardinality. This answers a question of C. D. Savage [SIAM Rev., 39 (1997), pp. 605--629] and sheds new light onto two well-known open questions in the field of combinatorial Gray codes.
Schaum's Outline of Programming With Fortran 77, 1 edition
Authors: William E. Mayo, Martin Cwiakala
Venue:  (1994)

Confusing Textbooks? Missed Lectures? Not Enough Time? Fortunately for you, there's Schaum's Outlines. More than 40 million students have trusted Schaum's to help them succeed in the classroom and on exams. Schaum's is the key to faster learning and higher grades in every subject. Each Outline presents all the essential course information in an easy-to-follow, topic-by-topic format. You also get hundreds of examples, solved problems, and practice exercises to test your skills. This Schaum's Outline gives you Practice problems with full explanations that reinforce knowledge Coverage of the most up-to-date developments in your course field In-depth review of practices and applications Fully compatible with your classroom text, Schaum's highlights all the important facts you need to know. Use Schaum's to shorten your study time-and get your best test scores! Schaum's Outlines-Problem Solved.
A Direct Search Algorithm for Optimization with Noisy Function Evaluations
Authors: Edward J. Anderson, Michael C. Ferris
Venue: SIAM Journal on Optimization (2000)

We consider the unconstrained optimization of a function when each function evaluation is subject to a random noise. We assume that there is some control over the variance of the noise term, in the sense that additional computational effort will reduce the amount of noise. This situation may occur when function evaluations involve simulation or the approximate solution of a numerical problem. It also occurs in an experimental setting when averaging repeated observations at the same point can lead to a better estimate of the underlying function value. We describe a new direct search algorithm for this type of problem. We prove convergence of the new algorithm when the noise is controlled so that the standard deviation of the noise approaches zero faster than the step size. We also report some numerical results on the performance of the new algorithm.
HTML 4 for Dummies: Quick Reference, 1st edition
Authors: Eric J. Ray, Deborah S. Ray
Venue:  (1998)

:HTML 4 For Dummies Quick Reference is the right book for anyone who wants to start developing Web pages quickly or for experienced HTML authors who need an "at-your-fingertips" reference to keep those tags straight. No matter which tool you use to create Web pages, you'll need to have fundamental HTML instructions and reference information readily available. Concise and relevant examples, effective analogies, and samples of what really works make this book the indispensable choice. Now you can find what you need quickly with our ...For Dummies&reg; Quick References! With tasks and commands in alphabetical order, clear-cut, step-by-step instructions, and easy-to-follow advice, you'll quickly find the information you really need -- without reading lots of extra material. Look for IDG Books Worldwide's HTML 4 For Dummies&reg;, the fast and friendly way to access all the latest HTML commands.
PhotoShop 6: The Complete Reference
Authors: Adele Droblas Greenberg, Seth Greenberg
Venue:  (2001)

:This complete reference not only explains all the features of every Photoshop tool,but also how to make the most of them in real-world applications. From basic image manipulation to advanced layering and masking techniques-plus a special focus on Web graphics,this resource gives professionals detailed coverage of new features,while beginners and intermediate users can follow tutorials and step-by-step projects. The bonus CD-ROM guides you through tutorials,and contains useable image samples,trial software,and filters The Ultimate Guide to the Most Complete Graphics Application!Mastering Photoshop is the surest way to tap into the infinite possibilities of digital graphics communication,and Photoshop 6: The Complete Reference is the only book to offer a comprehensive review of all Photoshop's features. Inside this volume,you'll learn not only the facets of every feature and tool,but also how to make the most of them in real-world applications. From basic image manipulation to advanced layering and masking techniques-plus a special focus on Web graphics,this resource gives professionals detailed coverage of new features,while beginners and intermediate users can follow tutorials and step-by-step projects. Inside,you'll find out how to:Get around inside the Photoshop studio and color management systemIncorporate substantial tool upgrades and Web graphics capabilitiesLearn painting techniques as a means of mastering image manipulationUse actions and history palettes to locate and select your image's best iterationImport and export files,use masks,layers,and moreWork with animations,rollovers,and other Web effectsPerform expert imageretouching and color correctionPrepare your images for print or Web publication with full instructions for using ImageReadyCD-ROM guides you through tutorials,gives useable image samples,trial software,and filters
Special Edition Using Xml with Cdrom
Authors: Lee Anne Phillips
Venue:  (2000)

:SE Using XML is a comprehensive tutorial/reference that shows you how to create XML documents and applications. This book begins with basic concepts and progresses through the creation of sophisticated XML projects. The book also includes many leading XML tools on the CD-ROM to help you create XML documents more easily.
Outlook 97: One Step at a Time, 1st edition
Authors: Trudi Reisner, Brown
Venue:  (1997)

:Microsoft Outlook is the most powerful personal information manager application currently available. Now you can immerse yourself in the Outlook world with Outlook 97 One Step at a Time -- part of the unique IDG Books "One Step" series that aims to provide a digestible, hands-on learning experience. Outlook 97 One Step at a Time also has a CD-ROM featuring our exclusive On Demand Interactive Learning software that allows users to access the books step-by-step instructions directly from their personal Outlook schedule. Learn how to use Microsoft Outlook 97 quickly and painlessly with this revolutionary software that allows you to choose from movie-style demos, interactive simulations, and live tutorials. Outlook 97 One Step at a Time also brings you one step closer to Microsoft Office User Specialist (MOUS) Certification.
Advantage Series: Integrating and Extending Microsoft Office XP- Brief, 1st edition
Authors: Sarah E. Hutchinson-Clifford, Glen Coulthard
Venue:  (2001)

:The Advantage Series presents the Feature-Method-Practice approach to computer software applications to today's technology and business students. This series implements an efficient and effective learning model,which enhances critical thinking skills and provides students and faculty with complete application coverage.
Mortal Kombat 4: Official Fighter's Kompanion
Authors: James Fink, Brady Games, Greg Kramer
Venue:  (1998)

:Book Description: The BradyGames strategy guide will include all the special moves, strategies and fatalities to win the game. Exclusive fighting tactics for every kombatant. Character stories and biographies. Secrets and codes for all the characters.This title is based on Midway s most recent arcade release, which has remained at the top of the charts for several monthsThe BradyGames strategy guide will include all the special moves, strategies and fatalities to win the game.Exclusive fighting tactics for every kombatant
Knowledge discovery by logical resolution with usefulness measure
Authors: Eiko Yamamoto, Kyoji Umemura
Venue: Information organization and databases: foundations of data organization (2000)

In this paper, we propose a new method for KDD using SOL resolution. SOL resolution is a procedure which can solve a clause finding problem completely. We regard the clause as knowledge and apply SOL resolution to KDD. We verify that certain knowledge is discovered from the data.
Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande
Venue: Java Grande Conference (2002)

First of all, we wish to extend a warm welcome to everyone participating in the Joint ACM Java Grande - ISCOPE 2002 Conference. This is the second year in which ACM Java Grande and ISCOPE, the International Symposium on Computing in Object-oriented Parallel Environments, have joined forces, with a merged Call for Papers, Program Committee, and ACM Proceedings.The first ACM Java Grande - ISCOPE Conference took place at Stanford University, Palo Alto, in 2001. This second joint conference is the seventh in a series of meetings aimed at exploring the use of the Java programming language for "Grande" applications - a range of applications that includes, but is not limited to, scientific and engineering computing, data intensive business computing, and high-performance network computing. The series started with the Java Grande workshops, which were held very successfully in Syracuse in 1996, Las Vegas in 1997, and Palo Alto in 1998. The 1999 and 2000 ACM Java Grande Conferences took place in San Francisco. This 2002 Java Grande - ISCOPE is also the fifth of the series of ISCOPE meetings. ISCOPE 97, 98, and 99 proceedings are available from Springer as LNCS volumes 1343, 1505, and 1732, respectively. As ISCOPE broadened its focus during the years, it became natural to combine ACM Java Grande and ISCOP.This year, we are holding ACM Java Grande - ISCOPE in Seattle, Washington, in conjunction with the 17th Annual ACM Conference on Object-Oriented Programming Systems, Languages and Applications - OOPSLA 2002. OOPSLA is the premier forum for bringing together participants to share their ideas and experiences in a broad range of topics related to object-oriented programming. We believe this arrangement has been very beneficial to Java Grande - ISCOPE.The Joint ACM Java Grande - ISCOPE 2002 Conference focuses on object-orientation in a broad range of topics (including parallelism, communication, distribution, and high-performance applications and systems) and Java in the broad area of high-performance computing (including engineering and scientific applications, simulations, and data-intensive applications). This year a total of 70 papers were submitted, a 16% increase compared to the first joint conference. Of these, 24 (~35%) were selected as regular papers for plenary presentation at the conference and publication in these proceedings. An additional 15 submissions were selected as poster presentations. Single-page abstracts for the posters are included in these proceedings. At the beginning of the conference, we are also offering a set of relevant tutorial lectures.
Implementing transactions using Ada exceptions: which features are missing?
Authors: M. Patiño-Martínez, R. Jiménez-Peris, S. Arévalo
Venue: ACM SIGAda Ada Letters (2001)

Transactional Drago programming language is an Ada extension that provides transaction processing capabilities. Exceptions have been integrated with transactions in Transactional Drago; exceptions are used to notify transaction aborts and any unhandled exception aborts a transaction. Transactions can be multithreaded in Transactional Drago, and therefore, concurrent exceptions can be raised. In that case a single exception must be chosen to notify the transaction abort. Transactional Drago provides exception resolution within transactions to tackle such a situation. In this paper we describe the transaction model of Transactional Drago focusing on how the Ada exception model can be used to implement Transactional Drago semantics. In the paper we identify which features of Ada were useful, as well as some weaknesses we have found in the language. We point out some missing basic mechanisms for the Ada standard that can be of great help for developing applications with strong exception handling requirements like transactional frameworks and many other applications.
Computing Machines Can't Be Intelligent (...and Turing Said So)
Authors: Peter Kugel
Venue: Minds and Machines (2002)

According to the conventional wisdom, Turing (1950) said that computing machines can be intelligent. I don't believe it. I think that what Turing really said was that computing machines &ndash;- computers limited to computing &ndash;- can only fake intelligence. If we want computers to become genuinely intelligent, we will have to give them enough ``initiative'' (Turing, 1948, p. 21) to do more than compute. In this paper, I want to try to develop this idea. I want to explain how giving computers more ``initiative'' can allow them to do more than compute. And I want to say why I believe (and believe that Turing believed) that they will have to go beyond computation before they can become genuinely intelligent.
Yo-Yo Tricks: From Beginner to Spinner
Authors: Mario De Govia, Joe Arnold, Thaddaeus D. Winzenz
Venue:  (1999)

:The Yo-Yo craze is back in full swing! This popular sport has been around for thousands of years and shows no sign in losing popularity. Kids and grown-ups everywhere enjoy Yo-ing and toy stores can't seems to keep Yo-Yos in stock!Prima's Yo-Yo Tricks is your comprehensive source for all Yo-Yo information, tricks, history, trivia, and collectibles. Featuring beautiful full-color photographs and step by step pictorial instructions, this hock is the easiest trick book ever published! With Prima's Yo-Yo Tricks, you won't have to squint at simplistic and confusing line-drawing illustrations or wade through paragraphs of complicated text to learn a few basic Yo-Yo tricks. Prima gives you everything you ever wanted to know about Yo-ing and all the best Yo-Yo hicks ever invented!
Make room for ethnography in design!: overlooked collaborative and educational prospects
Authors: Jesper Simonsen, Finn Kensing
Venue: ACM SIGDOC Asterisk Journal of Computer Documentation (1998)

Cultural analysis, especially in its ethnographic form/variant, has been applied for some years now within the Computer Supported Cooperative Work (CSCW), the Human Computer Interaction (HCI), and the Participatory Design (PD) communities. These communities attract academics and practitioners who are concerned about the use-quality of computer based systems. Nevertheless, Bader and Nyce argue that cultural analysis "will probably not play a significant role in the development process at the least as it is presently defined." We argue that since the design and use of technology is socially constructed, cultural analysis will only play a role if its proponents strive to make room for it. The argument builds on our own experiences, being computer scientists who have integrated an ethnographic style of working with the design of computer based systems, and on the experiences of colleagues within the above mentioned communities. Some of us have gained our experience from projects in private and public organizations, and those of us also working in academia have included ethnographic techniques in our teaching. Such initiatives represent alternatives neglected by Bader and Nyce, whose assumptions seem to be that the role of cultural analysis is limited to assessments of a development process, to enlarging our understanding of the social nature of development and use, or to providing feedback to developers. We argue that ethnography can play a more proactive role within design. (Bader and Nyce use the terms 'cultural analysis' and 'ethnography'. In our argumentation we use only the term 'ethnography' with which we are most familiar.)
Computing Concepts with C++ Essentials, 3rd edition
Authors: Cay S. Horstmann
Venue:  (2002)

:This book focuses on the programming concepts of C++ Lite, a popular subset of the C++ language. Following the recently released ANSI/ISO standard, it features coverage of the two vital additions to C++ Lite, including the string class and vector template. Discussions of these computing concepts draw on modern techniques of C++ programming by using objects and graphics. And most examples are given in the form of complete, ready-to-run programs.
Evolving the browser towards a standard user interface architecture
Authors: Michael J. Rees
Venue: Proceedings of the Third Australasian conference on User interfaces - Volume 7 (2002)

If current trends continue, it is likely that the web browser will become the only widely used user interface. Web applications will become the predominant software. Should this happen, user interface design, implementation and evaluation skills can become more focussed and effective. Some of the benefits current browser user interfaces provide are discussed in the context of web application tools produced by the author and supported by examples. The software architecture of the Web brings special HCI demands, and the user design experts of the future will require training in this architecture. This evolution is scrutinised in terms of the new web services that will become available. Recent trends in this direction are presented, and future trends explored, with supporting evidence taken from a range of applications. The influence of the Web, with now a long history of user experience, can bring benefits to user interface design in the future.
The Beginner's Guide to C++
Authors: Oleg Yaroshenko
Venue:  (1994)

:Teaches C++ from the ground up, without assuming prior programming experience or any specific compiler. Who is this book for? Anyone interested in learning C++ What does it cover? The book is built around carefully selected examples that strike a balance between simple programs that illustrate C++, and more complex programs that give a real-world examples, so that you have both the HOW and the WHY of C. The reader will have written their first program by the end of the first chapter, and the rest of the book continues this hands-on approach, with each chapter ending with a real-world application based on what has been covered in that chapter. What''s special about this book? Provides a useful application at the end of each chapter. Gives detailed guidance on C++ language syntax, and a full explanation of OOP.