ppxscal/embedding_network huggingface dataset:
Tarskian set constraints
Authors: Robert Givan, David McAllester, Carl Witty, Dexter Kozen
Venue: Information and Computation (2002)

We investigate set constraints over set expressions with Tarskian functional and relational operations. Unlike the Herbrand constructor symbols used in recent set constraint formalisms, the meaning of a Tarskian function symbol is interpreted in an arbitrary first order structure. We show that satisfiability of Tarskian set constraints is decidable in nondeterministic doubly exponential time. We also give complexity results and open problems for various extensions and restrictions of the language.
Introduction to Scientific Computing
Authors: Brigitte Lucquin, Olivier Pironneau
Venue:  (1997)

:This book presents the methods for solving partial differential equations (PDE) systems to teach the reader how to write computer programs for the numerical analysis of practical engineering problems. It discusses general elliptic problems and evolution problems, followed by complements on numerical methods, algorithms for parallel computing and multiprocessor computers.
The PC User's Companion, 2nd edition
Authors: Ian R. Sinclair
Venue:  (1993)

:This is a useful guide, a condensation of facts, hints and solid information for anyone using or choosing PC systems. Now fully revised and updated in its second edition to reflect the technologies and trends in the 90's, this book will help you get the most out of your system.
Overcome EMail Overload with Microsoft Outlook 2000 and Outlook 2002: Get through Your Electronic Mail Faster
Authors: Kaitlin Duck Sherwood
Venue:  (2002)

:Aimed squarely at non-technical corporate Outlook 2000 and Outlook 2002 users, Overcome Email Overload with Microsoft Outlook 2000 and Outlook 2002 gives practical, in-depth advice on how to deal with a flood of electronic messages. With clear, direct language and step-by-step examples, this book shows you how to take full advantage of Outlook's features and get through your Inbox faster. Do you use Outlook 97 or Outlook 98? For the technical features that help you overcome email overload, Outlook 98 is not very different from Outlook 2000. Outlook 97 is a bit more limited. On the book's web page, www.OvercomeEmailOverload.com, there is more information. Much of this book is still applicable to you. Do you use Outlook Express? Despite the similarity in the names, Outlook Express and Outlook are completely different programs. Outlook Express has a different user interface, different rule conditions and actions, a mailing list manager, and no voting buttons. This book applies to Outlook Express only slightly more than the Eudora version of this book does. Do you Microsoft Outlook 2001 or Entourage (both on MacOS)? This book's research didn't cover those email programs. Much of the information is probably applicable, but there are differences. See the book's web page for details. Do you use Eudora for Mac or Windows? Check out "Overcome Email Overload with Eudora 5: Get Through Your Electronic Mail Faster", also by Kaitlin Duck Sherwood. Of course, also available from this bookstore. Regardless of what email program you have, there is material in this book that can help you. About 60% of the book deals with non-technical strategies for getting through email faster. For example, you are less likely to get a response to one of your messages if you end your message with "No Reply Needed."
From dated to dynamic: a campus newsletter unfolds as a web service
Authors: Kevin W. Bishop, Arlen Johnson, Deb Wentorf
Venue: Proceedings of the 30th annual ACM SIGUCCS conference on User services (2002)

To answer many and disparate needs in campus web services at Rensselaer Polytechnic Institute, a unit of the Division of the Chief Information Officer, has developed an application that separates the strata of personnel involved in building and maintaining dynamic, high profile web sites. By separating the roles of content providers, web designers, and system programmers, each is allowed to contribute their expertise and expend their energies proficiently without unduly interrupting the work of colleagues. Most importantly, the improved work-process enabled by such technology results in much more up-to-date and relevant web-based information services.This paper discusses a locally built tool designed for this separation of roles, outlines its deployments to date, and assesses the measure of benefits it has brought both web users and developers at Rensselaer.
BizTalk Server: The Complete Reference with Cdrom
Authors: David Lowe, Xin Chen, Todd Mondor, Tomislav Rus, Ned Rynearson, Steve Wright, Tom Xu
Venue:  (2001)

