ppxscal/embedding_network huggingface dataset:
Stochastic activity networks: formal definitions and concepts
Authors: Willaim H. Sanders, John F. Meyer
Venue: Lectures on formal methods and performance analysis: first EEF/Euro summer school on trends in computer science (2002)

Stochastic activity networks have been used since the mid-1980s for performance, dependability, and performability evaluation. They have been used as a modeling formalism in three modeling tools (METASAN, UltraSAN, and M&ouml;bius), and have been used to evaluate a wide range of systems. This chapter provides the formal definitions and basic concepts associated with SANs, explaining their behavior and their execution policy precisely.
Piecewise Linear Modeling and Analysis
Authors: Domine M. W. Leenaerts, Wim M. Van Bokhoven
Venue:  (1998)

:Piecewise Linear Modeling and Analysis explains in detail all possible model descriptions to efficiently store piecewise linear functions starting with the Chua descriptions. Detailed explanation on how the model parameter can be obtained for a given mapping is provided and demonstrated by examples. The models are ranked to compare them and to show which model can handle the largest class of PL mappings. To analyse PL electrical networks a simulator is mandatory. Piecewise Linear Modeling and Analysis provides a detailed outline of a possible PL simulator, including pseudo-programming code. Several simulation domains like transcient, AC and distortion are discussed. The book explains the attractive features of PL simulators with respect to mixed-level and mixed-signal simulation while paying due regard also to hierarchical simulation. Piecewise Linear Modeling and Analysis shows in detail how many existing components in electrical networks can be modeled. These range from digital logic and analog basic elements such as transistors to complex systems like Phase-Locked Loops and detection systems. Simulation results are also provided. The book concludes with a discussion on how to find multiple solutions for PL functions or networks. Again, the most common techniques are outlined using clear examples. Piecewise Linear Modeling and Analysis is an indispensable guide for researchers and designers interested in network theory, network synthesis and network analysis.
Microsoft SQL Server 2000 DBA Survival Guide with Cdrom, 4th edition
Authors: Mark Spenik, Laura Jones, Orryn Sledge, Kari Fernandez, Kevin Viers, Troy D. Rackley, Yagerlin
Venue:  (2001)

:Microsoft SQL Server 2000 DBA Survival Guide is organized into several parts that comprise the various jobs and tasks the DBA performs. Each chapter is presented with the goal of providing knowledge and "know-how" to Database Administrators of a SQL Server database. The chapters also offer real world insight and experience by passing on tips, tricks, and suggestions based on what the authors have learned the hard way. The book also takes time to provide checklists and examples for various SQL Server DBA tasks. The book also provide insight into the tasks that make up a DBA's job including discussions of topics such as the creation of naming standards and conventions which are essential for efficient administration.
ASP.Net for Developers
Authors: Michael Amundsen, Paul Litwin
Venue:  (2001)

:ASP.NET For Developers focuses on teaching the reader ASP.NET using Visual Basic.NET in the most concise, straightforward manner possible. The book presents key concepts for using ASP.NET and VB.NET to efficiently create useful applications. The book contains specific, practical shortcuts and examples based on the extensive experiences of the authors, especially Amundsen's ground floor involvement with IBUYSPY.com.
A multilevel learning management system
Authors: Genoveffa Tortora, Monica Sebillo, Giuliana Vitiello, Pietro D'Ambrosio
Venue: Proceedings of the 14th international conference on Software engineering and knowledge engineering (2002)

Many authoring systems have been realized so far in order to allow users to build advanced presentation of documents. These systems represent the result of a requirement analysis performed in specific application domains and their functionality is meaningful for the domain experts. Consequently, in many cases there exists a barrier between system functionality and users, who have a limited knowledge of the domain: in order to use the application, the content expert end-user has to interact with the application expert. Such a barrier limits the effectiveness and the efficiency of the authoring system, because the development of a multimedia presentation forces the user to acquire experience far from his/her background. In this paper we introduce a new approach to educational authoring, based on a multilevel development methodology. It allows and supports teachers to create their own multimedia learning environment. The proposed approach has been experimented on an initial prototype which allows users to manage multimedia authoring of units of study.
PhotoShop 7 Bible, 1st edition
Authors: Deke McClelland, Galen Fott
Venue:  (2002)

:Shows readers how to retouch, color correct, manipulate, and combine images using Photoshop "X." Readers will learn to create cutting-edge special effects for the Web or print. Deke McClelland's easy and approachable writing style demystifies even the most complex Photoshop tasks.The Photoshop "X" Bible fulfills the promise to the reader of being "100 percent comprehensive, authoritative, and what you need." This classic Bible covers it all, from "Apply Image" command to "ZigZag filter."
Internet Shopping Yellow Pages: 2001 Edition
Authors: Barbara Kasser
Venue:  (2000)

