ppxscal/embedding_network huggingface dataset:
Multilevel Boundary Functionals for Least-Squares Mixed Finite Element Methods
Authors: Gerhard Starke
Venue: SIAM Journal on Numerical Analysis (1999)

For least-squares mixed finite element methods for the first-order system formulation of second-order elliptic problems, a technique for the weak enforcement of boundary conditions is presented. This approach is based on least-squares boundary functionals, which are equivalent to the H-1/2 and H1/2 norms on the trace spaces of lowest-order Raviart--Thomas elements for the flux and standard continuous piecewise linear elements for the pressure, respectively. Continuity and coercivity of the resulting bilinear form is proved implying optimal order convergence of the resulting Galerkin approximation. The boundary least-squares functional is implemented using multilevel principles and the technique is tested numerically for a model problem.
Who can claim complete abstinence from peeking at print jobs?
Authors: Antonietta Grasso, Jean-Luc Meunier
Venue: Proceedings of the 2002 ACM conference on Computer supported cooperative work (2002)

While systems supporting communities of practice in work organizations have been shown to be desirable many, if not all, are decoupled from daily work practices and tools. This hinders a wide collection of data about their activities, because of the additional effort that is required from the users. Therefore a pre-requisite for a system aiming at making visible the community activity is the non-intrusive collection of data about the activities that are carried on in a workplace. We present a range of personal document management services that support the construction of a collective memory of user print activities. We have internally tested the system and verified that it successfully provided personal benefit, thereby ensuring that the system receives sufficient usage for the shared memory to be useful. The system also successfully addressed privacy concerns and effectively provided large data sets about document related activities. Finally it provided information able to trigger new or to reinforce existing informal exchanges in communities of practice at a convenient moment; the print action.
Inference of Segmented Overlapping Surfaces from Binocular Stereo
Authors: Mi-Suen Lee, Gérard Medioni, Philippos Mordohai
Venue: IEEE Transactions on Pattern Analysis and Machine Intelligence (2002)

We present an integrated approach to the derivation of scene descriptions from a pair of stereo images, where the steps of feature correspondence and surface reconstruction are addressed within the same framework. Special attention is given to the development of a methodology with general applicability. In order to handle the issues of noise, lack of image features, surface discontinuities, and regions visible in one image only, we adopt a tensor representation for the data and introduce a robust computational technique called tensor voting for information propagation. The key contributions of this paper are twofold: First, we introduce "saliency" instead of correlation scores as the criterion to determine the correctness of matches and the integration of feature matching and structure extraction. Second, our tensor representation and voting as a tool enables us to perform the complex computations associated with the formulation of the stereo problem in three dimensions at a reasonable computational cost. We illustrate the steps on an example, then provide results on both random dot stereograms and real stereo pairs, all processed with the same parameter set.
Managing Your Business with QuickBooks 6, 1st edition
Authors: Charles Rubin, Diane Parssinen
Venue:  (1998)

:Your Basic Startup Guide: everything you need to get started with QuickBooks 6 and QuickBooks Pro 6; a plain-English overview of the whole accounting process, and how QuickBooks handles it; a detailed, manageable schedule for setting up your system; every QuickBooks procedure, clearly explained and organized to match the way you do business; step-by-step instructions for handling daily monthly, quarterly, and yearly tasks, including: payables; receivables; payroll; inventory; tax reports; covers special QuickBooks features like estimates, time tracking, job costing, and multiuser operations; handy glossary defines basic accounting and QuickBooks terms.
On the complexity of recognizing the Hilbert basis of a linear diophantine system
Authors: Arnaud Durand, Miki Hermann, Laurent Juban
Venue: Theoretical Computer Science (2002)

