ppxscal/embedding_network huggingface dataset:
An analyzable annotation language
Authors: Sarfraz Khurshid, Darko Marinov, Daniel Jackson
Venue: Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (2002)

The Alloy Annotation Language (AAL) is a language (under development) for annotating Java code based on the Alloy modeling language. It offers a syntax similar to the Java Modeling Language (JML), and the same opportunities for generation of run-time assertions. In addition, however, AAL offers the possibility of fully automatic compile-time analysis. Several kinds of analysis are supported, including: checking the code of a method against its specification; checking that the specification of a method in a subclass is compatible with the specification in the superclass; and checking properties relating method calls on different objects, such as that the equals methods of a class (and its overridings) induce an equivalence. Using partial models in place of code, it is also possible to analyze object-oriented designs in the abstract: investigating, for example, a view relationship amongst objects.The paper gives examples of annotations and such analyses. It presents (informally) a systematic translation of annotations into Alloy, a simple first-order logic with relational operators. By doing so, it makes Alloy's automatic analysis, which is based on state-of-the-art SAT solvers, applicable to the analysis of object-oriented programs, and demonstrates the power of a simple logic as the basis for an annotation language.
Quasi-Birth-and-Death Processes with Level-Geometric Distribution
Authors: Tuugrul Dayar, Franck Quessette
Venue: SIAM Journal on Matrix Analysis and Applications (2002)

A special class of homogeneous continuous-time quasi-birth-and-death (QBD) Markov chains (MCs) which possess level-geometric (LG) stationary distribution is considered. Assuming that the stationary vector is partitioned by levels into subvectors, in an LG distribution all stationary subvectors beyond a finite level number are multiples of each other. Specifically, each pair of stationary subvectors that belong to consecutive levels is related by the same scalar, hence the term level-geometric. Necessary and sufficient conditions are specified for the existence of such a distribution, and the results are elaborated in three examples.
Analysis of pre-computed partition top method for range top-k queries in OLAP data cubes
Authors: Zheng Xuan Loh, Tok Wang Ling, Chuan Heng Ang, Sin Yeung Lee
Venue: Proceedings of the eleventh international conference on Information and knowledge management (2002)

In decision support systems, having knowledge on the top k values is more informative and crucial than the maximum value. Unfortunately, the naive method involves high computational cost and the existing methods for range-max query are inefficient if applied directly. In this paper, we propose a Pre-computed Partition Top method (PPT) to partition the data cube and pre-store a number of top values for improving query performance. The main focus of this study is to find the optimum values for two parameters, i.e., the partition factor (b) and the number of pre-stored values (r), through analytical approach. A cost function based on Poisson distribution is used for the analysis. The analytical results obtained are verified against simulation results. It is shown that the PPT method outperforms other alternative methods significantly when proper b and r are used.
Mcsa/MCSE Self-Paces Training Kit: Managing a Microsoft Windows 2000 Network Environment, 2nd edition
Authors: Microsoft Corporation
Venue:  (2002)

Learn how to administer and support a Windows® 2000 network--and prepare for MCP Exam 70-218--with this official Microsoft® study guide. Work at your own pace through the lessons and hands-on exercises. And use the special exam-prep section and testing tool to measure what you know and where to focus your studies--before taking the actual exam. As you gain practical experience managing network infrastructure, services, and resources, you're also preparing for MCSA or MCSE certification.
Rational Drug Design, 1st edition
Authors: Donald G. Truhlar, W. Jeffrey Howe, Anthony J. Hopfinger, Jeff Blaney, Richard E. Dammkoehler
Venue:  (1999)

:Drug research and discovery are of critical importance in human health care. Computational approaches for drug lead discovery and optimization have proven successful in many recent research programs. These methods have grown in their effectiveness not only because of improved understanding of the basic science - the biological events and molecular interactions that define a target for therapeutic intervention - but also because of advances in algorithms, representations, and mathematical procedures for studying such processes. This volume surveys some of those advances.
Communications Systems & Networks, 2nd edition
Authors: Ray Horak
Venue:  (1999)

:Communications Systems and Networks offers a comprehensive, common-sense explanation of current and developing communications systems and networks. The book broadly explores the current range of communications systems including wired and wireless voice, data, and video. It also features recently developed and emerging technologies such as Frame Relay, SMDS, and ATM. Convergence technologies and networks ranging from the Internet and video-on-demand, to interactive TV are evaluated in the context of the developing Information Superhighway. This valuable reference demystifies the complex layers of networking technology, places standards in perspective, and explains regulatory issues and trends. Each chapter addresses a key area of telecommunications technology and applications with an eye toward the development of meaningful and cost-effective solutions to vital communications concerns. Communications professionals including business people, network managers, regulators, TelCom attorneys, and manufacturers will use Communications Systems and Networks as the essential handbook for working with the complex, emerging communications systems for the next century.
GCspy: an adaptable heap visualisation framework
Authors: Tony Printezis, Richard Jones
Venue: Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (2002)