:Online shopping is surging in popularity throughout the world. In the United States alone,35 million households this year are expected to spend more than $50 billion online. And,spending on the Internet is projected to soar upward from there. Provides guidance on using the Internet to shop,including "best of" listings,interesting sidebars,and alerts on making the reader's experience smooth and secure. Find out what's for sale online AND where to buy it! Discover thousands of exciting and fun sites with this organized,easy-to-use online shopping directory! You'll find everything from airline tickets to zippers in this complete resource,which lists the very best shopping sites on the Web. The author has scoured every corner to buy millions of familiar and not-so familiar items. Whether you're an avid shopper or just exploring what the Web has to offer,you're bound to find an exciting item to keep for yourself or to send as a gift. With helpful advice for secure and safe shopping,tips for locating exactly what you want,and information on controlling personal and credit card information,this comprehensive shopping guide is great fun to read and an important resource for everyone who shops online. As a bonus,visit the companion Web site for links to new and exciting stores,more helpful shopping tips,and a chance to share the details of your own shopping adventures.
Interactive graphics for transportation systems planning and design
Authors: J. B. Schneider
Venue: Proceedings of the 1st annual conference on Computer graphics and interactive techniques (1974)

This paper summarizes the content and findings of a three-day seminar designed to explore and assess the potential utility of interactive computer graphics for application in the transportation systems planning and design fields. The seminar was structured around the concept of finding good matches between existing technology in the interactive graphics field (capabilities) with high priority and suitable problems in the transportation planning and design fields (needs). The basic objective was to define and specify, as clearly as possible, some guidelines for the U.S. Dept. of Transportation that could assist the formulation of a DOT development and demonstration program strategy for utilizing existing technology in the computer graphics area. The seminar was structured into two parts. The first was tutorial in nature and was designed to provide the participants with an up-to-date description of capabilities and limitations. The second was a review and critique of eight resource papers, prepared especially for and prior to the seminar, which together provided twenty-two recommended development/demonstration projects. Three other recommendations were received from other sources. All twenty-five projects received a priority rating of 1 to 4. Twelve projects were rated as Priority 1 or 2. A wide variety of other recommendations are also included. Fifty persons participated in the seminar, representing a wide variety of activities in both the public and private sectors of the transportation field. 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
Hands on SQL Server X with Access
Authors: Prima Development, Jeff Perkins
Venue:  (2000)

:If you are a programmer who needs to develop applications for SQL Server using Access, then Hands On SQL Server X with Access is the book for you. The books unique project approach will help you build skills and understanding while working with the latest version of SQL Server. The three projects in the book take you through the development process from beginning to intermediate to advanced, and each introduces new features and design development considerations. The result is useful real-world applications you can implement in your own network environment to manage employee, customer, and project information. Subjects covered in Hands On SQL Server X with Access include designing a project-management subsystem and moving your applications to the Web. This books CD contains all of the source code used in the book and a companion Web site that will provide updates and additional information.
Proceedings of the 14th international conference on Software engineering and knowledge engineering
Venue: SEKE; Vol. 27 (2002)

On behalf of SEKE'02 Organizing Committee, we welcome you to the fourteenth International Conference on Software Engineering and Knowledge Engineering. Since its first edition, dating back to 1989, the conference has acquired momentum, and it is the premier international meeting for people working in this interdisciplinary field. The general focus is on that common ground between Software Engineering and Knowledge Engineering where it is possible to share methods and results, and there is the perspective of sketching directions for future research.The program of this edition is especially rich. Along with the regular sessions, it includes 4 keynote addresses, 2 theme workshops, and a tutorial. A European session is also planned as an occasion for representatives of the EU to illustrate the guidelines for the preparation of projects for the VI Framework Program of the Union.After ten years, we have been pleased to organize the SEKE conference in Italy for the second time. Just like the former edition that we held in Capri, we have carefully chosen the enchanted location offered by the isle of Ischia to allow participants to enjoy their stay and provide a unique scenario for scientific discussion.
MCSA Self-Paced Training Kit: Microsoft Windows 2000 Core Requirements;Exams 70-210,70-215,70-216,and 70-218, 1st edition
Authors: Microsoft Corporation
Venue:  (2002)

:Four kits in one! Get self-paced, from-the-source information and practice with the skills measured by the core exams for the Microsoft Certified Systems Administrator (MCSA) certification on Windows 2000-all in one box. Covering core Exams 70-210, 70-215, and 70-218-and elective Exam 70-216-these official Microsoft study guides deliver in-depth training in hands-on, learn-by-doing format. An exam simulation tool on CD helps measure your proficiency. As you gain practical experience administering the Windows 2000-based desktop, server, and network environments, you're also preparing for MCSA certification. The set includes four Microsoft study guides in print and on CD-ROM, skill-building lessons and exercises, electronic exam simulations, and 120-day evaluation versions of Windows 2000 Professional and Windows 2000 Server software.
Artificial Intelligence in Chemical Engineering
Authors: Thomas E. Quantrille, Y. A. Liu
Venue:  (1992)

