ppxscal/embedding_network huggingface dataset:
Mesoscopic simulation of Ostwald ripening
Authors: David J. Horntrop
Venue: Journal of Computational Physics (2006)

The self-organization of particles in a two phase system in the coexistence region through a diffusive mechanism is known as Ostwald ripening. This phenomenon is an example of a multiscale problem in that the microscopic level interaction of the particles can greatly impact the macroscale or observable morphology of the system. Ostwald ripening is studied here through the use of a mesoscopic model which is a stochastic partial integrodifferential equation that is derived from a spin exchange Ising model. This model is studied through the use of recently developed and benchmarked spectral schemes for the simulation of solutions to stochastic partial differential equations. The typical cluster size is observed to grow like t1/3 over range of times with faster growth at later times. The results included here also demonstrate the effect of adjusting the interparticle interaction on the morphological evolution of the system at the macroscopic level.
Design team composition for high level language computer architectures
Authors: Lyle A. Cox,  Jr., James R. McGraw, Charles S. Wetherell
Venue: ACM SIGARCH Computer Architecture News (1978)

Recently the declining costs of computer hardware, combined with the rapidly increasing costs of software systems have led to considerable discussion of computer organizations. When a computing system is viewed as a data structure, a control structure, and a processing structure designed to execute algorithms, it is reasonable to consider how this system can be optimized in both a hardware sense, and in the sense of reducing the total system software costs. A reasonable approach to greater efficiency is to design computer systems whose structure more closely resembles that of the higher level language in which the algorithms are to be expressed.
Real World Aperture (Real World)
Authors: Ben Long
Venue:  (2006)

Released to near universal acclaim, Apple's Aperture is an all-in-one post-production tool for professional photographers. Featuring a RAW-focused workflow, Aperture lets photographers import, edit, catalog, organize, retouch, publish, and archive images more effectively and efficiently than ever before. In this guide, best-selling author Ben Long takes Aperture users to the next level, providing them with a more in-depth understanding of Aperture's tools, as well as lots of tips and work-arounds to get the most out of the program. In addition, the coverage of fundamental raw theory and practice will help the reader master the program's high-end editing features. More than just a step-by-step tutorial, this book will help photographers develop a fundamental understanding of the philosophy and approach that underlies Aperture's design. Aperture is now available and retails at $299
Three-Level Caching for Efficient Query Processing in Large Web Search Engines
Authors: Xiaohui Long, Torsten Suel
Venue: World Wide Web (2006)

Large web search engines have to answer thousands of queries per second with interactive response times. Due to the sizes of the data sets involved, often in the range of multiple terabytes, a single query may require the processing of hundreds of megabytes or more of index data. To keep up with this immense workload, large search engines employ clusters of hundreds or thousands of machines, and a number of techniques such as caching, index compression, and index and query pruning are used to improve scalability. In particular, two-level caching techniques cache results of repeated identical queries at the frontend, while index data for frequently used query terms are cached in each node at a lower level. We propose and evaluate a three-level caching scheme that adds an intermediate level of caching for additional performance gains. This intermediate level attempts to exploit frequently occurring pairs of terms by caching intersections or projections of the corresponding inverted lists. We propose and study several offline and online algorithms for the resulting weighted caching problem, which turns out to be surprisingly rich in structure. Our experimental evaluation based on a large web crawl and real search engine query log shows significant performance gains for the best schemes, both in isolation and in combination with the other caching levels. We also observe that a careful selection of cache admission and eviction policies is crucial for best overall performance.
The Game Producer's Handbook
Authors: Dan Irish
Venue:  (2005)

