ppxscal/embedding_network huggingface dataset:
Battlebots: The Official Guide
Authors: Mark Clarkson
Venue:  (2002)

:View the metal-crunching destruction from the front lines with this fully authorized guide to one of today's hottest TV shows. Browse through photographs of every major BattleBotincluding construction diagramsand get details on weight,speed,and weapon type. Meet the people behind the crowd-pleasing,spark-flying robot demolition and get step-by-step instructions for building your own fierce fighting machine. Informative and entertaining,this book kicks BOT!
Introduction to Device Modeling and Circuit Simulation, 1st edition
Authors: Tor A. Fjeldly, Michael Shur, Trond Ytterdal
Venue:  (1997)

:This book is a useful reference for practicing electrical engineers as well as a textbook for a junior/senior or graduate level course in electrical engineering. The authors combine two subjects: device modeling and circuit simulation - by providing a large number of well-prepared examples of circuit simulations immediately following the description of many device models.
MCSD TestPrep: Visual Basic 6
Authors: David Panagrosso, Owen Williams, Mary Foote
Venue:  (1998)

:MCSD TestPrep: Visual Basic 6 provides study questions, in-depth and focused review, and test-taking strategies. Chapters are organized by the objective areas on the exam. Individual objective sections open with an explanation of its significance to the exam. Following this introduction are practice questions that test the reader thoroughly on the exam objectives. An answer key points out the correct answers, then the bulk of the section explains why answers are right and wrong, thus filling the information holes of the reader. An Exam Strategies appendix further builds the candidate's confidence as exam time nears. The only self-contained supplement to every MCSD candidate's study materials Gives readers exactly what they are asking for: lots of practice questions paired with in-depth answers Practice questions drive the supporting text, so readers don't need to search other books to find the explanations they need. Multiple technical reviews ensure accuracy
The Peer Review Process of Teaching Materials: Report of the ITiCSE'99 Working Group on Validation of the quality of teaching materials
Authors: Deborah Knox, Don Goelman, Sally Fincher, James Hightower, Nell Dale, Ken Loose, Elizabeth Adams, Fred Springsteel
Venue: Working group reports from ITiCSE on Innovation and technology in computer science education (1999)

When an instructor adopts teaching materials, he/she wants some measure of confidence that the resource is effective, correct, and robust. The measurement of the quality of a resource is an open problem. It is our thesis that the traditional evaluative approach to peer review is not appropriate to insure the quality of teaching materials, which are created with different contextual constraints. This Working Group report focuses on the evaluation process by detailing a variety of review models. The evolution of the development and review of teaching materials is outlined and the contexts for creation, assessment, and transfer are discussed. We present an empirical study of evaluation forms conducted at the ITiCSE 99 conference, and recommend at least one new review model for the validation of the quality of teaching resources.
An Iterative Algorithm for Solving Hamilton--Jacobi Type Equations
Authors: Jerry Markman, I. Norman Katz
Venue: SIAM Journal on Scientific Computing (2000)

Solutions of the optimal control and $H_\infty$-control problems for nonlinear affine systems can be found by solving Hamilton--Jacobi equations. However, these first-order nonlinear partial differential equations can, in general, not be solved analytically. This paper introduces an iterative algorithm which solves these equations numerically for points near the origin. The procedure converges to the stabilizing solution exponentially with respect to the iteration variable. The algorithm is implemented on both illustrative and comparative examples.
Access & DAO Object Models: The Definitive Reference, 1st edition
Authors: Helen Feddema
Venue:  (1999)

