ppxscal/embedding_network huggingface dataset:
A fictitious domain method for particulate flows with heat transfer
Authors: Zhaosheng Yu, Xueming Shao, Anthony Wachs
Venue: Journal of Computational Physics (2006)

The distributed-Lagrange-multiplier/fictitious-domain (DLM/FD) method of Glowinski et al. [R. Glowinski, T.-W. Pan, T.I. Hesla, D.D. Joseph, A distributed Lagrange multiplier/fictitious domain method for particulate flows, Int. J. Multiphase Flow 25 (1999) 755-794] is extended to deal with heat transfer in particulate flows in two dimensions. The Boussinesq approximation is employed for the coupling between the flow and temperature fields. The fluid-flow equations are solved with the finite-difference projection method on a half-staggered grid. In our operator splitting scheme. the Lagrange multipliers at the previous time level are kept in the fluid equations, and the new Lagrange multipliers for the rigid-body motion constraint and the Dirichlet temperature boundary condition are determined from the reduced saddle-point problem, whereas a very simple scheme based on the fully explicit computation of the Lagrange multiplier is proposed for the problem in which the solid heat conduction inside the particle boundary is also considered. Our code for the case of fixed temperature on the immersed boundary is verified by comparing favorably our results on the natural convection driven by a hot cylinder eccentrically placed in a square box and on the sedimentation of a cold circular particle in a vertical channel to the data in the literature. The code for the case of freely varying temperature on the boundaries of freely moving particles is applied to analyze the motion of a catalyst particle in a box and in particular the heat conductivities of nanofluids and sheared non-colloidal suspensions, respectively. Our preliminary computational results support the argument that the micro-heat-convection in the fluids is primarily responsible for the unusually high heat conductivity of nanofluids. It is shown that the Peclet number plays a negative role in the diffusion-related heat conductivity of a sheared non-colloidal suspension, whereas the Reynolds number does the opposite.
Optimizing top-k queries for middleware access: A unified cost-based approach
Authors: Seung-won Hwang, Kevin Chen-chuan Chang
Venue: ACM Transactions on Database Systems (TODS) (2007)

This article studies optimizing top-k queries in middlewares. While many assorted algorithms have been proposed, none is generally applicable to a wide range of possible scenarios. Existing algorithms lack both the &ldquo;generality&rdquo; to support a wide range of access scenarios and the systematic &ldquo;adaptivity&rdquo; to account for runtime specifics. To fulfill this critical lacking, we aim at taking a cost-based optimization approach: By runtime search over a space of algorithms, cost-based optimization is general across a wide range of access scenarios, yet adaptive to the specific access costs at runtime. While such optimization has been taken for granted for relational queries from early on, it has been clearly lacking for ranked queries. In this article, we thus identify and address the barriers of realizing such a unified framework. As the first barrier, we need to define a &ldquo;comprehensive&rdquo; space encompassing all possibly optimal algorithms to search over. As the second barrier and a conflicting goal, such a space should also be &ldquo;focused&rdquo; enough to enable efficient search. For SQL queries that are explicitly composed of relational operators, such a space, by definition, consists of schedules of relational operators (or &ldquo;query plans&rdquo;). In contrast, top-k queries do not have logical tasks, such as relational operators. We thus define the logical tasks of top-k queries as building blocks to identify a comprehensive and focused space for top-k queries. We then develop efficient search schemes over such space for identifying the optimal algorithm. Our study indicates that our framework not only unifies, but also outperforms existing algorithms specifically designed for their scenarios.
AI Game Development
Authors: Alex J. Champandard
Venue:  (2003)

