ppxscal/embedding_network huggingface dataset:
Proceedings of the sixteenth workshop on Parallel and distributed simulation
Venue: Workshop on Parallel and Distributed Simulation (2002)

Welcome to the 16th meeting of the Workshop on Parallel and Distributed Simulation, jointly sponsored by the ACM, IEEE, and the Society of Computer Simulation. We meet this time in Northern Virginia near Washington, DC. It is a pleasure to welcome all the attendees, authors, invited speakers, and guests, and we hope that you will have a memorable and stimulating time at this conference.As we meet for the 16th time, we can pause to reflect on what we've accomplished since the mid-1980's. We held the first meeting in January 1985 at the Bahia Hotel in San Diego's Mission Bay, aboard a boat moored in the harbor. Among the attendees at this year's conference, Fred Wieland (one of the GC's) and David Nicol (our tutorial speaker) were both present at that first meeting. Back then, optimistic and conservative parallel simulation were a gleam in the eyes of the inventors, having not been fully implemented in any real system. Since that day, we have seen major projects use both techniques; healthy debates over which technique is better; the birth of hybrid risk-limiting strategies; and much more.We have also seen parallel simulation technology implemented in major military systems; in civilian transportation simulations; in biological applications; in telecommunications; and indeed, in many other venues. The definition of "time management" in the US DoD's High Level Architecture (HLA) standard borrows many ideas from this group. There are even commercially viable products that incorporate parallel simulation technology. How far we have traveled since 1985!Yet at the same time we stand at a crossroad. Parallel synchronization, one of the prime subject domains of this conference, is considered a "solved" research problem. While there are undoubtedly some optimizations and clever algorithms yet to be discovered in this area, as we look forward we envision a different world than what existed in 1985. While synchronization may be a less fruitful venue for research, the broader area of "simulation technology n has yet to be defined and yet to have a clear research mandate. It is possibly in this area that future PADS conferences will contribute much value.Welcome to the sixteenth ACM/IEEE/SCS Workshop on Parallel and Distributed Simulation. This year we are pleased to have Paul Fishwick from the University of Florida and Peter S. Magnusson, President of Virtutech Inc., as our keynote speakers. Also, the conference has 7 sessions of technical papers, one panel discussion and the traditional work in progress session.Twenty-nine papers were submitted to PADS 2002, and subjected to an extensive double-blind review process. Over a very short period of time, a total of 108 reviews were returned, with almost all papers receiving at least four reviews, with at least two from program committee members. A program committee meeting was held in Washington DC in December and after much debate, 19 papers were eventually accepted for publication and presentation at the conference.
Mastering Windows 2000 Server, 3rd edition
Authors: Mark Minasi, Christa Anderson, Brian M. Smith, Doug Toombs
Venue:  (2001)

:Mark Minasi, the world's #1 Windows NT authority, updates his #1 bestselling book for Windows 2000. Every system administrator needs this book! This high-level, irreverent yet readable explanation of Windows 2000 Server provides the best discussion of the architecture, features, and new utilities of the new OS in print. You'll learn from the expert: the differences between NT and 2000, the advantages (and potential pitfalls) of the the new OS; scores of undocumented secrets, tips, tricks, and workarounds, practical, hand's-on advice for installing and using Windows 2000 in an enterprise environment, and hundreds of useful and essential nuggets of information that will save you hundreds or thousands of dollars in calls to Microsoft's help desk.
Easy iMac
Authors: Lisa Lee, Kate Welsh, Tracy Williams
Venue:  (1999)

:0789719924 The cover is available on our FTP server. Description: A task-based tutorial that gives a new iMac buyer the full color, step-by-step tasks they are most interested in. Topics include: Getting Started; Sending E-Mail; Using Applications; Working with Disks, Folders, and Files; Printing with Mac OS; Personalizing Mac OS; Setting up Applications; Using Mac OS Application Accessories (Including Sherlock, Movie Player, Playing Games, and Other Fun Stuff); Maintaining Your System; Connecting to Online Services and the Internet; and iMac Hardware Features and Accessories. Only full color, step-by-step tutorial on the market quickly shows you how to perform the most common iMac tasks and procedures The fun, fully-illustrated way to learn all of of iMac's functions! No matter what color iMac you have.
Knowledge-Based Systems for General Reference Work: Applications, Problems, and Progress
Authors: John V. Richardson
Venue:  (1995)

:Knowledge-based systems (KBS) offer opportunities for improving the quality of library services. Since KBS provide the point of contact between user, librarian, and the resources, they are important to the efficiency of any library. Knowledge-Based Systems for General Reference Work will assist readers in developing skills to communicate effectively about KBS and to write a prototype KBS. Topics and issues covered include the history of teaching reference work, modeling of reference transactions, logic for reference work, evaluative criteria, and the role of microcomputers in knowledge-based systems.
Fitting nature's basic functions part I: polynomials and linear least squares
Authors: Bert W. Rust
Venue: Computing in Science and Engineering (2001)

The problem of fitting a mathematical model which depends on an n-vector of unknown parameters, to a measured data set is ubiquitous in science and engineering. This paper is the first installment of a series that will demonstrate modern techniques for fitting combinations of basic mathematical functions to measured real-world data. Fitting a straight line, linear least squares and the best linear unbiased estimate are discussed.
Bit-vector encoding of n-queen problem
Authors: Qiu Zongyan
Venue: ACM SIGPLAN Notices (2002)

8-queen problem and its generalization, n-queen problem are well-known examples in the textbooks on elementary programming, data structures, and algorithms. Different methods are proposed to solve these problems, for example, in [1]. In this paper, we present a purely bit-vector encoding of the n-queen problem. It is very natural, simple to understand, and efficient. It involves only bit-wise operations.
Dyalog-APL application with threads on the basis of ActiveX data objects
Authors: A. Karabanov, J. Korablev, G. Roche
Venue: Proceedings of the international conference on APL-Berlin-2000 conference (2000)

This paper presents an implementation of ActiveX Data Objects (ADO) in multithreading Dyalog-APL applications providing high performance access to any data source. The suggested approach is based upon an OLEClient object of Dyalog-APL that provides an OLE (Object Linking and Embedding) automation mechanism for working with ADO as an OLE Automation Server. This concept of such Dyalog-APL applications consists in a presentation of data-processing on 3 levels of hierarchy:{ {OPERATION)&epsilon; TASK}&epsilon;JOB.A synchronisation of database operations in threads is supported by ADO events. Low level operations are accumulated in a library of functions that can also be used autonomously in a single thread for solution of private tasks. These functions are optimised to work in a Dyalog-APL environment. It is available to use in a root of a objects tree RECORDSET object. Data-processing can be carried out directly at a low level to optimise performance, other objects can be created when necessary for the solution of concrete tasks. Many of the RECORDSET operations can be notified before and after each other. OLE is very dependent on the Visual Basic programming language and the syntax of APL is more restricted than the syntax of Visual Basic. It is discussed accommodation problems from syntax point of view.
Lotus Notes 3.0 for Windows (Easy)
Authors: Que Development Group
Venue:  (1994)

:Following the best-selling Easy format, this book makes information sharing and data management easy for beginning users. Easy-to-follow tasks are grouped into color-coded sections that make this the most straightforward tutorial to Lotus Notes available.Information is presented in vivid full-color graphics and lean textFocuses on the most common features and the one best way to perform tasksCovers NotesMail, databases, printing, customizing, and application development 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
Public education in computer usage: an ethico-political rationale
Authors: David Ardagh
Venue: Selected papers from the second Australian Institute conference on Computer ethics (2000)

Routine provision of computer education and training by public educational institutions for all students at public expense is not the norm in many first world nations. "User pays" and other educational policy norms suggested by economic rationalist assumptions prevail. The paper tries to identify and criticise these from a Neo-Aristotelian point of view, arguing that if politics and policy is suspended from an ethics of equal empowerment to virtue, states in justice have duties to educate and train in vital skills needed by citizens to attain wellbeing. Less affluent citizens have a right to be assisted to exercise their right to knowledge and less affluent nations likewise have strong claims on affluent first world nations.
Mastering Cisco Routers, 2nd edition
Authors: Chris Brenton, Bob Abuhoff, Andrew Hamilton, Gary C. Kessler
Venue:  (2002)

:Newly revised and updated, Mastering Cisco Routers is the most affordable, effective way for you to get the information you need to install, configure, and manage Cisco Routers. Inside, step-by-step instructions and realistic examples help you solve network challenges ranging from the everyday to the extraordinary. And fresh information on new Cisco features, certification changes, and developments in network protocols helps you stay on top of your game. Coverage Includes: Understanding topologies, connection types, data packaging, and the OSI model Choosing the appropriate LAN and WAN technologies Designing networks using bridges, switches, and routers Controlling and securing router traffic using standard and extended access lists Routing efficiently with IP, IPX, NetBIOS, AppleTalk, and the Enhanced Interior Gateway Routing Protocol (EIGRP) Installing Cisco IOS with the appropriate feature set Controlling routers using Cisco IOS in privileged and non-privileged modes Protecting the network using a bastion host outside the firewall Monitoring network health using SNMP and Cisco Works 2000 Understanding the Cisco certification program Efficiently subnetting your network Implementing static, default, and dynamic routing Using Cisco's graphical tools to install, upgrade, and configure routers Providing secure remote access to your network using VPN About the Author Chris Brenton (CNE, MCSE, CDS) is lead security research engineer for a cyber-terrorism lab at Dartmouth College. His other books include Multiprotocol Network Design & Troubleshooting and Mastering Network Security, both from Sybex. Bob Abuhoff (CCNA) designs, configures and troubleshoots LANs and WANs as an independent consultant. He has lectured and trained IT professionals and neophytes since 1988. Gary Kessler is a senior network security analyst at SymQuest Group, a network integration consulting company. Andrew Hamilton (CCNA, NNCRP, CLP) is Senior Engineer/Technology Specialist for Alpine Computer Systems.
Half-Life: The Official Strategy Guide
Authors: Prima Publishing, Joseph Bell, Prima Development
Venue:  (1998)

:In-depth strategies you can bet your life on Clear explanation of Half-Life's monster behavior Maps of the missile base Best walkthrough of all game locations Thorough coverage of optimal combat tactics Stats for all weapons and monsters
Ownership types for safe programming: preventing data races and deadlocks
Authors: Chandrasekhar Boyapati, Robert Lee, Martin Rinard
Venue: Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (2002)

This paper presents a new static type system for multithreaded programs; well-typed programs in our system are guaranteed to be free of data races and deadlocks. Our type system allows programmers to partition the locks into a fixed number of equivalence classes and specify a partial order among the equivalence classes. The type checker then statically verifies that whenever a thread holds more than one lock, the thread acquires the locks in the descending order.Our system also allows programmers to use recursive tree-based data structures to describe the partial order. For example, programmers can specify that nodes in a tree must be locked in the tree order. Our system allows mutations to the data structure that change the partial order at runtime. The type checker statically verifies that the mutations do not introduce cycles in the partial order, and that the changing of the partial order does not lead to deadlocks. We do not know of any other sound static system for preventing deadlocks that allows changes to the partial order at runtime.Our system uses a variant of ownership types to prevent data races and deadlocks. Ownership types provide a statically enforceable way of specifying object encapsulation. Ownership types are useful for preventing data races and deadlocks because the lock that protects an object can also protect its encapsulated objects. This paper describes how to use our type system to statically enforce object encapsulation as well as prevent data races and deadlocks. The paper also contains a detailed discussion of different ownership type systems and the encapsulation guarantees they provide.
Storage management in APL machines
Authors: Denis Samson, Yves Reynaud
Venue: ACM SIGAPL APL Quote Quad (1979)

This paper presents possible organizations for that part of an APL machine concerned with management of storage for all entities forming an APL workspace. Symbol-table organization is examined, and a scheme for representation of data is proposed that separates values from their description and permits sharing of both by any number of variables. Examples are given of how this allows the APL processor efficient use of storage and how a general framework is provided for efficient implementation of "non-naive" execution of statements containing selection functions.
Object combining: A new aggressive optimization for object intensive programs
Authors: Ronald Veldema, J. H. Ceriel, F. H. Rutger, E. Henri
Venue: Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande (2002)

Object combining tries to put objects together that have roughly the same life times in order to reduce strain on the memory manager and to reduce the number of pointer indirections during a program's execution. Object combining works by appending the fields of one object to another, allowing allocation and freeing of multiple objects with a single heap (de)allocation. Unlike object inlining, which will only optimize objects where one has a (unique) pointer to another, our optimization also works if there is no such relation. Object inlining also directly replaces the pointer by the inlined object's fields. Object combining leaves the pointer in place to allow more combining. Elimination of the pointer accesses is implemented in a separate compiler optimization pass.Unlike previous object inlining systems, reference field overwrites are allowed and handled, resulting in much more aggressive optimization. Our object combining heuristics also allow unrelated objects to be combined, for example those allocated inside a loop; recursive data structures (linked lists, trees) can be allocated several at a time and objects that are always used together can be combined.The main focus of object combining in this paper is on reducing object (de)allocation overhead, by reducing both garbage collection work and the number of object allocations. Reduction of memory management overhead causes execution time to be reduced by up to 35%. Indirection removal further reduces execution time by up to 6%.
Necessary Conditions for Constrained Optimization Problems in Smooth Banach Spaces and Applications
Authors: Qiji J. Zhu
Venue: SIAM Journal on Optimization (2002)

We derive necessary optimality conditions for constrained minimization problems with lower semicontinuous inequality constraints, continuous equality constraints, and a set constraint in smooth Banach spaces. Then we apply these necessary optimality conditions to derive subdifferential characterizations of singular normal vectors to the epigraph and the graph of a function, subdifferential calculus, and necessary optimality conditions for mathematical programs with equilibrium constraints.
Finite-state analysis of two contract signing protocols
Authors: Vitaly Shmatikov, John C. Mitchell
Venue: Theoretical Computer Science (2002)

Optimistic contract signing protocols allow two parties to commit to a previously agreed upon contract, relying on a third party to abort or confirm the contract if needed. These protocols are relatively subtle, since there may be interactions between the subprotocols used for normal signing without the third party, aborting the protocol through the third party, or requesting confirmation from the third party. With the help of Mur, a finite-state verification tool, we analyze two related contract signing protocols: the optimistic contract signing protocol of Asokan, Shoup, and Waidner, and the abuse-free contract signing protocol of Garay, Jakobsson, and MacKenzie. For the first protocol, we discover that a malicious participant can produce inconsistent versions of the contract or mount a replay attack. For the second protocol, we discover that negligence or corruption of the trusted third party may allow abuse or unfairness. In this case, contrary to the intent of the protocol, the cheated party is not able to hold the third party accountable. We present and analyze modifications to the protocols that avoid these problems and discuss the basic challenges involved in formal analysis of fair exchange protocols.
A Guide to Computing Statistics with SPSS for Windows
Authors: Dennis Howitt, Duncan Cramer
Venue:  (1997)

:Learn all you need to know about statistics - and how to generate the statistics you need with the field's leading software package, SPSS for Windows. The book also contains detailed, practical coverage of variables, tables and diagrams, averages, variation and spread, distributions of scores and standard deviation. Coverage also includes: correlation coefficients, prediction, sampling, regression, statistical significance, inference, T-tests, chi-squares, non-parametric statistics, analysis of variance, partial and spurious correlation, multiple regression, and more. There is also a detailed case study walking through the analysis of a questionnaire and survey project.For anyone who needs to understand and work with statistics.
Architectural Drawing Using Pencil Sketches and AutoCAD, 1st edition
Authors: James M. Kirkpatrick
Venue:  (2002)

:Totally self-contained, this book teaches the fundamentals of drafting through the use of sketches on gridded paper done with triangles, a circle template and a minimum of other tools and supplies (only a pencil and eraser are absolutely necessary)and at the same time integrates a practical and empowering introduction to AutoCAD, providing sample drawings on a diskette that are the same as or similar to the pencil sketches found in the book. Sketching Tools, Supplies, and Their Uses; AutoCAD Fundamentals; Lettering for Pencil Sketches; Sketching Line Weights and Drawing Constructions; Linetypes and Drawing Construction Using AutoCAD; Reading and Sketching Orthographic Views; Making Orthographic Views with AutoCAD; Sketching Sectional Views; Making Sectional Views with AutoCAD; Sketching Auxiliary Views; Making Auxiliary Views with AutoCAD; Sketching Pictorial Views; Making Isometric Views with AutoCAD; Sketching Dimensions; Dimensioning with AutoCAD; Sketching Threads and Fasteners; AutoCAD Drawings of Fasteners Using Blocks and Attributes; Sketching Development Drawings; AutoCAD Developments with an Introduction to AutoCAD 3D; The Drawing System.
A Difference Scheme for Conservation Laws with a Discontinuous Flux: The Nonconvex Case
Authors: John D. Towers
Venue: SIAM Journal on Numerical Analysis (2001)

In a previous work by the author, convergence was established for a simple difference scheme approximating a scalar conservation law, where the flux was concave and had a discontinuous spatially varying coefficient [J. D. Towers, SIAM J. Numer. Anal., 38 (2000), pp. 681--698]. The main result of this paper is an extension of that convergence theorem to the situation where the flux may have any finite number of critical points. Additionally, spatially varying source terms are allowed. The spatially varying numerical flux is also shown to satisfy maximum and minimum principles and to be total variation decreasing (TVD) in time.
Bill Gates' Personal, Super-Secret, Private Laptop: A Microspoof
Authors: Henry Beard, John Boswell
Venue:  (1998)

:WHERE WOULD YOU WANT TO GO TODAY -- IF YOU HAD 50 BILLION DOLLARS? Find out on Bill Gates' Personal Super Secret Private Laptop: A Microspoof. Due to a miraculous twist of fate, the laptop you hold in your hand came into the possession of Henry Beard, John Boswell, and Ron Barrett, a trio of concerned, if computer-illiterate, citizens and authors of such bestselling humor books as O.J.'s Legal Pad and French for Cats. Now that these three have hired precocious preteens to hock into Gates' secret notes, plans, e-mails, and to-do lists, we can all be privy to the intellectual property of the richest man in the world. Fabulously fabricated in two-color throughout, Bill Gates' Personal Super Secret Private Laptop exhaustively captures the mind, spirit, and nerdiness of Bill Gates -- the guy who owns you, or soon will.
Persona 2: Eternal Punishment
Authors: Prima Temp Authors, John Shivers
Venue:  (2000)

:Dont confront the Joker without the help of PERSONA 2: ETERNAL PUNISHMENT--PRIMAS OFFICIAL STRATEGY GUIDE! Youll find tips on using the Contact System, all-inclusive battle strategies, maps for every area, complete bios, and techniques for using the new Rumor System. This guide is a must-have for the true PERSONA fan!