ppxscal/embedding_network huggingface dataset:
Introduction to logic-based artificial intelligence
Authors: Jack Minker
Venue: Logic-based artificial intelligence (2000)

In this chapter I provide a brief introduction to the field of Logic-Based Artificial Intelligence (LBAI). I then discuss contributions to LBAI contained in the chapters and some of the highlights that took place at the workshop on LBAI from which the papers are drawn. The areas of LBAI represented in the book are: commonsense reasoning; knowledge representation; nonmonotonic reasoning; abductive and inductive reasoning; logic, probability and decision making; logic for causation and actions; planning and problem solving; logic, planning and high-level robotics; logic for agents and actions; theory of beliefs; logic and language; computational logic; system implementations; and logic applications to mechanical checking and data integration.
MCSE ISA Server 2000 Exam Cram
Authors: Diana Bartley, Gregory Smith
Venue:  (2001)

:This Exam Cram study guide focuses on one of the most popular electives in the MCSE Windows 2000 certification track-the MCSE Installing, Configuring, and Administering Microsoft Internet Security and Acceleration (ISA) Server 2000 exam (70-227). This book delivers just what readers need to pass. Namely, efficient yet thorough coverage of pertinent exam topics like configuring and troubleshooting ISA Server Services, managing and troubleshooting Policies and Rules, deploying the Client Computer, and analyzing ISA Server usage. Includes our test-takers' best-loved features of strategies, hints, and tips, tear-out cram sheets, and realistic practice questions.
Tru64 UNIX System Administrator's Guide
Authors: Matthew Cheek, Martin Moore, Steve Hancock, Scott M. Fafrak, Greg Yates
Venue:  (2001)

:Tru64 UNIX System Administrator's Guide is an indispensable aid for Tru64 UNIX system administrators. Its clear explanations and practical, step-by-step instructions are invaluable to both new and experienced administrators dealing with the latest UNIX operating systems. Several top Compaq employees from their Tru64 UNIX group co-authored this revision and reveal their most useful shortcuts and how-tos as well as pointing out pitfalls to be avoided. The material included in its pages cant be found in any other publication. New edition of Cheek's best-selling Digital UNIX System Administrator's Guide Covers Version 5.1Authored by a team of specialists
Fault-tolerant routing in peer-to-peer systems
Authors: James Aspnes, Zoë Diamadi, Gauri Shah
Venue: Proceedings of the twenty-first annual symposium on Principles of distributed computing (2002)

We consider the problem of designing an overlay network and routing mechanism that permits finding resources efficiently in a peer-to-peer system. We argue that many existing approaches to this problem can be modeled as the construction of a random graph embedded in a metric space whose points represent resource identifiers, where the probability of a connection between two nodes depends only on the distance between them in the metric space. We study the performance of a peer-to-peer system where nodes are embedded at grid points in a simple metric space: a one-dimensional real line. We prove upper and lower bounds on the message complexity of locating particular resources in such a system, under a variety of assumptions about failures of either nodes or the connections between them. Our lower bounds in particular show that the use of inverse power-law distributions in routing, as suggested by Kleinberg [5], is close to optimal. We also give heuristics to efficiently maintain a network supporting efficient routing as nodes enter and leave the system. Finally, we give some experimental results that suggest promising directions for future work.
CDMA Internetworking: Deploying the Open A-Interface
Authors: Su-Lin Low, Ron A. Schneider
Venue:  (2000)

