ppxscal/embedding_network huggingface dataset:
PHPUnit Pocket Guide
Authors: Sebastian Bergmann
Venue:  (2005)

Smart web developers will tell you that the sooner you detect your code mistakes, the quicker you can fix them, and the less the project will cost in the long run. Well, the most efficient way to detect your mistakes in PHP is with PHPUnit, an open source framework that automates unit testing by running a battery of tests as you go. The benefits of PHPUnit are significant:a reduction in the effort required to frequently test codefewer overall defectsadded confidence in your codeimproved relations with your open source teammatesThe only problem with this popular testing tool was its lack of documentation-until now, that is. For this, O'Reilly went right to the source, as Sebastian Bergmann, the author of PHPUnit Pocket Guide, also happens to be PHPUnit's creator. This little book brings together hard-to-remember information, syntax, and rules for working with PHPUnit. It also delivers the insight and sage advice that can only come from the technology's creator. Coverage of testing under agile methodologies and Extreme Programming (XP) is also included.The latest in O'Reilly's series of handy Pocket Guides, this quick-reference book puts all the answers are right at your fingertips. It's an invaluable companion for anyone interested in testing the PHP code they write for web applications. 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
Automatic building of structured geological models
Authors: Sylvain Brandel, Sébastien Schneider, Michel Perrin, Nicolas Guiard, Jean-François Rainaud, Pascal Lienhardt, Yves Bertrand
Venue: Proceedings of the ninth ACM symposium on Solid modeling and applications (2004)

The present article proposes a method to significantly improve the construction and updating of 3D geological models used for oil and gas exploration. The proposed method takes advantage of the specific structures which characterize geological objects. We present a prototype of a "geological pilot" which enables monitoring the automatic building of a 3D model topologically and geologically consistent, starting from a set of unsegmented surfaces. The geological pilot uses a "Geological Evolution Scheme" (GES) which records all the interpretation elements that the exploration geologist, who is the end user, wishes to introduce into the model. The model building is performed by reading instructions deduced from the GES. Topology is dealt with step by step by using a "3D Generalized Maps" (3-G-Maps) data model enriched to enable the manipulation of objects having specific geological attributes. The result is a correct 3D model on which geological links between objects can easily be visualized. This model can automatically be revised in case of changes in the geometric data or in the interpretation. In its final version, the created modular tool will be plugged in 3D modelers currently used in exploration geology in order to improve their performance.
Linguistic support for modern operating systems workshop on programming languages and operating systems 2006 (PLOS 2006)
Authors: Christian W. Probst, Andreas Gal, Robert Grimm, Olaf Spinczyk
Venue: Proceedings of the 3rd workshop on Programming languages and operating systems: linguistic support for modern operating systems (2006)

This report gives an overview over the Workshop on Programming Languages and Operating Systems (PLOS 2006), which was colocated with ASPLOS XII. It introduces the motivation for the work-shop and gives a summary of the workshop contributions.
Content Manager Implementation And Migration Cookbook
Venue:  (2006)

This IBM Redbook deals with IBM DB2 Content Manager implementation and migration. It is aimed at architects, designers, developers, and system administrators of Content Manager systems. We cover the basic concepts needed to design and implement a Content Manager solution. This includes topics on data modeling, workflow, text indexing and search, application development, query language, security, and Tivoli Storage Manager (TSM) overview. In addition, we cover the solution implementation process from planning and designing, to deployment. To put concepts into real practice, we provide practical case studies to demonstrate how to implement a Content Manager solution for real-world scenarios. We also deal with IBM DB2 Content Manager migration. This includes migration on Multiplatforms, for TSM, and for Content Manager custom applications. In addition, we describe an approach and process for special migration scenarios such as cross platform migration and migration from a third-party product. Once a Content Manager system is implemented or migrated, it is important to maintain the system. We discuss maintenance, performance tuning, and troubleshooting issues for a production Content Manager system. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Microsoft Office Excel 2007 QuickSteps, 1 edition
Authors: John Cronan
Venue:  (2006)

Step-by-Step, Full-Color Graphics!Get started using Microsoft Office Excel 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 premier spreadsheet program. Follow along and learn to work with the new Office interface and ribbon, create workbooks, use Excel's XML file formats, enter and edit data, use formulas and functions, create charts and tables, analyze data, and 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 Excel 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 avoidTable of contentsChapter 1. Stepping into ExcelChapter 2. Entering and Editing DataChapter 3. Formatting a WorksheetChapter 4. Using Formulas and FunctionsChapter 5. Printing DataChapter 6. Charting DataChapter 7. Working with GraphicsChapter 8. Managing DataChapter 9. Analyzing and Sharing DataChapter 10. Extending Excel 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
.Mac (Visual QuickStart Guide)
Authors: David Reynolds
Venue:  (2005)

