ppxscal/embedding_network huggingface dataset:
Intermediate Accounting: Analyzing and Solving Intermediate Accounting Problems Using Excel, 10th edition
Authors: Donald E. Kieso, Jerry J. Weygandt, Terry D. Warfield
Venue:  (2000)

:The new Tenth Edition of Intermediate Accounting is a gateway to the profession, one that effectively prepares readers for a lifetime of success in accounting. This runaway best-seller gives readers both a conceptual understanding of the material and a powerful base of skills and technical competency.
Functional reactive robotics: an exercise in principled integration of domain-specific languages
Authors: Izzet Pembeci, Henrik Nilsson, Gregory Hager
Venue: Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming (2002)

Software for (semi-) autonomous robots tends to be a complex combination of components from many different application domains such as control theory, vision, and artificial intelligence. Components are often developed using their own domain-specific tools and abstractions. System integration can thus be a significant challenge, in particular when the application calls for a dynamic, adaptable system structure in which rigid boundaries between the subsystems are a performance impediment. We believe that, by identifying suitably abstract notions common to the different domains in question, it is possible to create a broader framework for software integration and to recast existing domain-specific frameworks in these terms. This approach simplifies integration and leads to improved reliability. In this paper, we show how Functional Reactive Programming (FRP) can serve as such a unifying framework for programming vision-guided, semi-autonomous robots and illustrate the benefits this approach entails. The key abstractions in FRP, reactive components describing continuous or discrete behavior in a declarative style, are first class entities, allowing the resulting systems to exhibit a dynamic, adaptable structure which we regard as especially important in the area of autonomous robots.
Achieving Arbitrarily Large Decay in the Damped Wave Equation
Authors: Carlos Castro, Steven J. Cox
Venue: SIAM Journal on Control and Optimization (2000)

We exhibit a sequence of viscous dampings for the fixed string that yields arbitrarily fast attenuation of any and all initial disturbances. The limit case produces extinction of all solutions in finite time.
SIGEST
Authors: The Editors
Venue: SIAM Review (2001)

Everyone has heard of wavelets---a search of the World Wide Web with Google produces 152,000 hits for "wavelet"---but what about edgelets, chirplets, ridgelets, and warplets? All of these entities, and more, enter the picture when decomposing a signal using elements from a waveform dictionary. When the decomposition is nonunique (the dictionary is "overcomplete"), an obvious question is how to find the most suitable representation for a particular application. This issue's SIGEST paper, "Atomic Decomposition by Basis Pursuit," by S. S. Chen, D. L. Donoho, and M. A. Saunders, which first appeared in 1998 SIAM Journal on Scientific Computing, volume 20, describes a technique called basis pursuit for representing signals in overcomplete dictionaries. Given such a dictionary, basis pursuit solves a convex optimization problem to find a representation that is both adaptive and sparse (i.e., with few significant coefficients) and that can be computed quickly. This paper is ideal for SIGEST: it provides a high level of background, gives a clear description of a new approach and several variations, and presents interesting numerical examples as well as analysis. The paper's first two sections cover adaptive and overcomplete representations, the most popular dictionaries, the linear algebra needed to compute the coefficients, and existing decomposition methods. Substantial detail is provided about the interior-point methods used to solve the large-scale linear programs, and the associated software is available from the Web. For the SIGEST version of this paper, the authors have added a section that summarizes new ideas published after the paper's initial publication: "ideal atomic decomposition" and basis pursuit image processing.
Enabling Knowledge Creation: New Tools for Unlocking the Mysteries of Tacit Understanding
Authors: Georg Von Krogh, Ikujiro Nonaka, Kazuo Ichijo
Venue:  (2000)

:Weaving together lessons from such international leaders as Siemens, Unilever, Skandia, and Sony, along with their own firsthand consulting experiences, the authors introduce knowledge enabling - the overall set of organizational activities that promote knowledge creation - and demonstrate its power to transform an organization's knowledge into value-creating actions. They describe the five key "knowledge enablers" and outline what it takes to instill a knowledge vision, manage conversations, mobilize knowledge activists, create the right context for knowledge creation, and globalize local knowledge." "This sequel puts practical tools into the hands of managers and executives who are struggling to unleash the power of knowledge in their organization.
Women in CS and biology
Authors: J. McGrath Cohoon
Venue: Proceedings of the 33rd SIGCSE technical symposium on Computer science education (2002)

Common departmental characteristics and practices in computer science and biology/life science are compared for 46 departments at 23 Virginia colleges and universities. The goal of this preliminary investigation is to provide additional evidence on how departmental factors can affect the retention of female students.
Into the Future: The Foundations of Library and Information Services in the Post-Industrial Era, 2nd edition
Authors: Michael H. Harris, Stan A. Hannah, Pamela C. Harris
Venue:  (1998)

