ppxscal/embedding_network huggingface dataset:
A D. C. Optimization Algorithm for Solving the Trust-Region Subproblem
Authors: Pham Dinh Tao, Le ThiHoai An
Venue: SIAM Journal on Optimization (1998)

This paper is devoted to difference of convex functions (d.c.) optimization: d. c. duality, local and global optimality conditions in d. c. programming, the d. c. algorithm (DCA), and its application to solving the trust-region problem. The DCA is an iterative method that is quite different from well-known related algorithms. Thanks to the particular structure of the trust-region problem, the DCA is very simple (requiring only matrix-vector products) and, in practice, converges to the global solution. The inexpensive implicitly restarted Lanczos method of Sorensen is used to check the optimality of solutions provided by the DCA. When a nonglobal solution is found, a simple numerical procedure is introduced both to find a feasible point having a smaller objective value and to restart the DCA at this point. It is shown that in the nonconvex case, the DCA converges to the global solution of the trust-region problem, using only matrix-vector products and requiring at most 2m+2 restarts, where m is the number of distinct negative eigenvalues of the coefficient matrix that defines the problem. Numerical simulations establish the robustness and efficiency of the DCA compared to standard related methods, especially for large-scale problems.
Weaving the Web: The Original Design and Ultimate Destiny of the World Wide Web by Its Inventor, 1st edition
Authors: Tim Berners-Lee, Mark Fischetti
Venue:  (1999)

:Tim Berners-Lee, the inventor of the World Wide Web, has been hailed by Time magazine as one of the 100 greatest minds of this century. His creation has already changed the way people do business, entertain themselves, exchange ideas, and socialize with one another.. "Berners-Lee offers insights to help readers understand the true nature of the Web, enabling them to use it to their fullest advantage. He shares his views on such critical issues as censorship, privacy, the increasing power of software companies in the online world, and the need to find the ideal balance between the commercial and social forces on the Web. His criticism of the Web's current state makes clear that there is still much work to be done. Finally, Berners-Lee presents his own plan for the Web's future, one that calls for the active support and participation of programmers, computer manufacturers, and social organizations to make it happen.
Connectionist Speech Recognition: A Hybrid Approach
Authors: Herve A. Bourlard, Nelson Morgan
Venue:  (1993)

:Connectionist Speech Recognition: A Hybrid Approach describes the theory and implementation of a method to incorporate neural network approaches into state-of-the-art continuous speech recognition systems based on Hidden Markov Models (HMMs) to improve their performance. In this framework, neural networks (and in particular, multilayer perceptrons or MLPs) have been restricted to well-defined subtasks of the whole system, i.e., HMM emission probability estimation and feature extraction. The book describes a successful five year international collaboration between the authors. The lessons learned form a case study that demonstrates how hybrid systems can be developed to combine neural networks with more traditional statistical approaches. The book illustrates both the advantages and limitations of neural networks in the framework of a statistical system. Using standard databases and comparing with some conventional approaches, it is shown that MLP probability estimation can improve recognition performance. Other approaches are discussed, though there is no such unequivocal experimental result for these methods. Connectionist Speech Recognition: A Hybrid Approach is of use to anyone intending to use neural networks for speech recognition or within the framework provided by an existing successful statistical approach. This includes research and development groups working in the field of speech recognition, both with standard and neural network approaches, as well as other pattern recognition and/or neural network researchers. This book is also suitable as a text for advanced courses on neural networks or speech processing.
Circle formation for oblivious anonymous mobile robots with no common sense of orientation
Authors: Xavier Défago, Akihiko Konagaya
Venue: Proceedings of the second ACM international workshop on Principles of mobile computing (2002)

This paper proposes a distributed algorithm by which a collection of mobile robots roaming on a plane move to form a circle. The algorithm operates under the premises that robots (1) are unable to recall past actions and observations (i.e., oblivious), (2) cannot be distinguished from each others (i.e., anonymous), (3) share no common sense of direction, and (4) are unable to communicate in any other ways than by observing each others position.
Intelligent Support Systems: Knowledge Management
Authors: Vijayan Sugumaran
Venue:  (2002)

:While the area of Intelligent Support Systems has experienced significant progress in the recent past, the advent of the Internet and World Wide Web has sparked a renewed interest in this area. There is a growing interest in developing intelligent systems that would enable users to accomplish complex tasks in a Web-centric environment with relative ease in utilizing such technologies as intelligent agents, distributed computing, and computer supported collaborative work. The purpose of this book is to bring together researchers in related fields such as information systems, distributed artificial intelligence (AI), intelligent agents, machine learning, and collaborative work, to explore various aspects of IIS design and implementation, as well as to share experiences and lessons learned in deploying intelligent support systems.
A program development tool
Authors: C. N. Alberga, A. L. Brown, G. B. Leeman,  Jr., M. Mikelsons, M. N. Wegman
Venue: Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1981)