GCspy is an architectural framework for the collection, transmission, storage and replay of memory management behaviour. It makes new contributions to the understanding of the dynamic memory behaviour of programming languages (and especially object-oriented languages that make heavy demands on the performance of memory managers). GCspy's architecture allows easy incorporation into any memory management system: it is not limited to garbage-collected languages. It requires only small changes to the system in which it is incorporated but provides a simple to use yet powerful data-gathering API. GCspy scales to allow very large heaps to be visualised effectively and efficiently. It allows already-running, local or remote systems to be visualised and those systems to run at full speed outside the points at which data is gathered. GCspy's visualisation tool presents this information in a number of novel ways.Deep understanding of program behaviour is essential to the design of the next generation of garbage collectors and explicit allocators. Until now, no satisfactory tools have been available to assist the implementer in gaining an understanding of heap behaviour. GCspy has been demonstrated to be a practical solution to this dilemma. It has been used to analyse production Java virtual machines running applications of realistic sizes. Its use has revealed important insights into the interaction between application program and JVM and has led to the development of better garbage collectors.
Building appliances out of components using Pebble
Authors: Kostas Magoutis, José Carlos Brustoloni, Eran Gabber, Wee Teck Ng, Avi Silberschatz
Venue: Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system (2000)

Appliances are special purpose systems that offer high processing speed, ease of configuration, safety, fault isolation, and minimal need for administration by human experts. Traditional approaches to building an appliance operating system have been either building it from scratch [CacheOS] or stripping down a monolithic kernel to its basic components [Jaeger99]. The former approach is costly and the resulting product is likely to be highly specialized and not easily extensible. The latter approach is not easy, as the OS code and data structures are often shared and closely intertwined. The resulting OS is also likely to be coarse-grained and not easily customizable. Most appliances are network-centric (e.g. HTTP caches, proxies, file servers, routers) in the sense that they require high-performance network connections. Such performance is often achieved with application-specific specialization of system I/O [Cao95] requiring a modification of a portion of the operating system, such as the protocol stack or the file system.Safety is a major concern for appliances, since new functions are constantly added, and there is never enough time to debug all possible interactions, especially when third party software is running on the appliance. The problem is more severe with legacy software written in C or other unsafe languages (in contrast with type-safe languages such as Java). Extensible routers are an example of network appliances where custom software processing has to be quickly added and safety is paramount. Diagnostic code and custom (e.g. multimedia) schedulers are also examples of extensions that appliances will need to support.Resource management is especially important for appliances. New operating system abstractions such as paths [Mosberger96], resource containers [Banga99], reservation domains [Bruno98] and activities [Jones95] have been proposed for resource management and control. We believe that an appliance operating system should be flexible enough to support such abstractions. It should also be able to overlay resource management in modular operating systems without such support.Pebble [Gabber99] is a component-based operating system that combines efficient IPC with strong modularity and safety features. Pebble provides the necessary infrastructure for building fine-grained, modular operating systems for appliances out of reusable components. We found that a typical network appliance application (e.g. a Web server) built on Pebble using components has comparable performance to a traditional monolithic kernel. In this way, there is no performance reason not to use a safer, more modular component structure for such appliances. Moreover, we claim that Pebble is a general purpose operating system framework that allows us to implement diverse OS structures and mechanisms, alleviating the need for writing specialized operating systems from scratch.
Assessing prototypes' role in design
Authors: Ashley Williams
Venue: Proceedings of the 20th annual international conference on Computer documentation (2002)

The practice of using prototypes in design processes that involve user participation assumes that it is beneficial to do so-one commonly accepted benefit is that prototyping activities help users generate or articulate design ideas. However, such practice is rarely examined closely. This paper reports primarily on a verbal data analysis conducted to address the assumption that hands-on prototyping necessarily stimulates discussion-I analyze participants' performances with a paper- and computer-based prototype as a means of assessing the prototypes' role in the participatory design-like effort of a community networking project. In doing so, I contrast the two prototypes in terms of the number and kind of utterances participants voiced in response to each.
Using Visual Studio (Special Edition), 1st edition
Authors: Gregory A. Sullivan, Azam A. Mirza
Venue:  (1998)

