ppxscal/embedding_network huggingface dataset:
QURSED: querying and reporting semistructured data
Authors: Yannis Papakonstantinou, Michalis Petropoulos, Vasilis Vassalos
Venue: Proceedings of the 2002 ACM SIGMOD international conference on Management of data (2002)

QURSED enables the development of web-based query forms and reports (QFRs) that query and report semistructured XML data, i.e., data that are characterized by nesting, irregularities and structural variance. The query aspects of a QFR are captured by its query set specification, which formally encodes multiple parameterized condition fragments and can describe large numbers of queries. The run-time component of QURSED produces XQuery-compliant queries by synthesizing fragments from the query set specification that have been activated during the interaction of the end-user with the QFR. The design-time component of QURSED, called QURSED Editor, semi-automates the development of the query set specification and its association with the visual components of the QFR by translating visual actions into appropriate query set specifications. We describe QURSED and illustrate how it accommodates the intricacies that the semistructured nature of the underlying database introduces. We specifically focus on the formal model of the query set specification, its generation via the QURSED Editor and its coupling with the visual aspects of the web-based form and report.
A Method for Compressing Test Data Based on Burrows-Wheeler Transformation
Authors: Takahiro J. Yamaguchi, Dong Sam Ha, Masahiro Ishida, Tadahiro Ohmi
Venue: IEEE Transactions on Computers (2002)

The overall throughput of automatic test equipment (ATE) is affected by the download time of test data. An effective approach to the reduction of the download time is to compress test data before the download. A compression algorithm for test data should meet two requirements: lossless and simple decompression. In this paper, we propose a new test data compression method that aims to fully utilize the unique characteristics of test data compression. The key idea of the proposed method is to perform the Burrows-Wheeler transformation on the sequence of test patterns and then to apply run-length coding. Experimental results show that our compression method performs better than six other methods for compressing test data. The average compression ratio of the proposed method performed on 15 test data sets is 94.6, while that for the next best one, Gzip, is 65.0. The experimental results also show that our method indeed reduces the download time significantly, provided a dedicated hardware decompressor is employed.
Intelligent Software for Product Formulation, 1st edition
Authors: Raymond C. Rowe, R. J. Roberts
Venue:  (1998)

:An account of the applicability of expert systems, neural networks, genetic algorithms and other intelligent software in product formulation, which includes an explanation of the technology involved in and examples of, two commerical software packages specifically developed for product formulation.
Filter Bank Methods for Hyperbolic PDEs
Authors: Johan Waldén
Venue: SIAM Journal on Numerical Analysis (1999)

We use biorthogonal filter banks to solve hyperbolic PDEs adaptively with a sparse multilevel representation of the solution. The methods described are of finite difference type, and the filter banks are used to give a sparse representation of signals and to transform between grids on different scales. We derive bounds for the error and number of coefficients in the sparse representation. These bounds also apply for filter banks that are not associated with any wavelets. We develop algorithms for fast differentiation and multiplication in detail. The strength of the method is shown in various test problems.
The New Communications Technologies, 2nd edition
Authors: Michael M. Mirabito, Barbara L. Morgenstern
Venue:  (1993)

:New to this edition are chapters on information services (the internet and the world wide web), wireless communications, email and privacy, the new technologies and the first amendment. The book also includes coverage of the Telecommunications Act of 1996.
Computer Calculator: MacIntosh and IBM, 1st edition
Authors: Barbara J. Muncaster, Susan Prescott
Venue:  (1993)

:This text-workbook along with the support software provides an effective tool for teaching the fundamentals of using a computer calculator. Approximately 15 hours of instructional material and application activities are combined to achieve basic mastery of the ten-key-touch method and standard math calculations.
Understanding and Using Microsoft Word 97
Authors: Emily M. Ketcham, Patricia Mayer Milligan
Venue:  (1997)

:Understanding and Using Word '97 provides users with a thorough understanding of this software's features. Learners are effectively led through the fundamental skills and knowledge that allow them to quickly master and use the program. Readers gain an understanding of the conceptual basis behind the software as well as a thorough practice in its use.
Cultural differences in the online behavior of consumers
Authors: Patrick Y. K. Chau, Melissa Cole, Anne P. Massey, Mitzi Montoya-Weiss, Robert M. O'Keefe
Venue: Communications of the ACM (2002)

Understanding how different cultures use the Net---as well as perceive the same Web sites---can translate to truly global e-commerce.
Affordability of computer graphics for planning networks in DOD program management
Authors: J. Potoczniak, M. Kosmin, R. Larkin, J. Callahan, R. M. Dunn
Venue: ACM SIGGRAPH Computer Graphics (1976)

