ppxscal/embedding_network huggingface dataset:
The complexity of homomorphism and constraint satisfaction problems seen from the other side
Authors: Martin Grohe
Venue: Journal of the ACM (JACM) (2007)

We give a complexity theoretic classification of homomorphism problems for graphs and, more generally, relational structures obtained by restricting the left hand side structure in a homomorphism. For every class C of structures, let HOM(C,&minus;) be the problem of deciding whether a given structure A &isin;C has a homomorphism to a given (arbitrary) structure &szlig;. We prove that, under some complexity theoretic assumption from parameterized complexity theory, HOM(C,&minus;) is in polynomial time if and only if C has bounded tree width modulo homomorphic equivalence. Translated into the language of constraint satisfaction problems, our result yields a characterization of the tractable structural restrictions of constraint satisfaction problems. Translated into the language of database theory, it implies a characterization of the tractable instances of the evaluation problem for conjunctive queries over relational databases.
Blackberry Pearl Pocket Guide
Authors: Bart G. Farkas
Venue:  (2006)

Everyone knows how addictive a BlackBerry can be--they don't call them "crackberries" for nothing! Well, you haven't seen anything until you try the brand new BlackBerry Pearl. This brand new phone has it all, and it's small, smart, and stylish too. Not only does it have all the features you expect from a BlackBerry (Phone, Email and Text Messaging, Instant Messaging, Organizer, Browser) but it has some great new "Wow" features including a camera, media player, and BlackBerry Maps. In The BlackBerry Pearl Pocket Guide, trusted gadget teacher and best-selling author Bart G. Farkas reveals the secrets to using this amazing new phone: learn how to take cool pictures and share them with your colleagues, view Web pages, import songs, manage your appointments, communicate with email, text and instant messaging, retrieve maps and detailed driving directions, and even import video. This handy pocket-sized guide also walks readers through the fun lifestyle functions, from playing a new Sudoku game every day to charting your diet and exercise patterns. In this low-priced guide, you'll find compact-yet-detailed coverage of everything the BlackBerry Pearl can do, as well as all the necessary information on "why" you should use it to be more productive.
Incentive and service differentiation in P2P networks: a game theoretic approach
Authors: Richard T. B. Ma, Sam C. M. Lee, John C. S. Lui, David K. Y. Yau
Venue: IEEE/ACM Transactions on Networking (TON) (2006)

Conventional peer-to-peer (P2P) networks do not provide service differentiation and incentive for users. Therefore, users can easily obtain information without themselves contributing any information or service to a P2P community. This leads to the well known free-riding problem. Consequently, most of the information requests are directed towards a small number of P2P nodes which are willing to share information or provide service, causing the "tragedy of the commons." The aim of this paper is to provide service differentiation in a P2P network based on the amount of services each node has provided to the network community. Since the differentiation is based on nodes' prior contributions, the nodes are encouraged to share information/services with each other. We first introduce a resource distribution mechanism for all the information sharing nodes. The mechanism is distributed in nature, has linear time complexity, and guarantees Pareto-optimal resource allocation. Second, we model the whole resource request/distribution process as a competition game between the competing nodes. We show that this game has a Nash equilibrium. To realize the game, we propose a protocol in which the competing nodes can interact with the information providing node to reach Nash equilibrium efficiently and dynamically. We also present a generalized incentive mechanism for nodes having heterogeneous utility functions. Convergence analysis of the competition game is carried out. Examples are used to illustrate that the incentive protocol provides service differentiation and can induce productive resource sharing by rational network nodes. Lastly, the incentive protocol is adaptive to node arrival and departure events, and to different forms of network congestion.
Slicing as a program transformation
Authors: Martin Ward, Hussein Zedan
Venue: ACM Transactions on Programming Languages and Systems (TOPLAS) (2007)

The aim of this article is to provide a unified mathematical framework for program slicing which places all slicing work for sequential programs on a sound theoretical foundation. The main advantage to a mathematical approach is that it is not tied to a particular representation. In fact the mathematics provides a sound basis for any particular representation. We use the WSL (wide-spectrum language) program transformation theory as our framework. Within this framework we define a new semantic relation, semirefinement, which lies between semantic equivalence and semantic refinement. Combining this semantic relation, a syntactic relation (called reduction), and WSL's remove statement, we can give mathematical definitions for backwards slicing, conditioned slicing, static and dynamic slicing, and semantic slicing as program transformations in the WSL transformation theory. A novel technique of &ldquo;encoding&rdquo; operational semantics within a denotational semantics allows the framework to handle &ldquo;operational slicing&rdquo;. The theory also enables the concept of slicing to be applied to nondeterministic programs. These transformations are implemented in the industry-strength FermaT transformation system.
Building Multiservice Transport Networks (Networking Technology)
Authors: Jim Durkin, John Goodman, Frank Posse, Michael Rezek, Mike Wallace, Ron Harris
Venue:  (2006)

