ppxscal/embedding_network huggingface dataset:
A Sensitivity and Adjoint Calculus for Discontinuous Solutions of Hyperbolic Conservation Laws with Source Terms
Authors: Stefan Ulbrich
Venue: SIAM Journal on Control and Optimization (2002)

We present a sensitivity and adjoint calculus for the control of entropy solutions of scalar conservation laws with controlled initial data and source term. The sensitivity analysis is based on shift-variations which are the sum of a standard variation and suitable corrections by weighted indicator functions approximating the movement of the shock locations. Based on a first order approximation by shift-variations in L1 we introduce the concept of shift-differentiability, which is applicable to operators having functions with moving discontinuities as images and implies differentiability for a large class of tracking-type functionals. In the main part of the paper we show that entropy solutions are generically shift-differentiable at almost all times t>0 with respect to the control. Hereby we admit shift-variations for the initial data which allows us to use the shift-differentiability result repeatedly over time slabs. This is useful for the design of optimization methods with time domain decomposition. Our analysis, especially of the shock sensitivity, combines structural results by using generalized characteristics and an adjoint argument. Our adjoint-based shock sensitivity analysis does not require us to restrict the richness of the shock structure a priori and admits shock generation points. The analysis is based on stability results for the adjoint transport equation with discontinuous coefficients satisfying a one-sided Lipschitz condition. As a further main result we derive and justify an adjoint representation for the derivative of a large class of tracking-type functionals.
Phase Change of Limit Laws in the Quicksort Recurrence under Varying Toll Functions
Authors: Hsien-Kuei Hwang, Ralph Neininger
Venue: SIAM Journal on Computing (2002)

We characterize all limit laws of the quicksort-type random variables defined recursively by ${\cal L}(X_n)= {\cal L}(X_{I_n}+X^*_{n-1-I_n}+T_n)$ when the "toll function" Tn varies and satisfies general conditions, where (Xn), (Xn*), (In, Tn) are independent, In is uniformly distributed over {0, . . .,n-1}, and ${\cal L}(X_n)={\cal L}(X_n^\ast)$. When the "toll function" Tn (cost needed to partition the original problem into smaller subproblems) is small (roughly $\limsup_{n\rightarrow\infty}\log E(T_n)/\log n\le 1/2$), Xn is asymptotically normally distributed; nonnormal limit laws emerge when Tn becomes larger. We give many new examples ranging from the number of exchanges in quicksort to sorting on a broadcast communication model, from an in-situ permutation algorithm to tree traversal algorithms, etc.
Management Information Systems, 4th edition
Authors: Robert A. Schultheis, Mary Sumner
Venue:  (1997)

:MIS courses are offered in schools of business either at the undergraduate level in the junior/senior year,or at the MBA level.
Provably Fast and Accurate Recovery of Evolutionary Trees through Harmonic Greedy Triplets
Authors: Miklós Csurös, Ming-Yang Kao
Venue: SIAM Journal on Computing (2002)

We give a greedy learning algorithm for reconstructing an evolutionary tree based on a certain harmonic average on triplets of terminal taxa. After the pairwise distances between terminal taxa are estimated from sequence data, the algorithm runs in $\smallbigO{\numtaxa^2}$ time using $\smallbigO{\numtaxa}$ work space, where $\numtaxa$ is the number of terminal taxa. These time and space complexities are optimal in the sense that the size of an input distance matrix is $\numtaxa^2$ and the size of an output tree is $\numtaxa$. Moreover, in the Jukes--Cantor model of evolution, the algorithm recovers the correct tree topology with high probability using sample sequences of length polynomial in (1) $\numtaxa$, (2) the logarithm of the error probability, and (3) the inverses of two small parameters.
The IEEE 802.11 Handbook: A Designer's Companion
Authors: Bob O'Hara, Al Petrick
Venue:  (1999)

