ppxscal/embedding_network huggingface dataset:
Advanced UNIX Programming
Authors: Warren W. Gay
Venue:  (2000)

:Advanced UNIX Programming goes beyond the fundamentals of UNIX programming and presents information and techniques the readers needs to expand their knowledge base. Designed for professional UNIX programmers, this book builds on the skills and knowledge the reader already possesses. It includes coverage of internet processes, interprocess control, file system manipulation, synchronization, and much more.
Intelligent analysis and pattern recognition in cardiotocographic signals using a tightly coupled hybrid system
Authors: Bertha Guijarro-Berdiñas, Amparo Alonso-Betanzos, Oscar Fontenla-Romero
Venue: Artificial Intelligence (2002)

In obstetrics, cardiotocograph (CTG) and non-stress test readings are indispensable to antenatal monitoring and assessment. Difficulties in the interpretation of CTG records require methods for computer-assisted analysis. This article describes CAFE (Computer Aided Foetal Evaluator), an intelligent tightly coupled hybrid system developed to overcome the difficulties inherent in CTG analysis. It integrates algorithms (implemented via conventional programming techniques) with Artificial Intelligence (AI) paradigms (rule-based systems and artificial neural networks), in order to automate and perform all the phases involved in real time antenatal monitoring, from the analysis and interpretation of CTG signals to diagnosis. Its architecture, components and functional character will be described in detail. The validation of CAFE over 3450 minutes of signal time corresponding to 53 different patients in a real environment is discussed, and its performance with respect to a group of experts is evaluated. Most of the results obtained reflect acceptable levels of performanceequivalent to expert performanceand thus confirm the suitability of AI techniques to applications in this field.
Interval hierarchies and their application to predicate files
Authors: Kai C. Wong, Murray Edelberg
Venue: Proceedings of the 1977 ACM SIGMOD international conference on Management of data (1977)

Predicates are used extensively in modern data base systems, for purposes ranging from user specification of associative accesses to data, to user-invisible system control functions such as concurrency control and data distribution. Collections of predicates, or predicate files, must be maintained and accessed efficiently. This paper describes a dynamic index, called an interval hierarchy, which supports several important retrieval operations on files of simple conjunctive predicates. Search and maintenance algorithms for interval hierarchies are given. For a file of n predicates, typical of the kind expected in practice, these algorithms require time equal to O(log n).
Java in Plain English, 2nd edition
Authors: Brian Cverland
Venue:  (1997)

:Java in Plain English, Second Edition, covers the entire Java 1.1 language and API in a remarkably compact size and easy-to-use format. This powerful reference guide explains each method, field, and parameter, and provides extensive, easy-to-follow examples. Unique features of the book include the language reference, which highlights Java/C++ differences, in each topic, making it the most convenient reference for C and C++ programmers. In addition, the API Reference is one of the few sources available anywhere that summarizes the entire API , both concisely and comprehensively. This second edition is greatly expanded to provide more coverage of Java database capabilities -- including a tutorial and reference to SQL commands -- as well as more examples and definitions of the latest Java concepts. Coverage includes: Updated and expanded to cover the latest Java 1.1 concepts Focus on common programming tasks JDBC tutorial helps you start using Java database features quickly SQL appendix covers most common database commands Expanded API reference with more examples and improved format Language reference summarizes syntax and Java/C++ differences Concise introduction to Java, including special Java features such as packages, objects, and threads Extensive cross referencing, including an alphabetical cross reference of the Java API by task Useful tables for graphical programming Convenient A-Z reference of all Java keywords, functions, and terms Whether you're exploring Java as a newcomer, are migrating from C++ or C, or need a reference guideto exploit its most advanced features, Java in Plain English, Second Edition will answer your questions quickly. From its comprehensive guide to the Java API, to its detailed and practical alphabetical reference to Java syntax, this is a reference to rely on.
Message caching for local and global resource optimization in shared virtual environments
Authors: Helmuth Trefftz, Ivan Marsic
Venue: Proceedings of the ACM symposium on Virtual reality software and technology (2000)

The use of Shared Virtual Environments is growing in areas such as multi-player video games, military and industrial training, and collaborative design and engineering. As a result, different mixes of computing power and graphics capabilities of the participating computers arise naturally as the variety of people/organizations sharing a virtual environment grows. This paper presents an adaptive mechanism to reduce bandwidth usage and to optimize the use of computing resources of heterogeneous computers mixes utilized in a shared virtual environment. The mechanism is based on caching of both outgoing- and incoming-messages. We also report the results of implementing the proposed scheme in a simple shared virtual environment.
MCSE Windows 2000 Server: Training Guide: Exam 70-215 with Cdrom
Authors: Dennis Maione
Venue:  (2000)