Aï¾ comprehensive handbook for understanding, designing, and deploying multiservice network architecture and applications Design, deploy, operate, and troubleshoot ONS 15454 applications and services Learn SONET/SDH and DWDM fundamentals Understand Multiservice Provisioning Platform (MSPP) network architectures that support Ethernet, storage area networking, wavelength, and DWDM transport applications Extend your MSPP with Cisco storage solutionsï¾ A new generation of SONET and DWDM systems providing the functions of multiple network elements in a single platform has emerged. This new platform is called a Multiservice Provisioning Platform (MSPP). MSPPs are a popular solution for building new networks and upgrading existing networks to take advantage of new services and integration of voice and data. Cisco Systems provides an MSPP product, the ONS 15454, for both service provider and enterprise networks. Cisco Systems is the market leader in MSPP technology in North America. More than 1,000 Cisco customers use the ONS 15454 MSPP in their networks and over 40,000 ONS 15454s have shipped, creating a need for accurate, comprehensive technical information for users to understand and maximize the potential of this MSPP product. Building Multiservice Transport Networks will become an indispensable reference for Cisco customers and constituents who are deploying MSPP solutions. Building Multiservice Transport Networks teaches all facets of MSPP networks in an easy-to-understand manner and from both the service provider and enterprise perspective. It provides the background material necessary for readers to learn key aspects of SONET, SDH, DWDM, Ethernet, and storage networking, and does so through network diagrams, application examples, design guidelines, and detailed configurations.
Mobile IP: enabling user mobility
Authors: Bashir Hayat, Saila Alam
Venue: Ubiquity (2006)

This review paper gives a brief insight about Mobile IP, its features and entities constituting Mobile IP environment. The paper explores the working and routing mechanism of Mobile IP with a deep insight about triangle routing in Mobile IP Version 4(MIPv4) and route optimization in Mobile IP Version 6(MIPv6). This paper discusses several security issues regarding Mobile IP implementation. This paper also highlights route optimization problems and focuses on the solution of those problems.
HTML, XHTML, and CSS, Sixth Edition (Visual Quickstart Guide)
Authors: Elizabeth Castro
Venue:  (2006)

Need to learn HTML fast? This best-selling reference's visual format and step-by-step, task-based instructions will have you up and running with HTML in no time. In this completely updated edition of our best-selling guide to HTML, Web expert and best-selling author Elizabeth Castro uses crystal-clear instructions and friendly prose to introduce you to all of today's HTML and XHTML essentials. You'll learn how to design, structure, and format your Web site. You'll create and use images, links, styles, lists, tables, frames, and forms, and you'll add sound and movies to your site. Finally, you will test and debug your site, and publish it to the Web. Along the way, you'll find extensive coverage of CSS techniques, current browsers (Opera, Safari, Firefox), creating pages for the mobile Web, and more. Visual QuickStart Guide--the quick and easy way to learn! Easy visual approach uses pictures to guide you through HTML and show you what to do. Concise steps and explanations get you up and running in no time. Page for page, the best content and value around. Companion Web site at www.cookwood.com/html offers examples, a lively question-and-answer area, updates, and more.
A method for language-specific Web crawling and its evaluation
Authors: Takayuki Tamura, Kulwadee Somboonviwat, Masaru Kitsuregawa
Venue: Systems and Computers in Japan (2007)

Many countries have created Web archiving projects aiming at long-term preservation of Web information, which is now considered precious in cultural and social aspects. However, because of its borderless character, the Web poses obstacles to comprehensively gathering information originating in a specific nation or culture.This paper proposes an efficient method for selectively collecting Web pages written in a specific language. First, a linguistic graph analysis of real Web data obtained from a large crawl is conducted in order to derive a crawling guideline, which makes use of language attributes per Web server. The guideline then is formed into a few variations of link selection strategies. Simulation-based evaluation reveals that one of the strategies, which carefully accepts newly discovered Web servers, shows superior results in terms of harvest rate&sol;coverage and runtime efficiency. &copy; 2007 Wiley Periodicals, Inc. Syst Comp Jpn, 38(2): 10&ndash;20, 2007; Published online in Wiley InterScience (). DOI 10.1002&sol;scj.20693
Generating multivariate mixture of normal distributions using a modified Cholesky decomposition
Authors: Jin Wang, Chunlei Liu
Venue: Proceedings of the 38th conference on Winter simulation (2006)

