ppxscal/embedding_network huggingface dataset:
Incremental data flow analysis
Authors: Barbara G. Ryder
Venue: Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1983)

In this paper we present ACINCF and ACINCB, incremental update algorithms for forward and backward data flow problems, which are based on a linear equations model of Allen/Cocke interval analysis [Allen 77, Ryder 82a]. We have studied their performance on a robust structured programming language L. Given a set of localized program changes in a program in L, we can identify a priori the nodes in its flow graph whose corresponding data flow equations will be affected by the changes. We can characterize these affected nodes by their corresponding program structures and their relation to the original change sites.
Calm Minima in Parameterized Finite-Dimensional Optimization
Authors: A. B. Levy
Venue: SIAM Journal on Optimization (2000)

Calmness is a restricted form of local Lipschitz continuity where one point of comparison is fixed. We study the calmness of solutions to parameterized optimization problems of the form $$ \min \{f(x,w)\} \hbox{ over all } x \in\reals^{n}, $$ where the extended real-valued objective function f is continuously prox-regular in x with compatible parameterization in w. This model covers most finite-dimensional optimization problems, though we focus particular attention here on the case of parameterized nonlinear programming. We give a second-order sufficient condition for there to exist unique optimal solutions that are calm with respect to the parameter. We also characterize a slightly stronger stability property in terms of the same second-order condition, thus clarifying the gap between our sufficient condition and the calmness property. In the case of nonlinear programming, our results complement a long study of the stability properties of optimal solutions: for instance, one consequence of our results is that the Mangasarian--Fromovitz constraint qualification when paired with a new (and relatively weak) second-order condition ensures the calmness of solutions to parameterized nonlinear programs.
A FETI Preconditioner for Two Dimensional Edge Element Approximations of Maxwell's Equations on Nonmatching Grids
Authors: Francesca Rapetti, Andrea Toselli
Venue: SIAM Journal on Scientific Computing (2001)

A class of FETI methods for the mortar approximation of a vector field problem in two dimensions is proposed. Edge element discretizations of lowest degree are considered. The method proposed can be employed with geometrically conforming and nonconforming partitions. Our numerical results show that its condition number increases only with the number of unknowns in each subdomain and is independent of the number of subdomains and the size of the problem.
Foundations of Databases: The Logical Level, 1st edition
Authors: Serge Abiteboul, Richard Hull, Victor Vianu
Venue:  (1995)

:Over the past two decades, the theory concerning the logical level of database management systems has matured and become an elegant and robust piece of science. Foundations of Databases presents indepth coverage of this theory and surveys several emerging topics. Written by three leading researchers, this advanced text presents a unifying and contemporary perspective on the field. A major effort in writing the book has been to highlight the intuitions behind the theoretical development.
PhotoShop Elements Solutions
Authors: Mikkel Aaland
Venue:  (2001)

:Take Your Digital Images to the Next LevelPhotoshop has changed the face of photography forever, and now Adobe's Photoshop Elements brings the power of Photoshop to anyone with a computer. Photoshop Elements Solutions shows you how to use the program to make your pictures better than ever. Learn everything from how to fix bothersome red eye to how to fuse images to make beautiful panoramic pictures. Whether creating digital images is just a hobby or part of your livelihood, this book is an invaluable guide for turning your ordinary images into extraordinary images. Inside, noted photographer, web producer, and author Mikkel Aaland shows you the ins and outs of Photoshop Elements including: Getting Photoshop Elements up and running Sharpening out-of-focus pictures Straightening a crooked scan Improving product and real estate shots Removing unwanted objects from outdoor shots Optimizing photos for the web and e-mail transmission Touching up faces Making realistic-looking composites And more... CD Description The enclosed CD comes with a 30-day fully functional version of Photoshop Elements, plus example images from the book.
XSLT transformation from UML models to LQN performance models
Authors: Gordon P. Gu, Dorina C. Petriu
Venue: Proceedings of the 3rd international workshop on Software and performance (2002)

A graph grammar-based transformation of a UML design model into a Layered Queueing Network (LQN) performance model was previously proposed by the authors of this paper. The actual transformation was implemented in two ways: first by using an existing graph-rewriting tool, and secondly through an ad-hoc graph transformation implemented in Java.This paper extends the previous work of the authors by proposing a third approach to implement the UML to LQN transformation by using XSLT. Recommended by the World Wide Web Consortium (W3C) the Extensible Stylesheet Language for Transformations (XSLT) is a flexible language for transforming XML documents into various formats including HTML, XML, text, PDF, etc. The input to our XSLT transformation is an XML file that contains the UML model in XML format according to the standard XML Metadata Interchange (XMI). The output is the corresponding LQN model description file, which can be read directly by existing LQN solvers. The paper compares the relative advantages and disadvantages of the XSLT transformation with the previous approaches proposed by the authors, describes the principles of the XSLT transformation and applies it to a case study.
Secure Networking with Windows 2000 and Trust Services
Authors: Jalal Feghhi
Venue:  (2001)