The problem of computing the Hilbert basis of a homogeneous linear Diophantine system over nonnegative integers is often considered in automated deduction and integer programming. In automated deduction, the Hilbert basis of a corresponding system serves to compute the minimal complete set of associative-commutative unifiers, whereas in integer programming the Hilbert bases are tightly connected to integer polyhedra and to the notion of total dual integrality. In this paper, we sharpen the previously known result that the problem, asking whether a given solution belongs to the Hilbert basis of a given system, is coNP-complete. We show that the problem has a pseudopolynomial algorithm if the number of equations in the system is fixed, but it is coNP-complete in the strong sense if the given system is unbounded. This result is important in the scope of automated deduction, where the input is given in unary and therefore the previously known coNP-completeness result was unusable. Moreover, we show that, from the complexity standpoint, it is not important to know the underlying homogeneous linear Diophantine system when we ask whether a given set of vectors constitutes a Hilbert basis.
Oracle DBA with Cdrom, 1st edition
Authors: William Baird, Willard Baird
Venue:  (1998)

:Provides a section-by-section breakdown of each of the four tests. Ten chapters devoted to each section, plus a sample test for each exam. Allows readers to progress at their own pace. Features a tear-out card that breaks down coverage of each exam and each topic within that exam, allowing readers a quick flowchart to map their progress. The four tests, which will each be covered in ten chapters, are as follows: Test I: Intro to Oracle: SQL & PL/SQL Test II: Oracle7: DBA Administration Test III: Oracle7 Backup & Recovery Workshop Test IV: Oracle7: Performance Tuning WorkshopExtensive coverage of the four exams required to become an Oracle Certified Professional Database AdministratorThorough study questions to test your knowledge, along with TestPrep software that simulates actual examsWritten by a certified Oracle instructor with eight years experience teaching at the university level; he also served as a member of Oracle s certification guidelines committee
Mcsa: Windows 2000 Certification Kit, 1st edition
Authors: James Chellis, Paul Robichaux, Lisa Donald, Michael Chacon, Matthew Sheltz
Venue:  (2002)

:Going for your MCSA? Get the four Study Guides you need at a price that can't be beat-$40 off MSRP! The new MCSA (Microsoft Certified Systems Associate) certification is up and running, and Sybex has what you need to tackle the required exams. Rated #1 in CertCities.com list of the Top 10 Hottest Certification for 2002, the MCSA was developed to address demands from the IT industry for a mid-level Microsoft certification. To get your MCSA you must pass four exams-one client operating systems exam, two network operating systems exams, and one elective. This invaluable box set contains Study Guides for the three core exams as well as the elective recommended by Microsoft. Each book provides in-depth coverage of all exam objectives, and includes a CD with hundreds of challenging review questions, flashcards for PCs and Palm handhelds, and a searchable electronic version of the entire book. From the Leader in Certification Covers Three Core Exams and Recommended Elective for the MCSA Certification Special Features: Real-World Scenarios and Exam Essentials Hundreds of Challenging Practice Questions, in the Book and on the CD In-Text Objective Listings Highlight Crucial Subject Matter Contains the following Study Guides: MCSA/MCSE: Windows 2000 Professional Study Guide (70-210) MCSA/MCSE: Windows 2000 Server Study Guide (70-215) MCSA/MCSE: Windows 2000 Network Management Study Guide (70-218) MCSE: Windows 2000 Network Infrastructure Administration Study Guide (70-216) Four CDs with Leading-Edge Software: Testing Engine with Hundreds of Challenging Questions Eight Bonus Exams Windows 2000 Product Simulation Software Electronic Flashcards for PCs and Palm Handhelds All Four Books in Digital Format About the Author James Chellis, MCSE, is CEO of EdgeTek, a Microsoft Certified Solution Provider specializing in courseware development. Michael Chacon, MCSE, is Senior Solutions Manager for Netigy Corporation. Lisa Donald, MCSE, has worked with numerous Fortune 500 companies, including DEC and Apple. Matthew Sheltz, MCP, is a software engineer and systems administrator for EdgeTek Education. Paul Robichaux, MCSE, has authored more than 20 books and written whitepapers on Windows 2000 for Microsoft Corporation.
Internet Literacy, 3rd edition
Authors: Fred Hofstetter, Pat Sine
Venue:  (2002)