Mixture of normals is a more general and flexible distribution for modeling of daily changes in market variables with fat tails and skewness. An efficient analytical Monte Carlo method was proposed by Wang and Taaffe for generating daily changes using a multivariate mixture of normal distributions with arbitrary covariance matrix. However the usual Cholesky Decomposition will fail if the covariance matrix is not positive definite. In practice, the covariance matrix is unknown and has to be estimated. The estimated covariance may be not positive definite. We propose a modified Cholesky decomposition for semi-definite matrices and also suggest an optimal semi-definite approximation for indefinite matrices.
Attacking elliptic curve cryptosystems with special-purpose hardware
Authors: Tim Gueneysu, Christof Paar, Jan Pelzl
Venue: Proceedings of the 2007 ACM/SIGDA 15th international symposium on Field programmable gate arrays (2007)

Since their invention in the mid 1980s, Elliptic Curve Cryptosystems (ECC) have become an alternative to common Public-Key (PK) cryptosystems such as, e.g., RSA. The utilization of Elliptic Curves (EC) in cryptography is very promising because of their resistance against powerful index-calculus attacks. Providing a similar level of security as RSA, ECC allows for efficient implementation due to a significantly smaller bit size of the operands. It is widely accepted that the only feasible way to attack actual cryptosystems, if at all, is the application of dedicated hardware. In times of continuous technological improvements and increasing computing power, the question of the security of ECC against attacks based on special-purpose hardware and, in particular based on recently emerged low-cost FPGAs, arises.This work presents the first architecture with a corresponding FPGA implementation of an attack against ECC over prime fields. We describe an FPGA-based multi-processing hardware architecture for the Pollard-Rho method which is, to our knowledge, currently the most efficient attack against ECC. The implementation is running on a contemporary low-cost FPGA which allows for a much better cost-performance ratio than conventional CPUs. With the implementation at hand, a fairly accurate estimate about the cost of an FPGA-based attack can be given. We will extrapolate the results on actual ECC key lengths (128 bits and above) and estimate the expected runtimes for a successful attack. Since FPGA-based attacks are out of reach for key lengths exceeding 128 bits, we provide estimates for an ASIC design.Based on our results, currently used elliptic curve cryptosystems (160 bit and above) are infeasible to break with available computational and financial resources. However, some of the security standards proposed by the SECG in [2, 3] become subject to attacks based on low-cost FPGAs.
Automated known problem diagnosis with event traces
Authors: Chun Yuan, Ni Lao, Ji-Rong Wen, Jiwei Li, Zheng Zhang, Yi-Min Wang, Wei-Ying Ma
Venue: Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006 (2006)

Computer problem diagnosis remains a serious challenge to users and support professionals. Traditional troubleshooting methods relying heavily on human intervention make the process inefficient and the results inaccurate even for solved problems, which contribute significantly to user's dissatisfaction. We propose to use system behavior information such as system event traces to build correlations with solved problems, instead of using only vague text descriptions as in existing practices. The goal is to enable automatic identification of the root cause of a problem if it is a known one, which would further lead to its resolution. By applying statistical learning techniques to classifying system call sequences, we show our approach can achieve considerable accuracy of root cause recognition by studying four case examples.
Real World Print Production (Real World)
Authors: Claudia McCue
Venue:  (2006)

Translating inspiration to the printed page has always been a challenge. The advent of desktop publishing granted new levels of power and control to the layout artist and graphic designer, but it hasn't eliminated the traditional pitfalls. In fact, it's introduced a few new ones. Sometimes managing the disparate elements of fonts, images, colors, and more, while dealing with the quirks of various layout applications makes even the bravest designer and production editor long for the hands-on days of moveable type. Creating a great layout on your monitor is only half the battle; how do you make it work on paper? Print production expert Claudia McCue takes on the challenge of putting ink to paper, offering clear, authoritative guidance to print professionals and anyone else who has been frustrated by the obstacles of getting electronic documents to print perfectly. In this book, you'll learn how to Get the most out of page layout programs such as Adobe InDesign and QuarkXPress, and decide which is right for your needs Use image applications such as Adobe Photoshop, Adobe Illustrator, and Macromedia FreeHand to reproduce the most complicated raster and vector images flawlessly Understand how ink and paper work together, and learn how to prevent unwelcome surprises in tricky situations such as overprinting, trapping, and color registration Use Adobe Acrobat to distribute your document in a universally accessible format while preserving your layout Wrangle your fonts, and choose the best ones from among the huge array of available typefaces Preflight, or prepare your job for submission to a printer or service bureau“Claudia offers a deadly combination of wit and wisdom. If you're involved with print, buy this book!” -David Blatner, co-author Real World InDesign CS2 and Real World Photoshop CS2 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
Local linear kernel estimation of the discontinuous regression function
Authors: I. R. Sánchez-Borrego, M. D. Martínez-Miranda, A. González-Carmona
Venue: Computational Statistics (2006)