:IEEE 802.11 Handbook: A Designer's Companion familiarizes system network architects, hardware engineers and software writers with the basic concepts, terminology and key specifications of the IEEE 802.11 standard -- serving as an indispensable primer.This book takes the reader from a basic understanding of WLANs through the details of the PHY and MAC layer of the standard. The authors articulate a clear picture of the standard to both first-time and experienced designers of wireless products. So if you're a new market entrant or an existing original equipment manufacturer (OEM) of proprietary WLAN solutions and you're developing IEEE 802.11 based products for the RF or Infrared WLAN market, this book is for you.In this book, you will:Acquire a solid working definition of a wireless LANDiscover the evolution of the 802.11 standardLearn the various market segment applications, ranging from manufacturing to enterprise wireless communication What's more, A Designer's Companion, covers in detail:General network topologies of an ad-hoc and distributed network for an IEEE 802.11 wireless mediumKey specifications and attributes of the five physical layers specified in the standarddirect sequence spread spectrum (DSSS) physical layerfrequency-hopping spread spectrum (FHSS) physical layerhigh rate direct sequence spread spectrum (HRDSSS) physical layerorthogonal frequency division multiplexed (OFDM) physical layer infrared (IR) physical layerBasics of the protocol relative to the ad-hoc and distributed networkconfiguration, including the MAC layer -- the most difficult entity in the standardIn addition, the book outlines the world regulatory bodies requiring certification for operating IEEE 802.11 conformant products in the 2.4 GHz ISM and 5 GHz UNII frequency bands.
Final Cut Pro 3 for MacIntosh: Visual Quickpro Guide
Authors: Lisa Brenneis
Venue:  (2002)

:Takes a visual, task-based approach to teaching Final Cut Pro, using pictures to guide you through the software and show you what to do. Works like a reference book -- you look up what you need and then get straight to work. Concise, straightforward steps and explanations offer the fastest way to learn tasks and concepts. Affordably priced, because buying a computer book shouldn't be an investment in itself.
Statistical Quality Control Using Excel
Authors: Steven M. Zimmerman, Marjorie Icenogle
Venue:  (1999)

:Quality practitioners from every industry have long used statistical quality control (SQC) to ensure that their products and services meet customer expectations. Whether you're new to SQC or the software product Excel, you'll find all the information you need to understand and incorporate the two in Statistical Quality Control Using Excel. Nonmathematical descriptions guide you through the basics of both SQC and the methods of creating control charts using Excel. You'll discover easy-to-read explanations of statistical distribution, outliers, and the analysis required for SQC methods. Statistical process control methods such as p and np control charts and Pareto charts are also demonstrated.
Static timing analysis
Authors: Yuji Kukimoto, Michel Berkelaar, Karem Sakallah
Venue: Logic Synthesis and Verification (2001)

Static timing analysis is a technique for estimating the delay of a design without electrical simulation. It is widely adopted in industry for timing verification and optimization. This chapter will overview the basics of static timing analysis.
Online Dispute Resolution: Resolving Conflicts in Cyberspace
Authors: Ethan Ethan Katsh, M. Ethan Katsh, Janet Rifkin
Venue:  (2001)

:As anyone who has used the Internet knows, the active, lucrative, entrepreneurial world of Cyberspace is not without conflict. The extraordinary growth of online commerce and online transactions has generated many disputes. But at the same time, there are also resources online to deal with these problems -- resources that can even help us with problems that arise offline. Online Dispute Resolution is the first book to address the emerging practice of conflict resolution in Cyberspace. Dispute resolution experts Ethan Katsh and Janet Rifkin show how technology -- in the form of online resources -- can take on the role of a "fourth party," working with and assisting the traditional third party in settling conflicts more efficiently. Katsh and Rifkin examine the recent history of online dispute resolution (ODR) and detail the basic goals and qualities of any ODR system. They show how to use ODR as a supplement to dispute resolution that occurs mainly offline, as well as the role of the "fourth party" when ODR is exclusively online -- such as when disputes arise out of online activities or when the parties are separated by distant locations. In addition, they detail the specific role of the ODR practitioner and the special skills needed to conduct online work. Online Dispute Resolution provides practical, how-it-works information for arriving at an efficient and economical process for dispute resolution online. This book is sure to become an indispensable resource for anyone seeking to resolve individual conflicts, insurance settlements, or E-commerce disputes, as well as those working in corporate, organizational, or institutional mediation.
On the role of middleware in architecture-based software development
Authors: Nenad Medvidovic
Venue: Proceedings of the 14th international conference on Software engineering and knowledge engineering (2002)

