ppxscal/embedding_network huggingface dataset:
Reengineering Software: How to Reuse Programming to Build New, State-of-the-Art Software, 2nd edition
Authors: Roy Rada
Venue:  (1999)

:Software development is much cheaper and faster when existing programming can be incorporated into the new design. This book shows how to organize a library for easy retrieval, retrieve exactly what is needed quickly and efficiently, and tailor assets retrieved to the new product specifications. Procedures and guidelines are presented within a conceptual framework that emphasizes corporate issues and important standards germane to reengineering. Tools and real-life case studies clearly demonstrate how the tools and methodologies work.
Stationary Hamilton--Jacobi Equations in Hilbert Spaces and Applications to a Stochastic Optimal Control Problem
Authors: Sandra Cerrai
Venue: SIAM Journal on Control and Optimization (2001)

We study an infinite horizon stochastic control problem associated with a class of stochastic reaction-diffusion systems with coefficients having polynomial growth. The hamiltonian is assumed to be only locally Lipschitz continuous so that the quadratic case can be covered. We prove that the value function V corresponding to the control problem is given by the solution of the stationary Hamilton--Jacobi equation associated with the state system. To this purpose we write the Hamilton--Jacobi equation in integral form, and, by using the smoothing properties of the transition semigroup relative to the state system and the theory of m-dissipative operators, we show that it admits a unique solution. Moreover, the value function V is obtained as the limit of minima for some approximating control problems which admit unique optimal controls and states.
Towards a universal data type for scientific computing
Authors: Martin Berz
Venue: Automatic differentiation of algorithms: from simulation to optimization (2000)

Modern scientific computing uses an abundance of data types. Besides floating point numbers, we routinely use intervals, univariate Taylor series, Taylor series with interval coefficients, and more recently multivariate Taylor series. Newer are Taylor models, which allow verified calculations like intervals, but largely avoid many of their limitations, including the cancellation effect, dimensionality curse, and low-order scaling of resulting width to domain width. Another more recent structure is the Levi-Civita numbers, which allow viewing many aspects of scientific computation as an application of arithmetic and analysis with infinitely small numbers, and which are useful for a variety of purposes including the assessment of differentiability at branch points. We propose new methods based on partially ordered Levi-Civita algebras that allow for a unification of all these various approaches into one single data type.
How to Do Everything with HTML
Authors: James H. Pence
Venue:  (2001)

:Another release in our popular How to Do Everything series,this friendly,solutions-oriented book is filled with step-by-step examples for writing HTML code. Each chapter begins with the specific how-to topics that will be covered. Within the chapters,each topic is accompanied by a solid,easy-to-follow walkthrough of the process. You'll learn to build a dynamic Web site with HTML,complete with graphics,links,multimedia,and animation. The book also contains practical coverage of DHTML,JavaScript,and CGI. Even if you've never programmed,this guidebook gives you a sure-fire,step-by-step method for learning HTMLthe most widely-used language of the Web. Written in an easy-to-understand format,How to Do Everything with HTML is designed for anyone who's even thought about creating a Web page. Learn the essentials of positioning and modifying text,importing graphics,creating active links to other Web sites,and how to post your masterpiece to the Internet where everyone can enjoy it. Whether your goals are personal or professional,this book can help you make the most of your own Web site. Join the online community by building your very own customized Web siteFind what you need with organized,step-by-step coverage of HTMLGrasp the basics easilyeven if you're a total newcomer to Web authoringGet the most from your Internet service provider by utilizing free Web spaceDiscover links,Cascading Style Sheets,animations,forms,and moreGet practical treatment of more complex Web technologies such as JavaScript,CGI,and DHTMLAppendices include a browser-safe color conversion chart,HTML and CSS quick-reference guides,and moreFindcode,sample pages,images,and a full color chart of all 216 browser-safe colors on this book's companion Web site 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
Graphical input through machine recognition of sketches
Authors: Christopher F. Herot
Venue: Proceedings of the 3rd annual conference on Computer graphics and interactive techniques (1976)

A family of programs has been developed to allow graphical input through continuous digitizing. Drawing data, sampled at a high and constant rate, is compressed and mapped into lines and splines, in two and three dimensions. This is achieved by inferring a particular user's intentions from measures of speed and pressure.Recent experiments have shown that even the most basic inference making cannot rely solely upon knowledge of the user's drawing style, but needs additional knowledge of the subject being drawn, the protocols of its domain, and the stage of development of the user's design. This requirement implies a higher level of machine intelligence than currently exists. An alternate approach is to increase the user's involvement in the recognition process.Contrary to previous efforts to move from sketch to mechanical drawing without human intervention, this paper reports on an interactive system for graphical input in which the user overtly partakes in training the machine and massaging the data at all levels of interpretation. The initial routines for data compression employ parallel functions for extracting such features as bentness, straightness, and endness. These are planned for implementation in microprocessors.Results offer a system for rapid (and enjoyable) graphical input with real-time interpretation, the beginnings of an intelligent tablet.
Multidimensional Ehrhart reciprocity
Authors: Matthias Beck
Venue: Journal of Combinatorial Theory Series A (2002)