Coverage includes- DAN IRISH is formerly Executive Producer at Relic Entertainment, where he was responsible for Homeworld2, the sequel to the 1999 Game of the Year, Homeworld. Prior to working at Relic Entertainment, he was the producer responsible for the Myst/Riven franchise at Mattel Interactive and UbiSoft Entertainment, where he produced or started development of several Myst-related products, including realMyst, Myst III: Exile, and Myst IV: Revelation. Prior to working at Mattel Interactive, he held positions at Rocket Science Games, Spectrum HoloByte, and SegaSoft. He has also consulted on a number of interactive entertainment opportunities for such clients as DreamWorks Interactive, Evans & Sutherland's Digital Theater Division, Game Audio Network Guild, Auran Games, and Hanbitsoft. Explains the differences and similarities of producing for various media forms. Covers successful techniques for working with corporate executives and decision makers. Starts at the beginning, explaining what a producer does and the types of producer roles that exist. Explains how a producer effectively conveys a winning video game vision.
Visual Basic 2005 Demystified, 1 edition
Authors: Jeff Kent
Venue:  (2005)

There’s no easier, faster, or more practical way to learn the really tough subjects Visual Basic 2005 Demystified fully explains the language and its libraries and applications. You’ll even learn to create a Visual Basic program without writing code. This self-teaching guide comes complete with key points, background information, quizzes at the end of each chapter, and even a final exam. Simple enough for beginners but challenging enough for advanced students, this is a lively and entertaining brush-up, introductory text, or classroom supplement. Table of contentsPart One: Introduction to Visual Basic 2005Chapter 1: Getting Started with Your First Windows ProgramChapter 2: Writing Your First CodeChapter 3: ControlsPart Two: Programming Building Blocks: Variables, Data Types, and OperatorsChapter 4: Storing Information -- Data Types and VariablesChapter 5: Letting the Program Do the Math -- Arithmetic OperatorsChapter 6: Making Comparisons -- Comparison and Logical OperatorsPart Three: Controlling the Flow of the ProgramChapter 7: Making Choices -- If and Select Case Control StructuresChapter 8: Repeating Yourself -- Loops and ArraysChapter 9: Organizing Your Code with ProceduresPart Four: The User InterfaceChapter 10: Helper FormsChapter 11: MenusChapter 12: ToolbarsPart Five: Accessing DataChapter 13: Accessing Text FilesChapter 14: DatabasesChapter 15: Web ApplicationsFINAL EXAMANSWERS TO QUIZZES AND FINAL EXAMINDEXChapter 11: Menus and ToolbarsChapter 12: Structured Exception Handling and Debugging 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
CompTIA A+ Exam Cram (Exams 220-602, 220-603, 220-604) (Exam Cram)
Authors: Charles J. Brooks
Venue:  (2007)

CD Features Practice Essentials Exam, IT Tech Practice Exam, Depot Practice Exam, and Remote Support Practice ExamIn This Book You'll Learn How To: Recognize the different types and forms of computer memory Identify different computer cables and connectors Troubleshoot IRQ conflicts and other computer resource problems Identify and troubleshoot common computer motherboard components Install core PC components, such as motherboards, processors, and memory Install and maintain multiple computer peripherals Identify network architectures and topologies Troubleshoot operating system problems Describe the core functions of Windows NT/2000/XP and Windows 9x operating systems Discover effective DOS commands excellent for troubleshooting Use the DOS operating system or command lines when your GUI is unavailable Recover from system startup failures Use and troubleshoot Windows Networking Effectively prepare yourself for exam dayCD Features Practice Exams!Ready to test your skills? Want to find out if you're ready for test day? Use the practice tests supplied on this CD to help prepare you for the big day. Test yourself, and then check your answers. Coupled with the in-depth material in the book, this is the ultimate one-two A+ study preparation package!Charles J. Brooks is currently co-owner and vice president of Educational Technologies Group Inc., as well as co-owner of eITPrep LLP, an online training company. He is in charge of research and product development at both organizations. A former electronics instructor and technical writer with the National Education Corporation, Charles taught and wrote on post-secondary EET curriculum, including introductory electronics, transistor theory, linear integrated circuits, basic digital theory, industrial electronics, microprocessors, and computer peripherals. Charles has authored several books, including the first five editions of A+ Certification Training Guide, The Complete Introductory Computer Course, and IBM PC Peripheral Troubleshooting and Repair. He also writes about networking, residential technology integration, and convergence.U.S. $44.99CAN. $55.99U.K. £31.99 (inc. of VAT)
On an initial transient deletion rule with rigorous theoretical support
Authors: Hernan P. Awad, Peter W. Glynn
Venue: Proceedings of the 38th conference on Winter simulation (2006)