In this paper we describe how we have combined a number of tools (most of which understand a particular programming language) into a single system to aid in the reading, writing, and running of programs. We discuss the efficacy and the structure of our system. For the last two years the system has been used to build itself; it currently consists of 500 kilobytes of machine code (25,000 lines of LISP/370 code) and approximately one hundred commands with large numbers of options. We will describe some of the experience we have gained in evolving this system. We first indicate the system components which users have found most important; some of the tools described here are new in the literature. Second, we emphasize how these tools form a synergistic union, and we illustrate this point with a number of examples. Third, we illustrate the use of various system commands in the development of a simple program. Fourth, we discuss the implementation of the system components and indicate how some of them have been generalized.
Using Microsoft Office 97
Authors: Rick Winter, Patty Winter
Venue:  (1997)

:Special Edition Using Microsoft Office Small Business Edition is a comprehensive reference and tool for Microsoft Office Small Business Edition users. It will assist the user in creating powerful, professional-looking documents and marketing materials. This book will direct and explain to small businesses how to stay on top of correspondence, develop proposals, create marketing materials, budget and analyze finances, service existing customers and acquire new customers, and increasingly rely on the Internet for a competitive advantage. For example, how to leverage the power of the Internet and email with innovative toolsSpecifically designed and targeted toward the small business userMicrosoft Office Small Business Edition is predicted to cannibalize Microsoft Office Standard by 20-30%This book offers a complete reference to the software which contains: Word 97, Microsoft Excel 97, Publisher 97, New Outlook 97, Automap Streets Plus, Small Business Financial Manager 97, and Microsoft Internet Explorer
Learning Sites: Social and Technological Resources for Learning
Authors: Joan Bliss, Paul Light, Roger Shaljho
Venue:  (1999)

:Human learning, reasoning and thinking, and the different sites in which these activities take place, are the focus of this book. It presents the results of research into the nature of learning and the influence of different contexts and factors within the context of learning, the constraints that contexts place on reasoning and learning, and the nature of learning when using tools and artefacts. It also addresses the nature of the influence of technology on learning, focusing especially on information technology and how it can influence any type of learning situation. Learning Sites: Social and Technological Resources for Learning is one of the outcomes of the European Science Foundation's research programme on "Learning in Humans and Machines". It will be of interest to educational scientists, sociologists, psychologists, cognitive scientists and researchers in the field of human-computer interaction.
A Timed Verification of the IEEE 1394 Leader Election Protocol
Authors: Judi Romijn
Venue: Formal Methods in System Design (2001)

The IEEE 1394 architecture standard defines a high performance serial multimedia bus that allows several components in a network to communicate with each other at high speed. In the physical layer of the architecture, a leader election protocol is used to find a spanning tree with a unique root in the network topology. If there is a cycle in the network, the protocol treats this as an error situation. This paper presents a formal model of the leader election protocol in the language IOA and a correctness proof. Hereby, it is shown that under certain timing restrictions the protocol behaves correctly. The timing parameters in the IEEE 1394 standard documentation obey the restrictions found in this proof.
A Legendre--Petrov--Galerkin and Chebyshev Collocation Method for Third-Order Differential Equations
Authors: Heping Ma, Weiwei Sun
Venue: SIAM Journal on Numerical Analysis (2000)

A Legendre--Petrov--Galerkin (LPG) method for the third-order differential equation is developed. By choosing appropriate base functions, the method can be implemented efficiently. Also, this new approach enables us to derive an optimal rate of convergence in L2-norm. The method is applied to some nonlinear problems such as the Korteweg--de Vries (KdV) equation with the Chebyshev collocation treatment for the nonlinear term. It is a Legendre--Petrov--Galerkin and Chebyshev collocation (LPG-CC) method. Numerical experiments are given to confirm the theoretical result.
Leading with Knowledge: The Nature of Competition in the 21st Century
Authors: Richard C. Huseman, Jon P. Goodman
Venue:  (1998)