:This work is a general and synthetic study of the Post-Industrial era and its implications for library and information services in the United States. Since Daniel Bell promulgated his "post-industrial" metaphor in the early 1970s, it has become one of the most dominant metaphors in contemporary America. His ideas on the nature of the era, especially his articulation of what he refers to as the "information society", have influenced the ways in which government officials, corporate leaders, and average citizens think about the future of social, political, and economic life in America. This influence has also been felt in the library and information science field. Yet, while there exists a massive critical literature on Bell's metaphor in the social, political and economic literature, librarians have failed to systematically grapple with it. As a result, they appear to be carrying on their own debate about the future in relative isolation from the most significant contributions to this intensely contested idea.
Running Microsoft Office 2001 for MAC
Authors: Steven Schwartz, Robert Correll
Venue:  (2001)

:A comprehensive reference covering the latest features of Microsoft Office 2001 for the Macintosh encompasses information on all the applications in the the suiteincluding Excel, Word, PowerPoint, and Internet Explorerand describes such new features as the Alpaca e-mail and Picasso publishing applications. Original. (Beginner)
Workflow performance evaluation through WPQL
Authors: Andrea F. Abate, Antonio Esposito, Nicola Grieco, Giancarlo Nota
Venue: Proceedings of the 14th international conference on Software engineering and knowledge engineering (2002)

The problem of performance evaluation of business processes supported by Workflow Management Systems is a recent research issue. In this paper, we propose an approach to the performance evaluation of automated business processes based on the measurement language WPQL (Workflow Performance Query Language). The paper first describes the WPQL architecture together with a selection mechanism by means of which the workflow entities to measure are isolated. Then, the main constructs of WPQL for measure definition and measure application are presented and exemplified. Finally, we show a working session of the support tool and discuss some guideline for further research.
System architecture for billing of multi-player games in a wireless environment using GSM/UMTS and WLAN services
Authors: Frank Fitzek, Gerrit Schulte, Martin Reisslein
Venue: Proceedings of the 1st workshop on Network and system support for games (2002)

Games played by multiple users, each using a wireless terminal (e.g., PDA), have tremendous revenue potential for next generation wireless systems. However, the next generation of wireless systems (such as UMTS and other 3G systems) alone will not be able to provide the tight delay bounds required by these multi-player games. We develop a system architecture that enables high-quality games among multiple wireless users and at the same time enables network service providers and game service providers to charge for the gaming service. Our architecture relies on wireless vertical communication conducted over UMTS to register (authenticate) the users at the commencement of a game and to report scores at the end of the game. During the game the players exchange information over wireless horizontal communication conducted over wireless LANs. Our architecture is particularly well suited for games that have off-line software distribution, but require a registration (authentication) each time the game is played. In this paper we describe our system architecture, which involves a UMTS-based Wireless Overlay Communication System (WOCS), and give the protocol for game initiation and score submissions. We also outline business cases for our system architecture and discuss the network provider's perspective.
Artificial Neural Networks for Civil Engineers: Advanced Features and Applications
Authors: Ian Flood, Nabil Kartam
Venue:  (1998)

:Artificial neural networks represent a broad and rapidly developing technology featuring new systems and novel ways of applying established systems. This monograph illustrates advanced methods and recent developments in applying artificial neural network concepts in civil engineering.
A Dual-Dual Formulation for the Coupling of Mixed-FEM and BEM in Hyperelasticity
Authors: Gabriel N. Gatica, Norbert Heuer
Venue: SIAM Journal on Numerical Analysis (2000)

We combine a dual-mixed finite element method with the boundary integral equation method, to study the solvability and Galerkin approximations of a linear-nonlinear transmission problem arising in plane elastostatics. Our approach is based on the introduction of the strain tensor as an auxiliary unknown in the finite element domain, and it leads to what we call a dual-dual mixed formulation since the corresponding operator equation becomes of a twofold saddle-point structure. We derive existence and uniqueness of solution for the continuous and discrete formulations and provide the associated error analysis. In particular, we extend the finite element space for plane elasticity given by the PEERS element and define an explicit finite element/boundary element subspace satisfying all the required compatibility conditions. Most of our analysis makes use of an extension of the classical Babuska--Brezzi theory to a class of nonlinear saddle-point problems.
Jfc: Java Foundation Classes with Cdrom, 1st edition
Authors: Daniel I. Joshi, Pavel A. Vorobiev
Venue:  (1998)