In an earlier paper (1999, Electron. J. Combin. 6, R37), the author generalized Ehrhart's idea of counting lattice points in dilated rational polytopes: Given a rational polytope, that is, a polytope with rational vertices, we use its description as the intersection of halfspaces, which determine the facets of the polytope. Instead of just a single dilation factor, we allow different dilation factors for each of these facets. We proved that, if our polytope is a simplex, the lattice point counts in the interior and closure of such a vector-dilated simplex are quasipolynomials satisfying an Ehrhart-type reciprocity law. This generalizes the classical reciprocity law for rational polytopes. In the present paper we complete the picture by extending this result to general rational polytopes. As a corollary, we also generalize a reciprocity theorem of Stanley.
Batman and Robin: Prima's Official Strategy Guide
Authors: Nick Roberts, Prima Creative Services, Prima Publishing
Venue:  (1998)

:The Bat Computer has analyzed the clues and trouble is just around the corner. The Sudan Diamond is in town and your first mission is to foil the icy plot of Mr. Freeze and his gang of thugs. This guide offers strategies and tips for every mission, plus the location of clues, gadgets, and power-ups.
Official Saga Frontier Strategy Guide
Authors: David Cassady, Brady Games
Venue:  (1998)

:The BradyGames SaGa Frontier strategy guide will include lists of all the weapons, magic and bestiary. Complete walkthroughs for each of the characters. Learn how to play the game to enjoy a multitude of different endings.SaGa Frontier is the fourth and latest extension of the popular Romancing SaGa series.With its rich and deeply textured 3D environments and its Free Scenario System from the previous Romancing SaGa titles, SaGa Frontier provides players with a great deal of freedom when choosing their own paths of exploration and discovery.The game features a large cast of main and sub-characters, in which the player will have the option to choose between seven main characters.
Business Data Communications, 6th edition
Authors: David A. Stamper, Thomas Case
Venue:  (2002)

:This much anticipated revision of a leading business data communications book will offer the most current information available. New chapters will include coverage of the Internet, digital cash, and Internet technology.
Accounting Information Systems, 8th edition
Authors: George H. Bodnar, William S. Hopwood
Venue:  (2000)

: The most current and up-to-date treatment of ERP, SAP, and electronic commerce Comprehensive treatment of internal control Hundreds of CPA exam questions integrated throughout the text Texts and/or software to support Peachtree, Excel, Access, and QuickBooks
Ado and Ado.Net Programming (Transcend Technique Programming Series)
Authors: Mike Gunderloy
Venue:  (2002)

:Data access technology has come a long way in the past decade. The introduction of Microsoft Access was a major step forward, followed by the giant leaps represented by ADO and now by ADO.NET. ADO and ADO.NET Programming will help you use both APIs to write data access code that works perfectly, irrespective of the data source or front end. You'll learn to enlist ADO techniques in support of legacy systems, as well as in other scenarios where ADO is simply the better choice. And you'll master the special capabilities of ADO.NET, such as support for XML and disconnected data, that promise to make it the dominant data access API for years to come. Simple data retrieval and updating is only the beginning. Advanced topics include schema modification, data synchronization, and multidimensional aggregation. There's more to ADO and ADO.NET than universal connectivity, of course. This book offers detailed coverage of source-specific and client-specific functionality, helping you tap into features unique to SQL Server, Oracle, and Jet, on the one hand, and Visual Basic, Access, and Excel, on the other hand. You also get a practical introduction to the .NET Framework and appendices covering major object models and the SQL and MDX query languages on CD. The enclosed CD contains all the book's sample code-both ADO code written in Visual Basic 6 and ADO.NET code written in Visual Basic .NET. These examples vividly illustrate the book's techniques and allow you to test their effectiveness and sharpen your own coding skills. About the Authors Mike Gunderloy has worked with every Microsoft data access technology, from the release of Access 1.1 right through ADO.NET. He'san independent consultant and frequent author on database topics. His other Sybex books include the Access 2002 Desktop and Enterprise Developer's Handbooks (with Paul Litwin and Ken Getz), SQL Server Developer's Guide to OLAP with Analysis Services, Visual Basic Developer's Guide to ADO, and Mastering SQL Server 2000. Mike lives on a farm in eastern Washington, where he raises chickens, llamas, and peacocks when he's not wrestling with new software releases.
A collaborative methodology for the rapid development and delivery of online courses
Authors: Douglas Talbott, Matthew Gibson, Suzanne Skublics
Venue: Proceedings of the 20th annual international conference on Computer documentation (2002)