:Master all the features of BizTalk Server 2000one of the core servers in Microsoft's . NET enterprise Server collection. This complete reference explains in full detail how use BizTalk Server 2000 to manage business processes,integrate applications and exchange documents regardless of format,platform or device being used. The bonus CD-ROM contains trial versions of BizTalk Server 2000,SQL Server 2000,and Visio 2000. The Most In-Depth Guide to BizTalk Server Available"An absolute top-notch resource for developing and deploying BizTalk Server 2000 and 2002. " Ben Smith,Instructional Software Design Engineer,Microsoft Corporation Unleash the power of BizTalk Server and streamline your business processes with help from this comprehensive resource. You'll discover how to take advantage of BizTalk Server's capacity for integrating applications,managing workflow,and exchanging business documentsregardless of format,protocol,or platform. Find out best practices for installing,optimizing,and securing BizTalk Server in a production environment,and learn to integrate BizTalk Server with third-party systems. Learn to utilize the full suite of toolsincluding BizTalk Editor,BizTalk Mapper,BizTalk Messaging Manager,and BizTalk Orchestration Designerto build enterprise solutions. Written by leading experts who provide you with hands-on instruction and valuable insight through sample deployment scenarios,this book contains wide-ranging coverage that's invaluable for administrators,IT managers,and developers alike. Integrate internal systems and translate between XML,EDI,and custom data formats Determine security requirements and implementaccepted best practices Design server groups and optimize clustered environments Build custom parsers,serializers,and adapters and implement Web services Implement BizTalk Accelerators for RosettaNet,HIPAA,and Suppliers to ease integration with existing vertical markets Detect and troubleshoot problems effectively through sample scenarios Create automated business processes using BizTalk Messaging and BizTalk Orchestration
JavaScript: The Definitive Guide, 3rd edition
Authors: David Flanagan
Venue:  (1998)

:JavaScript: The Definitive Guide provides a thorough description of the core JavaScript language and its client-side framework, complete with sophisticated examples that show you how to handle common tasks like validating form data, working with cookies, and creating cross-browser dynamic content. The book also contains an in-depth reference section that covers every core and client-side JavaScript function, object, method, property, constructor, and event handler. HTML authors can use this book to learn how to build dynamic web pages with JavaScript. Experienced programmers can quickly find the information they need to start writing JavaScript programs. This book is an indispensable reference for all JavaScript programmers, regardless of experience level.
Sams Teach Yourself Microsoft Exchange Server 5.5 in 10 Minutes, 1st edition
Authors: Patrick Grote, Grace Buechlein, Gregory Harris
Venue:  (1999)

:Sams Teach Yourself Microsoft Exchange Server 5.5 in 10 Minutes is a tutorial-based book, organized into a series of easy-to-follow, 10-minute lessons. The key feature of this book is ease of use. Only topics that the ordinary non-Exchange expert needs will be featured. The book will be designed logically allowing anyone to pick it up, turn to a section and be productive without having to have read the prior sections. After reading this book, users will be able to successfully install, manage and troubleshoot an Exchange server on a regular basis.
Information Theory and the Brain
Authors: Roland Baddeley, Peter Foldiak, Peter Hancock
Venue:  (1999)

:This book deals with a new and expanding area of neuroscience that provides a framework for understanding neuronal processing. This framework is derived from a conference held in Newquay, UK, where a group of scientists from around the world met to discuss the topic. This book begins with an introduction to the basic concepts of information theory and then illustrates these concepts with examples from research over the past forty years. Throughout the book, the contributors highlight current research from the areas of biological networks, information theory and artificial networks, information theory and psychology, and formal analysis. Each section includes an introduction and glossary covering basic concepts. This book will appeal to graduate students and researchers in neuroscience as well as computer scientists and cognitive scientists.
The actuated workbench: computer-controlled actuation in tabletop tangible interfaces
Authors: Gian Pangaro, Dan Maynes-Aminzade, Hiroshi Ishii
Venue: Proceedings of the 15th annual ACM symposium on User interface software and technology (2002)