:The authoritative guide to deploying A-Interface-compliant CDMA systems The experiences of Low and Schneider and their clear exposition should be of great benefit.  from the Foreword by Irwin Mark Jacobs, Chairman and CEO, QUALCOMM The new CDMA A-Interface enables wireless service providers to build scalable, expandable wireless networks with the best equipment from multiple vendors, adding value and reducing risk. In CDMA Internetworking, two leaders of advanced CDMA projects bring clarity to the complex standards documents, showing technical professionals and managers exactly how to build and deploy A-Interface compliant systems. The first authoritative, in-depth A-Interface implementer's guide, this book fully reflects the CDMA Development Group's CDG-IOS detailed open interface standardsproviding comprehensive detail for building fully interoperable systems. Coverage includes: Call Processing and Mobility Management Supplementary Services and Short Message Services (SMS) Wireless Data Services Over-the-Air Service Provisioning (OTASP) and Authentication Radio Resource Management and Terrestrial Circuit Management Interoperability with SS7, IS-95 CDMA air interfaces, and IS-41 systems Practical troubleshooting guidance and detailed information on failure conditions CDMA Internetworking contains dozens practical examples and illustrations, drawn from the authors' real-world experience with the CDMA Open A-Interface and CDG-IOS standards. With this book, wireless professionals can spend less time resolving technicalambiguitiesand more time building reliable, interoperable systems that get to market fast!
The Internet for Your Kids, 3rd edition
Authors: Deneen Frazier, Sara Armstrong, Barbara Kurshan
Venue:  (1997)

:The Internet for your kids is the perfect guide to help kids discover the resources that are available online. Written especially to give direction to the natural inquisitiveness of young people, ages nine to fourteen, this book helps kids feel comfortable and confident with the Internet - in record time - through fun and informative projects. If you're a parent, this book will give you the satisfaction of knowing that your children are safely and productively tapping into the world's greatest information resource.
Perception of the role of information technology function in organizations: toward the development of a measure
Authors: H. V. Ramakrishna, X. Lin
Venue: ACM SIGCPR Computer Personnel (2002)

The role (and impact) of IT/IS in organizations is becoming more and more critical. The perception of the "role of IT/IS function in an organization" could have a direct impact on the effectiveness of development of IT capabilities. There has been no measure to date to capture this perception in an organization at the individual level. This paper reports the development of a scale to measure "the perception of the role of IT/IS function in organizations." Three independent studies involving more than 200 participants provided initial evidence of the construct validity of the new measure with respect to its factor structure, validity, and reliability. The paper discusses the preliminary development of the measure and its implications for the IT development environment/ effort in organizations.
Exact Prediction of QR Fill-In by Row-Merge Trees
Authors: Suely Oliveira
Venue: SIAM Journal on Scientific Computing (2000)

Row-merge trees for forming the QR factorization of a sparse matrix A are closely related to elimination trees for the Cholesky factorization of AT A. Row-merge trees predict the exact fill-in (assuming no numerical cancellation) provided A satisfies the strong Hall property, but overestimate the fill-in in general. However, here a fast and simple postprocessing step for row-merge trees is presented that predicts the exact fill-in for sparse QR factorization using Householder reflectors for general matrices.
Interactive Web Applications with Tcl/Tk, 1st edition
Authors: Hattie Schroeder, Mike Doyle
Venue:  (1997)

:Interactive Web Applications with Tcl/Tk introduces Tcl/Tk as an Internet programming language. Even if you have little or no programming experience, you will be able to design your own Web applications using the resources included in this book and on the CD-ROM. The book both teaches the Tcl/Tk scripting language and provides you with all of the tools you need to build and test your own Tcl/Tk Web applets and stand-alone internet applications, including information on the latest releases of Tcl/Tk and the Tcl Web browser plug-in.
On abstract data types presented by multiequations
Authors: J. Adámek, M. Hébert, J. Rosický
Venue: Theoretical Computer Science (2002)

Equational presentation of abstract data types is generalized to presentation by multiequations, i.e., exclusive-or's of equations, in order to capture parametric data types such as array or set. Multiinitial-algebra semantics for such data types is introduced. Classes of algebras described by multiequations are characterized.
Oracle Accelerated Study Guide SQL and PL/SQL Using Procedure Builder
Authors: SynecTech Inc
Venue:  (1998)

:With hundreds of sample questions and answers, this book supplies readers with exercises and explanations that helps them focus their studying energy on particular topics. 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
An Introduction to Visual Basic 5.0: Complete Concepts and Techniques, 10th edition
Authors: Gary B. Shelly, Thomas J. Cashman, John F. Repede
Venue:  (1998)