This paper describes a collaborative methodology (tools and processes) for cost-effective development and quality delivery of online courseware. These methods are being used in the development and delivery of online courseware for information designers in the areas of technical writing, user interface design, usability testing, graphic design and web-based programming.Using this methodology, each course is touched by various members of a geographically dispersed, multi-disciplinary team of professional writers, instructional designers, graphic and visual interaction designers, human factors specialists and software engineers as it migrates through the analysis, design, development and verification process. Each member contributes their individual expertise. The process leverages familiar collaborative authoring tools while supporting robust single-source development using XML and eLearning standards.This methodology alleviates many of the common problems associated with virtual team collaboration such as interworking of multiple disciplines, managing geographical distribution, managing quality control. Through the use of this methodology we have been able to maintain constant quality-control while dramatically reducing the development times ordinarily associated with online course development.As such the purpose of this paper is to share our expieriences and experiences with other professionals in the information design community.
Purchasing in the 21st Century: A Guide to State-of-the-Art Techniques and Strategies, 2nd edition
Authors: John E. Schorr
Venue:  (1998)

:Purchasing in the 21st Century, Second Edition offers practical information on improving purchasing operations. With complete coverage of the tools and techniques needed, the book illustrates how to implement supplier scheduling, as well as carry out purchasing in Manufacturing Resource Planning (MRP II), Just-in-Time (JIT), and Total Quality Management (TQM) environments. It also provides essential details on supply chain management and vendor managed inventory, two new concepts being used in purchasing departments around the country. Perhaps, most significantly, Purchasing in the 21st Century, Second Edition helps you create a sound purchasing operation with a solid framework that includes a rigorous evaluation of current systems.
Pure ASP.NET: A Code-Intensive Premium Reference
Authors: Robert Lair, Jason Lefebvre
Venue:  (2001)

:Pure ASP.NET is a premium reference for Active Server Pages development in the new Microsoft .NET Framework. Like all books in the Pure Series, Pure Active Server Pages.NET is comprised of 3 parts. Part I Conceptual Reference is a fast-paced primer that covers ASP.NET fundamentals and concepts.Part II Techniques Reference is full of well-commented, commercial-quality code that illustrates practical applications of ASP.NET concepts. Examples are presented in both Visual Basic and C# to appeal to a wide variety of programmers. Part III Syntax and Object Reference contains detailed coverage of .NET Namespaces such as System.Web and System.Data that are invaluable to ASP.NET developers.
Digital Imaging for Photographers with CD (Audio), 4th edition
Authors: Adrian Davies, Phil Fennessy
Venue:  (2001)

:This completely revised and updated fourth edition, with the latest information on cameras, printers and image processing techniques, is also illustrated throughout with full color images for the first time. The free CD-ROM contains many of these images so that you can practice the techniques in the book, as well as new examples of some the other issues discussed. Specially produced animations show the operation of charge coupled devices (CCDs) and software provided includes NIH Image (Scion Image for PC), invaluable for technical photographers to process and analyze their images. If you are considering investing in digital imaging equipment, or want to understand more about this subject, this book will offer you authoritative, first-hand advice.Author Biography: Adrian Davies is Deputy Head of the Department of Arts, Media and General Education at North East Surrey College of Technology, where he has introduced various courses on digital imaging. He writes regularly for a number of magazines and speaks at various conferences and exhibitions, as well as being an active wildlife and natural history photographer. Phil Fennessy is Digital Capture Development Manager for Eastman Kodak.
Statistics and Slobodan: crunching big data for the Milosevic case at the International Criminal Tribunal for Former Yugoslavia
Authors: Patrick Ball
Venue: Proceedings of the 12th annual conference on Computers, freedom and privacy (2002)

During the conflict between NATO and Yugoslavia, thousands of people were killed and hundreds of thousands more fled their homes. Logically, NATO and Yugoslavia advanced quite different explanations for the violence. Yugoslavia claimed that the deaths and migration were the result of NATO's airstrikes and local actions by the ethnic Albanian insurgents (the KLA). NATO claimed that the deaths and migration were the result of a coordinated campaign by Yugoslav authorities to "ethnically cleanse" Kosovo of Albanians. The report used techniques from historical demography as well as multiple systems estimation to model patterns of killing and migration flow. Comparing killings and migration to patterns of KLA activity and NATO airstrikes, the hypotheses advanced by the Yugoslav government are rejected. Key coincidences in the data are observed which are suggestive of agreement with the hypothesis that Yugoslav forces were responsible for the violence. The analysis was organized and presented in the trial of Slobodan Milosevic at the International Criminal Tribunal for Former Yugoslavia (ICTY) in The Hague on 13-14 March 2002.
Filtering of Nonlinear Stochastic Feedback Systems
Authors: F. Carravetta, A. Germani, R. Liptser, C. Manes
Venue: SIAM Journal on Control and Optimization (2001)