:Exam 70-215, Installing, Configuring, and Administering Windows 2000 Server measures your ability to implement, administer, and troubleshoot Windows 2000 Server as a member server of a domain in an Active Directory environment. This exam focuses on the server in the following roles; file, print server, and application server, including a Web server. The Windows ICA 2000 Server exam, sure to be one of the most popular due to its inclusion as a Core exam. New Riders Training Guides offers you, the candidate the perfect self-study tool to allow them to prepare confidently at their own pace and time. New Riders included information on the new testing types and designed the titles to provide plenty of practice opportunities to gain the skills required to pass these exams. New Riders Training Guides have changed to address your new needs. Adaptive testing, emphasis on hands-on knowledge, and a more skills-focused design are all addressed in these new Training Guides.
Windows 3.1 Companion, 1st edition
Authors: Carolyn Z. Gillay
Venue:  (1995)

:Rather than simply being a tour of the system, this book presents a step-by-step development of Windows that most users require. This is an ideal choice for a 1.5-credit course that brings the beginning user to an intermediate level.
A Step-by-Step Approach to Using the SAS System for Factor Analysis and Structural Equation Modeling, 1st edition
Authors: Larry Hatcher
Venue:  (1994)

:Packed with concrete examples, Hatcher's book provides an introduction to more advanced statistical procedures and includes handy appendices that give basic instruction in using SAS. Novice SAS users will find all they need to master SAS basics and to move into advanced statistical analyses in this one book. Featured is a simple, step-by-step approach to testing structural equation models with latent variables using the CALIS procedure. The following topics are explained in easy-to-understand terms: exploratory factor analysis, principal component analysis, and developing measurement models with confirmatory factor analysis. Other covered topics of note include "LISREL-type" analyses with the user-friendly PROC CALIS and solving problems encountered in real-world social science research. Supports releases 6.09 and higher of SAS software.Author Biography: Larry Hatcher, Ph.D. Larry Hatcher, associate professor of psychology at Winthrop University and a SAS user for nearly 15 years, offers you the benefit of his experience as both a researcher and a teacher of statistics using the SAS System.
Winning with software: an executive strategy
Venue: SEI Series In Software Engineering (2002)

Watts Humphrey is the well-known author of methods and models widely used by organizations, teams, and individuals to improve the efficiency and effectiveness of software development. In Winning with Software, he shows corporate executives and senior managers why software is both a business problem and a business opportunity. Humphrey, drawing on his own extensive executive and management experience, first demonstrates the critical importance of software to nearly every business, large and small. He then outlines seven steps needed to gain control of a software operation and transform it into a professional, businesslike engineering function. Failure to recognize the importance of software, and to take charge of its development process, runs the risk of damaging the entire business. By contrast, Humphrey relates the substantial benefits real organizations have obtained from such awareness and control, and he concludes with an analysis of the impressive financial returns the recommended transformations typically yield.
Are We Unique?: A Scientist Explores the Unparalleled Intelligence of the Human Mind
Authors: James S. Trefil
Venue:  (1997)

:A critically acclaimed and successful popular science author presents a comprehensive and accessible introduction to the latest scientific thinking about the controversial question: whether the human mind is unique or whether a machine could be built that would be as intelligent and "alive" as people are? Trefil offers a broad survey of prominent competing viewpoints, explaining each of the major arguments and tracing their evolution. What exactly human thinking is, how different human thinking is from animal thinking, and what makes people conscious are among the issues covered. 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
Advanced Tutorials for the Biomedical Sciences: Animations, Simulations, and Calculations Using Mathematica, 1st edition
Authors: Charles Pidgeon
Venue:  (1996)

:This unique book and computer package will help researchers, instructors, and students in pharmacy, medicinal chemistry, biochemistry, or other biomedical sciences reach a deeper understanding of the more advanced chemical and physicochemical processes as they relate to drug action, drug discovery, and biomedical science in general. Features 2 disks 3.5 with applications for the software package Mathematica (Macintosh version), numerous equations, graphs and program codes. 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
The Online Epicure: Finding out Everything You Want to Know about Good Cooking and Eating on the Internet
Authors: Neil J. Salkind
Venue:  (1997)

:In this unique primer, Internet expert and lover of fine cooking and dining Neil Salkind leads you step by step to the places you want to go on the Internet. Even if you've never been online before, he'll have you E-mailing, chatting, and surfing the Web in no time. You'll learn how to locate information on every imaginable food-related topic, including restaurant reviews, cooking classes, wines, ethnic cuisines, hard-to-find ingredients, nutrition, and much more. Frequent sidebars highlight helpful tips and techniques to help you avoid problems, keep costs down, and make the most of your online time. Whether you're an established professional chef, an accomplished amateur, or an ardent novice, The Online Epicure will help you expand your culinary horizons, make the most of your talents, and add a new dimension to your enjoyment of the finer things in life.
Telecommunications Protocols
Authors: Travis Russell
Venue:  (1997)