The Actuated Workbench is a device that uses magnetic forces to move objects on a table in two dimensions. It is intended for use with existing tabletop tangible interfaces, providing an additional feedback loop for computer output, and helping to resolve inconsistencies that otherwise arise from the computer's inability to move objects on the table. We describe the Actuated Workbench in detail as an enabling technology, and then propose several applications in which this technology could be useful.
Encyclopedia of Computer Science, 4th edition
Authors: Anthony Ralston, Edwin D. Reilly, David Hemmendinger
Venue:  (2000)

:The Encyclopedia of Computer Science is the definitive reference work on computers, computing, and computer science. This new edition has 2,000 pages containing over 600 fully-updated articles by internationally-known computing experts. With its blending of historical perspective and practical reference information, the Encyclopedia of Computer Science is a must-have for every collection. Alphabetically arranged and classified into subject areas, the Encyclopedia will cover the fields of: Hardware Computer systems Information and data Software Mathematics of Computing Theory of computation Methodologies Applications Computing Milieux Features Over 100 entirely new entries Thorough revisions and updates reflecting the latest developments in the field 900 illustrations in black and white, plus full color inserts A list of the 450 contributing international experts, complete with affiliation Thorough cross-references, abbreviations, and acronyms An extensive list of computer science and engineering research journals A timeline of significant computing milestones Ph.D-granting departments of computer science and engineering Glossary of major terms in five languages Key high level languages Numerical tables and constants Articles deleted from the first three editions Over 100 new articles covering emerging, cutting-edge subjects. Examples include: Automated Planning Byte Ordering Cache Coherency Computer Industry: US, Britain, Europe, Japan Computer Ethics Data Mining Database Concurrency Control E-commerce Fuzzy Logic Geographic Information System (GIS) Integer Sequences Legal Issues of the Internet Lyons Electronic Office (LEO) Markup Languages Molecular Computing Multi-agent Systems Partial Evaluation Redundant Array Inexpensive Dish (RAID) Register Allocation Scientific Visualization Simula Telerobotics
Overlapping Nonmatching Grid Mortar Element Methods for Elliptic Problems
Authors: Xiao-Chuan Cai, Maksymilian Dryja, Marcus Sarkis
Venue: SIAM Journal on Numerical Analysis (1999)

In the first part of the paper, we introduce an overlapping mortar finite element method for solving two-dimensional elliptic problems discretized on overlapping nonmatching grids. We prove an optimal error bound and estimate the condition numbers of certain overlapping Schwarz preconditioned systems for the two-subdomain case. We show that the error bound is independent of the size of the overlap and the ratio of the mesh parameters. In the second part, we introduce three additive Schwarz preconditioned conjugate gradient algorithms based on the trivial and harmonic extensions. We provide estimates for the spectral bounds on the condition numbers of the preconditioned operators. We show that although the error bound is independent of the size of the overlap, the condition number does depend on it. Numerical examples are presented to support our theory.
Mastering Word 2000 with Cdrom
Authors: Ron Mansfield, J. W. Olsen
Venue:  (1999)

:Written by Word experts, Mastering Word 2000 Premium Edition teaches you everything you need to know to get the most out of this powerful program, including enhanced integration with other products, easy-to-use collaboration features, easier HTML conversion, and much more. On the enclosed CD, you'll find tons of Windows software, including freeware, shareware, and evaluation copies of leading commercial applications. You'll benefit from trial versions of popular titles such as PowWow, Enfish Tracker, GoldMine, Microsoft Project 98, Quick View Plus, the latest Web development tools, and much more.
A Case for a Biorthogonal Jacobi--Davidson Method: Restarting and Correction Equation
Authors: Andreas Stathopoulos
Venue: SIAM Journal on Matrix Analysis and Applications (2002)