If you've signed up for Apple's $99 .Mac service, you're in good company--over 500,000 users have signed up for this terrific collection of online services and software. But if you don't have a lot of time to learn all of .Mac's features, this slim, task-based volume will show you just what you need to get started. This book leads you along the quickest, easiest route to setting up and using .Mac: how to use iDisk to store, share, and back up files; how to create a Web site with HomePage; how to post iPhoto photos and iMovie videos to your Web site; how to use iSync to keep your calendar and address books synched across your devices and Macs; how to protect your computer from viruses with Virex; how to share iCal calendars with others, and how to use .Mac's Web mail feature. Each task is illustrated with large, colorful screen shots and clear, step-by-step instructions. 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
Three integer programming problems
Authors: H. P. Williams
Venue: Issue 16 (April 1974) (1974)

The following is an informal and condensed version of the paper presented at the 1973 Mathematical Programming Symposium in Stanford. At that symposium the title was EXPERIMENTS IN THE FORMULATION OF INTEGER PROGRAMMING PROBLEMS. That paper has been more fully written up under that title and can be obtained from the author on request. All references are given there.
The maximum resource bin packing problem
Authors: Joan Boyar, Leah Epstein, Lene M. Favrholdt, Jens S. Kohrt, Kim S. Larsen, Morten M. Pedersen, Sanne Wøhlk
Venue: Theoretical Computer Science (2006)

Usually, for bin packing problems, we try to minimize the number of bins used or in the case of the dual bin packing problem, maximize the number or total size of accepted items. This paper presents results for the opposite problems, where we would like to maximize the number of bins used or minimize the number or total size of accepted items. We consider off-line and on-line variants of the problems.For the off-line variant, we require that there be an ordering of the bins, so that no item in a later bin fits in an earlier bin. We find the approximation ratios of two natural approximation algorithms, First-Fit-Increasing and First-Fit-Decreasing for the maximum resource variant of classical bin packing.For the on-line variant, we define maximum resource variants of classical and dual bin packing. For dual bin packing, no on-line algorithm is competitive. For classical bin packing, we find the competitive ratio of various natural algorithms.We study the general versions of the problems as well as the parameterized versions where there is an upper bound of 1/k on the item sizes, for some integer k.
Incorporating human behavior in healthcare simulation models
Authors: Sally C. Brailsford, Jennifer Sykes, Paul R. Harper
Venue: Proceedings of the 38th conference on Winter simulation (2006)

For many years, simulation has been used to evaluate the outcomes from medical interventions designed to improve patients' health. However in practice these outcomes can be greatly affected by patient behavior. For example, patients may not complete a course of a prescribed medication because they find the side-effects unpleasant. A study designed to evaluate this medication which ignores such behavioral factors may give unreliable results. In this paper we discuss some of the issues involved in incorporating human factors in simulation models, and we describe two models for screening for different diseases which have attempted to include behavioral factors.
A direct Eulerian GRP scheme for compressible fluid flows
Authors: Matania Ben-Artzi, Jiequan Li, Gerald Warnecke
Venue: Journal of Computational Physics (2006)

A direct Eulerian generalized Riemann problem (GRP) scheme is derived for compressible fluid flows. Riemann invariants are introduced as the main ingredient to resolve the generalized Riemann problem (GRP) directly for the Eulerian formulation. The crucial auxiliary Lagrangian scheme in the original GRP scheme is not necessary in the present framework. The delicate sonic cases can be easily treated and the extension to multidimensional cases is obtained using the dimensional splitting technique.
IPv6 Essentials
Authors: Silvia Hagen
Venue:  (2006)