:Each iteration of Windows has meant a corresponding improvement in the techniques used for transferring data among its applications. Today's leading technique is called Automation. It allows you to work directly with objects in an application's interface using their object models. But if you want to write code in a programming language, such as Visual Basic, in order to work with the apps that support Automation, you must understand the inner workings of an application's object modelor in the case of Microsoft's Access, its *two* object models. Microsoft Access is the bestselling stand-alone relational database program for Windows offering both power and ease of use. And in many respects, Microsoft has made Automation the centerpiece of its vision for application development. DAO Object Model: The Definitive Reference will guide you through the Access object models, allowing you, with the support of Automation, to reference the application components you want to manipulate. An understanding of the object models is essential for developers who work with data in Access tables, or who want to manipulate components of the Access interface from other Office apps. The Data Access Objects (DAO) model is used to write and read data in Access tables. The Access object model is used to manipulate forms, reports, queries, macros, and other components of the Access interface, including most of the commands by means of the DoCmd object. This book will include an introduction and a brief description of the differences between VBA (used in most Office applications) and VBScript (used in Outlook). This chapter will also cover Office utilities and add-ons helpful in writingand debugging code, such as the Object Browser, the Integrated Development Environment (IDE) for VBA and the Interactive Debugger for VBScript. The book will then be divided into two parts; one covering the Access Object Model and the other, the Data Access Objects. Each section will have a description of what the object represents; listings of properties, events, and methods; and one or more code samples illustrating its use in VBA and/or VBScript code. Each property, event, or method section will have an explanation of the language element, and many will have code samples (either VBA or VBScript) as well. This book will detail, to an advanced user or keen intermediate user, the Access object models and how they are used. It will be *the* reference guide VB developers reach for when working with data in Access tables, or for manipulating components of the Access interface from other Office applications.
Protected ceiling changes
Authors: Jorge Real, Alfons Crespo, Andy Wellings, Alan Burns
Venue: ACM SIGAda Ada Letters (2002)

The inclusion of dynamic ceiling priorities in Ada is a topic of discussion in the Real-Time Ada community. Several approaches have been discussed in previous editions of the International Real-Time Ada Workshop, which have allowed to identify the problems associated with this issue, mainly the interaction of such feature with tasking, consistency and efficiency of implementation. In this paper, a new approach for dynamic ceilings is presented. It is based on implementing the ceiling change as a predefined protected operation itself, which allows to eliminate the potential for data corruption that other approaches introduce, without the need for additional locks.The paper also discusses the use of the proposed operation in the context of mode changes.
The prisoner's dilemma and predator-prey coevolution
Authors: Joel Pomerantz, Willard Miranker
Venue: Neural, Parallel Scientific Computations (2002)

Iterated Prisoner's Dilemma is a game designed to model open-ended interactions involving competition and cooperation. However, with the introduction of faulty information, players become both more aggressive and more forgiving. This allows the game to model exploitation as well. In this paper, the use of faulty information, spatialization, genetic algorithms, (including a novel modeling of mitochondrial genes which influences predator-prey and speciation issues) and several reproductive strategies are explored in terms of their use in modeling predator-prey interactions and their coevolution. Interactions between the fungal and algal components of lichen are explored, as an application.
Global Optimization with Polynomials and the Problem of Moments
Authors: Jean B. Lasserre
Venue: SIAM Journal on Optimization (2000)

We consider the problem of finding the unconstrained global minimum of a real-valued polynomial p(x): {\mathbb{R}}^n\to {\mathbb{R}}$, as well as the global minimum of p(x), in a compact set K defined by polynomial inequalities. It is shown that this problem reduces to solving an (often finite) sequence of convex linear matrix inequality (LMI) problems. A notion of Karush--Kuhn--Tucker polynomials is introduced in a global optimality condition. Some illustrative examples are provided.
Sams Teach Yourself XSLT in 21 Days
Authors: Michiel Van Otegem, Michiel Van Ottengem
Venue:  (2002)