Software architectures promote development focused on modular functional building blocks (components), their interconnections (configurations), and their interactions (connectors). Since architecture-level components often contain complex functionality, it is reasonable to expect that their interactions will be complex as well. Middleware technologies such as CORBA, COM, and RMI, provide a set of predefined services for enabling component composition and interaction. However, the potential role of such services in the implementations of software architectures is not well understood. Furthermore, components adhering to one middleware standard cannot readily interact with those adhering to another. In order to understand the role and tradeoffs among middleware technologies in implementing architectures and enable component interoperability across middleware platforms, we have investigated a set of techniques and conducted preliminary case studies involving a particular architectural style, C2, and its implementation infrastructure. In particular, by encapsulating middleware functionality within C2's explicit software connectors, we have been able to couple C2's existing benefits such as component interchangeability, substrate independence, and structural guidance with new capabilities of multi-lingual, multi-process, and distributed application development in a manner that is transparent to architects. Furthermore, we have demonstrated the utility of our connector-based approach in enabling components implemented on top of different middleware platforms to interoperate. Though several details of our approach derive from the characteristics of the C2 style, we believe that a number of lessons learned are more generally applicable. We argue that these lessons can help form a broader research agenda for coupling the modeling power of software architectures with the implementation support provided by middleware.
Implementing Open Systems
Authors: Daniel R. Perley
Venue:  (1995)

:If you are now beginning or have already begun the process of migrating over to open systems, you will want to know exactly how you can measure and pace this move and the practical tools available to help you tame the wild beast of open systems. This practical tool-set will help businesses make the move to open systems more quickly and smoothly. The three models proposed by the book provide an integrated planning approach which spans user requirements and applications, advanced computing, communications and corporate economics. The three models: systems functional model, an economic model with a detailed framework for cost, opportunity and benefit analysis, and an application placement model to determine what type or size of computing platform on which to place a proposed application program combine to form a methodology which will provide the reader with a comprehensive insight into the kind of planning and implementation required for a successful implementation of open systems. 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
Evaluation of a sort-based matching algorithm for DDM
Authors: Yu Jun, Come Raczy, Gary Tan
Venue: Proceedings of the sixteenth workshop on Parallel and distributed simulation (2002)

The High Level Architecture (HLA) provides several Data Distribution Management (DDM) services to reduce the transmission and reception of irrelevant data. These services rely on the computation of the intersection between "update" and "subscription" regions. As the brute force approach does not scale well, the current implementations of DDM usually use a grid partitioning of the routing space to efficiently compute the intersection. Since this approach still has some shortcomings, we have focused our recent research on the design and the evaluation of different intersection algorithms for the DDM.In this paper, we introduce a new intersection algorithm in which regions are sorted before computing the intersections. The strong points of this algorithm are (1) the sort suppresses many useless checks, (2) the algorithm allows many optimizations at the implementation level. An experimental comparison of this algorithm with brute force and grid-based approach provides additional information about the good points and weak points of each of the three approaches.
Stochastic Simulation on Integer Constraint Sets
Authors: I. H. Dinwoodie
Venue: SIAM Journal on Optimization (1998)

Bounds are given on the number of steps sufficient for convergence of simulation algorithms on domains of nonnegative integer constraint sets.
MCSE NT Server 4.0 Ace It!: Exam 70-67, 1st edition
Authors: Mark B. Cooper, Rigby
Venue:  (1998)