We propose a biorthogonal Jacobi--Davidson method (biJD), which can be viewed as an explicitly biorthogonalized, restarted Lanczos method, that uses the approximate solution of a correction equation to expand its basis. Through an elegant formulation, the algorithm allows for all the functionalities and features of the Jacobi--Davidson method (JD), but it also includes some of the advantages of nonsymmetric Lanczos.The main motivation for this work stems from a correction equation and a restarting scheme that are possible with biJD but not with JD. Specifically, a correction equation using the left approximate eigenvectors available in biJD yields cubic asymptotic convergence, as opposed to quadratic with the JD correction equation. In addition, a successful restarting scheme for symmetric JD depends on the Lanczos three-term recurrence and thus can only apply to biJD. Finally, methods that require a multiplication with the adjoint of the matrix need to be reconsidered on today's computers with memory hierarchies, as this multiplication can be performed with minimal additional cost.We describe the algorithm, its features, and the possible functionalities. In addition, we develop an appropriate correction equation framework and analyze the effects of the new restarting scheme. Our numerical experiments confirm that biJD is a highly competitive method for a difficult problem.
Statistical cross-language information retrieval using n-best query translations
Authors: Marcello Federico, Nicola Bertoldi
Venue: Proceedings of the 25th annual international ACM SIGIR conference on Research and development in information retrieval (2002)

This paper presents a novel statistical model for cross-language information retrieval. Given a written query in the source language, documents in the target language are ranked by integrating probabilities computed by two statistical models: a query-translation model, which generates most probable term-by-term translations of the query, and a query-document model, which evaluates the likelihood of each document and translation. Integration of the two scores is performed over the set of N most probable translations of the query. Experimental results with values N=1, 5, 10 are presented on the Italian-English bilingual track data used in the CLEF 2000 and 2001 evaluation campaigns.
Nintendo 64 Pocket Power Guide
Authors: Nick Roberts
Venue:  (1998)

:More and more games! This guide will help you conquer games such as, Aerofighters Assault, Diddy Kong Racing, F1 Pole Position 64, Goldeneye 007, Madden 64, Robotron 64, Yoshi's Story, and others!
Olap Database Design: Delivering on the Promise of the Data Warehouse, 1st edition
Authors: Dan Bulos, Sarah Forsman
Venue:  (2000)

:On-line Analytical Processing (OLAP) systems extend the Data Warehouse by providing managers with the information they need to perform business analysis.
On a Hermite Interpolation by Polynomials of Two Variables
Authors: Borislav Bojanov, Yuan Xu
Venue: SIAM Journal on Numerical Analysis (2001)

A problem of Hermite interpolation by polynomials of two variables is studied. The interpolation matches preassigned data of function values and consecutive normal derivatives on a set of points on several circles centered at the origin. It includes Lagrange interpolation as a special case. The uniqueness of the interpolation is established when the points are equidistant on the circles, while the points on different circles may differ by arbitrary rotations. This leads to a cubature formula on the unit disc, which can be given explicitly without knowing the explicit formula of the interpolation polynomial.
Agile Software Development with Scrum, 1st edition
Authors: Ken Schwaber, Mike Beedle
Venue:  (2001)

:&#147Agile development methods are key to the future of flexible software systems. Scrum is one of the vangards of the new way to buy and manage software development when business conditions are changing. This book distills both the theory and practive and is essential reading for anyone who needs to cope with software in a volatile world.&#148 &#151Martin Fowler, industry consultant and CTO, ThoughtWorks &#147Most executives today are not happy with their organization's ability to deliver systems at reasonable cost and timeframes. Yet, if pressed, they will admit that they don't think their software developers are not competent. If it's not the engineers, then what is it that prevents fast development at reasonable cost? Scrum gives the answer to the question and the solution to the problem.&#148 &#151Alan Buffington, industry consultant, former Present, Fidelity Systems Company Arguably the most important book about managing technology and systems development efforts, this book describes building systems using the deceptively simple process, Scrum. Readers will come to understand a new approach to systems development projects that cuts through the ocmplexity and ambiguity of complex, emergent requiremetns and unstable technology to iteratively and quickly produce quality software. BENEFITS Learn how to immediately start producing software incrementally regardless of existing engineering practices or methodologies Learn how to simplify the implementation of Agile processes Learn how to simplify XP implementation through a Scrum wrapper Learn why Agile processes work and how to manage themUnderstand the theoretical underpinnings of Agile processes
Traffic behavior analysis and modeling of sub-networks
Authors: Yen-Wen Chen
Venue: International Journal of Network Management (2002)