:The book covers XSLT and Xpath (as a part of XSLT), as these topics have everything to do with processing XML. It will also cover XML from an XSLT processing and design point of view. Other XML technologies will not be discussed as superset of XSLT, most notably XSL. XSL Formatting Objects alone is enough material for an entire book. Apart from that, XSLT and Xpath form the processing/programming section of the entire XSL specification. This book presents an overview of XSLT and guides readers through transforming their first XML data. In this book you will also learn: Selecting Data-Stylesheets and Xpath Basics; Inserting text and elements in output; Copying elements from the source and inserting text; Conditional processing basics and expressions; Modularizing stylesheets; Understanding, creating, and using templates; Controlling output, as well as creating more advanced output; Using multi-file stylesheets, variables, and parameters; Working with numbers, strings, multiple XML sources, and namespaces; Selecting data based upon keys; Recursion; Creating computational stylesheets; Working with parses; Designing XML and XSLT applications; Extending XSLT.
Robo Sapiens: Evolution of a New Species
Authors: Peter Menzel, Faith D'Aluisio
Venue:  (2001)

:Around the world, scientists and engineers are participating in a high-stakes race to build the first intelligent robot. Many robots already exist -- automobile factories are full of them. But the new generation of robots will be something else: smart machines that act ever more like living creatures. What will happen then? With our prosthetic limbs, titanium hips, and artificial eyes, we are already beginning to resemble our machines. And when we implant chips in our bodies to connect ourselves directly to computers, the likeness will become only more pronounced. Science fiction will have become science fact. Meanwhile -- and equally important -- our machines are beginning to resemble us. Robotic spiders, crabs, geckos, and dogs are already spilling from the laboratories. The next steps are to re-create Homo sapiens itself and then go beyond. Robots can already walk, talk, and dance; they can react to human facial expression and obey verbal commands. When scientists go on to create fully autonomous robots with greater intelligence than human beings, will they be our partners or our rivals? Will it be simply a robotic revolution or a true extension of evolution? Could machines and humankind meld into a single species -- Robo sapiens? In Robo sapiens, award-winning journalists Peter Menzel and Faith D'Aluisio present the next generation of intelligent robots and their makers. Accompanying brilliant photographs of more than a hundred robots are extensive interviews with robotics pioneers, anecdotal field notes with behind-the-scenes information, and easy-to-understand technical data about the machines. Robo sapiens is a field guide to our mechanical future. ABOUT THE AUTHORS Peter Menzel is a photographer known for his coverage of international feature stories on science and the environment. His award-winning photographs have been published in Life, National Geographic, Smithsonian, the New York Times Magazine, Time, Stern, GEO, and Le Figaro. Faith D'Aluisio is a former television news producer. Her documentary and new series pieces have won regional and national awards from the Headlines Foundation, United Press International, Associated Press, and the Radio-Television New Directors Association. Peter Menzel and Faith D'Aluisio are the co-creators of the books Material World: A Global Family Portrait and Women in the Material World. They are also the co-authors of Man Eating Bugs: The Art and Science of Eating Insects.
The complexity of propositional linear temporal logics in simple cases
Authors: Stéphane Demri, Philippe Schnoebelen
Venue: Information and Computation (2002)

It is well known that model checking and satisfiability for PLTL are PSPACE-complete. By contrast, very little is known about whether there exist some interesting fragments of PLTL with a lower worst-case complexity. Such results would help understand why PLTL model checkers are successfully used in practice. In this article we investigate this issue and consider model checking and satisfiability for all fragments of PLTL obtainable by restricting (1) the temporal connectives allowed, (2) the number of atomic propositions, and (3) the temporal height. 2002 Elsevier Science (USA).
Upgrading and Repairing PCs; A+ Certification Study Guide
Authors: Scott Mueller, Scott Berkel
Venue:  (1999)

:Upgrading and Repairing PCs, A+ Certification Study Guide is a hands-on learning book. Scott takes the readers through the test objectives one by one. The most frequently missed questions are pointed out and explained with greater detail than easier questions need. Plain English! Spend your time learningnot deciphering bad writing! Just the essentialsScott covers the essentials that you'll need to pass the test and point you where to go for more information. Frequent study reminders throughout help you focus and remember the core concepts for the exam - and not the not-so-necessary details. Also included are exams that will cover the topics that you'll be tested on AND we'll ask them in the manner they'll be asked on the test.
Non-Parametric Motion Activity Analysis for Statistical Retrieval with Partial Query
Authors: Ronan Fablet, Patrick Bouthemy
Venue: Journal of Mathematical Imaging and Vision (2001)