IPv6 Essentials, Second Edition provides a succinct, in-depth tour of all the new features and functions in IPv6. It guides you through everything you need to know to get started, including how to configure IPv6 on hosts and routers and which applications currently support IPv6. The new IPv6 protocols offers extended address space, scalability, improved support for security, real-time traffic support, and auto-configuration so that even a novice user can connect a machine to the Internet. Aimed at system and network administrators, engineers, network designers, and IT managers, this book will help you understand, plan for, design, and integrate IPv6 into your current IPv4 infrastructure. Beginning with a short history of IPv6, author Silvia Hagen provides an overview of new functionality and discusses why we need IPv6. Hagen also shares exhaustive discussions of the new IPv6 header format and Extension Headers, IPv6 address and ICMPv6 message format, Security, QoS, Mobility and, last but not least, offers a Quick Start Guide for different operating systems. IPv6 Essentials, Second Edition also covers:In-depth technical guide to IPv6Mechanisms and Case Studies that show how to integrate IPv6 into your network without interruption of IPv4 servicesRouting protocols and upper layer protocolsSecurity in IPv6: concepts and requirements. Includes the IPSEC framework and security elements available for authentication and encryptionQuality of Service: covers the elements available for QoS in IPv6 and how they can be implementedDetailed discussion of DHCPv6 and Mobile IPv6Discussion of migration cost and business caseGetting started on different operating systems: Sun Solaris, Linux, BSD, Windows XP, and Cisco routersWhether you're ready to start implementing IPv6 today or are planning your strategy for the future, IPv6 Essentials, Second Edition will provide the solid foundation you need to get started."Silvia's look at IPv6 is always refreshing as she translates complex technology features into business drivers and genuine end-user benefits to enable building new business concepts based on end to end models." Latif Ladid, President IPv6 Forum, Chair EU IPv6 Task Force
Operating system enhancement through microprogramming
Authors: George E. Brown, Richard H. Eckhouse,  Jr., Robert P. Goldberg
Venue: ACM SIGMICRO Newsletter (1976)

Microprogramming support for the enhancement of operating system design is described briefly, organization structure of real-time operating systems are examined, and criteria proposed for determining which functions are best candidates for implementation in firmware. A suitable microprogrammed computer is selected and avenues for additional research are recommended.
MicrodataNews
Authors: Stanley Habib
Venue: ACM SIGMICRO Newsletter (1974)

IRVINE, California -- The MICRO-ONE, a high-speed microprogrammed microprocessor designed to sell for less than $1,000, has been introduced by Microdata Corporation.
Two beads for Saint Jude
Authors: Gene Woolsey
Venue: Issue 17 (November 1974) (1974)

In a note of Rustagi and Doub [1], it was asserted that: "Whether it is a fighter airplane, a ship, or a tank, the basic structure of the optimal armor allocation decision process seems to be the same:. This statement was then followed by an excellent formulation of the optimal armor allocation problem as a dynamic program for a tank. It was strongly implied that the same formulation, or a similar one, using dynamic programming in any case could be extended to a ship or a plane. However, it should be considered that the optimal armoring of a fighter plane may introduce additional constraints to a level where dynamic programming may become computationally infeasible.
A mixed integer programming formulation for a textile operation
Authors: James A. Nolting
Venue: Issue 16 (April 1974) (1974)

This model was developed for the Synthetic Fabrics Division of the Standard Oil Company of Indiana. They make woven polypropylene fabrics to be used for carpet backing and industrial bags. The mill is in the enviable position of being able to operate at capacity, and orders for this product must normally be made a couple of months in advance. 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
Network Security Tools
Authors: Nitesh Dhanjani, Justin Clarke
Venue:  (2005)

This concise, high-end guide shows experienced administrators how to customize and extend popular open source security tools such as Nikto, Ettercap, and Nessus. It also addresses port scanners, packet injectors, network sniffers, and web assessment tools. Network Security Tools is the one resource you want at your side when locking down your network.
Finding the most unusual time series subsequence: algorithms and applications
Authors: Eamonn Keogh, Jessica Lin, Sang-Hee Lee, Helga Van Herle
Venue: Knowledge and Information Systems (2006)

In this work we introduce the new problem of finding time seriesdiscords. Time series discords are subsequences of longer time series that are maximally different to all the rest of the time series subsequences. They thus capture the sense of the most unusual subsequence within a time series. While discords have many uses for data mining, they are particularly attractive as anomaly detectors because they only require one intuitive parameter (the length of the subsequence) unlike most anomaly detection algorithms that typically require many parameters. While the brute force algorithm to discover time series discords is quadratic in the length of the time series, we show a simple algorithm that is three to four orders of magnitude faster than brute force, while guaranteed to produce identical results. We evaluate our work with a comprehensive set of experiments on diverse data sources including electrocardiograms, space telemetry, respiration physiology, anthropological and video datasets.
Beyond Reality: A Guide to Alternate Reality Gaming
Authors: John W. Gosney
Venue:  (2005)