:The pervasiveness and efficiency of the Internet infrastructure have greatly-affected the business needs of many organizations in recent years. Organizations have been migrating more toward the Internet business model for interacting with partners, suppliers, contractors, and customers. The same infrastructure provides organizations with a cost-effective and easy-to-administer medium to extend their internal resources to their mobile work force. However, effective use of the Internet as a platform for conducting transactions hinges on ensuring the integrity and privacy of communications exchanged over the Internet. Secure Networking with Windows 2000 and Trust Services is an authoritative resource that addresses the security issues involved in using the Internet as a platform for conducting commerce. It explains public-key technology and describes techniques for ensuring secure transactions with business partners and consumers. For organizations looking into scalable, remote-access solutions, this book provides basic material on virtual private networks (VPNs) and includes practical guidelines for using the built-in security features of the Windows 2000 operating system. Basic material and sample programming projects explain how to use the Kerberos authentication service to secure internal networks while sharing resources with the external world via the Internet, intranets, and extranets. In addition, the authors explain the role of trust services in ensuring the integrity of secure electronic commerce systems. Throughout the book, the authors provide thorough explanations of such key topics as: The Kerberos network authenticationservice and how Kerberos secures internal access to network resources The Kerberos authentication system in Windows 2000 Virtual private networks (VPNs) and the Internet Protocol security (IPsec) architecture Cryptography, public-key technology, public-key infrastructures (PKIs), certification authorities, digital certificates, and the X.509 standard The Windows 2000 public-key infrastructure and practical guidelines for using its built-in public-key features The built-in capabilities of Windows 2000 for supporting virtual private networks and the IP security (IPsec) protocol External trust infrastructures and trust issues in B2B marketplaces Local trust networks created by the Windows 2000 Certificate Services (or other certificate servers) and effective methods for plugging such internal trust networks into the VeriSign external trust infrastructure Windows 2000 as a programming platform to create secure, distributed applications The accompanying CD-ROM contains sample-programming projects written in Visual C++ for the Windows 2000 server operating system. These projects demonstrate how to "Kerberize" client-server based applications and publish secure services in the Windows 2000 Active Directory.
Building Open Source Network Security Tools: Components and Techniques, 1st edition
Authors: Mike Schiffman
Venue:  (2002)

:With computer security such a high priority in business, no longer is the solution expected to come from specific assigned technicians in a company; every technical professional is expected to contribute to enhanced security in the network. This is the first book to provide cost-effective, time-saving guidance to building customized network security tools using existing components.
New Perspectives on Microsoft Power Point 97, 1st edition
Authors: S. Scott Zimmerman, Beverly B. Zimmerman
Venue:  (1998)

:Part of the New Perspectives series, this text offers a case-based, problem-solving approach and innovative technology for meaningful learning of Microsoft PowerPoint 97.
Discrete Mathematics, 4th edition
Authors: Kenneth A. Ross, Charles R. B. Wright
Venue:  (1999)

:Our original plan for this edition was just to add a chapter on probability, to make some of the more difficult sections less abstract, and to revise the treatment of recursion and induction. When we got into the project, we saw that a massive reorganization could greatly increase the book's flexibility as a text as well as draw together topics that are closely related. The resulting major revision includes substantial new material as well as what we think are clearer accounts of topics in the second edition, all reordered to fit a wider range of courses than before.
Local Area Networks Application
Authors: Larry Morris
Venue:  (1992)

:Rapid changes in computer processing have left many businesses unable to compete. In order to survive, organizations must take advantage of every opportunity to reduce costs, improve quality, and provide the best service. Many companies have turned to client/server technology to guide them through the 1990s and beyond. Client/server technology is the key to developing low-cost applications with your current desktop personal computer. LAN Applications - Client/Server Databases describes the technologies behind client/server application and explores the products and procedures that can put client/server technology to work in your organization. This comprehensive book introduces you to client/server applications and the Structured Query Language (SQL). You learn about SQL server products, aware applications, and programming and development tools. By combining all the valuable information at your fingertips, you'll be able to expertly design and develop a client/server application to meet your demands. This book examines the most critical application areas being addressed by planners of large LANs; discusses the issues of downsizing and how client/server technologies can be used to host large applications on LANs; and explores the many front- and back-end products that are used to develop client/server systems. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
HQT*: a scalable distributed data structure for high-performance spatial accesses
Authors: Jonas S. Karlsson
Venue: Information organization and databases: foundations of data organization (2000)

