ppxscal/embedding_network huggingface dataset:
Stabilization of Beams with Nonlinear Feedback
Authors: Larbi Berrahmoune
Venue: SIAM Journal on Control and Optimization (2002)

This paper studies nonlinear feedback stabilization of Euler--Bernoulli beams subject to various pointwise and concentrated actuators. Strong, uniform, and nonuniform stabilization are obtained with explicit decay estimates in appropriate spaces. The results are obtained through the study of an abstract second order distributed system which encompasses the models under investigation.
Except for exception handling &hellip;
Authors: Alexander Romanovsky, Bo Sandén
Venue: ACM SIGAda Ada Letters (2001)

Exception handling in Ada has a number of well-known problems. It allows for the propagation of unhandled and anonymous exceptions, it is error-prone and it is inappropriate for some language features such as tasking and tagged types. Ada programs with exceptions can be difficult to understand, develop, modify and analyse, and the exception handling features can be misused in a number of ways.In this paper we introduce the requirements for good exception handling features. We classify the problems with Ada exception handling into two subsets: serious conceptual problems that require an improvement of the language features, and problems attributable to the misuse of the existing features. Problems in the second category can be solved by improving programmers' understanding of the features and ways of using them.
A first course in computational science: (why a math book isn't enough)
Authors: James L. Noyes
Venue: Proceedings of the 33rd SIGCSE technical symposium on Computer science education (2002)

There is a change underway in the CS curriculum that reflects a renewed emphasis upon solving applications. Computational science applies solution methods to various scientific models. However, following a computational science approach means more than just using formulas out of a math book. It means having a scientific mindset, understanding and using a scientific approach, thoroughly testing both the theoretical models and the specific implementation of these models, knowing when to use analytic methods instead of numerical ones, using graphics to improve understanding, and knowing how to explain the results of these models to others. This paper addresses what has been learned in designing and teaching a first course in computational science at the undergraduate level.
Mercury: a scalable publish-subscribe system for internet games
Authors: Ashwin R. Bharambe, Sanjay Rao, Srinivasan Seshan
Venue: Proceedings of the 1st workshop on Network and system support for games (2002)

Today's network games suffer from scalability and performance limitations caused by centralized client-server architectures and/or broadcast communication. In this paper, we argue that the communication between components of a game can be modeled as a publish-subscribe system. We present the design of MERCURY, a completely distributed publish-subscribe system, which supports a content-based publish-subscribe model of communication and performs distributed matching using a novel content-based routing protocol. We also present preliminary simulation results identifying key design decisions affecting the scalability and network efficiency of the system.
Mcsa Managing a Windows 2000 Network Environment Lab Manual: Exam 70-218
Authors: Nick LaManna
Venue:  (2002)

:Build the skills you'll need for on-the-job success! Inside, you'll find more than 40 laboratory exercises with solutions, step-by-step scenarios that require you to think critically, post-lab analysis questions and key term quizzes, and back-of-book solutions that explain not only what happened, but why. 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 PowerPoint 4 for Windows, 2nd edition
Authors: Que Development Group
Venue:  (1994)

:As a best-selling presentation graphics program-and a component of the Microsoft Office suite-PowerPoint is the must-have presentation program. Users who know this need a comprehensive approach for creating powerful presentations. Que has filled this book with brilliant tutorials and strong reference material-destined to boost any user's presentation capabilities.Easy, step-by-step lessons for creating dynamic charts and presentation materialsGreat expert advice helps users enhance presentations with persuasive special effectsIncludes a 16-page gallery of presentation examples-for brilliant ideas and results 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
Solid Software, 1st edition
Authors: Shari Lawrence Pfleeger, Chuck Howell, Les Hatton
Venue:  (2001)

:The practical guide to evaluating and improving the quality of mission-critical software.Large software systems will never be perfect, but decision makers need better ways to evaluate and enhance software qualityespecially where software is mission critical or used in life-or-death environments. Solid Software presents realistic techniques for analyzing and improving the quality and robustness of any software system or software-intensive product. Solid Software isn't theoretical: it's a relentlessly practical decision maker's guide to making intelligent, responsible trade-offs that lead to the best software at the best cost. Understand what levels of quality are reasonable to expect at every stage of the software life cycle, including development, deployment, and maintenanceDiscover the key "design leverage points" that lead to robust softwareLearn sophisticated new ways to predict software quality and assess systems in productionMake the most of hazard analysis, testing, design analysis, reviews, static code analysis, and other techniquesChoose the best toolsand use them more effectivelySolid Software draws upon dozens of real-world examples, based on the authors' extensive experience as software quality consultants, and interviews with key software decision makers worldwide. Whether you're a developer, project manager, architect, executive, manager, or regulator, it's your single source for improving software qualityin the real world.
UNIX System V Release 4 Commands Reference Manual: Commands M-Z for Motorola Processors
Authors: Motorola Unix System Laboratory
Venue:  (1992)

:The reference manual set for UNIX system V Release 4 for Motorola Processors is the definitive source for complete and detailed specifications for all System V interfaces. Retitled and reorganized, this edition makes finding the manual page you need fast and easy 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
Efficient simulation of a tandem Jackson network
Authors: Dirk P. Kroese, Victor F. Nicola
Venue: ACM Transactions on Modeling and Computer Simulation (TOMACS) (2002)

The two-node tandem Jackson network serves as a convenient reference model for the analysis and testing of different methodologies and techniques in rare event simulation. In this paper we consider a new approach to efficiently estimate the probability that the content of the second buffer exceeds some high level L before it becomes empty, starting from a given state. The approach is based on a Markov additive process representation of the buffer processes, leading to an exponential change of measure to be used in an importance sampling procedure. Unlike changes of measures proposed and studied in recent literature, the one derived here is a function of the content of the first buffer. We prove that when the first buffer is finite, this method yields asymptotically efficient simulation for any set of arrival and service rates. In fact, the relative error is bounded independent of the level L; a new result which is not established for any other known method. When the first buffer is infinite, we propose a natural extension of the exponential change of measure for the finite buffer case. In this case, the relative error is shown to be bounded (independent of L) only when the second server is the bottleneck; a result which is known to hold for some other methods derived through large deviations analysis. When the first server is the bottleneck, experimental results using our method seem to suggest that the relative error is bounded linearly in L.
Defending Your Digital Assets against Hackers,Crackers,Spies,and Thieves, 1st edition
Authors: Randall K. Nichols, Julie J. Ryan, Daniel J. Ryan
Venue:  (2000)

From the Book:Welcome to the inaugural book from RSA Press! From our participation in technical and legislative policy to hosting the world's foremost security conference, RSA Security has continually sought to educate the world on e-security issues, technologies and futures. Now, we are pleased to extend this same tradition through our new line of RSA Press books. We believe that the industry as a whole can advance more quickly with an open exchange of information and through education on the security issues that are shaping today's online marketplace. RSA Security's nearly two decades of hands-on experience in the esecurity realm make us uniquely suited to be a trusted source for information on the latest e-security trends and issues. With the proliferation of the Internet and revolutionary e-business practices, there has never been a more critical need for sophisticated security technologies and solutions - and for trustworthy information about e-security. RSA Press books can help your company move safely into the new and rewarding arena of electronic business, by providing relevant and unbiased information to guide you around the potential dangers of doing business in the networked world. Whether you are an enterprise IT manager, an application developer, a CEO, CIO or an end user of computer technologies, titles from RSA Press will be available to answer your questions and address your concerns about reaping the benefits of e-commerce while minimizing the risks involved with doing so. As our first published title, Defending Your Digital Assets Against Hackers, Crackers, Spies and Thieves provides a solid foundation for information security professionals to learnabout the methods of protecting their organizations' most precious assets: data. Network data has become increasingly valuable in today's public and private sectors, and most information that's accessible from a network is not as secure as it should be. Defending Your Digital Assets Against Hackers, Crackers, Spies and Thieves discusses the growing vulnerabilities associated with doing business online and offers detailed explanations and advice on how to prevent future attacks, detect attacks in progress, and quickly recover business operations. We hope you enjoy this inaugural work, and welcome your comments, criticism and ideas for future RSA Press books. Please visit our Web site at http//www.rsasecurity.com for more information about RSA Security, or find us at http//www.rsasecuritycomlrsapress/ to learn more about RSA Press.
Modification of A Finite Volume Scheme for Laplace's Equation
Authors: N. B. Petrovskaya
Venue: SIAM Journal on Scientific Computing (2001)

For Laplace's equation, we discuss whether it is possible to construct a linear positive finite volume (FV) scheme on arbitrary unstructured grids. Dealing with the arbitrary grids, we state a control volume which guarantees a positive FV scheme with linear reconstruction of the solution. The control volume is defined by a property of the analytical solution to the equation and does not depend on the grid geometry. For those problems where the choice of the control volume is prescribed a priori, we demonstrate how to improve positivity of the linear FV scheme by using corrected reconstruction stencils. The difficulties arising when grids with no geometric restrictions are used for the discretization are discussed. Numerical examples illustrating the developed approach to the stencil correction are given.
Standby power management for a 0.18μm microprocessor
Authors: Lawrence T. Clark, Neil Deutscher, Shay Demmons, Franco Ricci
Venue: Proceedings of the 2002 international symposium on Low power electronics and design (2002)

Static power dissipation is a concern for battery powered hand-held devices since it can substantially impact the battery life. Here, the use of reverse body bias to limit Ioff on the high performance, low power XScale&trade; microprocessor core is described. The scheme utilized is amenable to implementation on a low-cost (non-triple well) process and has limited regulation requirements. The regulation requirements and circuits are described, as is the performance of the method. A measured current reduction factor of over 25 is achieved with this method of reverse body bias. Implications of the use of body bias leakage control for active power and performance, as well as system level implications are also discussed.
Cognitive Architectures in Artificial Intelligence: The Evolution of Research Programs
Authors: Andy Clark, Josefa Toribio
Venue:  (1998)

:Summarizes and illuminates two decades of researchGathering important papers by both philosophers and scientists, this collection illuminates the central themes that have arisen during the last two decades of work on the conceptual foundations of artificial intelligence and cognitive science. Each volume begins with a comprehensive introduction that places the coverage in a broader perspective and links it with material in the companion volumes. The collection is of interest in many disciplines including computer science, linguistics, biology, information science, psychology, neuroscience, iconography, and philosophy. Examines initial efforts and the latest controversies The topics covered range from the bedrock assumptions of the computational approach to understanding the mind, to the more recent debates concerning cognitive architectures, all the way to the latest developments in robotics, artificial life, and dynamical systems theory. The collection first examines the lineage of major research programs, beginning with the basic idea of machine intelligence itself, then focuses on specific aspects of thought and intelligence, highlighting the much-discussed issue of consciousness, the equally important, but less densely researched issue of emotional response, and the more traditionally philosophical topic of language and meaning. Provides a gamut of perspectives The editors have included several articles that challenge crucial elements of the familiar research program of cognitive science, as well as important writings whose previous circulation has been limited. Within each volume the papers are organized to reflect a variety of research programs and issues. The substantive introductions that accompany each volume further organize the material and provide readers with a working sense of the issues and the connection between articles.
A Moving Mesh Method Based on the Geometric Conservation Law
Authors: Weiming Cao, Weizhang Huang, Robert D. Russell
Venue: SIAM Journal on Scientific Computing (2002)

A new adaptive mesh movement strategy is presented, which, unlike many existing moving mesh methods, targets the mesh velocities rather than the mesh coordinates. The mesh velocities are determined in a least squares framework by using the geometric conservation law, specifying a form for the Jacobian determinant of the coordinate transformation defining the mesh, and employing a curl condition. By relating the Jacobian to a monitor function, one is able to directly control the mesh concentration. The geometric conservation law, an identity satisfied by any nonsingular coordinate transformation, is an important tool which has been used for many years in the engineering community to develop cell-volume-preserving finite-volume schemes. It is used here to transform the algebraic expression specifying the Jacobian into an equivalent differential relation which is the key formula for the new mesh movement strategy. It is shown that the resulting method bears a close relation with the Lagrangian method. Advantages of the new approach include the ease of controlling the cell volumes (and therefore mesh adaption) and a theoretical guarantee for existence and nonsingularity of the coordinate transformation. It is shown that the method may suffer from the mesh skewness, a consequence resulting from its close relation with the Lagrangian method. Numerical results are presented to demonstrate various features of the new method.
Java and XML data binding
Authors: Brett McLaughlin
Venue:  (2002)

Java and XML Data Binding shows you how to put the new XML data binding APIs to work. XML is an excellent tool for representing data. Ultimately, though, its not enough to represent data; we also need to work with it, and working directly with XML documents is awkward. You have to navigate through the document, working with XML constructs such as elements and attributes. Programming at this level is awkward and alien to many software developers.
G1-Hermite interpolation of ruled surfaces
Authors: Martin Peternell
Venue: Mathematical Methods for Curves and Surfaces: Oslo 2000 (2001)

This article discusses two methods for G1- Hermite interpolation of ruled surfaces with low degree rational ruled surfaces. We will interpret ruled surfaces as one-parameter families of straight lines. Given two generating lines G1, G2 and tangent planes at points of these lines, we want to construct polynomial or rational ruled surfaces of low degree interpolating these boundary data.
Professional Javascript
Authors: Nigel McFarlane, Paul Wilton, Mark Wilcox, Cliff Wootton, Andrea Chiarelli, Updegrave, Sing Li
Venue:  (1999)

:This book is for programmers looking to bring their JavaScript skills to the cutting edge, and for any programmer looking for a comprehensive compendium of tips and an up-to-date JavaScript reference. It will also be of use to experienced programmers looking to learn JavaScript or leverage its power for a specific purpose.
PageMaker 5 for Windows
Authors: Kim Baker, Sunny Baker
Venue:  (1993)

:The top-selling desktop publishing program in the Windows category, this new version will contain more sophisticated typography, graphics, built-in color separation and templates for automatic document creation. Learn how to use these functions and more with this extremely easy-to-follow, fully illustrated tutorial.
Client-server based application in the dyalog APL environment
Authors: Alexander Balako
Venue: ACM SIGAPL APL Quote Quad (2000)

This paper is concerned with the problem of creating server-based application for the Dyalog APL environment on the example of "Agent". The "Agent" is a new common tool for the portfolio management system SOFIA&reg; (product of APL Italiana&reg;), and GAMA (product of Infostroy). Briefly, "Agent" can be called as a "third arm of a customer" or an "extra user". This application executes the user-defined tasks in the system based on a specified schedule. The task is any operation (or a sequence of operations), which the user can produce in the portfolio management systems.There are three parts of the "Agent":&bull; The "Agent" itself, which is a database server and application manager.&bull; The "Control application" is the user interface and the client to the Agent's database.&bull; The "Slave application" is the subsystem managed by the Agent to process tasks.
Sampling and Eigenvalues of Non-Self-Adjoint Sturm--Liouville Problems
Authors: Amin Boumenir
Venue: SIAM Journal on Scientific Computing (2001)

In this work we extend the sampling method to the case of non-self-adjoint Sturm--Liouville problems generated by complex-valued potentials and boundary conditions. It is shown that the function which is recovered by sampling on the real line extends analytically into the complex plane. A direct connection with polynomial approximation is established.
Graphics for social scientists
Authors: Edward J. Schneider, Sylvia Barge, Gregory A. Marks
Venue: ACM SIGGRAPH Computer Graphics (1976)

The social science computing environment and the implications of this for the developers of computer graphics is described. Graphic software developed for social scientists at the University of Michigan is illustrated. MULTIGROUP is used to generate displays in the process of data analysis. GRAPH is used to report results to others. A graphical editor is employed to customize displays.
Microsoft Office 2000 9 in 1 for Dummies Desk Reference: 9 Books In 1: Windows 98, Word, Excel, Access, Outlook, PowerPoint, FrontPage, Publisher, PhotoDraw, 1st edition
Authors: Idg Publishing, Jim McCarter, Camille McCue, Jim Walkenbach, Damon Dean, Bill Dyszel, Peter Weverka, Alison Barrows, Lee Musick
Venue:  (1999)

:Microsoft Office 2000 is a powerful productivity suite with up to eight separate modules. Where does one find help on using each module without buying an entire library? Microsoft Office 2000 All-In-One For Dummies is the answer. With to-the-point instruction delivered in a familiar Quick Reference format, this book helps readers with all the Office 2000 modules - Word, excel, PowerPoint, Outlook, Access, FrontPage, Publisher, and PhotoDraw. It also guides readers through sharing data among modules, and using Windows 98 and Internet Explorer 5.0.
Using Windows NT: Special Edition
Authors: Columbus, Eidoson, James E. Person,  Jr.
Venue:  (1993)

:The most complete resource to Microsoft's high-powered, 32-bit operating system!Ideas for better using and maintaining a system with Windows NTStep-by-step guidance on installation, file management, printing, electronic mail, and resource managementNumerous illustrations and a troubleshooting guide
Java Gently for Engineers and Scientists: Programming Principles Explained, 1st edition
Authors: Judy M. Bishop, Nigel Bishop
Venue:  (2000)

:Java Gently for Engineers and Scientists aims to introduce programming through examples of problems that engineers and scientists may encounter. Some of these are numerical in nature, while others are concerned with handling data derived from a wide variety of sources. The whole of the Java language is covered, and the standard of programming is based firmly in the style of object-oriented, well-structured, readable, maintainable and visually attractive programs.
A scattered data approximation scheme for the detection of fault lines
Authors: G. Allasia, R. Besenghi, A. De Rossi
Venue: Mathematical Methods for Curves and Surfaces: Oslo 2000 (2001)

We propose a method for the localization of unknown fault lines of a surface only known at scattered data. Our detection scheme is divided into three steps: first, a nearest-neighbor searching procedure is applied; second, all the nodes near a fault line are picked out and collected in a set; then, a polygonal curve approximation the fault line is obtained. To select the nodes near the faults we use a cardinal radial basis interpolation formula. Numerical results are given, which show the efficiency of our scheme in comparison with similar ones. The method has important applications in several fields, for example in the oil industry, where automatic algorithms are required for the detection of faults form geological scattered data. Furthermore, the output of our algorithm is the natural impute of a method, that we proposed [4], for representing faulted surfaces by means of radical near-interpolants.