This report represents data relative to the alternative consideration involved in selecting a configuration for the Interactive Graphics Networking System, (IGNS). The IGNS permits a user to interactively view a network, modify it, if needed, analyze various management options and view their impact upon the data contained in the network, and, finally receive network plots and management reports.A prototype of this system was developed and tested for feasibility. Having proven the feasibility, the purpose of this report is to provide the data necessary for a user to decide the individual optimum system configuration which may be used to facilitate an interactive networking reporting capability.
LUPS---a language for updating logic programs
Authors: José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
Venue: Artificial Intelligence (2002)

Most of the work conducted so far in the field of logic programming has focused on representing static knowledge, i.e., knowledge that does not evolve with time. To overcome this limitation, in a recent paper, the authors introduced dynamic logic programming. There, they studied and defined the declarative and operational semantics of sequences of logic programs (or dynamic logic programs). Each program in the sequence contains knowledge about some given state, where different states may, for example, represent different time periods or different sets of priorities. But how, in concrete situations, is a sequence of logic programs built? For instance, in the domain of actions, what are the appropriate sequences of programs that represent the performed actions and their effects? Whereas dynamic logic programming provides a way for, given the sequence, determining what should follow, it does not provide a good practical language for the specification of the sequence of updates which may be conditional on the intervening states. Here we define the language LUPS"Language for dynamic updates"designed for specifying changes to logic programs. Given an initial knowledge base (as a logic program) LUPS provides a way for sequentially updating it. The declarative meaning of a sequence of sets of update actions in LUPS is defined by the semantics of the dynamic logic program generated by those actions. Additionally, we provide a translation of the sequence of update statements sets into a single logic program written in a meta-language, in such a way that the stable models of the resulting program correspond to the previously defined declarative semantics. Finally, we exhibit the usage of LUPS in several application domains.
Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science, 1st edition
Authors: Henry Prakken, Paul McNamara
Venue:  (1998)

:This book presents research in an interdisciplinary field, resulting from the vigorous and fruitful cross-pollination between traditional deontic logic and computer science. AI researchers have used deontic logic as one of the tools in modelling legal reasoning. Computer scientists have discovered that computer systems (including their interaction with other computer systems and with human agents) can often be productively modelled as norm-governed. So, for example, deontic logic has been applied by computer scientists for specifying bureaucratic systems, access and security policies, and soft design or integrity constraints, and for modelling fault tolerance. In turn, computer scientists and AI researchers have also discovered (and made it clear to the rest of us) that various formal tools (e.g. nonmonotonic, temporal and dynamic logics) developed in computer science and artificial intelligence have interesting applications to traditional issues in deontic logic.This volume presents some of the best recent work done in this area, with the selection at once reflecting the general interdisciplinary (and international) character that this area of research has taken on, as well as reflecting the more specific recent inter-disciplinary developments between traditional deontic logic and computer science.
Word for Windows 95 Secrets, 1st edition
Authors: Doug Lowe, Karen A. Bluestein
Venue:  (1995)

:With Word for Windows 95 SECRETS, bestselling word processing expert Doug Lowe transforms you from everyday Word for Windows user into an efficient and productive word processing guru capable of formatting an entire document with a single click (Who needs to leap over tall buildings in a single bound, anyway?). Covering many little-known and undocumented features, Word for Windows 95 SECRETS brings the full power and sophistication of Word for Windows 95 to your desktop. Packed with timesaving tips, shortcuts, and pointers on everything from basic formatting commands to slick macros, Word for Windows 95 SECRETS includes tips on creating newsletters, legal documents, magazine articles, multimedia files, and more. Plus, the bonus CD-ROM accompanying the book boasts an amazing collection of the hottest programs to jazz up and add power to your Word documents.
Visual Basic .NET Bible
Authors: Bill Evjen, Jason Beres
Venue:  (2001)

:This book covers everything you need to get up to speed with the much changed version of Visual Basic and to begin creating applications for the new Microsoft.NET Platform. Visual Basic continues to be the world's most popular language for developing Windows applications. In fact, Microsoft reports that today, over 50% of the world's professional developers use Visual Basic as their primary tool with almost 6 million users worldwide. The evolution of Visual Basic, Visual Basic.NET, is a component of Microsoft's much-anticipated Visual Studio.NET programming tool, and brings many changes to the way Visual Basic applications are developed. The newest version sports a new user interface, new syntax, and object oriented features, as well as a new way of thinking about how programs are written.
Just Curious, Jeeves: What Are the 1001 Most Intriguing Questions Asked on the Internet?
Authors: Jack Mingo, Erin Barrett
Venue:  (2000)

