ppxscal/embedding_network huggingface dataset:
Using 1-2-3 Release 4 for DOS, 1st edition
Authors: Que Development Group
Venue:  (1994)

:This ultimate resource takes Que's tradition with Lotus 1-2-3 a step further. Covering nearly all 1-2-3 commands and procedures, the text also helps the user boost worksheet, database, and graphics performance with expert advice.Tips, cautions, and troubleshooting Q&As provide insights only Que experts can deliverPull-out Command Chart gives the reader information at a glanceThe most comprehensive coverage of any 1-2-3 book available 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
Network Design Using Cut Inequalities
Authors: Francisco Barahona
Venue: SIAM Journal on Optimization (1996)

We study the network loading problem, with and without bifurcations. We use a relaxation based on the cut condition for multicommodity flows. We use a solution of the bifurcated case to derive a solution to the nonbifurcated problem. A standard procedure is to aggregate the problem into a backbone network. We applied this method to backbone networks coming from practical instances; we obtained feasible solutions and bounds for the gap from optimality.}
Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System Revisiting Seven Myths of Formal Methods
Authors: Jan Tretmans, Klaas Wijbrans, Michel Chaudron
Venue: Formal Methods in System Design (2001)

This paper discusses the use of formal methods in the development of the control system for the Maeslant Kering. The Maeslant Kering is the movable dam which has to protect Rotterdam from floodings while, at (almost) the same time, not restricting ship traffic to the port of Rotterdam. The control system, called BOS, completely autonomously decides about closing and opening of the barrier and, when necessary, also performs these tasks without human intervention. BOS is a safety-critical software system of the highest Safety Integrity Level according to IEC 61508. One of the reliability increasing techniques used during its development is formal methods. This paper reports experiences obtained from using formal methods in the development of BOS. These experiences are presented in the context of Hall's famous &ldquo;Seven Myths of Formal Methods&rdquo;.
A necessary condition for a graph to be the visibility graph of simple polygon
Authors: Chiuyuan Chen
Venue: Theoretical Computer Science (2002)

Two vertices of a simple polygon P are visible if the line segment joining them does not intersect the exterior of P. The visibility graph of P is a graph G obtained by representing each vertex of P by a vertex of G and two vertices of G are joined by an edge if and only if their corresponding vertices in P are visible. A graph G is a visibility graph if there exists a simple polygon P such that G is isomorphic to the visibility graph of P. No characterization of visibility graphs is available. Coullard and Lubiw derived a necessary condition for a graph to be the visibility graph of a simple polygon. They proved that any 3-connected component of a visibility graph has a 3-clique ordering starting from any triangle. However, Coullard and Lubiw insisted on the non-standard definition of visibility (the line segment joining two visible vertices may not go through intermediate vertices) and they said they do not know if their result will hold under the standard definition of visibility. The purpose of this paper is to prove that Coullard and Lubiw's result still holds under the standard definition of visibility.
Organisational implementation: a complex but under-recognised aspect of information-system design
Authors: Morten Hertzum
Venue: Proceedings of the second Nordic conference on Human-computer interaction (2002)

The development of information technology (IT) is often seen as consisting of analysis, design, technical implementation, and testing. While this may involve user input at several stages --- to support the software engineers in devising and revising the system --- this view on systems development marginalises organisational implementation. Organisational implementation comprises the activities that prepare organisations and users for a new system as well as the activities that prepare the system for the transition period during which it enters into operation and takes over from previous systems and artefacts. This study analyses three organisational-implementation activities undertaken during the complete redesign of a large information system: the information plan, the data conversion, and the release strategy. It is found that these activities must be carefully aligned with the technical implementation of the system and that they involve the development of additional system facilities. In sum, this study provides evidence of the complexity and importance of organisational implementation and, thereby, argues that it must be recognised as a first-rate constituent of the design process.
Websphere V3.5 Handbook: Application Server V3.5
Authors: Ken Ueno, Kapadia
Venue:  (2001)

From the Book:PREFACE: PrefaceWebSphere Application Server V3.5 is the latest version of the IBM open standards-based e-business application deployment environment. This redbook will show you how to install and use the product. It provides detailed insights into the product's architecture and gives a wealth of practical advice about how best to exploit the features of WebSphere.At the heart of the book are detailed step-by-step descriptions of the tasks you will carry out to deploy and execute your applications. These descriptions include not only the use of the improved V3.5 GUI administration console but also examples of how to exploit the new command line administration facilities.The redbook places these task descriptions in a broader context by providing discussions of possible application architectures, deployment topologies, best practices and problem determination when using WebSphere Application Server.These discussions are founded on clear descriptions of concepts and technologies that provide the framework for WebSphere Application Server. These include the Servlet, JSP and EJB APIs, security, transactions, JDBC, and JNDI.The redbook also contains details of the support for the Servlet API V2.2 and JSP V1.1 APIs introduced by WebSphere V3.5 Fix Pack 2 and examples of using these new facilities.
The Comprehensive Russian-English Dictionary of Computer Terms, 1st edition
Authors: Paul Druker, Yury Avrutin
Venue:  (1999)