:How do you write Java applications that look and perform differently from one platform to another without touching the code? With JFC: Java Foundation Classes, an example-packed guide to maximizing the capabilities of this powerful GUI toolkit. Topics covered include the new Swing components and other GUI classes in JFC 1.1, the delegation event-handling model, text-related operations, examples of platform-independent GUIs using pluggable look and feel, a preview of Java 1.2 GUI tools, valuable case studies of client/server applications using JFC and JDBC, and solutions for developing Web-aware programs. The CD-ROM features JFC 1.1, JDK 1.1.5, and the source code for all the examples in the book.
Visual Programming with Prograph CPX, 1st edition
Authors: Scott B. Steinman, Kevin G. Carver
Venue:  (1995)

:This book instructs the reader in how to apply visual programming and user interface design for more efficient programming using the Prograph CPX language. Prograph CPX language is the first widely available general-purpose visual (graphical) programming language and programming environment. This book offers a gentle but powerful visual path to object-oriented programming that is easier to comprehend than the syntax of languages such as C++. Includes thorough coverage of Prograph's APPLICATION BUILDER FRAMEWORK. Numerous examples throughout the book may be used as building blocks for the reader to write new programs. Programmers who have experience with at least one programming language but wish to avoid syntactical complexities of textual programming languages. Corporate programmers who need to reduce their development time using rapid prototyping, reduced coding, integrated GUI design, and decreased probability of errors.
An Experiment in Program Composition and Proof
Authors: K. Mani Chandy, Michel Charpentier
Venue: Formal Methods in System Design (2002)

This paper explores a compositional approach to program specification, development and proof. We apply a theory of composition to a problem in distributed computing with the goal of understanding the strengths and weaknesses of this compositional approach. First, we describe the theory briefly. Then we give a specification of a desired system. Next, we propose a design of the desired system as a composition of components and prove its correctness. Finally, we show how the proof can be reused for a slightly different compositional structure by using the concept of observation.
Introductory Digital Signal Processing with Computer Applications
Authors: Paul A. Lynn, Wolfgang Fuerst
Venue:  (1999)

:The remarkable increase in the speed and power of digital computers and special purpose hardware over recent years has ensured the continued growth of interest in digital signal processing (DSP). This second edition is being published in response to these changes. It includes new material on Random Digital Signals and Random DSP, as well as new and improved software that illustrates the techniques described in the book.
Architectural Supermodels: Physical Design Simulation
Authors: Tom Porter, John Neale
Venue:  (2000)

:In the face of the digital revolution in architectural design, modelmaking can be seen as a labourious and time-consuming preoccupation. Indeed, many architectural students in the United States avoid representing their ideas in three dimensions by describing the activity as 'busy work'. However, despite its hitherto rather humdrum image, modelmaking has made a recent and massive comeback in the world of environmental design. The ability to visualise directly in three dimensions is essential for interior design employers, as are the abilities to draw freehand and technical drawing, although literacy in computer graphics, remains one of the top five skills required by the modern architectural practice.The fact that a three dimensional model can now be electronically modified, refined, and digitally transformed or even be computer-programmed in to its physical existence brings a new and exciting dimension to the skills of the architect. 'Architectural Supermodels' is written in the spirit of this mood of change and in the notion of exploring new ways of expressing design concepts. Case studies covered include Zaha Hadid's modelmaker; Future Systems' modelmaker, Terry Farrell and Partner's modelmaker and Armiger who works for Will Alsop, Rick Mather and David Chipperfield.This innovative book will cover computer-generated modelmaking as well as the more traditional modelmaking involved in Architecture/Building Design. It is a technical manual focusing on three-dimensional models and electronic models. This is a vital book for degree and graduate architectural students as well as practising architects/designers.
Graph-partitioning based instruction scheduling for clustered processors
Authors: Alex Aletà, Josep M. Codina, Jesús Sánchez, Antonio González
Venue: Proceedings of the 34th annual ACM/IEEE international symposium on Microarchitecture (2001)

This work presents a novel scheme to schedule loops for clustered microarchitectures. The scheme is based on a preliminary cluster assignment phase implemented through graph partitioning techniques followed by a scheduling phase that integrates register allocation and spill code generation. The graph partitioning scheme is shown to be very effective due to its global view of the whole code while the partition is generated. Results show a significant speedup when compared with previously proposed techniques. For some processor configuration the average speedup for the SPECfp95 is 23% with respect to the published scheme with the best performance. Besides, the proposed scheme is much faster (between 2-7 times, depending on the configuration).
Handbook of Image and Video Processing, 1st edition
Authors: Jerry D. Gibson, Al Bovik
Venue:  (2000)