:Special Edition Using Visual Studio is a complete reference and tutorial for developers who want to learn the new tools and features of this programming suite. Shows the reader how to use the Developer Studio integrated development environment (IDE) to build Visual C++, Visual J++, Visual Basic, and Visual InterDev applications. The book contains unique coverage demonstrating cross tool development and how to build integrated programs and select the best tool for a task. An entire section is devoted to team development topics such as the new object repository, Project Modeler, and Visual SourceSafe for version control.Shows the reader how to use the Developer Studio integrated development environment (IDE) to build Visual C++, Visual J++, Visual Basic, and Visual InterDev applicationsContains unique coverage demonstrating cross tool development and how to build integrated programs and select the best tool for a taskFeatures an entire section is devoted to team development topics such as the new object repository, Project Modeler, and Visual SourceSafe for version control
1-2-3 for Windows REL 5 SS, 1st edition
Authors: John M. Preston, Wendy Jean Gabriel
Venue:  (1999)

:Lotus 1-2-3 for Windows Release 5 SmartStart is a tutorial developed with easy-to-follow, step-by-step instructions. Because Lotus 1-2-3 for Windows Release 5 SmartStart concisely covers only the most important concepts, your time on the learning curve is greatly reduced.
The Everything Online Business Book: Use the Internet to Build Your Business
Authors: Rob Liflander
Venue:  (2000)

:In THE EVERYTHING ONLINE BUSINESS BOOK, Internet business expert Rob Liflander introduces readers to the basics of creating a Web business, whether from an existing "bricks and mortar" business or an entirely new venture. Covering every aspect of the process, he outlines step-by-step instructions on site development, design, and the tools you'll need to access the Web's hottest interactive features. More importantly, he covers every aspect of what it will take to make your business work, including Web-focused advice for sales and marketing, customer service, fulfillment, and much more.
Wireless LAN Standards and Applications, 1st edition
Authors: Asuncion Santamaria
Venue:  (2001)

:If you're an engineer involved in developing wireless LAN systems, this valuable book will give you a practical understanding of the latest wireless LAN standards and their implementation. The book clearly explains the two principal standards, IEEE 802.11 and IrDA, plus the HIPERLAN standard, and explores their real-world applications through commercially available equipment. Specific scenarios explain how WLAN systems can be built and integrated with cabled systems.
Three-dimensional man-machine interaction
Authors: James H. Clark
Venue: Proceedings of the 3rd annual conference on Computer graphics and interactive techniques (1976)

The film accompanied by this paper illustrates an experimental system for real-time Computer-Aided Geometric Design of three-dimensional parametric surfaces. A detailed description of the system is given in another paper by the author(1). Its principle features are that it operates in real-time, all geometric interaction with the surfaces is accomplished with a 3-D Wand, the surfaces are viewed in 3-D using a head-mounted display, and the surfaces are mathematically represented using parametric spline surface patches.The two principle computing components of the system are a PDP-10 computer and an LDS-1 display computer. The PDP-10 acts as a host to the LDS-1. Its main tasks each 1/30 second are to compute the 3-D Wand and head-mounted display positions and to incrementally update the geometries of the surface patches being designed by the user. During the same time period, the LDS-1 loads its digital matrix multiplier with the room-to-head transformation matrix provided to it by the PDP-10, displays on the head-mounted display's CRT's a line drawn rendering of all of the parametric surface patches that are within the 40 degree field-of-view of the display and displays a small cube to represent the current position of the Wand.The user of the system initiates a design sequence by selecting a patch description file from the PDP-10's file system. He then puts on the head-mounted display and uses the 3-D Wand with its control buttons to grasp the patches, which appear to float before him in the room, and make appropriate changes to their geometry. After a design sequence he may save the new surfaces on the PDP-10 file system and select certain views of the surfaces to be rendered as a continuous-tone shaded picture with hidden-surfaces removed.The first part of the film described here shows the system in real-time operation. During this part, several free-form surfaces are manipulated as the camera records the action on a line-drawing monitor. The second part of the film illustrates a continuous-tone, shaded rendering of a design sequence. The continuous-tone rendering was produced "off-line" using pertinent viewpoint information that was saved during the design sequence. The final few minutes of the film depict the construction of a Klein-Bottle.
Optimizing the Windows Registry (with CD-ROM), 1st edition
Authors: Kathy Ivens
Venue:  (1998)