We present an original approach for motion-based video retrieval involving partial query. More precisely, we propose a unified statistical framework allowing us to simultaneously extract entities of interest in video shots and supply the associated content-based characterization, which can be used to satisfy partial queries. It relies on the analysis of motion activity in video sequences based on a non-parametric probabilistic modeling of motion information. Areas comprising relevant types of motion activity are extracted from a Markovian region-level labeling applied to the adjacency graph of an initial block-based partition of the image. As a consequence, given a set of videos, we are able to construct a structured base of samples of entities of interest represented by their associated statistical models of motion activity. The retrieval operations is then formulated as a Bayesian inference issue using the MAP criterion. We report different results of extraction of entities of interest in video sequences and examples of retrieval operations performed on a base composed of one hundred video samples.
Microsoft Excel 97: Introductory Concepts and Techniques, 10th edition
Authors: Gary B. Shelly, James S. Quasney, Thomas J. Cashman
Venue:  (1997)

:Part of the highly successful Shelly Cashman Series, this text offers a clear screen-by-screen, step-by-step approach to learning basic Excel 97 skills.
Computer Mathematics
Authors: Kiyoshi Shirayanagi, Kazuhiro Yokoyama
Venue:  (2001)

:This volume covers some of the most recent and significant advances in computer mathematics, including algebraic, symbolic, numeric and geometric computation, automated mathematical reasoning, mathematical software and computer-aided geometric design. Researchers, engineers, academics and graduate students interested in doing mathematics using computers will find this volume good reading and a valuable reference.
Reply to commentaries on: "Egoless Writing: Improving Quality by Replacing Artistic Impulse with Engineering Discipline"
Authors: Edmond H. Weiss
Venue: ACM Journal of Computer Documentation (JCD) (2002)

The author discusses two contextual problems associated with responses to his article. After discussing how documentation relates to business models, he concludes that communicators, to ensure their longevity, should pursue knowledge management opportunities.
Advanced Database Systems for Integration of Media and User Environments '98
Authors: Yahiko Kambayashi, Katsumi Tanaka, Shunsuke Uemura
Venue:  (1998)

:This volume is a progress report on the project Research and Development of Advanced Database Systems for Integration of Media and User Environments, supported by the Ministry of Education, Science, Sports and Culture of Japan. It investigates research on new database systems due to the recent development of network technology; a clearer picture of integration by database technology is drawn as a result.
Degenerate Optimal Control Problems with State Constraints
Authors: Franco Rampazzo, Richard Vinter
Venue: SIAM Journal on Control and Optimization (2000)

Standard necessary conditions for optimal control problems with pathwise state constraints supply no useful information about minimizers in a number of cases of interest, e.g., when the left endpoint of state trajectories is fixed at x0 and x0 lies in the boundary of the state constraint set; in these cases a nonzero, but nevertheless trivial, set of multipliers exists. We give conditions for the existence of nontrivial multipliers. A feature of these conditions is that they allow nonconvex velocity sets and measurably time-dependent data. The proof techniques are based on refined estimates of the distance of a given state trajectory from the set of state trajectories satisfying the state constraint, originating in the dynamic programming literature.
Anticipating Change: Secrets behind the SAP Empire
Authors: Hasso Plattner
Venue:  (2000)

:Written by Dr. Hasso Plattner, co-founder of SAP, Anticipating Change discusses how and why SAP was developed. It also offers Plattners view on the future of SAP and the ERP industry as a whole. This book provides insight into the development of the largest and most dominant player in the ERP world. Anticipating Change will be of great interest to SAP professionals and those wishing to enter the SAP market who want to learn more about the history and future of the industry.
A system for sculpting 3-D data
Authors: Richard E. Parent
Venue: Proceedings of the 4th annual conference on Computer graphics and interactive techniques (1977)