Neural networks, decision trees, genetic classifiers: If these are AI concepts you'd like to employ in your own games-and you know your way around C++-this is the book for you! In these pages, leading game AI developer Alex J. Champandard shows you how to create a slew of autonomous synthetic creatures-in the process exploring the techniques and theories central to AI game development. Complex concepts are made easily graspable, even fun, as you apply them to the step-by-step development of your own complete bot. The focus here is on designing individual creatures, each with unique abilities and skills. Each chapter tackles a specific problem, using demos and examples to drive the points home. Best of all, Alex draws on his own real-life experiences to provide tips and tricks to speed the process and resolve thorny issues. On the companion Web site, you'll find code examples and the samples of some of the games covered in the book.
WHAP: haplotype-based association analysis
Authors: Shaun Purcell, Mark J. Daly, Pak C. Sham
Venue: Bioinformatics (2007)

Summary: We describe a software tool to perform haplotype-based association analysis, for quantitative and qualitative traits, in population and family samples, using single nucleotide polymorphism or multiallelic marker data. A range of tests is offered: omnibus and haplotype-specific tests; prospective and retrospective likelihoods; covariates and moderators; sliding window analyses; permutation P-values. We focus on the ability to flexibly impose constraints on haplotype effects, which allows for a range of conditional haplotype-based likelihood ratio tests: for example, whether an allele has an effect independent of its haplotypic background, or whether a single variant can explain the overall association at a locus. We illustrate using these tests to dissect a multi-locus association. Availability: WHAP is a C/C++ program, freely available from the author's website: http://pngu.mgh.harvard.edu/purcell/whap/ Contact: shaun@pngu.mgh.harvard.edu
An FPGA-based Pentium® in a complete desktop system
Authors: Shih-Lien L. Lu, Peter Yiannacouras, Rolf Kassa, Michael Konow, Taeweon Suh
Venue: Proceedings of the 2007 ACM/SIGDA 15th international symposium on Field programmable gate arrays (2007)

Software simulation has been the predominant method for architects to evaluate microprocessor research proposals. There are three tenets in modeling new designs with software models: simulation speed, model accuracy and model completeness. The increasing complexity of the processor and accelerated trend to have multiple processors on a chip are putting burden on simulators to achieve all tenets mentioned, including accurately capturing OS effects. In this work we perform preliminary experimentation/prototyping with an emulation system which overcomes the tension to satisfy all three requirements. The system is an original Socket-7 based desktop processor system with typical hardware peripherals running modern operating systems such as Fedora Core 4 and Windows XP; however we have inserted a Xilinx Virtex-4 in place of the processor that should sit in the motherboard and have used the Virtex-4 to host a complete version of the Pentium® microprocessor (which consumes less than half its resources). We can therefore apply architectural changes to the processor and evaluate their effects on the complete desktop system. We use this FPGA-based emulation system to conduct preliminary architectural experiments including growing the branch target buffer and the level 1 caches. In addition, we experimented with interfacing hardware accelerators such as DES and AES engines which resulted in 27x speedups.
An application of MIP to sector planning for engineering industries
Authors: Larry E. Westphal, Yung Whee Rhee
Venue: Issue 16 (April 1974) (1974)

In contrast to the state of the art with respect to the process industries, remarkably little progress has been made in the application of programming models to sector planning for the engineering industries -- non-electrical machinery, electrical products and equipment and transportation equipment. This report summarizes an experimental attempt to construct a sector planning model for appraising prospective investment projects in these industries. It is offered to stimulate interest as well as communication with others working to apply process analysis and programming methods to these industries. Algorithms and experience bearing on the solution of MIP (mixed integer programming) models having the structure of that employed here are also solicited.
SQL Hacks
Authors: Andrew Cumming, Gordon Russell
Venue:  (2006)