We study an initial transient deletion rule proposed by Glynn and Iglehart. We argue that it has desirable properties both from a theoretical and practical standpoint; we discuss its bias reducing properties, and its use both in the single replication setting and in the multiple replications / parallel processing context.
C++ Cookbook (Cookbooks (O'Reilly))
Authors: D. Ryan Stephens, Christopher Diggins, Jonathan Turkanis, Jeff Cogswell
Venue:  (2005)

Despite its highly adaptable and flexible nature, C++ is also one of the more complex programming languages to learn. Once mastered, however, it can help you organize and process information with amazing efficiency and quickness. The C++ Cookbook will make your path to mastery much shorter. This practical, problem-solving guide is ideal if you're an engineer, programmer, or researcher writing an application for one of the legions of platforms on which C++ runs. The algorithms provided in C++ Cookbook will jump-start your development by giving you some basic building blocks that you don't have to develop on your own. Less a tutorial than a problem-solver, the book addresses many of the most common problems you're likely encounter--whether you've been programming in C++ for years or you're relatively new to the language. Here are just some of the time-consuming tasks this book contains practical solutions for: Reading the contents of a directory Creating a singleton class Date and time parsing/arithmetic String and text manipulation Working with files Parsing XML Using the standard containers Typical of O'Reilly's "Cookbook" series, C++ Cookbook is written in a straightforward format, featuring recipes that contain problem statements and code solutions, and apply not to hypothetical situations, but those that you're likely to encounter. A detailed explanation then follows each recipe in order to show you how and why the solution works. This question-solution-discussion format is a proven teaching method, as any fan of the "Cookbook" series can attest to. This book will move quickly to the top of your list of essential C++ references.
Medical image segmentation, volume representation and registration using spheres in the geometric algebra framework
Authors: Rivera-Rovelo Jorge, Bayro-Corrochano Eduardo
Venue: Pattern Recognition (2007)

This paper presents an algorithm to model volumetric data and other one for non-rigid registration of such models using spheres formulated in the geometric algebra framework. The proposed algorithm for modeling, as opposite to the Union of Spheres method, reduces the number of entities (spheres) used to model 3D data. Our proposal is based in marching cubes idea using, however, spheres, while the Union of Spheres uses Delaunay tetrahedrization. The non-rigid registration is accomplished in a deterministic annealing scheme. At the preprocessing stage we segment the objects of interest by a segmentation method based on texture information. This method is embedded in a region growing scheme. As our final application, we present a scheme for surgical object tracking using again geometric algebra techniques.
Bulletproof Ajax (Voices That Matter)
Authors: Jeremy Keith
Venue:  (2007)

Step-by-step guide reveals best practices for enhancing Web sites with Ajax A step-by-step guide to enhancing Web sites with Ajax. Uses progressive enhancement techniques to ensure graceful degradation (which makes sites usable in all browsers). Shows readers how to write their own Ajax scripts instead of relying on third-party libraries.Web site designers love the idea of Ajax--of creating Web pages in which information can be updated without refreshing the entire page. But for those who aren't hard-core programmers, enhancing pages using Ajax can be a challenge. Even more of a challenge is making sure those pages work for all users. In Bulletproof Ajax, author Jeremy Keith demonstrates how developers comfortable with CSS and (X)HTML can build Ajax functionality without frameworks, using the ideas of graceful degradation and progressive enhancement to ensure that the pages work for all users. Throughout this step-by-step guide, his emphasis is on best practices with an approach to building Ajax pages called Hijax, which improves flexibility and avoids worst-case scenarios.
On simultaneous confidence intervals for all contrasts in the means of the intraclass correlation model with missing data
Authors: Takashi Seo, Jun Kikuchi, Kazuyuki Koizumi
Venue: Journal of Multivariate Analysis (2006)

In this paper, we consider simultaneous confidence intervals for all contrasts in the means when the observations are missing at random in the intraclass correlation model. An exact test statistic for the equality of the means and Scheffé, Bonferroni and Tukey types of simultaneous confidence intervals are given by an extension of Bhargava and Srivastava [On Tukey's confidence intervals for the contrasts in the means of the intraclass correlation model, J. Royal Statist. Soc. B35 (1973) 147-152] when the missing observations are of the monotone type. Finally, numerical results of simultaneous confidence intervals are presented.
Exploiting web browsing histories to identify user needs
Authors: Fabio Gasparetti, Alessandro Micarelli
Venue: Proceedings of the 12th international conference on Intelligent user interfaces (2007)

Browsing activities are an important source of information to build profiles of the user interests and personalize the human-computer interaction during information seeking tasks. Visited pages are easily collectible, e.g., from browsers' histories and toolbars, or desktop search tools, and they often contain documents related to the current user needs. Nevertheless, menus, advertisements or pages that cover multiple topics affect negatively the advantages of an implicit feedback technique that exploits these data to build and keep updated user profiles. This work describes a technique to collect text relevant to the current needs from sequences of pages visited by the user. The evaluation shows how it outperforms other techniques that consider the whole page contents. We also introduce an improvement based on machine learning techniques that is currently under evaluation.
Bipolar possibility theory in preference modeling: Representation, fusion and optimal solutions
Authors: Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade
Venue: Information Fusion (2006)

The bipolar view in preference modeling distinguishes between negative and positive preferences. Negative preferences correspond to what is rejected, considered unacceptable, while positive preferences correspond to what is desired. But what is tolerated (i.e., not rejected) is not necessarily desired. Both negative and positive preferences can be a matter of degree. Bipolar preferences can be represented in possibilistic logic by two separate sets of formulas: prioritized constraints, which describe what is more or less tolerated, and weighted positive preferences, expressing what is particularly desirable. The problem of merging multiple-agent preferences in this bipolar framework is then discussed. Negative and positive preferences are handled separately and are combined in distinct ways. Since negative and positive preferences are stated separately, they may be inconsistent, especially in this context of preference fusion. Consistency can be enforced by restricting what is desirable to what is tolerated. After merging, and once the bipolar consistency is restored, the set of preferred solutions can be logically characterized. Preferred solutions should have the highest possible degree of feasibility, and only constraints with low priority may have to be discarded in case of inconsistency inside negative preferences. Moreover, preferred solutions should satisfy important positive preferences when feasible (positive preferences may be also inconsistent). Two types of preferred solutions can be characterized, either in terms of a disjunctive combination of the weighted positive preferences, or in terms of a cardinality-based evaluation.
Particle-in-cell method for parallel dynamics in magnetized electron plasmas: study of high-amplitude BGK modes
Authors: F. Peinetti, F. Peano, G. Coppa, J. Wurtele
Venue: Journal of Computational Physics (2006)

The present paper describes the numerical technique that has been developed, in the framework of the particle-in-cell (PIC) method, to study the dynamics of a nonneutral plasma along the magnetic field lines. In particular, the technique has been employed to simulate the formation and long-term evolution of large-amplitude electrostatic waves experimentally observed in electron plasmas confined in a Penning trap [W. Bertsche, J. Fajans, L. Friedland, Phys. Rev. Lett. 91 (2003) 265003]. Due to the peculiar features of the physical system, namely the existence of different time scales and the presence of a perturbative oscillating potential, ad hoc numerical techniques have been developed. In particular, with a suitable radial decomposition all important two-dimensional phenomena are fully taken into account while keeping the computational effort to that of a standard one-dimensional PIC codes. Moreover, a novel particle loading technique (ergodic loading) has been developed, which ensures a significant reduction of numerical noise. The results obtained with the present technique are in excellent agreement with the experiments [F. Peinetti, W. Bertsche, J. Fajans, J. Wurtele, L. Friedland, Phys. Plasmas 12 (2005) 062112]. Moreover, results presented here furnish clear evidences of the close relationship between the observed nonlinear structures and the Bernstein-Greene-Kruskal modes.
Reasoning about ACL2 file input
Authors: Jared Davis
Venue: Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications (2006)

We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about file-reading operations. We develop a low level library for reasoning about the primitive input routines. We then develop a representation for Unicode text, and implement efficient functions to translate our representation to and from the UTF-8 encoding scheme. We introduce an efficient function to read UTF-8-encoded files, and prove that when files are well formed, the function produces valid Unicode text which corresponds to the contents of the file.We find exhaustive testing to be a useful technique for proving many theorems in this work. We show how ACL2 can be directed to prove a theorem by exhaustive testing.
On the order of accuracy for difference approximations of initial-boundary value problems
Authors: Magnus Svärd, Jan Nordström
Venue: Journal of Computational Physics (2006)

Finite difference approximations of the second derivative in space appearing in, parabolic, incompletely parabolic systems of, and 2nd-order hyperbolic, partial differential equations are considered. If the solution is pointwise bounded, we prove that finite difference approximations of those classes of equations can be closed with two orders less accuracy at the boundary without reducing the global order of accuracy.This result is generalised to initial-boundary value problems with an mth-order principal part. Then, the boundary accuracy can be lowered m orders.Further, it is shown that schemes using summation-by-parts operators that approximate second derivatives are pointwise bounded. Linear and nonlinear computations, including the two-dimensional Navier-Stokes equations, corroborate the theoretical results.
MCSE Self-Paced Training Kit (Exam 70-297): Designing a Microsoft Windows Server 2003 Active Directory and Network Infrastructure
Authors: Walter Glenn, Michael T. Simpson
Venue:  (2003)

Get all new, in-depth exam prep for 70-297, a core MCSE design exam for Windows Server 2003-as you build real-world job skills. Features 300 practice questions, full review, case studies, troubleshooting labs, trial software, exam discount, and more.
Controlling simulation games through rule-based scenarios
Authors: Stijn-Pieter van Houten, Alexander Verbraeck
Venue: Proceedings of the 38th conference on Winter simulation (2006)

In this paper we present a framework for scenarios in simulation games. It is used to support developing, using, and managing complex and dynamic simulation games, and it supports the achievement of the game's learning goal. Especially game facilitation is increasingly challenging due to the nature of these simulation games. The framework consists of a number of conditions, rules and actions, based on the concept of production systems from artificial intelligence, and it is presented as a component of Zeigler's experimental frame. This has been successfully used in the Distributor Game, which is the first of a series of management games developed for today's supply chain management challenges. Further research will focus on the extension of the set of conditions, rules and actions, and on visualizing and managing the interdependencies between the simulation game, its scenario, and the players.
The Advantage Series: Microsoft Office Word 2003, Brief Edition, 1 edition
Authors: Glen Coulthard, Sarah Hutchinson-Clifford, Ann Miller
Venue:  (2003)

The Advantage Series presents the Feature-Method-Practice approach to computer software applications to today's technology and business students. This series implements an efficient and effective learning model, which enhances critical thinking skills and provides students and faculty with complete application coverage.Table of contentsMICROSOFT OFFICE WORD 2003 CHAPTER 1: CREATING A DOCUMENTCHAPTER 2: MODIFYING A DOCUMENTCHAPTER 3: ENHANCING A DOCUMENT’S APPEARANCECHAPTER 4: PRINTING AND WEB PUBLISHING