Spatial data storage stresses the capability of conventional DBMSs. We present a scalable distributed data structure, hQT*, which offers support for efficient spatial point and range queries using order preserving hashing. It is designed to deal with skewed data and extends results obtained with scalable distributed has files, LH*, and other hashing schemas. Performance analysis shows that an hQT* file is a viable schema for distributed data access, and in contrast to traditional quad-trees it avoids long traversals of hierarchical structures. Furthermore, the novel data structure is a complete design addressing both scalable data storage and local server storage management as well as managementclients addressing. We investigate several different client updating schemes, enabling better access load distribution for may "slow" clients.
MCSE: Exchange Server 5.5 Study Guide, Third Edition with CD Rom, 3rd edition
Authors: Richard L. Easlick, James Chellis
Venue:  (2000)

:Here's the book you need to prepare for Exam 70-081, Implementing and Supporting Microsoft Exchange Server 5.5. This Microsoft Certified Professional Approved Study Guide provides: Full coverage of every exam objective--all the information you need to know Practical information on implementing Exchange Server in a real-world environment Hundreds of challenging review questions in the book and on the CD Cutting-edge exam prep software, including product simulations and electronic flashcards Authoritative coverage of critical exam topics, including: Understanding Exchange architecture Planning an Exchange environment Installing and configuring Exchange server Managing recipients Installing, configuring, and supporting Exchange clients Using forms Implementing public folders Establishing security Adding Internet connectivity Managing the Exchange environment Connecting Exchange sites Connecting to third-party mail clients and Internet Mail Service (IMS) Migrating to Exchange Featured on the CDsThe first CD contains cutting-edge exam prep software, including the Network Press EdgeTests for Exchange Server 5.5 test engine. This features all the review questions from the book, adaptive and random testing, and two bonus exams available only on the CD. Also included are Electronic Flashcards for both PCs and Palm devices and WinSim NT, a program simulator designed to prepare you for Microsoft's tough new simulation questions On the second CD, you'll find LearnKey's Exchange Server CD-ROM #1 product. This fully functional commercialCD-ROM combines live, expert MCSE video instruction with comprehensive, hands-on exercises.
Microsoft Office 2000 for Windows for Dummies Quick Reference, 1st edition
Authors: Doug Lowe, Bjoern-Erik Hartsfvang
Venue:  (1998)

:Fast answers to frequently asked questions Office 2000 essentials at your fingertips! If you like your answers quick and your information up-to-date, look no further. With this concise, superbly organized reference, you get no-nonsense explanations of all the great programs this office suite offers, including Word, Excel, PowerPoint, Access, Outlook, and Publisher. You'll also find helpful tips on using Office wizards, sharing files across applications, projects, and workgroups, and more. The Dummies Way Concise, "get it done" information Helpful alphabetical organization Convenient lay-flat binding Icons and other navigational aids A dash of humor and fun Get smart!
Zero Administration for Windows, 1st edition
Authors: Craig Zacker
Venue:  (1999)

:Microsoft developed the Windows NT Zero Administration Kit (ZAK) to help system administrators manage large numbers of client applications efficiently. "Zero Administration for Windows" provides the understanding and techniques required to automate manual configuration, customize the scripts, prevent users from creating configuration problems, and more.
Machine Translation: A Knowledge-Based Approach
Authors: Sergei Nirenburg, Jaime Carbonell, Masaru Tomita
Venue:  (1994)

:This is the first book devoted exclusively to knowledge-based machine translation. While most approaches to the machine translation for natural languages seek ways to translate source language texts into target language texts without full understanding of the text, knowledge-based machine translation is based on extracting and representing the meaning of the source text. It is scientifically the most challenging approach to the task of machine translation, and significant progress has been achieved within it in recent years. The authors introduce the general paradigm of knowledge-based MT, survey major recent developments, compare it with other approaches and present a paradigmatic view of its component processes-natural language analysis, natural language generation, text meaning representation, ontological modeling, etc. Special chapters are devoted to machine-aided translation, speech translation, and challenges and solutions for knowledge representation. Based on these analyses, as well as on a review of general trends in MT, the authors discuss interesting directions for future research and development. This book will be of interest to researchers and advanced students in machine translation, natural language processing, computational linguistics, artificial intelligence, and even to some philosophers of language and theoretical linguists.
Special Edition Using Linux with Cdrom, 4th edition
Authors: Jack Tackett, Steven Burnett
Venue:  (1998)