:Knowledge management is more than a buzzword - it's a way of thinking and acting. Stemming from a rich organizational history, the term knowledge organization has evolved to describe organizations that recognize the competitive advantage of intellectual capital, particularly that represented by their employees. Based on their landmark study of more than 200 of America's largest companies, Richard C. Huseman and Jon P. Goodman found that 78 percent of the corporations surveyed say they are moving toward becoming knowledge organizations. Leading With Knowledge provides examples of best practices and blueprints for developing a leading 21st century organization.
Modeling and analysis of leakage power considering within-die process variations
Authors: Ashish Srivastava, Robert Bai, David Blaauw, Dennis Sylvester
Venue: Proceedings of the 2002 international symposium on Low power electronics and design (2002)

We describe the impact of process variation on leakage power for a 0.18mm CMOS technology. We show that variability, manifested in Ldrawn, Tox, and Nsub, can drastically affect the leakage current. We first present Monte Carlo-based simulation results for leakage current in various CMOS gates when the process parameters are varied both individually and concurrently. We then derive an analytical model to estimate the mean and standard deviation of the leakage current as a function of the process parameter distributions. We demonstrate that the results of the analytical model match well with Monte-Carlo simulations and also show the statistical mean leakage current is significantly different from the leakage predicted using a nominal case file.
Whatever became of integrity?
Authors: Paul F. Ross
Venue: Communications of the ACM (2002)

What responsibilities do those in the computing profession have for the moral integrity of what they do?
Sams Teach Yourself C++ in 10 Minutes, 2nd edition
Authors: Jesse Liberty, Mark Cashman
Venue:  (2002)

:C++ remains a popular object-oriented language and Sams Teach Yourself C++ in 10 Minutes provides a quick, focused way to learn the language. The author assumes no prior programming experience and begins by showing the reader the absolute fundamentals of what a program is and guides the readers to write their very first program. It covers all the important topics in C++ and provides a sold foundation on which to build programming knowledge. The material is reorganized to fit proven teaching techniques with about thirty percent of the text rewritten. All examples are new to comply with the current ANSI C++ standard and make them completely compatible with all popular compilers.
Internet World Guide to One-to-One Web Marketing
Authors: Cliff Allen, Beth Yaeckel, Deborah Kania
Venue:  (1998)

:Experts Allen, Kania, and Yaeckel get you up to speed on all the hot new Web technologies that marketers are using to forge lasting relationships, one customer at a time. With the help of case studies of some of the most successful one-to-one Web marketing initiatives, they show you exactly how those technologies are being employed to customize offerings and create dialogs with customers. They provide valuable lessons, tips, and guidelines on how to make the best technology selections for your budget and goals, and plan a successful one-to-one Web marketing initiative; build relationships with customers using personalization, push, interactivity, telephone and A/V conferencing, e-mail, virtual community, and other cutting-edge Web technologies; and integrate one-to-one Web marketing strategies with other processes and systems, such as customer service and support and databases.
The Java Tutorial Continued: The Rest of the JDK
Authors: Mary Campione, Kathy Walrath, Alison Huml
Venue:  (1998)

:The Java Tutorial Continued provides accurate, up-to-date coverage of features added to the original core Java platform. Written by the experts, The Java Tutorial Continued employs a hands-on, self-paced, example-driven approach. This book concentrates on JDK 1.2 APIs but also contains the information you need to use the JDK 1.1 versions of the APIs. The accompanying CD-ROM contains all the material from both The Java Tutorial and The Java Tutorial Continued in HTML, including the source code for all of the examples. The CD-ROM also has much more, including the JDK and everything you need to start programming with JDK 1.2.
TCP/IP Primer Plus
Authors: Heather Osterloh
Venue:  (2001)

:TCP/IP Primer Plus offers its readers an in-depth examination of one of the core networking technologies in a widely accepted format.It covers BGP in sufficient depth to equip the reader with knowledge they can translate into improved network management, and shows clearly how the standard OSI model is linked to the TCP/IP suite. 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
Perfect Store: Inside Ebay
Authors: Adam Cohen
Venue:  (2002)

:"When Pierre Omidyar decided to start an online auction site, his friends told him he was crazy. But within a few years, Omidyar was worth $4 billion and the company he founded, eBay, was the most successful e-commerce site in history. Once a tiny auction site overrun with Beanie Baby listings, today eBay is a commercial powerhouse where millions of users buy and sell everything from antique pickle jars and record albums to Ford trucks and $40,000 computer servers. Now, in The Perfect Store, award-winning journalist Adam Cohen takes us inside eBay for the first time. Cohen was given greater access to eBay than any reporter ever before. He not only spoke to every important player - including CEO Meg Whitman - but eBay issued him a company ID and gave him a work space in its Silicon Valley headquarters." The Perfect Store is the perfect book for anyone who wants to get a handle on what works in the Internet economy. And for anyone who wants to explore the life and times of the most vibrant community in cyberspace.
C++ Toolkit for Engineers and Scientists with Cdrom, 2nd edition
Authors: James T. Smith
Venue:  (1999)