From the Book:This dictionary was compiled by the authors as a result of dissatisfaction with the field of available publications. The existing dictionaries lack on two accounts: a) outdated word lists, b) no usable Russian-English translations. We strove to produce a modern dictionary with succinct and comprehensive lexicon. The result is this work of 30,000 computer-related entries divided equally between English and Russian languages. Our attempt to produce an all-encompassing, comprehensive volume may in itself be the dictionary's biggest drawback - we chose not to emphasize any particular subspecialty in the vast and rapidly expanding computer vocabulary while keeping to our self-imposed limit of thirty thousand dictionary entries in order to have a printed volume of manageable size. Much thought and debate has gone into the dictionary structure. There were two main choices to consider - a nested organization and a linear-alphabetical list. A nested dictionary structure is more familiar to the Russian audience, while linear-alphabetical structure is prevalent among U.S. dictionaries. A linear-alphabetical structure has an advantage of the simplicity of lookup of multiple-word entries. A nested dictionary structure has its strength in allowing to establish a term's context. We chose a rather unorthodox linear-alphabetical dictionary organization in combination with numerous cross-references to make it easy to locate desired terms while permitting a lookup of additional, contextually-related translations. We would like to thank IEEE Computer Society for undertaking the publication of this dictionary. We would also like to express our gratitude to Greg Cole who heads the Center for International Networking Initiatives at the University of Tennessee, Knoxville for maintaining the Friends and Partners web site where an electronic version of the dictionary has been hosted since 1994. Our thanks and indebtedness goes to people too numerous to mention who corresponded with us over the years giving us new ideas and suggestions, helping us make this a better dictionary. We see our audience as computer professionals, students and everyone who comes in contact with computers and English and Russian languages. We hope that the readers will find this dictionary to be a useful reference in their everyday work. The authors, Yury Avrutin and Paul Druker
Soar Papers: Research on Integrated Intelligence
Authors: Paul S. Rosenbloom, Allen Newell, John E. Laird
Venue:  (1993)

:Soar is a state-of-the art computational theory of the mind that has had a significant impact in both artificial intelligence and cognitive science. Begun by John E. Laird, Allen Newell, and Paul S. Rosenbloom at Carnegie Mellon in the early 1980s, the Soar Project is an investigation into the architecture underlying intelligent behavior with the goal of developing and applying a unified theory of natural and artificial intelligence. The Soar Papers - sixty-three articles in all - provide in one place the important ideas that have emerged from this project. The book is organized chronologically, with an introduction that provides multiple organizations according to major topics. Readers interested in the entire effort can read the articles in publication order, while readers interested only in a specific topic can go directly to a logical sequence of papers to read on that topic. Paul S. Rosenbloom is Associate Professor of Computer Science at the Information Sciences Institute. John E. Laird is Associate Professor of Electrical Engineering and Computer Science at the University of Michigan. The late Allen Newell was U.A. and Helen Whitaker University Professor of Computer Science at Carnegie Mellon University. Major topics include: The direct precursors of Soar, the Soar architecture, implementation issues, intelligent capabilities (such as problem solving and planning, learning, and external interaction), domains of application, psychological modeling, perspectives on Soar, and using Soar.
Updaies of relational views
Authors: Stavros S. Cosmadakis, Christos H. Papadimitriou
Venue: Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems (1983)

We study the problem of translating updates of database views. View updates are disambiguated by requning that a specified view complement (i.e. a second view which contnms all the information omitted from the given view) remains constant during the translation. We study some of the computational problems related to the application of this general methodology in the context of relational databases. We restrict our attention to projective views of databases which consist of a single relation and satisfy functional dependencies. We first characterize complementary views and show that finding a minimum complement of a given view is NP-complete. We then study in detail the problem of translating the insertion of a tuple into a view and extend our results to the cases of deletion and replacement of a tuple. Finally we define and study a new kind of dependencies the explicit functional dependencies, which intuitively state that some part of the database information can be computed from the rest.
Strong Optimality for a Bang-Bang Trajectory
Authors: Andrei A. Agrachev, Gianna Stefani, PierLuigi Zezza
Venue: SIAM Journal on Control and Optimization (2002)