Whether you're running Access, MySQL, SQL Server, Oracle, or PostgreSQL, this book will help you push the limits of traditional SQL to squeeze data effectively from your database. The book offers 100 hacks -- unique tips and tools -- that bring you the knowledge of experts who apply what they know in the real world to help you take full advantage of the expressive power of SQL. You'll find practical techniques to address complex data manipulation problems. Learn how to: Wrangle data in the most efficient way possibleAggregate and organize your data for meaningful and accurate reportingMake the most of subqueries, joins, and unionsStay on top of the performance of your queries and the server that runs themAvoid common SQL security pitfalls, including the dreaded SQL injection attackLet SQL Hacks serve as your toolbox for digging up and manipulating data. If you love to tinker and optimize, SQL is the perfect technology and SQL Hacks is the must-have book for you.
Schaum's Outline of Data Structures with Java, Second Edition, 2 edition
Authors: John R. Hubbard
Venue:  (2007)

You can catch up on the latest developments in the number one, fastest-growing programming language in the world with this fully updated Schaum's guide. Schaum's Outline of Data Structures with Java has been revised to reflect all recent advances and changes in the language.Table of contentsChapter 1. Advanced JavaChapter 2. Object-Oriented ProgrammingChapter 3. Abstract Data TypesChapter 4. Generics in javaChapter 5. Linked StructuresChapter 6. StacksChapter 7. QueuesChapter 8. CollectionsChapter 9. ListsChapter 10. Hash TablesChapter 11. RecursionChapter 12. TreesChapter 13. Binary TreesChapter 14. Search TreesChapter 15. Heaps and Priority QueuesChapter 16. SortingChapter 17. SetsChapter 18. Graphs
Windows Server 2003 on HP ProLiant Servers (HP Professional Series)
Authors: Gary L. Olsen, Bruce Howard
Venue:  (2004)

The only complete guide to Windows Server 2003 migration and administration on HP ProLiant serversReal-world case studies, configuration recommendations, and troubleshooting solutions straight from HP's customer support labsCovers ProLiant hardware, software tools, Active Directory, clustering, remote access, Terminal Services, and much moreGary Olsen - Bruce HowardForewords by Bill Boswell, author of Inside Windows Server 2003; and Tony Redmond, VP, CTO, HP Services"This book is very well done and should become THE guide on Windows servers for all ProLiant administrators. Period."-Rick Kingslan, Windows Server Directory Services MVP"If you intend on running Windows Server 2003 on ProLiant servers, this book will help you consolidate operations, simplify deployment, improve security, centralize management, and monitor performance. I highly recommend it."-Bill Boswell, Bill Boswell Consulting, Inc.This is the first definitive guide to Windows Server 2003 deployment and administration on HP ProLiant servers. Two of HP's most experienced ProLiant support engineers walk you step-by-step through planning and migration-from assessing ROI and existing infrastructure through implementing fast, reliable disaster recovery. The detailed information they provide shows how actual companies deployed Windows Server 2003,and how they overcame real-world obstacles. Along the way, the authors help you take full advantage of ProLiant's exclusive tools to maximize efficiency and availability, and simplify every facet of migration and management. Coverage includes Systems Insight Manager, Rapid Deployment Pack (RDP), and other powerful ProLiant tools Migrating from NT/Windows 2000 Active Directory: planning, design, proof-of-concept, pilots, and administration Leveraging new enhancements to High Availability Clustering, Terminal Services, and much more Case study: the first enterprise VPN environment ever deployed on Windows Server 2003 technology Specific ProLiant server configuration recommendations for diverse business environments Fast, efficient troubleshooting and diagnostic techniquesWhether you're a system administrator, engineer, architect, migration team leader, or consultant, this book will help you deliver Windows Server 2003's full value in any environment-rapidly, efficiently, and reliably.© Copyright Pearson Education. All rights reserved.
Applying DEVS modeling for discrete event multiple model control of a time varying plant
Authors: Alexander Scott Campbell, Gabriel Wainer
Venue: Proceedings of the 38th conference on Winter simulation (2006)