A major research area in 3-D computer graphics is the inputting of complex descriptions. This paper describes our current attempt at solving that problem: creation of a sculptor's studio-line environment in which the user is provided with various tools to shape, cut and join objects. The emphasis of the implementation has been on naturalness and habitability. The issues involved in designing such a system, especially in a minicomputer-based color raster-scan animation environment, are discussed. The basic algorithms are described in some detail and a fast efficient implementation of a hidden-line algorithm is explained.
Microsoft® SharepointTM Portal Server 2001 Resource Kit
Authors: Microsoft Corporation
Venue:  (2001)

:SharePoint Portal Server 2001 extends the capabilities of Microsoft Windows&reg; and Microsoft Office by offering powerful new document-management, content-searching, and team-collaboration features that make it easy for knowledge workers to organize, find, and share information. Roll out, support, and optimize SharePoint Portal Server 2001 with expertise from those who know the technology bestthe SharePoint Portal Server development team. Microsoft Sharepoint Portal Server Resource Kit is the all-in-one guide that computer professionals can rely on while installing, customizing, and supporting Microsoft SharePoint Portal Server 2001. This powerhouse reference includes hundreds of pages of detailed technical drill-down plus exclusive tools and Web parts on CD-ROMall designed to help you save time and reduce support costs. Coverage includes detailed information on planning, deploying, administrating and managing developing, and troubleshooting of this powerful new server. Armed with this Resource KiT and SharePoint Portal Server 2001, readers can plan and administer this new server to create corporate Web portals and integrate document management capabilities, browse through information by categories, search for information, subscribe to new or changing information, check documents in and out of a secure environment, review a document's version history, approve documents for publication, publish documents, and simplify other corporate information-management functions. The comprehensive source for support professionals and administrators who need to deploy and maintain SharePoint Portal Server 2001. It's the only Resource Kit full of updated tools, Webparts, and technical information that come directly from the SharePoint Portal Server product-development team. Key Book Benefits: * This is the authoritative, easy-to-browse, one-volume resource that puts a wealth of SharePoint deployment, support, and maintenance information at your fingertips * It's the only Resource Kit full of updated tools, procedures, and technical information that come directly from the SharePoint Portal Server product-development team * Companion CD-ROM contains tools, technical documentation, and other support files
Windows 98
Authors: Steve W. Sagman
Venue:  (1998)

:Takes an easy, visual approach to teaching Windows 98, 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; and no long-winded passages - concise, straightforward commentary explains what you need to know.
COM and .NET Component Services: Migrating from COM+ to .NET, 1st edition
Authors: Juval Lowy
Venue:  (2001)

:With COM & .NET Component Services, skilled COM developers can leverage their knowledge for the next generation of components to be built for Microsoft's new .NET framework. A primary goal of Microsoft's COM+ is to provide proven design solutions for scalable systems. Assuming experience with classic COM, COM & .NET Component Services focuses on the added services of COM+, including support for transactions, queued components, events, concurrency management, and security. Along the way, it ably demonstrates that COM+ is a masterpiece of design and usability from the ground uptruly a mature set of component services oriented for the middle tier. COM+ provides a foundation for robust, enterprise-wide, mission-critical distributed applications. And it's not limited to Internet applications. You can use COM+ services in the same places as classic COM components: in-house two-tier information systems, client-tier controls, desktop applications, machine control components, and every other conceivable application of COM. COM & .NET Component Services is the first book to stress the importance of learning to use COM+ services for both .NET and COM component-based applications. Since most companies have considerable investment in existing code base and development skills, COM+ can serve as a migration path for companies and developers. Companies can start (or continue) their projects in COM, using COM+ as a supporting platform for component services, and then when the time comes to move to .NET, they can start plugging .NET components seamlessly into the same architecture, reusing and interacting with their existing COMcomponents.