:From the trivial (Who won the first World Series?) to the imponderable (Who invented time?), from nature's mysteries (Why don't spiders stick to their webs?) to society's fears (What studies have been done on corporate mind control?), Jeeves has the answer to just about any question. The Ask Jeeves Web site lets users put their queries in simple, standard language so that they get the fastest, most efficient facts available online. From the vast holds of this Internet think tank, veteran journalist Rich Seeley has chosen the most thoughtful, the most fascinating, and the most obscure questions anyone has ever asked Jeeves. The book highlights Ask Jeeves's unique mix of solid information with witty, tongue-in-cheek delivery. Like the site, the book is structured for easy use, divided into dozens of pithy chapters from "Mysterious Machinery" to "A Walk in the Zoo." Web sources and clever follow-up questions are included.
Planar configurations with simple Lagrange interpolation formulae
Authors: J. M. Carnicer, M. Gasca
Venue: Mathematical Methods for Curves and Surfaces: Oslo 2000 (2001)

The geometric condition (GC) for multivariate interpolation is equivalent to the existence of a Lagrange formula whose terms are products of linear factors. In 1982, Gasca and Maeztu conjectured that any set of (n = 2) (n+1) /2 points in the plane satisfying the GC condition must contain n+1 collinear points. The conjecture has only been proved for degrees n &le; 4. In this paper we classify some configurations of points in the plane satisfying thee GC condition.
\boldmath Topological and $\epsilon$-Entropy for Large Volume Limits of Discretized Parabolic Equations
Authors: Gabriel J. Lord, Jacques Rougemont
Venue: SIAM Journal on Numerical Analysis (2002)

We consider semidiscrete and fully discrete approximations of nonlinear parabolic equations in the limit of unbounded domains, which by a scaling argument is equivalent to the limit of vanishing viscosity. We define the spatial density of $\varepsilon $-entropy, topological entropy, and dimension for the attractors and show that these quantities are bounded. We also provide practical means of computing lower bounds on them. The proof uses the property that solutions lie in Gevrey classes of analyticity, which we define in a way that does not depend on the size of the spatial domain. As a specific example we discuss the complex Ginzburg--Landau equation.
hp-Adaptive Discontinuous Galerkin Finite Element Methods for First-Order Hyperbolic Problems
Authors: Paul Houston, Endre Süli
Venue: SIAM Journal on Scientific Computing (2001)

We consider the {a posteriori} error analysis of hp-discontinuous Galerkin finite element approximations to first-order hyperbolic problems. In particular, we discuss the question of error estimation for linear functionals, such as the outflow flux and the local average of the solution. Based on our {a posteriori} error bound we design and implement the corresponding adaptive algorithm to ensure reliable and efficient control of the error in the prescribed functional to within a given tolerance. This involves exploiting both local polynomial-degree variation and local mesh subdivision. The theoretical results are illustrated by a series of numerical experiments.
Measuring three-dimensional surfaces with a two-dimensional data tablet
Authors: Frederic I. Parke
Venue: Proceedings of the 1st annual conference on Computer graphics and interactive techniques (1974)

This paper describes a method for measuring the three-dimensional position of points on a surface using only a two-dimensional tablet or digitizer, standard photographic techniques and some computing power. The tablet is used to extract two-dimensional information from photographs of the surface. Data from multiple views of the surface is processed to give the three-dimensional position of points on the surface. This method has been successfully used to obtain point position data for the polygonal representation of several human faces and a human body.
UNIX Unleashed with CD-ROM, 3rd edition
Authors: Robin Burk, Salim Douba
Venue:  (1998)

:Unix Unleashed, Third Edition is written with the power user and system administrator in mind. This book will help the reader understand the nuances of the major Unix variants including SVR4, HP-UX, Solaris, AIX, BSD, IRIX, SunOS, and Linux. It will help the reader decide which Unix shell works best for their particular situation. Other topics such as Kernel Configuration, Networking, User Administration, and File Management are covered extensively for the administrator who wants a variety of options to choose from for best performance. The book also provides in-depth coverage of configuring and optimizing mail, DNS, HTTP and other services many companies deploy across their intranet and on the Internet.
Design of a major in software development
Authors: Alan Fekete, Bob Kummerfeld
Venue: Proceedings of the 33rd SIGCSE technical symposium on Computer science education (2002)

This paper presents a curriculum consisting of a collection of subjects to prepare students for a career in "software development" while remaining within the scope normal for a major in a broad liberal arts degree. We describe the principles behind the construction of the curriculum, and contrast it with the more extensive "Software Engineering Body of Knowledge" appropriate in a professional Engineering degree.
Quick Course in Microsoft Publisher 2000
Authors: Joyce Cox, Christina Dudley
Venue:  (1999)

:Readers will learn about Publisher 2000 by creating a postcard, flyer, brochure, newsletter, and Web page. They will also look at ways to fine-tune their files, make page adjustments, and create materials for bulk mailings.
Two-level logic minimization
Authors: Olivier Coudert, Tsutomu Sasao
Venue: Logic Synthesis and Verification (2001)