:Comprehensive Introduction to the Internet and the World Wide Web. Designed for a full semester course,this book clearly defines concepts and practices of connecting to,researching on,designing for,and publishing on the Internet.
Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing
Authors: T. Y. Chen, T. H. Tse, Zhiquan Zhou
Venue: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis (2002)

We present a semi-proving method for verifying necessary conditions for program correctness. Our approach is based on the integration of global symbolic evaluation and metamorphic testing. It is relatively easier than conventional program proving, and helps to alleviate the problem that software testing cannot show the absence of faults.
Visual Basic 6 in Plain English, 1st edition
Authors: Brian R. Overland
Venue:  (1998)

:Quick, illustrated tutorials covering all the basics of arrays, controls, forms, classes, objects, and properties will get you started in Visual Basic right away. For quick refreshers, you can also quickly look up information by task or keyword in two special references, and you'll find complete references to data types, operators, standard controls, objects, file systems, strings, and debugging commands.
The Power of Networked Teams: Creating a Business within a Business at Hewlett-Packard in Colorado Springs
Authors: Pamela Shockley-Zalabak, Sandra Buffington Burmester
Venue:  (2001)

:Hewlett-Packard has long been one of the world's most respected companies--universally heralded for its leadership, unique corporate culture (called the HP Way), superior products, and sustained financial performance. This book takes the reader into the trenches of financial transaction processing at HP. The authors find there an unusual success story with application to virtually every industry and organization, regardless of size. They tell the story of HP's experience with creating both a new organization and a new organizational form--networked teams--to provide shared financial transaction processing for its US factory locations. In just over 9 years, this unique and wildly successful organization is processing over $19 billion of transactions annually while reducing transaction costs as a percentage of revenue by a factor of four--highly significant for a $47 billion company--while engendering exceptionally high employee and customer satisfaction. Many of the key players involved in getting this unique organization off the ground provide fascinating first-hand accounts about the often overlooked potential of transforming routine organizational processes into new and creative forms capable of generating major contributions to the bottom line. The HP story is one about creating and growing a world-class organization within a huge company. But most importantly, it is a success story created in the trenches without strong top management support. It is a story that CEOs and CFOs will find compelling, but one that brings hope and guidance to line managers and professionals responsible for day-to-day organizational life.
Microsoft Exchange 2000 Server Adminstrator's Companion
Authors: Walter J. Glenn, Bill English, Rick Greenwald
Venue:  (2000)

:Microsoft Exchange 2000 Server is a comprehensive messaging platform that enables the widest possible range of collaborative solutions. Version 6.0 builds on the powerful messaging and collaboration features that have made Exchange popular, and includes significant design changes that improve scalability, manageability, and integration. Microsoft Exchange 2000 Server Administrator's Companion is the IT implementer's guide to deploying and maintaining Exchange Server 6.0. Topics covered include Internet Mail Service and SMTP, creating applications with Microsoft Exchange, integration with Microsoft Windows 2000 Server Active Directory services, and integration with Microsoft Office 2000 and Microsoft Outlookr 2000. The companion CD-ROM includes a fully searchable electronic version of the book, plus sample materials and utilities. Provides rich examples, sequential procedures, and information to smooth deployments direct from the company that created Microsoft Exchange Server A frank and concise guide to deploying and maintaining Exchange Server 2000 that covers real-world scenarios of the average Exchange Server administrator The book is a valuable desktop reference that includes many practical examples of commonly encountered tasks that will save time for administrators and ensure smoother deployment
The Distance Manager: A Hands on Guide to Managing off-Site Employees and Virtual Teams
Authors: Kimball Fisher, Mareen Fisher
Venue:  (2000)