:This book seeks to provide broad and in-depth coverage of AI programming, AI principles, expert systems and neural networks in chemical engineering. It introduces the computational means and methodologies that are used to enable computers to perform intelligent engineering tasks. A key goal is to move beyond the principles of AI into its applications in chemical engineering. After reading this book, a chemical engineer should have a firm grounding in AI, know what chemical engineering applications of AI exist today, and understand the current challenges facing AI in engineering.
Multiobjective \boldmath$\Ht/\Hf$ Control Design
Authors: Xiang Chen, Kemin Zhou
Venue: SIAM Journal on Control and Optimization (2001)

An important question in feedback control design is how to achieve desired performance for dynamical systems subject to both model uncertainties and white noise. For this purpose, it is desirable to develop a systematic design technique that combines the good aspects of both ${\cal H}_2$($LQG$) and ${\cal H}_\infty$ methods, which provides the motivation for the development of multiobjective design framework in this paper. Encouraged by a time domain game approach for ${\cal H}_{2}/{\cal H}_{\infty}$ control design, two multiobjective control design problems are formulated and solved in the time domain. Results for both the finite time horizon and the infinite time horizon are presented. It is shown that all the results can be obtained by solving the corresponding set of coupled Riccati equations.
GEA: a toolkit for gene expression analysis
Authors: Jessica M. Phan, Raymond Ng
Venue: Proceedings of the 2002 ACM SIGMOD international conference on Management of data (2002)

Currently gene expression data are being produced at a phenomenal rate. The general objective is to try to gain a better understanding of the functions of cellular tissues. In particular, one specific goal is to relate gene expression to cancer diagnosis, prognosis and treatment. However, a key obstacle is that the availability of analysis tools or lack thereof, impedes the use of the data, making it difficult for cancer researchers to perform analysis efficiently and effectively.
Performance analysis of time-enhanced UML diagrams based on stochastic processes
Authors: Christoph Lindemann, Axel Thümmler, Alexander Klemm, Marco Lohmann, Oliver P. Waldhorst
Venue: Proceedings of the 3rd international workshop on Software and performance (2002)

In this paper, we propose extensions to UML state diagrams and activity diagrams in order to allow the association of events with exponentially distributed and deterministic delays. We present an efficient algorithm for the state space generation out of these UML diagrams that allows a quantitative analysis by means of an underlying stochastic process. We identify a particular stochastic process, the generalized semi-Markov process (GSMP), as the appropriate vehicle on which quantitative analysis is performed. As innovative feature the algorithm removes vanishing states, i.e. states with no timed events active, and considers branching probabilities within activity diagrams. Furthermore, we introduce a performance evaluation framework that allows a system designer to predict performance measures at several steps in the design process. The applicability of our approach for practical performance and dependability projects is demonstrated by an UML specification of the General Packet Radio Service, a packet switched extension in GSM wireless networks.
Kinematic Analysis of Robot Manipulators
Authors: Carl D. Crane,  III, Joseph Duffy
Venue:  (1998)

:A robot manipulator is a movable chain of links interconnected by joints. One end is fixed to the ground, and a hand or end effector that can move freely in space is attached at the other end. This book begins with an introduction to the subject of robot manipulators. Next, it describes in detail a forward and reverse analysis for serial robot arms. Most of the text focuses on closed-form solution techniques applied to a broad range of manipulator geometries, from typical industrial robot designs (relatively simple geometries) to the most complicated case of seven general links serially connected by six revolute joints. A unique feature of this text is its detailed analysis of 6R-P and 7R mechanisms. Case studies show how the techniques described in the book are used in real engineering applications. The book meets the need for a thorough, up-to-date analysis of the structure and mobility of serial manipulators and will be useful to both graduate students and engineers working in the field of robotics.
Com+ Developer's Reference Library
Authors: David Iseminger
Venue:  (2000)

:At the heart of the Microsoft Windows 2000 operating system and Windows DNA 2000 is COM+ technology, which enables developers to write enterprise-ready applications at a fraction of the time and cost of other solutions. The COM+ DEVELOPER'S REFERENCE LIBRARY provides a focused, comprehensive, one-stop resource thats designed to help developers use the Microsoft Visual C++ or Microsoft Visual Basic programming languages to design and build COM+ applications. Each volume in the COM+ DEVELOPER'S REFERENCE LIBRARY is divided into manageable, logical, intelligently conceived parts. Like all publications in the Windows Programming Reference series, each volume provides guidance, tips, and tricks about how to get the most out of programming in the Windows environment, and how to make the best use of the Microsoft Developers Network (MSDN) to find further information.
SIP Demystified
Authors: Gonzalo Camarillo
Venue:  (2001)