:Optimizing the Windows Registry Hack the Registry Without Fear Learn how to modify the Registry without damaging your Windows system. With thorough and straightforward instructions, Kathy Ivens shows how to safely customize menus, files, settings, and subkeys to meet your Registry needs. From changing the default icons to establishing remote Registry service, Optimizing the Windows® Registry provides you with all the information you need to simplify system management  and get your work done more efficiently. Working Solutions for Everyday Registry Challenges*Complete review of the Windows 95, Windows 98, and Windows NT 4.0 Registries*Full guidelines for implementing REGEDIT and REGEDT32*All-inclusive primer on protocol Registry settings including TCP/IP, NetBEUI, and Network DDE*Step-by-step instructions for establishing remote Registry administration*Five entire chapters devoted to subkeys and their corresponding settingsCD-ROM features over 20 utilities for editing your Registry and customizing Windows, including: DumpReg 1.1, RegEdit 2.0, Registry Editor Extensions 1.1, Registry Saver 1.2, Regmon, NTRegmon, Winhacker 2.0, ConfigSafeNet demo, Diskeeper Lite, and GoldWave Shareware programs are fully functional, free trial versions of copyrighted programs. If you like particular programs, register with their author for a nominal fee and receive licenses, enhanced versions, and technical support. Freeware programs are free, copyrighted games, applications, and utilities. You can copy them to as many PCs as you like  free  but they have no technical support. Platform and System Requirements: Windows 95, Windows 98,or Windows NT 4.0
Asymptotic behavior in a heap model with two pieces
Authors: Jean Mairesse, Laurent Vuillon
Venue: Theoretical Computer Science (2002)

In a heap model, solid blocks, or pieces, pile up according to the Tetris game mechanism. An optimal schedule is an infinite sequence of pieces minimizing the asymptotic growth rate of the heap. In a heap model with two pieces, we prove that there always exists an optimal schedule which is balanced, either periodic or Sturmian. We also consider the model where the successive pieces are chosen at random, independently and with some given probabilities. We study the expected growth rate of the heap. For a model with two pieces, the rate is either computed explicitly or given as an infinite series. We show an application for a system of two processes sharing a resource, and we prove that a greedy schedule is not always optimal.
Reveal: a tool to reverse engineer class diagrams
Authors: Sarah Matzko, Peter J. Clarke, Tanton H. Gibbs, Brian A. Malloy, James F. Power, Rosemary Monahan
Venue: Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications (2002)

Many systems are constructed without the use of modeling and visualization artifacts, due to constraints imposed by deadlines or a shortage of manpower. Nevertheless, such systems might profit from the visualization provided by diagrams to facilitate maintenance of the constructed system. In this paper, we present a tool, Reveal, to reverse engineer a class diagram from the C + + source code representation of the software. In Reveal, we remain faithful to the UML standard definition of a class diagram wherever possible. However, to accommodate the vagaries of the C + + language, we offer some extensions to the standard notation to include representations for namespaces, stand-alone functions and friend functions. We compare our representation to three other tools that reverse-engineer class diagrams, for both compliance to the UML standard and for their ability to faithfully represent the software system under study.
Point,Click and Wow!: A Quick Guide to Brilliant Laptop Presentations,2nd Edition, 2nd edition
Authors: Claudyne Wilder, Jennifer Rotondo
Venue:  (2002)

:A brilliant laptop presentation is more than just dazzling slides. If you want your laptop computer presentations to have the Wow factor, simply follow the suggestions and use the ideas outlined in this thoroughly revised and updated edition of Point, Click, and Wow! This hands-on guide shows you how to create memorable presentations that will get your message across with style. Unlike others books on the topic, this practical guide teaches you how to really sell your knowledge, product, or service in a customer-focused, one-to-one marketing manner. Authors Claudyne Wilder and Jennifer Rotondo offer the guidance you need to look, act, and sound like a pro. Throughout the book the authors explain how to create persuasive visuals, use technology effectively, and sell your idea or product to an audience. This revised edition also includes a CD-ROM that will give you the tools you need to customize your slides.
How to Use America Online 4.0, 4th Edition, 4th edition
Authors: Deborah Craig, Elaine Madison
Venue:  (1998)

:How to Usepresents you with a straightforward, visual approach to learning. The steps and graphics guide you through every task you'll need to work with America Online. Colorful, illustrated steps walk you through installing, setting up, and accessing America Online Learn how to navigate America Online with your toolbar and use of Keywords Find out how to use AOL to send and receive email and files Experience the fun of communicating online with AOL's chat features and chat rooms Browse AOL's channels on News, Weather, Personal Finance, Careers, Travel, and Entertainment
Subdivision surfaces in feature films
Authors: Tony D. DeRose
Venue: Mathematical Methods for Curves and Surfaces: Oslo 2000 (2001)

The creation of believable and endearing digital characters in feature films presents a number of technical challenges, including the modeling, animation and rendering of complex shapes such as heads, hands, and clothing. Traditionally, these shapes have been modeled with NURBS surfaces despite the severe topological restrictions that NURBS impose. In order to move beyond these restrictions, we have introduced subdivision surfaces into our production environment. Subdivision surfaces are not new, but their use in high-end CG production has, until recently, been limited. Here we survey a series of developments that were required in order for subdivision surfaces to meet the demands of high-end production.