:This book shows you how to do it well. You'll learn from the experiences of a large cross-section of managers who have been in the front lines of this new managerial paradigm. Their job descriptions vary widely: they are sales managers, project team leaders, field-technician managers, executives of global businesses. They work for a broad range of companies, including Xerox, Hewlett-Packard, Weyerhaeuser, ARCO Exploration and Production, Sun Microsystems, Dell Computers and Proctor & Gamble. But all have had to learn to handle the fundamental problem that every distance manager faces: making sure you are getting peak performance from employees you rarely see face-to-face." "You'll also learn to master the technology that distance managers depend on: videoconferencing, Web conferencing, the daily flood of email, and more. Sooner or later this new leadership challenge will affect just about every manager in the country.
Artificial Intelligence: Structures and Strategies for Complex Problem Solving, 3rd edition
Authors: George F. Luger
Venue:  (1997)

:Combines the theoretical foundations of intelligent problem-solving with he data structures and algorithms needed for its implementation. The book presents logic, rule, object and agent-based architectures, along with example programs written in LISP and PROLOG. The practical applications of AI have been kept within the context of its broader goal: understanding the patterns of intelligence as it operates in this world of uncertainty, complexity and change. The introductory and concluding chapters take a new look at the potentials and challenges facing artificial intelligence and cognitive science. An extended treatment of knowledge-based problem-solving is given including model-based and case-based reasoning. Includes new material on:Fundamentals of search, inference and knowledge representationAI algorithms and data structures in LISP and PROLOG Production systems, blackboards, and meta-interpreters including planers, rule-based reasoners, and inheritance systems.Machine-learning including ID3 with bagging and boosting, explanation based learning, PAC learning, and other forms of inductionNeural networks, including perceptrons, back propogation, Kohonen networks, Hopfield networks, Grossberg learning, and counterpropagation. Emergent and social methods of learning and adaptation, including genetic algorithms, genetic programming and artificial life.Object and agent-based problem solving and other forms of advanced knowledge representation
Unixv Pocket Ref
Authors: Sam D. Roberts
Venue:  (1992)

:His handy Pocket Reference will be your constant companion It fits in your shirt pocket and it is always available to you, when you need it. Size ( 3.5 x 6.5 inches) - just perfect. Here You will find everything you need to know about UNIX. Comprehensive list of UNIX / LINUX commands with their options. For all UNIX versions including all PC-versions called LINUX. Very useful sample code included. An appendix with example data gives the user the chance to see how the commands work on data by comparing the listed files with the result of the sample input. Every UNIX and or LINUX user must have this reference on hand. 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
Preconditioning Highly Indefinite and Nonsymmetric Matrices
Authors: Michele Benzi, John C. Haws, Miroslav Tuma
Venue: SIAM Journal on Scientific Computing (2000)

Standard preconditioners, like incomplete factorizations, perform well when the coefficient matrix is diagonally dominant, but often fail on general sparse matrices. We experiment with nonsymmetric permutations and scalings aimed at placing large entries on the diagonal in the context of preconditioning for general sparse matrices. The permutations and scalings are those developed by Olschowka and Neumaier [Linear Algebra Appl., 240 (1996), pp. 131--151] and by Duff and Koster [SIAM J. Matrix Anal. Appl., 20 (1999), pp. 889--901; Tech. report Ral-Tr-99-030, Rutherford Appleton Laboratory, Chilton, UK, 1999]. We target highly indefinite, nonsymmetric problems that cause difficulties for preconditioned iterative solvers. Our numerical experiments indicate that the reliability and performance of preconditioned iterative solvers are greatly enhanced by such preprocessing.
Mastering Cisco Routers
Authors: Chris Brenton, Andrew Hamilton, Gary C. Kessler
Venue:  (2000)