In this paper we give sufficient conditions for a bang-bang regular extremal to be a strong local optimum for a control problem in the Mayer form; strong means that we consider the C0 topology in the state space. The controls appear linearly and take values in a polyhedron, and the state space and the end point constraints are finite-dimensional smooth manifolds. In the case of bang-bang extremals, the kernel of the first variation of the problem is trivial, and hence the usual second variation, which is defined on the kernel of the first one, does not give any information. We consider the finite-dimensional subproblem generated by perturbing the switching times, and we prove that the sufficient second order optimality conditions for this finite-dimensional subproblem yield local strong optimality. We give an explicit algorithm to check the positivity of the second variation which is based on the properties of the Hamiltonian fields.
Modeling vagueness in information retrieval
Authors: Gloria Bordogna, Gabriella Pasi
Venue: Lectures on information retrieval (2001)

This paper reviews some applications of fuzzy set theory to model flexible information retrieval systems, i.e., systems that can represent and interpret the vagueness typical of human communication and reasoning. The paper focuses on the following topics: a description of fuzzy indexing procedures defined to represent structured documents, the definition of flexible query languages which allow the expression of vague selection conditions, and some fuzzy associative retrieval mechanisms based on fuzzy pseudo-thesauri of terms and fuzzy clustering techniques.
Firewalls 24seven, 2nd edition
Authors: Matthew Strebe, Charles Perkins
Venue:  (2002)

:Firewalls 24seven provides the detailed, high-level information that networking professionals need to reach the level of true expert.. "Written to build on the knowledge you already have, Security experts Strebe and Perkins deliver the advanced coverage that will enable you to implement effective and secure firewalling on your network.
Essentials of Fuzzy Modeling and Control, 1st edition
Authors: Ronald R. Yager, Dimitar P. Filev
Venue:  (1994)

:At last, here is a thorough introduction that offers complete coverage of all relevant theory and applications to the rapidly evolving field of fuzzy logic. While most other books on the subject tend to be loose collections of papers reporting on the state of this or that fuzzy area, Essentials of Fuzzy Modeling and Control follows a logical, pedagogically consistent format designed to fully acquaint readers with the entire range of fuzzy concepts, tools, and modeling techniques. While it is an excellent general introduction for students, the authors' ultimate goal is to give researchers an opportunity to acquire everything they need to build the kinds of fuzzy rule-based models used in the development of the controllers now being constructed for the next generation of intelligent systems.
Publisher 2000 Essentials, 1st edition
Authors: Robert Ferrett, Sally Preston, John Preston
Venue:  (2000)

:This book and accompanying CD meet the practical and professional needs of all types of Microsoft Office users at varying skill levels. It is a learning system that combines graphics, instructions, experience, reinforcement, and problem solving with extensive hands-on exercises. The program consists of modular lessons that are built around a series of numbered, step-by-step procedures that are clear, concise, and easy to review. Additional features, tips, pitfalls, and other related information are provided at exactly the right placeand are easily recognizable points that stand out from the main flow of the tutorial. Icons are designed to match the Microsoft Office theme. Six projects contain several lessons with objectives related to each: getting started with publisher; adding graphics; working with text; working with frames; using tables, charts, and mail merge; working with publisher tools; and building a web site with publisher. For anyone who works (or plays) in a Windows environment, and wants (or needs) to keep up with the ever-expanding feature set of Microsoft Office.
Robot Analysis and Control, 1st edition
Authors: Jean-Jacques E. Slotine, H. Asada
Venue:  (1992)

:Introduces the basic concepts of robot manipulation--the fundamental kinematic and dynamic analysis of manipulator arms, and the key techniques for trajectory control and compliant motion control. Material is supported with abundant examples adapted from successful industrial practice or advanced research topics. Includes carefully devised conceptual diagrams, discussion of current research topics with references to the latest publications, and end-of-book problem sets. Appendixes. Bibliography.
ASP.NET 1.0 Namespace Reference with VB.NET, 1st edition
Authors: Amit Kalani, Mike Clark, Bruce Lee, Alex Homer, John Schenken, Andy Elmhorst, Matt Gibbs, Matt Milner, Jason Bell, Dave Gerding
Venue:  (2002)

:This book is not meant as a tutorial to ASP.NET, and is not recommended for people who are fresh to .NET. We are assuming you are already aware of how to program with ASP.NET, but need a more complete reference to the relevant namespaces than is provided in the documentation. The code and syntax examples in the book are all in VB.NET.
Internet Marketing
Authors: Barbara G. Cox, William Koelzer
Venue:  (2002)

:Providing plenty of guidance and tons of examples from the Internet, this book does not just talk about Internet marketingit shows what to do and how to do it! A combination of plain language and careful details create a presentation that anyoneincluding Internet novices and the technologically challengedcan understand. Chapter topics cover doing business on the Internet; types of businesses and sites; creating and building an Internet presence; positioning, audience, and goals; web site content; interactive functions; site appearance and organization; portals, search engines, and directories; Internet advertising of your web site: links, banners, tiles; promotion (on the net and off) and print/media advertising; e-mail marketing; and getting started with an action plan. For small and entrepreneurial start-up businesses; marketing directors, managers, assistants, coordinators, and supervisors of mid-size companies; franchisers; and service providerssuch as insurance agents, lawyers, doctors, and dentists.
Time-critical multiresolution volume rendering using 3D texture mapping hardware
Authors: Xinyue Li, Han-Wei Shen
Venue: Proceedings of the 2002 IEEE symposium on Volume visualization and graphics (2002)