:Part of the highly successful Shelly Cashman Series, this text offers a screen-by-screen, step-by-step approach to learning Visual Basic. Covers beginning and advanced skills.
Evil Dead: Hail to the King
Authors: Prima Temp Authors, Mark L. Cohen
Venue:  (2000)

:Zombies, demons, and skeletons dont stand a chance when youve got a chain saw in one hand, and EVIL DEAD: HAIL TO THE KING--PRIMAS OFFICIAL STRATEGY GUIDE in the other. Ash may deliver all the cool one-liners before splitting a zombies skull, but PRIMA delivers the strategy you need to stand up to the legions of the undead. Each haunted location is detailed, pinpointing every deadite location. Descriptions cover all items and weapons at your disposal. And you can thank PRIMA when you stumble across a puzzle thats as unforgiving as Evil Ash himself. So go ahead and hail to the king, baby!
Enterprise Security with EJB and CORBA
Authors: Bret Hartman, Donald J. Flinn, Konstantin Beznosov
Venue:  (2001)

:Building secure applications using the most popular component technologiesDid you know that most corporate computer security breaches are inside jobs by trusted employees? This book addresses the need in the era of multi-tier systems to implement security solutions across all enterprise applications, not just firewalls that target intrusion from the outside. With nationally recognized CORBA security expert Bret Hartman at the helm, this book shows application developers how to build secure, real-world applications that deliver tightly integrated security at all system levels using the latest component technologies and tools. Coverage also includes a sample e-commerce system built using Java with EJB and CORBA as well as case studies of implementations in finance, manufacturing, and telecom.
Portable serialization of CORBA objects: a reflective approach
Authors: Marc-Olivier Killijian, Juan-Carlos Ruiz, Jean-Charles Fabre
Venue: Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (2002)

The objective of this work is to define, implement and illustrate a portable serialization technique for CORBA objects. We propose an approach based on reflection: through open compilers facilities the internal state of CORBA objects is obtained and transformed into a language independent format using CORBA mechanisms. This state can be restored and used by objects developed using different languages and running on different software platforms. A tool was developed and applied to a Chat application as a case study. The proposed technique is used to exchange state information between a C++ and a Java incarnation of this CORBA service. An observer tool enables the object state to be displayed and analyzed by the user. The applicability of this technique to various domains is discussed. Beyond the interest of language reflection, we finally advocate that operating system and middleware reflection would also be powerful concepts to extend the work presented in this paper.
Beginning VB.Net
Authors: Jonathan Crossland, Richard Blair, Thearon Willis
Venue:  (2001)

:Visual Basic .NET is the latest version of the most widely used programming language in the world, popular with professional developers and complete beginners alike. This book will teach you Visual Basic .NET from first principles. You'll quickly and easily learn how to write Visual Basic .NET code and create attractive windows and forms for the users of your applications. To get you started on the road to professional development you'll also learn about object-oriented programming, creating your own controls, working with databases, creating menus, and working with graphics. This book is written in the proven Wrox beginning style with clear explanations and plenty of code samples. Every new concept is explained thoroughly with Try It Out! examples and there are end-of-chapter questions to test yourself. This book covers: Installing Visual Basic .NET How to write Visual Basic .NET code What the .NET Framework is and why it's important Controlling the flow through your application with loops and branching structures Creating useful windows and screens Creating your own menus A complete introduction to object-oriented programming Working with graphics Creating your own controls Accessing databases with ADO.NET Creating applications for the web This book is aimed at readers who wish to learn to program using Visual Basic .NET. It assumes you have no prior experience of programming, but moves at a fast enough pace to be interesting if you have programmed in another language. Author Biography: After working with Wrox Press on a number of projects since 1999, Matthew Reynolds is now an in-house author for Wrox, writing about and working with virtually all aspects of Microsoft.NET. He's also a regular contributor to Wrox's ASPToday, C#Today and Web Services Architect. He can be reached on matthewr@wrox.com. Jonathan Crossland is co-author of "Professional Windows DNA" and a Systems Component Architect for Makoot Ltd. First acting as a promoter for the company and now MD, Jonathan spends a great number of hours with his team promoting web services. Jonathan has worked in the industry for just over 7 years, and works with VB.NET, C#, XML, VB6 and other related technologies. Richard Blair is an MCSD and member of the Al and Dave fan club. He is currently working as a Consultant specializing in Web development. Rich has used Visual Basic since the Version 2.0 beta, and has been very happy to witness the changes the language has gone through. He has also co-authored Professional ASP XML and Professional VB.NET; both published by Wrox Press Ltd. Thearon Willis currently works as a senior consultant and develops Intranet applications using ASP, DHTML, XML, JavaScript, VBScript, VB COM components, and SQL Server.
Lymphocyte turnover in HIV-1 infection and the role of the thymus in SIV infection
Authors: David D. Ho
Venue: Proceedings of the sixth annual international conference on Computational biology (2002)