:The rapid evolution and convergence of voice and data technologies has created unique technological challenges for telecommunications professionals. This book answers the need for an accessible overview of telecommunications protocols, presenting the fundamentals of each of the technologies used to deliver network services - along with practical examples of their applications.
YAML: a tool for hardware design visualization and capture
Authors: Vivek Sinha, Frederic Doucet, Chuck Siska, Rajesh Gupta, Stan Liao, Abhijit Ghosh
Venue: Proceedings of the 13th international symposium on System synthesis (2000)

Design visualization is an important part of the system design process. In practice, systems are often visualized using a combination of structural and functional entities. In this paper, we describe an approach that helps to capture the structural aspects of a design at a high level of abstraction and enables the system designer to enter designs "schematically" using predefined structural and functional entities conforming to UML notation. The corresponding tool, YAML (Yet Another UML front end) provides support for modeling objects and a range of object relationships that are crucial to real-life embedded system designs. A YAML design entry can then be automatically translated into synthesizable C++ code for simulation and hardware synthesis.
Scheduling Superblocks with Bound-Based Branch Trade-Offs
Authors: Waleed M. Meleis, Alexandre E. Eichenberger, Ivan D. Baev
Venue: IEEE Transactions on Computers (2001)

Since instruction level parallelism in basic blocks is often limited, compilers increase performance by creating superblocks that allow operations to be issued speculatively. This is difficult in general because each branch competes for the processor's limited resources. Previous work manages the performance trade-offs that exist between branches only indirectly. We show here that dependence and resource constraints can be used to gather explicit knowledge about scheduling trade-offs between branches. This paper's first contribution is a set of new, tighter lower bounds on the execution times of superblocks that specifically account for the dependence and resource conflicts between pairs of branches. This paper's second contribution is a novel superblock scheduling heuristic that finds high performance schedules by determining the operations that each branch needs to be scheduled early and selecting branches with compatible needs that favor beneficial branch trade-offs. Performance evaluations for superblocks from SPECint95 indicate that our bounds are very tight and that our scheduling heuristic outperforms well-known superblock scheduling algorithms.
Verification of a controller for bart: an approach based on horn logic and denotational semantics
Authors: Lawrence King, Gopal Gupta, Enrico Pontelli
Venue: High integrity software (2001)

We present a semantics-based framework for verifying real-time controllers implemented in Ada. Our semantics-based framework uses techniques based on denotational semantics, logic programming, and partial evaluation. We illustrate our framework by verifying the correctness of the real-time controller for the Bay Area Rapid Transit System (BART). The main property we wish to verify is that if two consecutive trains start out with some minimum separation distance between them (that is deemed to be safe), then a safe distance is always maintained. This safe distance is dependent on a number of different variables, such as speed, acceleration, and track gradient. Our approach allows automatic derivation of a verification system from the Ada-implementation of the controller.
Encyclopedia of Artificial Intelligence, 2nd edition
Authors: Stuart C. Shapiro
Venue:  (1992)

:Encompasses the variable approaches to Artificial Intelligence in 267 articles written by 205 experts. It is a comprehensive, up-to-date reference work that defines the discipline and brings together the core of knowledge from all the AI fields. Clarifies and corrects misinterpretations and provides a proper understanding of Artificial Intelligence.
Active Directory Planning and Design
Authors: Harry M. Brelsford
Venue:  (2000)

:The Active Directory is the single most compelling reason to deploy Windows 2000. But how do you maximize the benefits of this advanced network administration tool? According to Microsoft Certified Professional Magazine columnist Harry Brelsford, the key is careful planning and design.Packed with hard-nosed advice and real-world examples, this unique guide shows you step-by-step how to set the stage for a successful Active Directory deployment, from getting a handle on all the Active Directory features and benefits to setting up the optimal configuration for your organization. Whether you're a network professional or a manager with IT oversight responsibilities, you get all the information you need to make the right implementation decisions.Understand the top ten reasons to implement Windows 2000Get to know the top ten Active Directory featuresAnalyze the ins and outs of an Active Directory implementation at a sample firmSee how Active Directory looks from various perspectives: MBA, MCSE, end-userBuild a strategic Active Directory plan for your organization that allows for growthPrepare for Active Directory challenges, from organizing users to delegating responsibilitiesFigure out how to set up a DNS namespace and define IP subnetsImplement Active Directory without a hitch, from organizational unit creation to everyday management
The Winn L. Rosch Hardware Bible, 3rd edition
Authors: Winn L. Rosch
Venue:  (1994)