In recent years, we have developed a Modeling and Simulation-Driven Engineering methodology for engineering embedded Real-Time systems. This approach relies on the use of the DEVS formalism for developing components of real-time embedded systems using incremental development. Here, we show how to apply these techniques for an application in hybrid control. The model defines a discreteevent controller for a time varying plant based on multiple model control. Our discrete event approach permitted us to define such application, seamlessly integrating discrete event and continuous components. The approach allows secure, reliable testing, analysis of different levels of abstraction in the system, and model reuse. The common problem of "controller wind-up" or "parameter estimation bursting" can be avoided when performing this proposed form of discrete event adaptive control.
Os/2 Server Transition
Authors: Leif Braeuer
Venue:  (2003)

Extract data from OS/2 Servers Migrate OS/2 domains to Windows 2000 Migrate OS/2 domains to Linux with Samba 3.0 OS/2 Servers have been a stable and powerful platform more many years and are depended upon by many businesses. This is especially true in the banking industry where OS/2 servers are trusted to run the software that supports the branch office environment. However, as the industry looks to renew its branch office operations, many banks are looking to make a transition from their OS/2 Server to a platform with wider industry support. The two logical target platforms for this transition are a Microsoft or Linux solution. Both of these solutions have there own benefits and costs. This IBM Redbook provides a technical guide for OS/2 administrators to help them plan for and implement a transition to what ever platform is right for their business. Using this redbook as a guide, OS/2 administrators and technical personnel will be able to develop and implement a plan for a smooth transition from their current OS/2-based domains to either a Microsoft Windows and Active Directory solution, or a Linux-based solution utilizing LDAP and SAMBA V3.0 for file and print sharing, or in many cases, a mixed environment containing both platforms 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
QuickBooks 2006 (Missing Manual)
Authors: Bonnie Biafore
Venue:  (2006)

If your company is ready to minimize paperwork and maximize productivity, control spending and boost sales, QuickBooks 2006 can help you make it happen--but only if you know how to use it. And it doesn't come with a manual. Lucky for you, there's QuickBooks 2006: The Missing Manual, the comprehensive, up-to-date guide to saving time and money while beefing up business with QuickBooks. Award-winning author and financial whiz Bonnie Biafore helps you select the best fit for your company from Intuit's QuickBooks line of financial management software, which includes five products ranging from basic accounting software for small businesses to sophisticated industry-specific enterprise solutions. She then shows you how to tweak and tailor it to your company's needs so you can manage your finances more effectively and efficiently than ever before.If you're new to QuickBooks or to the 2006 version, you'll get started with ease and become quickly proficient with Biafore's tutorials on making and managing a company file and creating accounts, customers, jobs, invoice items, and other lists. If you're a more advanced user, you'll find countless tips, tricks, and shortcuts for becoming a QuickBooks pro. And everyone at every level will benefit from Biafore's seasoned, sensible advice on business accounting and finance.Under Biafore's expert direction, you will be able to use QuickBooks for a lot more than everyday bookkeeping. Beyond billing and payroll servicing, generating business forms and easing end-of-year tax preparation, QuickBooks 2006: The Missing Manual shows you how to use QuickBooks to accomplish things like inventory control, budget building, and report creation for evaluating every aspect of an enterprise.With Biafore's clear and friendly explanations and step-by-step instructions for every QuickBooks feature (along with plenty of real-world examples), you'll learn how to take advantage of online banking options, data exchange with other programs, and sophisticated planning and tracking tools for achieving maximum business success. QuickBooks 2006: The Missing Manual makes QuickBooks more powerful than you thought possible.
On size reduction techniques for multitape automata
Authors: Hellis Tamm, Matti Nykänen, Esko Ukkonen
Venue: Theoretical Computer Science (2006)

We present a method for size reduction of two-way multitape automata. Our algorithm applies local transformations that change the order in which transitions concerning different tapes occur in the automaton graph, and merge suitable states into a single state. Our work is motivated by implementation of a language for string manipulation in database systems where string predicates are compiled into two-way multitape automata. Additionally, we present a (one-tape) NFA reduction algorithm that is based on a method proposed for DFA minimization by Kameda and Weiner, and apply this algorithm, combined with the multitape automata reduction algorithm, on our multitape automata. Empirical results on the performance of our method when applied on some multitape automata originating from string predicates are reported.
Macromedia Dreamweaver 8 Certified Developer Study Guide
Authors: Sue Hove, Donald Booth
Venue:  (2006)