We investigated the dynamics of lymphocyte turnover in normal subjects as well as in HIV-1-infected patients using a novel labeling technique based on the administration of deuterium-containing glucose. A new mathematical model was also used to interpret the results. This approach provided direct determination of lymphocyte proliferation and death rates. We believe our findings convincingly demonstrate the increased turnover (3-6 fold) of both CD4 and CD8 lymphocytes in HIV-1 infection. Furthermore, we also noted that the heightened T-cell turnover reverted toward normal upon effective combination antiretroviral therapy. Collectively, these data show that the lymphocyte depletion seen in AIDS is not a consequence of a T-cell regenerative failure.We have also assessed the role of thymus in contributing to T lymphocyte homeostasis with and without SIV infection. Upon thymectomy in rhesus macaques, we noted a very gradual decline in the number of recent thymic emigrants as measured by the number of T-cell receptor excision circles. These results suggest that the normal thymic output in monkeys is small, and that recent thymic emigrants typically have a prolonged lifespan. We have also found relatively little impact of thymectomy on the outcome of SIV infection. Again, these findings indicate that thymus does not play a major role in the lymphocyte depletion observed in SIV or HIV infection.
UNIX Weekend Crash Course, 1st edition
Authors: Arthur Griffith
Venue:  (2002)

:The big day is Monday. The day you get to show off what you know about UNIX. The problem is, you're not really up to speed. Maybe it's been a while since you worked with UNIX. Or maybe you just like a challenge. In any event, we've got a solution for you - UNIX Weekend Crash Course. Open the book Friday evening and on Sunday afternoon, after completing 30 fast, focused sessions, you'll be able to dive right in and get to work on a UNIX system. It's as simple as that.
Production Operations Management: A POMQuest Module
Authors: Thomas E. Morton, Heather Winkle
Venue:  (1998)

:Morton POM and the complementary POMQuest software are designed to be modular. POMQuest modules are designed to fit the corresponding POM book fully and to give the student power to attain a deeper understanding of the material with much less effort than long tedious hand exercises. Each of the modules can be used independently of others. Thus, a wide variety of courses can be designed effectively.
Towards robust OSes for appliances: a new approach based on domain-specific languages
Authors: Gilles Muller, Charles Consel, Renaud Marlet, Luciano Porto Barreto, Fabrice Mérillon, Laurent Réveillère
Venue: Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system (2000)