In this paper, the characteristics of sub-network traffic is analyzed from the correlation point of view. It is easy to see that the traffic histogram of a sub-network has a 24-hour seasonal variation due to daily usage behavior. The auto correlation factor (ACF) and partial auto correlation factor (PACF) tests are applied first to examine the correlation of the traffic among consecutive hours and the correlation with a specific hour. The seasonal auto-regressive integrated moving average (ARIMA) model is applied to characterize the above properties of the network traffic. Modeling performance is evaluated by examining the coincidence of the histogram and the moving average of traffic volume between the actual traffic collected from the network and the traffic generated by the proposed model. The experimental results illustrate that the proposed model can effectively capture traffic behaviors of the sub-network and can then be used as a suitable traffic model for analysis of Internet performance.
The lookahead in a user-transparent conservative parallel simulator
Authors: Viliam Solcany, Jiri Safarik
Venue: Proceedings of the sixteenth workshop on Parallel and distributed simulation (2002)

One of the difficulties inherent to conservative parallel discrete event simulation (PDES) is the need for extraction and explicit specification of the lookahead. In this paper we propose a simulator design which allows users to build simulation models with lookahead transparently. This is based on the cooperation between PDES experts and the users, and on the reusability of model components. We introduce the principal design of the simulator and give the results related to its lookahead.
Alan Simpson's Microsoft's Windows Millennium Edition Bible
Authors: Alan Simpson, Brian Underdahl
Venue:  (2000)

:If Windows Me can do it, you can do it too In this all-in-one guide, bestselling author Alan Simpson walks you through the new Microsoft operating system and shows you step-by-step how to make the most of it. From file and menu basics to all the hot new multimedia and networking features, this comprehensive reference will make you a Windows Me power user in no time. Inside, find everything you need to know to:*Install and configure Windows Me*Print, fax, and e-mail like a pro*Share a single Internet connection with everyone on your home network*Access all your applications with Internet Explorer 5.5*Manipulate graphics, sound, and movie files with MediaPad*Take advantage of Media Player 7*Set up your own Hollywood-like studio with Movie Maker*Tune in to Windows radioSpecial coverage of hot new features!*Personalize Windows Me with My Network Places, My Music, and My Pictures*Go Hollywood with an all-new chapter on Windows Movie Maker*Get the newest information about Internet games and other online services
New Managerial Mindsets: Organizational Transformation and Strategy Implementation
Authors: Michael A. Hitt, Robert D. Nixon, Joan E. Ricarti Costa
Venue:  (1998)

:Thanks to phenomena like the globalization of business and worldwide economic development, the business landscape is a highly complex and competitive place to thrive. In this environment, managers are looking for new sources of competitive advantage. This book gathers ideas from some of the leading lights in the field to offer valuable new insight into thriving in the new managerial mindsets of the day. It addresses two major themes, getting into the new mindset demanded in today's interconnected world, and establishing processes that reflect the collaborative strategy and synergy of the global market.
Weak Ill-Posedness of Spatial Discretizations of Absorbing Boundary Conditions for Schrödinger-Type Equations
Venue: SIAM Journal on Numerical Analysis (2002)

When we wish to solve numerically a differential problem defined on an infinite domain, it is necessary to consider a finite subdomain and to use artificial boundary conditions in such a way that the solutions in the finite subdomain approximate the original solution. These boundary conditions are called absorbing when small reflections to the interior domain are allowed. In this paper, we develop a general class of absorbing boundary conditions for Schrödinger-type equations by using rational approximations to the transparent boundary conditions. With this approach, previous absorbing boundary conditions in the literature are included in this class. We use the method of lines for the discretization of the initial boundary value problems obtained this way. We show that the ordinary differential systems that arise after the spatial discretization are weakly ill-posed, explaining a previous conjecture of Fevens and Jiang. The time discretization is carried out with A-stable Runge--Kutta methods, where the high order ones may be used to compensate for the possible troubles present in the problems semidiscretized in space.