This paper concerns the filtering problem for a class of stochastic nonlinear systems where the drift term may depend either on some external function (open-loop system) or on the system output ( closed-loop system), through a controller. Such systems are denoted feedback systems. The following result is proven: for feedback systems, the optimal filter in the open-loop case remains optimal when the feedback is closed. The proof is obtained by showing equivalence of suitable expressions for the estimators of the open-loop and closed-loop systems, obtained using the Kallianpur--Striebel formula [G. Kallianpur and C. Striebel, Ann. Math. Statist., 39 (1968), pp. 785--801].
Testing preorders for probabilistic processes can be characterized by simulations
Venue: Theoretical Computer Science (2002)

Transition systems are well established as a semantic model for distributed systems. There are several preorders that serve as criteria for refinement of an abstract transition system to a more concrete one. To reason about probabilistic phenomena such as failures and randomization, we need to extend models and methods that have proven successful for nonprobabilistic systems to a probabilistic setting. In this paper, we develop a refinement preorder for a probabilistic extension of the transition systems model. The preorder is based on a notion of testing, where refinement corresponds to an improvement in the "worst-case" behavior of a process. The main result of the paper is that this preorder can be described by a notion of probabilistic simulation, which generalizes the standard simulation preorder for ordinary transition system. To our knowledge, this simulation preorder has not been previously described in the literature, and is strictly weaker than previously proposed simulations for probabilistic transition systems.
Weak Sharp Solutions of Variational Inequalities
Authors: Patrice Marcotte, Daoli Zhu
Venue: SIAM Journal on Optimization (1998)

In this work we give sufficient conditions for the finite convergence of descent algorithms for solving variational inequalities involving generalized monotone mappings.
Essentials of Pro/ENGINEER, 1st edition
Authors: Yousef Haik, Mohammed Kilani
Venue:  (2000)

:The book provides self-guided tutorial notes that walk students through the essentials of using Pro/E software in engineering design. While many Pro/E books cover every feature of the software package, this book smiply teaches the most commonly used commands and techniques. The authors also provide offers direction to students who may need to learn more advanced features of Pro/E or other CAD packages.While Pro/E and other CAD software companies have been developing new releases on an annual basis, Haik and Kilani focus most of their teaching on the basic material that does not change from release to release. With this approach, students will have command of the basic powers of Pro/E, but not need to purchase a new book with every new version of Pro/E..
Configuring SAP R/3 FI/CO
Authors: Quentin Hurst, David Nowak
Venue:  (2000)

:Configuring SAP R/3 FI/CO is the only book of its kind: a detailed, practical guide to configuring R/3's two most popular modules. Written by the experts responsible for R/3 configuration in a Fortune 200 company, it provides detailed instructions and examples for all the Financial and Controlling submodules-information that will help you make good on your company's sizable investment.
MCSE Exam Notes Windows 95
Authors: Rick Sawtell, Lance Mortensen
Venue:  (1998)

:Here's the book you need to review for Exam 70-064, Implementing and Supporting Microsoft Windows 95, a core requirement alternative for the MCSE. Focused objective-by-objective coverage provides a quick and thorough review of all the information you need to know for this demanding exam.
Ontologically Controlled Autonomous Systems: Principles, Operations, and Architecture
Authors: George A. Fodor
Venue:  (1998)

:Ontologically Controlled Autonomous Systems: Principles, Operations and Architecture, presents the main principles, operations and architecture involved in the design of a novel type of supervisory controller called an ontological controller. An ontological controller can be used to supervise any type of controller, however its intended applications are industrial-strength complex autonomous control systems using advanced programmable controllers. Ontologically Controlled Autonomous Systems: Principles, Operations and Architecture, presents for the first time a complete formal framework and results for ontological control. All results presented in the book originate from the practical industrial experience of the author. The intended readers for Ontologically Controlled Autonomous Systems: Principles, Operations and Architecture, are professional and students working in industrial control, discrete control, discrete-event systems, artificial intelligence, autonomous systems, programmable (logic) control design, robotics, real-time planning, safety-critical systems, Petri nets and PLC standards such as IEC1131.
Soundness of data refinement for a higher-order imperative language
Authors: David A. Naumann
Venue: Theoretical Computer Science (2002)

Using a set-theoretic model of predicate transformers and ordered data types, we give a semantics for an Oberon-like higher-order imperative language with record subtyping and procedure-type variables and parameters. Data refinement is shown to be sound for this language: It implies algorithmic refinement when suitably localized. All constructs are shown to preserve simulation, so data refinement can be carried out piecewise.