Appliances represent a quickly growing domain that raises new challenges in OS design and development. First, new products appear at a rapid pace to satisfy emerging needs. Second, the nature of these markets makes these needs unpredictable. Lastly, given the competitiveness of such markets, there exists tremendous pressure to deliver new products. In fact, innovation is a requirement in emerging markets to gain commercial success.The embedded nature of appliances makes upgrading and fixing bugs difficult (and sometimes impossible) to achieve. Consequently, there must be a high level of confidence in the software. Additionally, the pace of innovation requires rapid OS development so as to match ever changing needs of new appliances.To offer confidence, software must be highly robust. That is, for a given type of appliance, critical behavioral properties must be determined and guaranteed (e.g., power management must ensure that data are not lost). Robustness can be provided by mechanisms and/or tools. The ideal approach takes the form of certification tools aimed at statically verifying critical properties. Such tools avoid the need for a laborious and error-prone testing process.To be first in a market requires not only that the testing process be shortened, but the development time as well. To achieve this goal, three strategies are needed: re-use of code to rapidly produce a new product by assembling existing building blocks, factorization of expertise to capitalize on domain-specific experience, and open-endedness of software systems to match evolving functionalities and hardware features.In this paper, existing OS approaches are assessed with respect to the requirements raised by appliances. The limitations of these approaches are analyzed and used as a basis to propose a new approach to designing and structuring OSes for appliances. This approach is based on Domain-Specific Languages (DSLs), and offers rapid development of robust OSes. We illustrate and assess our approach by concrete examples.
High Performance Oracle8 Object-Oriented Design with Cdrom, 1st edition
Authors: David A. Anstey, Rick Tytler
Venue:  (1998)

:High-Performance Oracle8 Object-Oriented Design is the complete guide to getting the most out of Oracle8's new object-oriented features. The object extensions in Oracle dramatically improve database design flexibility, but require careful planning to avoid disaster when the programming starts. That's where High-Performance Oracle8 Object-Oriented Design comes in as an invaluable resource for the Oracle analyst or data modeler who needs a thorough, well-organized entree to Oracle8's most exciting new features. Dozens of clear, real-world examples get readers up to speed quickly, without making them wade through a quagmire of obscure technical material. Full coverage of object relational database ideas helps them create well-defined structural frameworks for their code. Sage advice from an Oracle master helps readers design database systems that save time, money, and headaches. Covers all the new object extensions in Oracle8, including user-defined data types, Object IDs, REFs (pointers to rows), object tables and views, and methods to fuse data and behaviors. Includes a detailed explanation of the system development life cycle and the impact that Oracle8's new object extensions bring to bear on system design. Explains how to use leading-edge object-oriented concepts and techniques with Oracle8's new features. Demonstrates how to design Oracle8 database systems that slash maintenance costs and are far easier to modify. A hot link to download the latest version of Logic Works' new object relational modeling tool, ORCompass A full-function evaluation copy of Logic Works' database modeling tool, ERwin/ERX version 3.0 An evaluation copy of Platinum SQL-Station, an editingand debugging tool for SQL
On the Overlapping Grid Method for Elliptic Boundary Value Problems
Authors: Seymour V. Parter
Venue: SIAM Journal on Numerical Analysis (1999)

Composite overlapping grid methods were studied by Volkov [ Proceedings of the Steklov Institute of Mathematics, 96 (1968), pp. 145--185] and Starius [ Numer. Math., 28 (1977), pp. 243--258] more than 20 years ago. More recently several authors have used such methods for a variety of problems (not necessarily elliptic BVPs). This work is motivated by the recent work of Chesshire and Henshaw [ J. Comp. Phys., 90 (1990), pp. 1--64], who developed general software and have carried out extensive computational studies. This report is limited to the case where the finite difference operators are of positive type. However, within that class of problems we present a general theory.
Parallel performance optimization of large-scale unstructured data visualization for the earth simulator
Authors: L. Chen, I. Fujishiro, K. Nakajima
Venue: Proceedings of the Fourth Eurographics Workshop on Parallel Graphics and Visualization (2002)

This paper describes some efficient parallel performance optimization strategies for large-scale unstructured data visualization on SMP cluster machines including the Earth Simulator in Japan. The three-level hybrid parallelization is employed in our implementation, consisting of message passing for inter-SMP node communication, loop directives by OpenMP for intra-SMP node parallelization, and vectorization for each processing element (PE). In order to improve the speedup performance for the hybrid parallelization, some techniques, such as multi-coloring for removing data race and dynamic load repartition for load balancing, are considered. Good visualization images and high parallel performance have been achieved on Hitachi SR8000 for large-scale unstructured datasets, which shows the feasibility and effectiveness of our strategies.