This chapter presents both exact and heuristic two-level logic minimization algorithms. For exact logic minimization, it shows various techniques to reduce the complexity of covering problems, discusses branching heuristics, and presents several methods to prune the recursions. For heuristic minimization, it presents the core procedures of the ESPRESSO minimizer. Finally, the chapter surveys various works related to two-level logic minimization.
Generic summarization and keyphrase extraction using mutual reinforcement principle and sentence clustering
Authors: Hongyuan Zha
Venue: Proceedings of the 25th annual international ACM SIGIR conference on Research and development in information retrieval (2002)

A novel method for simultaneous keyphrase extraction and generic text summarization is proposed by modeling text documents as weighted undirected and weighted bipartite graphs. Spectral graph clustering algorithms are useed for partitioning sentences of the documents into topical groups with sentence link priors being exploited to enhance clustering quality. Within each topical group, saliency scores for keyphrases and sentences are generated based on a mutual reinforcement principle. The keyphrases and sentences are then ranked according to their saliency scores and selected for inclusion in the top keyphrase list and summaries of the document. The idea of building a hierarchy of summaries for documents capturing different levels of granularity is also briefly discussed. Our method is illustrated using several examples from news articles, news broadcast transcripts and web documents.
Sams Teach Yourself PERL in 24 Hrs, 2nd edition
Authors: Clinton Pierce
Venue:  (2001)

:Sams Teach Yourself Perl in 24 Hours teaches readers new to Perl the necessary basics of Perl and then shows them how to apply that knowledge in real-world Web development. @Headline = The book is divided into three sections: * @Bullet1 = The first third of the book teaches the basics of the Perl language.* @Bullet2 = The second third of the book builds on this foundation, and shows the reader how to interact with the file system, operating system, and network. * @Bullet3 = The last third of the book focuses on Web development. It begins with the basics of CGI and then moves quickly into building common Web solutions such as data collection, multi-page forms, e-mail forms, and using Perl as a Web templating system. 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
Everquest: Shadows of Luclin: Prima's Official Strategy Guide
Authors: Incan Monkey God Studios, Prima
Venue:  (2001)

:Prepare to enter an enormous environmentan entire world with its own diverse species, economic systems, alliances, and politics. In Everquest: Shadows Of Luclin, you'll find an enchanting moonscape packed with new adventures, new characters, new items, and an all-new playable character race. Prima's Official Strategy Guide is a valuable tool to guide you through this unreal world. Only Prima can provide vital maps, strategies, and detailed information on each aspect of the game.
Simplified Digital Signal Processing
Authors: Shah J. Rajesh
Venue:  (1998)

:Simplifying Digital Signal Processing breaks down the processes of digital communications into their simplest forms, building in a logical progression, from the basic mathematical theories to practical concepts, with plenty of charts, figures and tables to ensure the subject is fully understood. Included in the discussions are: Signals; Systems; Transforms; System Components; Analog-to-Digital Converters; Digital-to-Analog Converters; Filters; Signal Processing; and DSP Applications. For anyone interested in digital processing or who wants to fully understand the subject from the ground up, Simplifying Digital Signal Processing will occupy a prominent position on their reference shelf. From the Backcover 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
How to Use Microsoft Word 2000, 1st edition
Authors: Sherry Kinkoph, Jim Minatel, Renee Wilmeth
Venue:  (1999)

:This attractive four-color book in the popular How to Use series, offers new users a comprehensive visual approach. As you master the basics of Word 2000, this book moves you to the next level, covering more tasks than a standard four-color beginning level book. How to Use Microsoft Word 2000 covers the old and new basic features of Word, including working with the active menus, new long-document features and saving basic web pages. Coverage focuses on the core features you need to understand on an ongoing basis with enough coverage of some of the new features, like creating web pages, to give you a feel for the power of the new high end features of Word 2000.
Proteum/IM 2.0: An Integrated Mutation Testing Environment
Authors: Márcio Eduardo Delamaro, José Carlos Maldonado
Venue: Mutation testing for the new century (2001)

Mutation testing has been used mostly at the unit level. To support its application few tools have been developed and used, mainly in the academic environment. Interface Mutation has been proposed aiming at applying mutation at the integration level. A tool named Proteum/IM was implemented to support such criterion. With the definition of the Interface Mutation criterion the tester has the possibility of applying mutation testing concepts throughout the software development. It seems mandatory to have a single, integrated environment that would support mutation-based unit and integration testing. Such environment, which provides facilities to investigate low-cost and incremental testing strategies, is the focus of this paper.
Systems for Administrative Office Support, 4th edition
Authors: Walter Ashley Brower, Sandy Thompson, Patricia Garner
Venue:  (1993)

:Systems for Administrative Office Support is designed to provide the prospective office worker with the knowledge and opportunity to acquire the skills needed to meet the challenging demands of today's office. The content of each chapter is up to date and accurately reflects the emergence of the technological developments that support today's office functions.