:The Handbook of Image and Video Processing contains a comprehensive and highly accessible presentation of all essential mathematics, techniques, and algorithms for every type of image and video processing used by scientists and engineers. The timely volume will provide both the novice and the seasoned practitioner with the necessary information and skills to be able to develop algorithms and applications for multimedia, digital imaging, digital video, telecommunications, and World Wide Web industries. Handbook of Image and Video Processing will also serve as a textbook for courses such as digital image processing, digital image analysis, digital video, video communications, multimedia, and biomedical image processing in the departments of electrical and computer engineering and computer science. KEY FEATURES: * No other resource contains the same breadth of up-to-date coverage * Contains over 100 example algorithm illustrations * Contains a series of extremely accessible tutorial chapters * Indispensable for researchers in telecommunications, Internet applications, multimedia, and nearly every branch of science Al Bovik is one of the best known image processing experts in the world. He was the host of the first IEEE International Conference on Image Processing in 1994 and he is the current editor-in-chief of IEEE Transactions on Image Processing. He is affiliated with the University of Texas, Austin.
Network survivability performance evaluation:: a quantitative approach with applications in wireless ad-hoc networks
Authors: Dongyan Chen, Sachin Garg, Kishor S. Trivedi
Venue: Proceedings of the 5th ACM international workshop on Modeling analysis and simulation of wireless and mobile systems (2002)

Network survivability reflects the ability of a network to continue to function during and after failures. Our purpose in this paper is to propose a quantitative approach to evaluate network survivability. We perceive the network survivability as a composite measure consisting of both network failure duration and failure impact on the network. A wireless ad-hoc network is analyzed as an example, and the excess packet loss due to failures (ELF) is taken as the survivability performance measure. To obtain ELF, we adopt a two phase approach consisting of the steady-state availability analysis and transient performance analysis. Assuming Markovian property for the system, this measure is obtained by solving a set of Markov models. By utilizing other analysis paradigms, our approach in this paper may also be applied to study the survivability performance of more complex systems.
An Interior Random Vector Algorithm for MultiStage Stochastic Linear Programs
Authors: Eithan Schweitzer
Venue: SIAM Journal on Optimization (1998)

In this paper, an interior point algorithm for linear programs is adapted for solving multistage stochastic linear programs. The algorithm is based on Monteiro and Adler's path-following algorithm for deterministic linear programs. In practice, the complexity of the algorithm is linear with respect to the size of the sample space. The algorithm starts from a feasible solution of the problem and proceeds along a path of random vectors. The cubic polynomial complexity of the algorithm for deterministic linear programs is derived from the calculations of the Newton steps. In the algorithm developed in this paper, the probabilistic structure of the problem is taken into consideration while calculating a Newton step and the size of the sample space appears linearly in the complexity. The development of an algorithm that requires a relatively small number of arithmetic operations, in terms of the sample space size, allows the use of the algorithm for multistage stochastic linear programs with a very large number of scenarios.
CCNP Cisco Internetwork Troubleshooting Exam Cram
Authors: Matthew Luallen, Insider Press Certification
Venue:  (1999)

:Covers general troubleshooting processes such as, methods, identifying targets, applying Cisco troubleshooting tools, and documenting symptoms, actions and results. Features routing and routed protocol troubleshooting, including diagnosing and correcting campus TCP/IP problems, correcting Novell Networking problems, and AppleTalk problems. Enables reader to diagnose and correct catalyst problems, and to troubleshoot VLANS on routers and switches. Includes areas of WAN troubleshooting such as diagnosing and correcting frame relay problems and ISND BRI problems. Prepares the reader to pass the CCNP Cisco Internetwork/Troubleshooting exam (640-406). Teaches reader how to baseline and troubleshoot an environment using CISCO routers and switches for multiprotocol client hosts and servers such as: Ethernet, Fast Ethernet, Token Ring LANS, serial, frame relay, and ISDN BRI WANs. Contains all of the necessary overviews, concepts, and Cisco terminology to help potential exam takers get up to speed as quickly as possible. The only concise approach available that can be used as a review tool or quick study guide to ensure key coverage of the material on the exam.
Production Operations Management: A POMQuest Module
Authors: Thomas E. Morton, Onur Genc
Venue:  (1998)

:Morton POM and the complementary POMQuest software are designed to be modular. POMQuest modules are designed to fit the corresponding POM book fully and to give the student power to attain a deeper understanding of the material with much less effort than long tedious hand exercises. Each of the modules can be used independently of others. Thus, a wide variety of courses can be designed effectively.
The Virtual, 1st edition
Authors: Rob Shields
Venue:  (2003)

:Rob Shields unravels the origins and the many contemporary meanings of the virtual as a concept. Shields dissects the history of the virtual world and takes his analysis beyond the technologies themselves to show how the virtual has infiltrated our daily lives at every level. From the moral panics over paedophile stalkers on the net to the automated telemarketing that interrupts our dinners and clogs our answer phones to the laptops which keep us connected to the office twenty four hours a day, technology has become an integral part of modern living. With insight and clarity, The Virtual reveals how technology has become virtually entwined in contemporary society. 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