This is the definitive exam study guide that will help you review what you need to know to pass the Certified Macromedia Dreamweaver 8 Developer Exam. Designed specifically to simplify exam preparation for intermediate to advanced Dreamweaver developers, each subject is presented in clear and direct language, with useful and well-explained code examples. The guide includes 24 concise, focused chapters with extensive notes, tips, and cautions. Each chapter concludes with sample questions and answers designed to facilitate review. Intermediate Dreamweaver developers will get the grounding they need to complete the Macromedia certification process, and veteran users will find coverage of all the new Dreamweaver 8 features you need to keep your certification up to date: visual authoring with XML data, improved CSS support for media types (unified panel, rendering improvements, layout visualization, and style rendering toolbar), integrated accessibility, improved WebDAV, and more. Coverage of the following Dreamweaver topics: Design basics Library items and extensions Team collaboration Layers and tables in page layout
GlitchLess: an active glitch minimization technique for FPGAs
Authors: Julien Lamoureux, Guy G. Lemieux, Steven J. E. Wilton
Venue: Proceedings of the 2007 ACM/SIGDA 15th international symposium on Field programmable gate arrays (2007)

This paper describes a technique that reduces dynamic power in FPGAs by reducing the number of glitches in the global routing resources. The technique involves adding programmable delay elements within the logic blocks of an FPGA to programmably align the arrival times of early-arriving signals to the inputs of the lookup tables and to filter out glitches generated by earlier circuitry. On average, the proposed technique eliminates 91% of the glitching, which reduces overall FPGA power by 18%. The added circuitry increases overall area by 5% and critical-path delay by less than 1%. Furthermore, since it is applied after routing, the proposed technique requires no modifications to the existing FPGA routing architecture or CAD flow.
An empirical study of static program slice size
Authors: David Binkley, Nicolas Gold, Mark Harman
Venue: ACM Transactions on Software Engineering and Methodology (TOSEM) (2007)

This article presents results from a study of all slices from 43 programs, ranging up to 136,000 lines of code in size. The study investigates the effect of five aspects that affect slice size. Three slicing algorithms are used to study two algorithmic aspects: calling-context treatment and slice granularity. The remaining three aspects affect the upstream dependencies considered by the slicer. These include collapsing structure fields, removal of dead code, and the influence of points-to analysis. The results show that for the most precise slicer, the average slice contains just under one-third of the program. Furthermore, ignoring calling context causes a 50&percnt; increase in slice size, and while (coarse-grained) function-level slices are 33&percnt; larger than corresponding statement-level slices, they may be useful predictors of the (finer-grained) statement-level slice size. Finally, upstream analyses have an order of magnitude less influence on slice size.
An approach integrating two complementary model-based environments for the construction of multimodal interactive applications
Authors: David Navarre, Philippe Palanque, Pierre Dragicevic, Rémi Bastide
Venue: Interacting with Computers (2006)

This paper presents a tool suite for the engineering of multimodal Post-WIMP Interactive Systems. The work presented here extends previous work done on design, prototyping, specification and verification of interactive systems and integrates two previously unrelated approaches. The first element of this integration is ICoM (a data-flow model dedicated to low-level input modelling) and its environment ICon which allows for editing and simulating ICoM models. The other element is ICOs (a formal description technique mainly dedicated to dialogue modelling) and its environment PetShop, which allows for editing, simulating and verifying ICOs models. This paper shows how these two approaches have been integrated and that this integration allows for engineering multimodal interactive systems. We show on a Range Slider case study how these tools can be used for prototyping interactive systems in general and multimodal interaction techniques in particular. We also present in details how the changes in the interaction techniques impact the models at various levels of the software architecture.