:This concise guide covers the fundamental aspects of numerical analysis. On this foundation it constructs routines for solving nonlinear equations, linear and nonlinear systems of equations, and eigenvalue problems. Focusing on software development, this book emphasizes software tools, and OOP techniques for handling vectors, polynomials, and matrices. Using actual examples to demonstrate reusable tools, C++ Toolkit for Engineers and Scientists will enable the reader to solve broad classes of software development and programming problems. As a practical reference, it will help developers and consultants setting up applications programs for electrical and electronic engineers and physical scientists who need to develop clean, efficient C++ programs in minimal time. 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
Everquest: The Ruins of Kunark
Authors: Melissa Tyler
Venue:  (2000)

:Welcome back to the world of EverQuest, a multiplayer fantasy role-playing game capable of supporting more than 1,000 online players per server. Prepare to enter an enormous virtual environmentan entire world with its own diverse species, economic systems, alliances, and politics. Choose from a variety of races and classes, and begin your quest in any number of cities or villages throughout several continents. A multitude of quests and adventures await, but you choose your role, you define your destiny. EverQuest: The Ruins of KunarkRevised & Expanded includes everything you need for both the original and expansion EverQuest games and all-new stats and strategies. Inside, you'll find:Character creation and role-playing tips from the expertsImproved city mapsSolo and group tacticsWeapons, armor, items, and spell informationStats for newbie-zone creaturesGuildhall locations
The logic of bugs
Authors: Gerard J. Holzmann
Venue: Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering (2002)

Real-life bugs are successful because of their unfailing ability to adapt. In particular this applies to their ability to adapt to strategies that are meant to eradicate them as a species. Software bugs have some of these same traits. We will discuss these traits, and consider what we can do about them.
A simple hardware model of a Turing machine: its educational use
Authors: Ira Gilbert, Jacques Cohen
Venue: Proceedings of the ACM annual conference - Volume 1 (1972)

A simple hardware model of a Turing machine has been built at Brandeis University for educational purposes. The machine was designed and built by the first author and is being used by the second to test its value as an instructional aid in the teaching of programming. This paper presents the factors that influenced the design of the model, provides data concerning its characteristics and operation, and describes its use in teaching elementary programming to undergraduates and high school students.
Introduction to Simulation and Risk Analysis
Authors: James R. Evans, David L. Olson
Venue:  (1998)

:Soundly structured and highly practical, this informative guide introduces users to the concepts, methodologies, and applications of simulation in business, using easy-to-apply Microsoft Excel spreadsheets as the principal means to illustrate simulation modeling concepts, computational issues, and analysis of results. Uses spreadsheets throughout to convey quantitative methodologies in a language readers can most easily understand, and allows them to address the elementary concepts of both risk analysis and systems simulation approaches in a common framework. Fully covers all basic concepts of simulation (i.e., the nature of simulation models, systems (time/event driven) simulation, techniques for implementing simple simulation models on Excel spreadsheets, statistical concepts and methods important in simulation analysis, and more. Offers an in-depth study of risk analysis using the Excel add-in Crystal Ball as a practical method for Monte Carlo simulation. Presents a detailed analysis of systems simulation including discussions on the fundamentals of simulating inventory and queueing systems and event-driven simulation. Provides SkillBuilder exercises for practicing and developing spreadsheet and software applications skills, as well as Simulation in Practice cases and numerous examples and illustrations of simulation models throughout. For business administrators, industrial engineers, and related professionals who want to learn about simulation and risk analysis.
Internet Service Provider's Black Book: A Professional Guide to Creating a Gateway to the Internet
Authors: Deb Howard
Venue:  (1998)

:Provides an overview of the diverse resources and varied options for establishing, configuring, maintaining, and growing a solid Internet business. In-depth examination of the hardware and software requirements and the administrative aspects of being a successful Internet Service Provider. Combines practical hands-on Internet technical information with real-world business aspects. 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
Essential Internet Guide
Authors: Brian Cooper, Annalisa Milner, Tim Worsley
Venue:  (2001)

:Essential Internet Guide combines four volumes from DK's Computer Essentials seriesBrowsing the Web, Building a Website, Getting Connected and Searching the Internetinto one accessible, easy-to-use volume. Net novice and experienced user alike will find all the tips, tricks, and techniques they needed for exploring the ever-expanding online world.