We address the problems of estimating the discontinuous regression function and also its jump points. We propose a method in two steps: we first estimate the jumps and finally the regression function is estimated by an adapted version of a local linear smoother which makes use of the estimated jumps. The practical performance of the proposed method is evaluated by using simulation studies and an application to a real-life problem.
Internet Annoyances: How to Fix the Most Annoying Things about Going Online (Annoyances)
Authors: Preston Gralla
Venue:  (2005)

What began as an intrepid U.S. Government initiative in the early 1970's has turned into a global way of life. Indeed, with more than 500 million current users (and counting), the Internet has revolutionized the way societies function the world over. From dating and shopping online, to conducting informational research, to communicating via email, today seemingly everyone uses the Internet for one purpose or another. How, then, can something so vast and powerful be defiled by something as trivial as spam? It's true. The fact remains that despite the leading-edge technological sophistication fueling the Net, there are still many related annoyances that complicate and tarnish the Internet experience. And it doesn't matter if you're a homemaker in search of a fresh chicken recipe, or a civil engineer researching plans for a new skyscraper, the problems are the same. Internet Annoyances understands the universal nature of the Internet and strives to make its use as stress-free as possible. This insightful guide shows you how to overcome the most annoying Internet-related quirks, bugs, and hassles. You'll learn how to make a seamless connection, thwart would-be hackers, ensure greater security while surfing, eliminate pop-up ads, maximize online services, conduct more effective Google searches, better utilize digital media (music and video), and much more. In addition, Internet Annoyances discusses how to design and host a personal web site something once thought of as only possible for the technically gifted. Topics like blogs, domain names, setup, HTML, fonts, and graphics and are all dissected and analyzed for easy consumption. Unlike other books on the subject, Internet Annoyances assumes readers already possess a working knowledge of the Internet. By fully recognizing the experience level of today's Internet culture, author Preston Galla is able to cut immediately to the chase and not waste time on the more obvious points. Internet Annoyances, therefore, is a quick read that presents succinct solutions for the many glitches that still populate the Internet experience.
Adobe Creative Suite 2 Workflow: Integrating the Tools, Increasing Your Productivity
Authors: Jennifer Alspach, Shari Nakano, Steve Samson
Venue:  (2005)

Adobe CS2 makes it easy to work smarter. Why not take advantage of all it has to offer? Odds are you already use Adobe's Creative Suite. Maybe you use some of its features all of the time, but you know it also includes other powerful tools you have yet to explore, because you just don't have the time. The irony is that the whole design of Creative Suite is intended to save you time--the applications and tools included in the product work together seamlessly, making it possible for designers like you to work incredibly efficiently, from file creation to distribution. This book can help you quickly learn how to take advantage of all that CS2 has to offer. By following its concise explanations and step-by-step exercises, you'll soon learn core skills and techniques that will enable you to create an integrated workflow that will not only save you lots of time, but will also give you more flexibility to move between applications to make necessary tweaks, try out new ideas, and create portable files for review. Adobe Creative Suite 2 Workflow will help you: Master Version Cue and Bridge: the hub for Creative Suite 2 Use CS2 more effectively everyday, on all kinds of projects Know which applications are best to use for specific tasks Learn how to combine applications for peak efficiency Answer the top 15 "How Do I?" questions for every CS2 application With full-color examples and dozens of practical tips and tricks, this book is the working professional's guide to getting the most out of all of your CS2 tools.
QuickBooks 2007 QuickSteps, 1 edition
Authors: Cindy Fox
Venue:  (2007)

Step-by-Step, Full-Color Graphics! Get started using QuickBooks 2007 right away--the QuickSteps way. Color screenshots and clear instructions show you how to use all the new and improved features available in this powerful small business financial software. Follow along and learn to customize QuickBooks for your business, set up accounts, handle bookkeeping,process invoices, manage payroll, and much more. Plus, it's easy to flip straight to the information you need using the color-coded tabs. Get the book that gets you started using QuickBooks 2007 in no time.In each chapter:Shortcuts for accomplishing common tasksNeed-to-know facts in concise narrativeHelpful reminders or alternate ways of doing things Bonus information related to the topic being coveredErrors and pitfalls to avoid Table of contentsChapter 1. Stepping into QuickBooks 2007Chapter 2. Creating a Company FileChapter 3. Working with ListsChapter 4. Setting Up and Using Your Bank AccountsChapter 5. Entering and Paying BillsChapter 6. Selling Products and ServicesChapter 7. Managing Inventory ItemsChapter 8. Customizing the Maintaining QuickBooksChapter 9. Paying Employees and Taxes and Tracking TimeChapter 10. Creating ReportsIndex 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