:The Session Initiation Protocol (SIP) is the signalling protocol that will deliver IP multimedia services for the third generation of mobile systems. It will merge together the cellular and Internet worlds. It will provide ubiquitous access to the services it enables, and make us a truly mobile population for the first time. These are not small claims, which might explain why some people have started looking to SIP as an all-purpose solution to building the telecom future. In fact SIP is a powerful but limited protocol, with a well-defined scope. This book describes it in the context its framers intended, and meticulously explains how to use it as a transformative tool for telecom services. Written by one of the earliest contributors to SIP development in the IETF, SIP Demystified takes a long look at the what's and why's of today's most talked-about protocol, helping readers to move past the buzz, get poised for 3G, and start developing tomorrow's applications. SIP Demystified gives you jargon-free explanations of the concepts that set SIP apart from other protocols and the reasons the standard was drafted -- so you can decide what to do with it.
Oracle8 DBA Handbook
Authors: Kevin Loney, Marlene Theriault
Venue:  (1997)

:World-renowned Oracle expert Kevin Loney shows you how to set up a database for maximum efficiency, monitor it, tune it, and maintain its security. You'll find tips on using Oracle's distributed database and its client/server capabilities for both UNIX and Windows NT platforms. Completely revised to cover Oracle8 and all of its revolutionary new features and technologies, this book holds the most up-to-date information available on Oracle's latest release of Oracle Server.
Combining Artificial Neural Nets: Ensemble and Modular Multi-Net Systems, 1st edition
Authors: Amanda J. Sharkey
Venue:  (1999)

:This volume, written by leading researchers, presents methods of combining neural nets to improve their performance.
A causal semantics for CCS via rewriting logic
Authors: Pierpaolo Degano, Fabio Gadducci, Corrado Priami
Venue: Theoretical Computer Science (2002)

We consider two operational semantics for CCS defined in the literature: the first exploits proved transition systems (PTS) and the second rewriting logic (RL). We show that the interleaving interpretation of both semantics agree, in that they define the same transitions and exhibit the same non-deterministic structure. In addition, we study causality in CCS computations. We recall its treatment via PTS, exhibiting the notion of causality presented in the literature, and we show how to recast it in the RL semantics via suitable axioms. Also in this case, the two semantics agree.
Pc98 Hardware Design Guide with Cdrom
Authors: Intel Corporation Staff
Venue:  (1997)

:Created with close support from both companies, this is the authoritative guide for everyone creating systems and peripherals that run Microsoft Windows 98 and Microsoft Windows NT 5.0 operating systems. The hardware and device drivers you create based on these guidelines will support - and help you profit from - the two key market demands that are now top priorities for Microsoft, Intel, and others: reducing the total cost of PC ownership for corporations and providing everyone with machines that are more capable and easier to use. This book provides the latest, most authoritative guidelines for creating next-generation PCs, components, peripherals, and device drivers. 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
Long-Time Energy Conservation of Numerical Methods for Oscillatory Differential Equations
Authors: Ernst Hairer, Christian Lubich
Venue: SIAM Journal on Numerical Analysis (2000)

We consider second-order differential systems where high-frequency oscillations are generated by a linear part. We present a frequency expansion of the solution, and we discuss two invariants of the system that determine the coefficients of the frequency expansion. These invariants are related to the total energy and the oscillatory harmonic energy of the original system.For the numerical solution we study a class of symmetric methods that discretize the linear part without error. We are interested in the case where the product of the step size with the highest frequency can be large. In the sense of backward error analysis we represent the numerical solution by a frequency expansion where the coefficients are the solution of a modified system. This allows us to prove the near-conservation of the total and the oscillatory energy over very long time intervals.
Program transformation system based on generalized partial computation
Authors: Yoshihiko Futamura, Zenjiro Konishi, Robert Glück
Venue: New Generation Computing (2002)

Generalized Partial Computation (GPC) is a program transformation method utilizing partial information about input data, abstract data types of auxiliary functions and the logical structure of a source program. GPC uses both an inference engine such as a theorem prover and a classical partial evaluator to optimize programs. Therefore, GPC is more powerful than classical partial evaluators but harder to implement and control. We have implemented an experimental GPC system called WSDFU (Waseda Simplify-Distribute-Fold-Unfold). This paper demonstrates the power of the program transformation system as well as its theorem prover and discusses some future works.