Coverage includes- John W. Gosney is currently the director of information technology for the Indiana University School of Dentistry. John has worked in both the publishing and pharmaceutical industries as an application developer, technical writer, and training consultant, and he writes extensively on all facets of the IT arena, from market analysis and forecasts to guidebooks on a variety of topics. John is also associate faculty for the Indiana University School of Liberal Arts (Indianapolis campus), where he teaches a variety of literature and American Studies courses. Through the use of novel pedagogies and the integration of various technologies including blogging, Web design, and computer gaming, John encourages his students to consider and explore the larger inter-textual relationships found within everything they read. Through his teaching and research, John is also interested in how technology-especially Webbased technologies-can further enhance the delivery of curriculum to both secondary and post-secondary students, across a broad spectrum of subjects and issues. John received his B.A. in technical writing and psychobiology from Purdue University. In 1996, he was awarded an M.A. in English from Butler University.When not working, he enjoys spending time with his family and furthering his reputation as an expert in all things popular culture. No previous gaming experience is required; however, for experienced gamers, this book serves as provides extensive resources (e.g. Web sites, etc.) for being involved in an ARG. Participate in the Route 66 ARG contained within the pages of the book. 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
Polygonal shape description for recognition of partially occluded objects
Authors: Filip Krolupper, Jan Flusser
Venue: Pattern Recognition Letters (2007)

We introduce a new method for the recognition of partially occluded objects represented only by their contours. Object description, which stems from the inflection point detection, approximates the object by polygon and is affine invariant. The matching algorithm is simple and easy to implement.
The Radial Topology Algorithm--A New Approach for Deriving 2.5D GIS Data Models
Authors: Ulrich Lenk, Christian Heipke
Venue: Geoinformatica (2006)

In this paper a new method for the combination of 2D GIS vector data and 2.5D DTM represented by triangulated irregular networks (TIN) to derive integrated triangular 2.5D object-based landscape models (also known as 2.5D-GIS-TIN) is presented. The algorithm takes into account special geometric constellations and fully exploits existing topologies of both input data sets, it "sews the 2D data into the TIN like a sewing-machine" while traversing the latter along the 2D data. The new algorithm is called radial topology algorithm. We discuss its advantages and limitations, and describe ways to eliminate redundant nodes generated during the integration process. With the help of four examples from practical work we show that it is feasible to compute and work with such integrated data sets. We also discuss the integrated data models in the light of various general requirements and conclude that the integration based on triangulations has a number of distinct advantages.
Processing-microstructure-resulting materials properties of LIGA Ni
Authors: K. Lian, J. C. Jiang, Z. G. Ling
Venue: Microsystem Technologies (2006)

Electroplated nickel is the main material used in LIGA technique for fabricating MicroElectroMechanical System (MEMS) components. This paper presents the recent results regarding LIGA Ni material property enhancement at Center for Advanced Microstructures and Devices at Louisiana State University. The methodology of this study is based on the fundamental materials science paradigm that processing and manufacturing determine the microstructure of materials, which results in specific properties, and governs the performance of the structures that are made from these materials. This paper will focus on results in three aspects of our current research efforts, which are: (1) manipulating the plating parameters to tailor deposited Ni microstructures for different grain size distributions that are in the range of tens nanometer in diameters; (2) analyzing the mechanical properties, such as nano-hardness, micro-hardness, and wearing property as the function of LIGA Ni metallurgical microstructures; (3) estimating the corrosion properties of nanocrystalline LIGA Ni.
Classifier hierarchy learning by means of genetic algorithms
Authors: J. M. Martínez-Otzeta, B. Sierra, E. Lazkano, A. Astigarraga
Venue: Pattern Recognition Letters (2006)

Classifier combination falls in the so called data mining area. Its aim is to combine some paradigms from the supervised classification - sometimes with a previous non-supervised data division phase - in order to improve the individual accuracy of the component classifiers. Formation of classifier hierarchies is an alternative among the several methods of classifier combination. In this paper we present a novel method to find good hierarchies of classifiers for given databases. In this new proposal, a search is performed by means of genetic algorithms, returning the best individual according to the classification accuracy over the dataset, estimated through 10-fold cross-validation. Experiments have been carried out over 14 databases from the UCI repository, showing an improvement in the performance compared to the single classifiers. Moreover, similar or better results than other approaches, such as decision tree bagging and boosting, have been obtained.