:Guiding readers through the thicket of technology and product information, this guide directs them to what they really need to know--and how they need to think--to ace Exam #70-67 (Implementing and Supporting Microsoft Windows NT Server 4.0) on the first try.
A knowledge-based COTS-aware requirements engineering approach
Authors: Lawrence Chung, Kendra Cooper
Venue: Proceedings of the 14th international conference on Software engineering and knowledge engineering (2002)

The goals of developing systems better, faster, and cheaper continue to drive software engineering practitioners and researchers to investigate software engineering methodologies. In requirements engineering, the focus has been on modeling the software engineering process and products for systems that are being built from scratch. As the size and complexity of systems continues to grow the use of commercial off the shelf (COTS) components is being viewed more and more as a promising, and also perhaps inevitable, solution. The effective use of COTS components, however, requires a systematic approach that provides a set of concepts for modeling the subject matter, a set of guidelines for using such concepts, and tool support to assist the developer.In this paper, we present a COTS-Aware Requirements Engineering (CARE) approach that explicitly supports the use of COTS components. Our CARE approach is knowledge based, has a defined process, and is agent- and goal-oriented. In particular, we present part of our meta-model for the knowledge base and a prototype of the CARE Assistant Tool. Our CARE approach is validated using a part of a Digital Library System example.
America Online for Dummies: Quick Reference, 3rd edition
Authors: John Kaufeld, Jennifer Kaufeld
Venue:  (1999)

:Looking for the fastest, easiest way to get to know America Online 4.0? America Online For Dummies Quick Reference, 2nd Edition, gives helpful advice on everything that AOL has to offer, including sending and receiving e-mail, finding information and conversations on topics ranging from travel to financial investments, and getting around the Internet and the World Wide Web. John and Jennifer even point out some of the coolest areas on AOL. Now you can find what you need quickly with our ...For Dummies&reg; Quick References! The design features tasks and commands in alphabetical order, clear-cut, step-by-step instructions, and easy-to-follow advice. Get in and out quickly and find the information you really need without reading lots of extra material. Also look for IDG Books Worldwide's America Online&reg; For Dummies&reg;, 4th Edition, the fun and easy way to find out more about America Online.
The Tinmith system: demonstrating new techniques for mobile augmented reality modelling
Authors: Wayne Piekarski, Bruce H. Thomas
Venue: Proceedings of the Third Australasian conference on User interfaces - Volume 7 (2002)

This paper presents user interface technology, using a glove based menuing system and 3D interaction techniques. It is designed to support applications that allow users to construct simple models of outdoor structures. The construction of models is performed using various 3D virtual reality interaction techniques, as well as using real time constructive solid geometry, to allow users to build up shapes with no prior knowledge of the environment. Previous work in virtual environments has tended to focus mostly on selection and manipulation, but not starting from an empty world. We demonstrate our user interface with the Tinmith-Metro application, designed to capture in city models and street furniture.
Structural Diagnosis of Wiring Networks: Finding Connected Components of Unknown Subgraphs
Authors: Weiping Shi, Douglas B. West
Venue: SIAM Journal on Discrete Mathematics (2001)

Given a graph $G=(V,\cal E)$, we want to find the vertex sets of the components of an unknown subgraph F=(V,E) of G such that $E \subseteq \cal E$. We learn about F by sending an oracle a query set $S \subseteq V$, and the oracle tells us the vertices connected to S in F. The objective is to use the minimum number of queries to partition the vertex set V into components of F. In electronic circuit design, the problem is also known as structural diagnosis of wiring networks.
Advanced Topics in Dataflow Computing and Multithreading
Authors: Lubomir Bic, Guang R. Gao, Jean-Luc Guadiot
Venue:  (1994)