:Newly revised and updated, Mastering Cisco Routers is the most affordable, effective way for you to get the information you need to install, configure, and manage Cisco Routers. Inside, step-by-step instructions and realistic examples help you solve network challenges ranging from the everyday to the extraordinary. And fresh information on new Cisco features, certification changes, and developments in network protocols helps you stay on top of your game. Coverage Includes: Understanding topologies, connection types, data packaging, and the OSI model Choosing the appropriate LAN and WAN technologies Designing networks using bridges, switches, and routers Controlling and securing router traffic using standard and extended access lists Routing efficiently with IP, IPX, NetBIOS, AppleTalk, and the Enhanced Interior Gateway Routing Protocol (EIGRP) Installing Cisco IOS with the appropriate feature set Controlling routers using Cisco IOS in privileged and non-privileged modes Protecting the network using a bastion host outside the firewall Monitoring network health using SNMP and Cisco Works 2000 Understanding the Cisco certification program Efficiently subnetting your network Implementing static, default, and dynamic routing Using Cisco's graphical tools to install, upgrade, and configure routers Providing secure remote access to your network using VPN About the Author Chris Brenton (CNE, MCSE, CDS) is lead security research engineer for a cyber-terrorism lab at Dartmouth College. His other books include Multiprotocol Network Design & Troubleshooting and Mastering Network Security, both from Sybex. Bob Abuhoff (CCNA) designs, configures and troubleshoots LANs and WANs as an independent consultant. He has lectured and trained IT professionals and neophytes since 1988. Gary Kessler is a senior network security analyst at SymQuest Group, a network integration consulting company. Andrew Hamilton (CCNA, NNCRP, CLP) is Senior Engineer/Technology Specialist for Alpine Computer Systems.
Internet Marketing Intelligence: Research Tools, Techniques, and Resources
Authors: Edward Forrest
Venue:  (2002)

:For market researchers, the question is not should they use the Internet, but rather how they should use the Internet. Internet Marketing Intelligence: Research Tools, Techniques & Resources, 1/e, shows researchers exactly how to do this. This specialized, practically focused, succinct, flexible, how-to text shows researchers how to document the resources, delineate the tools, and to demonstrate the techniques utilized when conducting marketing research on and through the Internet. Traditional marketing courses continue to introduce the e factor into their classrooms as the Internet integrates itself into these subject areas, and, unlike other texts in this area, Internet Marketing Intelligence provides in-depth coverage of online market research concepts and techniques that help marketing students obtain timely and accurate information necessary to orchestrate the marketing mix. Using a step-by-step approach, the text demonstrates how to utilize the Internet to target customers and create and implement marketing plans. The foundations (whens, wheres & hows) of how the Internet assists marketing practitioners in their essential tasks of gathering, evaluating and applying marketing intelligence is also explored both in the text.
Novell's Introduction to Networking, 2nd edition
Authors: Cheryl C. Currid, Mark A. Eggleston
Venue:  (2000)

:Novell's Introduction to Networking offers easy-to-understand information on a variety of crucial networking topics, with coverage of both Novell and non-Novell products. With the thorough understanding that only a networking leader could offer, Novell's Introduction to Networking focuses on the critical first steps of networking, so that newcomers to Novell networks or networks in general, have a solid foundation on which to build as they explore the many particulars of protocols, server software, and hardware of all kinds. Here in this compact guide, authors and Novell insiders Cheryl C. Currid and Arch D. Currid offer essential, practical information on how to... Create the ultimate messaging system, while steering clear of the pitfalls Increase workplace efficiency -- and profits Avoid and troubleshoot problems that can hobble a networked organization Reliably back up your network Maintain security while allowing everyone in your organization to take advantage of what the Internet has to offer Build an intranet that raises your organization to whole new levels of creativity and productivity Set up, upgrade, and extend LANs and WANs Develop and implement a basic network management plan Get the best networking hardware and software for your or your boss's dollar.
Lotus Notes and Domino 5 Scalable Network Design
Authors: John P. Lamb, Peter W. Lew
Venue:  (1999)

:Get today's only in-depth resource on networking aspects of Lotus Notes/Domino. Exploit dramatic improvements in function,performance,availability,reliability,and scalability with Domino Release 5. Find complete details on all the new products available in domino R5. Benefit from the Insight of two IBM insiders who give you real-worldexamples. Learn different ways to approach network design with Domino. Use design methods that improve replication,mail routing,dial access,and network and application management. Feel more confident with Notes' multilevel security features. See how Notes/Domino compares with Microsoft Exchange 5. 5 and other competitive products