:Updated and revised edition of a bestseller, this comprehensive tome provides the most up-to-date information on the latest developments in PC technology. Written by industry expert, Winn Rosch, this guide covers everything users need to know about PC components and peripherals-from purchasing, setting up, and repairing a computer system to explaining technology and upgrading information. Using an easy-to-understand, well-written style, this is an invaluable resource of information!Saves users time and money by helping them make the right decisions when purchasing a computerExplores mass storage, the display system, printers, networking, plug and play, memory types, input devices, parallel and serial ports, modems, IRDA, and moreProvides jargon-free explanations of PC design and technology
Finding maximum independent sets in graphs arising from coding theory
Authors: Sergiy Butenko, Panos Pardalos, Ivan Sergienko, Vladimir Shylo, Petro Stetsyuk
Venue: Proceedings of the 2002 ACM symposium on Applied computing (2002)

New results are presented concerning binary correcting codes, such as deletion-correcting codes, transposition-correction codes, and codes for the Z-channel. These codes are important due to the possibility of packet loss and corruption on internet transmissions. It is known that the problem of finding the largest correcting codes can be reduced to a well-known combinatorial optimization problem on graphs, the maximum independent set problem. A general scheme of organizing a local search for the maximum independent set problem is discussed. Based on the developed heuristics, an exact branch-and-bound algorithm is proposed, which is able to find exact solutions for graphs with over 500 vertices within a reasonable time.
Hardness results for approximate hypergraph coloring
Authors: Subhash Khot
Venue: Proceedings of the thiry-fourth annual ACM symposium on Theory of computing (2002)

(MATH) Guruswami et al [6] show the hardness of coloring 2-colorable 4-uniform hypergraphs on n vertices with &omega;(log log n \over log log log n}) colors assuming NP $\not\subseteq$ DTIME(nO log log n)). We obtain a stronger hardness result for approximate coloring of p-colorable 4-uniform hypergraphs for any fixed integer p &rhoe; 7. We prove that there exists an absolute constant c &rho; 0 such that for every fixed integer p &rhoe; 7, it is hard to color a p-colorable 4-uniform hypergraph with (log n)cp colors assuming NP $\not \subseteq$ DTIME(2(log n)O(1)).This work builds on the idea of "covering complexity" of probabilistically checkable proof systems (PCPs) developed in [6] and we introduce some new techniques as well. Firstly, we define a new code which we call the Split Code. This is a variation of the Long Code, but much shorter in length and it reduces the proof size significantly. Split Codes enable us to exploit the special structure of the "outer PCP verifier" constructed via Raz's Parallel Repetition Theorem [18]. Secondly, we make a novel use of the Split Codes over the domain GF(p) for a prime p. Working over non-boolean domain in fact makes our proof technically simpler than the proof of Guruswami at al [6].
Linux Graphics Programming with SVGlib
Authors: Jay Link
Venue:  (2000)

:DESCRIPTION: Linux Graphics Programming with SVGAlib is a complete reference for programmers, developers, and students who wish to integrate the functionality of this remarkable graphics library with their own Linux programs. Through demonstration and code examples given in the book, even those with limited C/C++ programming skills will learn to create full-screen graphical masterpieces such as games and stunning 3D displays. Readers will learn graphics theory and application using SVGA lib, how to port existing code to SVGA lib, animate images, plot pixels, lines and shapes, implement graphics routines, read and write to GIFs and JPGs, understand fonts, and explore fractals. The accompanying CD-ROM includes code from the book, software tools, and SVGAlib-based games such as Hexen, Doom, and Quake. 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
Using Networks, 1st edition
Authors: Frank J. Derfler
Venue:  (1998)

:Using Networks is a comprehensive reference to every connectivity option available. The title explains and compares the latest technologies to help the reader understand the technology and put their knowledge to work. The book starts out with a primer on general networking concepts and the description of LANs and networks. The reader progresses through sections on hardware and various networking standards including an excellent easy-to-understand explanation of the 7 layer OSI model. Continuing on they discover the functions of file servers and other shared services including modems, and printers. It also includes thorough sections on network operating systems. Moving on, discussions focus on connectivity of a network to other networks and mainframe computers. New to the book will be increased coverage of the services and pitfalls associated with the Internet. As either a cover-to-cover read or as a well-used desktop reference Using Networks helps the reader work more efficiently with their existing or planned network everyday!Thoroughly researched coverage provides the best solutions for your connectivity needsExtensively updated to include easy-to-understand information on the latest networking technologiesIndispensable source to help the reader make the right decisions for a proposed or existing network