:Examines recent advances in design, modeling, and implementation of dataflow and multithreaded computers. The text contains reports concerning many of the world's leading projects engaged in the continuing evolution and application of dataflow concepts. It covers the broad range of dataflow principles in program representation - from language design to processor architecture - and compiler optimization techniques. The book includes papers on massively parallel distributed memory and multithreaded architecture design, synchronization and pipelined design, and superpipelined data-driven VLSI processors. Other sections discuss stream data types, the development of well-structured software, and parallelization of dataflow programs. It also details an analytical model for the behavior of dataflow graphs, compares a centralized work distribution scheme with a distributed scheme, and presents a comprehensive approach to understanding workload management schemes. Altogether, the text introduces the reader to dataflow concepts that show how functional programming ideas can be harnessed to exploit the power of parallel computing.
Enhanced cardiac thermal dilution measurement of cardiac output, volumes, regurgitation, valve effective diameters, ventricular power and efficiency&mdash;feasibility analysis using digital simulation
Authors: Francis M. Donovan, Bruce C. Taylor
Venue: Technology and Health Care (2001)

Cardiac output is measured by the thermal dilution method which uses a quadruple lumen catheter, with a thermistor on the tip, through the right atrium, right ventricle and into the pulmonary artery. Cold saline is injected into the right atrium and the resulting pulmonary artery temperature profile is integrated. The same procedure performed with three thermistors and three pressure sensors located on the catheter to measure temperature and pressure in the atrium, ventricle and artery respectively will produce a set of temperature and pressure curves with shapes determined by injectate temperature, injectate volume, heart rate, systolic time interval, body temperature, cardiac output, volumes, flow rates and valve openings. A digital computer program has been developed to optimize the fit of a lumped parameter model to the thermodilution curves in order to determine heart rate, systolic time as a fraction of cardiac cycle, right atrial systolic and diastolic volumes, ventricular systolic and diastolic volumes, cardiac output, inflow valve forward and reverse flow rates and effective diameters, outflow valve forward and reverse flow rates and effective diameters, ventricular power and efficiency. The program has been tested over a range of operating conditions including noise in the temperature and pressure signals, randomly varying heart rate and cardiac cycle. All of the data for the tests were produced by a digital computer simulation of a pulsatile artificial heart. The results of these tests indicate that the enhanced thermal dilution analysis method is feasible.
The Internet and Everyone
Authors: John Christopher Jones
Venue:  (1998)

:In 1995 ellipsis asked john chris jones to write a book about the internet. jones, whose earlier writing had foreseen the revolutionary importance of automation, computers and networks, accepted the invitation. this book is the result an extended period in which he became a net person, exploring the implications of the technology for society in many aspects: economic, political, technological, artistic. on a backbone of 25 'letters', texts of various sorts -- essays, dramas, meditations -- explore the possibilities of synthesis and progress that the internet allows: the sharing of knowledge and professional expertise; the breakdown of hierarchies and dualism; the collapse of geographic space and time. For anyone who wants to start to understand the implications of the internet for everyone, this book will be thought-provoking, stimulating, and a source of many insights into the new virtual worlds. 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
Switched, Fast, and Gigabit Ethernet, Third Edition, 3rd edition
Authors: Robert A. Breyer, Sean Riley
Venue:  (1998)

:Switched, Fast, and Gigabit Ethernet, Third Edition is the one and only solution needed to understand and fully implement this entire range of Ethernet innovations. Acting both as an overview of current technologies and hardware requirements as well as a hands-on, comprehensive tutorial for deploying and managing Switched, Fast, and Gigabit Ethernets, this guide covers the most prominent present and future challenges network administrators face.
CCNP: Remote Access Study Guide, 2nd edition
Authors: Robert Padjen, Todd Lammle, Wade Edwards
Venue:  (2002)

:Candidates for Cisco Certified Network Professional, Cisco Certified Design Professional, and Cisco Certified Internetwork Expert certifications can turn to this book for the latest version of Remote Access exam, with maps to official Cisco exam objectives. The CD has an advanced test engine with a bonus exam, electronic flash cards for PC and Palm devices, evaluation version of Visio software, and demo of Router Simulation software.