This paper presents a LOD selection algorithm for multiresolution volume rendering using 3D texture mapping hardware. The goal of the algorithm is to select appropriate LODs automatically from a volume hierarchy so that the rendering speed will match the user's desired frame rate. To achieve this goal, we devise an intra-frame predictive-reactive scheme, which controls the rendering time by collecting run-time performance statistics and performing dynamic LOD selections. Our algorithm takes into account user-specified volume importance criteria when distributing the time budget, so regions of interest can be rendered at a higher quality. Experiments showed that our algorithm can control the rendering speed with less than 10% of error from the user's target frame rate.
Inter-Organizational Cooperation with Sap Systems: Perspectives on Logistics and Service Management, 1st edition
Authors: Peter Buxmann, Wolfgang Konig
Venue:  (2000)

:This book provides a brief introduction to the theory of cooperation and the foundations of logistics, service management and supply chain management. The main focus of the book, however, is to examine the use of SAP systems for supporting inter-organizational cooperation (in particular supply chain co-ordination). The authors present both well-known logistics solutions, e.g. EDI, and the implementations of state-of-the-art supply chain solutions using SAP systems such as mySAP.com, SAP APO,SAP LES, SAP BBP,SAP Business Information Warehouse and Internet Applications. In particular, the book contains a number of case studies which show the application of the systems in practice.
Health Care Data and the SAS System, 1st edition
Authors: Marge Scerbo, Alan Wilson, Craig Dickstein
Venue:  (2001)

:Finally! A book that draws together tried and true techniques for using SAS to work with health care data. New and experienced SAS programmers and analysts working in health care data analysis will find this book invaluable in their daily professional life. Health care data can be diverse and complicated. With this book you will learn how to use SAS to access the information within the data. A terrific primer for new health care analysts and a reference for long-time practitioners, this book defines the types of health care data and explores a wide range of tasks, including reading, validating, and manipulating the health care data, and producing reports. The combination of basic information and tricks of the trade make this a "must-have" book for health care programmers and analysts. Supports releases 6.11 and higher of SAS software.Author Biography: Marge Scerbo As a Senior Analyst at the Center for Health Program Development and Management at the University of Maryland, Baltimore County, Marge has filled many roles. She has designed analytic databases of both claims and encounters in the Maryland Medicaid system and was the principal developer of a major data warehouse and decision support system, specifically in the area of health care. Her expertise is in the area of quality assessment and clinical evaluation of health care delivery systems. Marge has been a user of SAS software for over 15 years and has 20 years of experience in health care from pediatric oncology to laboratory medicine, from private to public organizations. Marge has participated in local, regional, and international SAS user groups as an invaluable organizer and popular speaker. CraigDickstein Craig is the SAS Practice Manager for Intellicisions Data, Inc. As a senior consultant in Business Development, he works directly with key clients to assess their unique business needs and to design appropriate technology solutions. Craig began his career in medical research, gaining an appreciation for the rigors of applied research methodology. A SAS user for over 23 years, he has significant experience managing and developing SAS applications. His expertise is with large database reporting applications, statistical analysis, and data management. With a masters degree in statistics, Craig served as Director of Statistical Services with Blue Cross Blue Shield of New Hampshire. For many years Craig has been involved with SAS user groups and
Inside AutoCAD X with Cdrom
Authors: Bill Burchard, David Pitzer
Venue:  (1999)

:Inside AutoCAD 2000 is completely revamped to fit the needs of today's ambitious CAD professionals. It provides all the tips, techniques, and tools necessary for users to tackle the next step in their profession. Written by two of the industry's leading professionals, Inside AutoCAD 2000 will help users become AutoCAD experts. Every chapter contains clear, concise, and practical exercises that demonstrate new features and techniques. Users will progress to explore advanced drafting and design techniques, in addition to practical customization features that teach users how to work efficiently.
Marketing on the Internet: A Proven 12-Step Plan for Promoting, Selling and Delivering Your Products and Services to Millions over the Information Superhighway, 2nd edition
Authors: Michael Mathiesen
Venue:  (1996)

:This popular book offers a proven 12-step plan for anyone who wants to create a new online business or increase sales of an existing business. Freshly updated, the second edition gives you the latest on hot topics like Java, multimedia, virtual reality, electronic money and much more. The simple language used throughout the book makes it easy for everyone to understand how to succeed on the Internet.