:Continuing in the best-selling tradition of the Special Edition Using Linux series, Special Edition Using Linux, Fourth Edition, is a one-stop comprehensive reference and tutorial for users who want to install and use Linux productively. You will learn how to perform essential tasks such as managing users and groups, setting up and using network services and managing their files and directories. This book updates the audience on the new features found in the most recent Red Hat and Caldera distributions, and also covers how to set up an Internet web server using Apache. Learn how to install Red Hat(TM) Linux 5.1 on a variety of systems--including DEC Alphas Install and configure Caldera's OpenLinux(TM) Lite Includes StarOffice for Linux, the number one office suite for Linux. Comes complete with word processing, spreadsheet, presentation and communications programs 3 CD-ROMs contain the latest versions of the Red Hat, Caldera(R) and Linux distributions along with StarOffice
The Little Audio CD Book
Authors: Robert A. Starrett, Joshua McDaniel
Venue:  (2000)

:The affordable new CD-R drives turn every computer into a potential recording studio. If you'd like to augment your music collection with CDs you burn yourself, The Little Audio CD Book is your complete and jargon-free introduction to recording audio CDsno previous experience required. The Little Audio CD Book covers the gamut of CD-R and audio restoration software packages, CD-R and CD-R/RW drives, audio file formats, and audio sources. The authors not only tell you how to choose the right hardware and software, they show you exactly how to record your own CDs from a wide variety of sources. You'll learn everything from how to digitally restore the worn tracks of your favorite old records to how to download and record those hot MP3 files from the Internet.
Instant messaging in teen life
Authors: Rebecca E. Grinter, Leysia Palen
Venue: Proceedings of the 2002 ACM conference on Computer supported cooperative work (2002)

Instant Messaging (IM) is being widely adopted by teenagers. In a study of 16 teenage IM users, we explore IM as an emerging feature of teen life, focusing our questions on its support of interpersonal communication and its role and salience in everyday life. We qualitatively describe the teens' IM use interpersonally, as well as its place in the domestic ecology. We also identify technology adoption conditions and discuss behaviors around privacy management. In this initial investigation, we found differences in the nature of use between high school and college teens, differences we propose are accounted for by teens' degree of autonomy as a function of domestic and scholastic obligations, the development of independent work practices, Internet connectivity access, and even transportation access. Moreover, while teen IM use is in part characterized as an optimizing choice between multiple communications media, practice is also tied to concerns around peer pressure, peer group membership and creating additional opportunities to socialize.
Web TV for Dummies, 2nd edition
Authors: Brad Hill
Venue:  (1998)

:WebTV is the first and easiest way to get on the Internet without a computer! From setting up and logging on for the first time to using WebTV's advanced options for finding the best Web sites, this book is an indispensable reference for families and individuals -- all you need to get started is your TV, a WebTV set-top box, and a phone line. Whether you're an Internet newcomer or a Web veteran, WebTV For Dummies is an invaluable guide to Net culture as viewed through WebTV. Inside, find helpful advice on how to Set up and log on through WebTV effortlessly Become a pro at using the WebTV remote and wireless keyboard Browse and search the Internet through WebTV Tap into kid-safe Web sites Get tips on family surfing -- including finding the best homework sites Be the first to know about upcoming WebTV features Understand the difference between basic WebTV and WebTV Plus Find the best shopping, news, local, and multimedia sites
Using Microsoft Outlook 98, 1st edition
Authors: Gordon Padwick, Bill Ray
Venue:  (1998)

:Covers the skills and activities for a Microsoft Excel Proficient and Expert user detailed in the Microsoft Office User Specialist Program guidelines.The key features of the content and approach of this book are: -Using, managing, and customizing the e-mail features. -Interoperability with Internet Explorer 4. -Using, managing, and customizing address book features, scheduling features, the Outlook folders, and other tasks features.Outlook 98 is the updated version of Microsoft's Outlook groupware front-end (included with Office) which is rapidly gaining users in major corporations. The successful sales of Que's Special Edition Using Outlook 97 are indicative of the growing popularity of Outlook.New and unique "also known as" indexing technique make Using Outlook 98 gives the reader the fastest method of finding informationExpert author specializes in in developing applications based on Microsoft Office--key to teaching Outlook 98.