ppxscal/embedding_network huggingface dataset:
Logical optimality of groundness analysis
Authors: Francesca Scozzari
Venue: Theoretical Computer Science (2002)

In the context of the abstract interpretation theory, we study the relations among various abstract domains for groundness analysis of the logic programs. We reconstruct the well-known domain as a logical domain in a fully automatic way and we prove that it is the best abstract domain which can be set up from the property of groundness by applying logic operators only. We propose a new notion of optimality which precisely captures the relation between and its natural concrete domain. This notion enables us to discriminate between the various abstract domains for groundness analysis from a computational point of view and to compare their relative precision. Finally, we propose a new domain for groundness analysis which has the advantage of being independent from the specific program and we show it optimality. Copyright 2002 Elsevier Science B.V.
Simatic S7-300/400 Programmable Controllers, 1st edition
Authors: Hans Berger
Venue:  (2000)

:This book provides an accessible approach to SIMATIC S7, clearly describing the elements and applications of the text-oriented programming language STL (statement list) and SCL (structured control language) for use with both SIMATIC S7-300 and S7-400. First-time users will be introduced to the field of programmable logic control while advanced users will learn about specific applications of these controllers. 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
Implementing Virtual Private Networks
Authors: Steven Brown
Venue:  (2002)

:Implementing Virtual Private Networks is the first book to give you all the tools for putting the pieces together to make a VPNs solution work for your organization. This guide helps you understand, construct, integrate, and manage all necessary components including encryption, authentication services, key sizes, and confidentiality. Most importantly, this book gets you up to speed on state-of-the-art defenses and security for your network. 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
Designing Enterprise Applications with Microsoft Visual Basic .Net
Authors: Robert I. Oliver, Sarath Mallavarapu
Venue:  (2002)

Learn how to put the power of Visual Basic .NET to work to design and implement enterprise applications! Most books about Visual Basic .NET focus on the language or the development environment, but few give you insights into critical design decisions. This book provides the detailed guidance you need to make the right choices as you design and build enterprise-level applications with Visual Basic .NET. The author-a former member of the Microsoft Visual Studio® .NET team with extensive experience in designing, testing, and optimizing enterprise applications-discusses the technical and architectural trade-offs you'll face as you develop large, multitier, multideveloper distributed applications. He also shows how to create a workable enterprise infrastructure, and he reveals inside tips and techniques for implementation, performance tuning, and testing. You'll find out how to take advantage of key state-of-the-art OOP features in Visual Basic .NET plus platform enhancements in Microsoft .NET to develop serious enterprise applications quickly.
Internet-centric computing in the Computer Science curriculum
Authors: Timothy Hickey, Amruth Kumar, Linda Wilkens, Andrew Beiderman, Aparna Mahadev, Heidi Ellis
Venue: Proceedings of the 33rd SIGCSE technical symposium on Computer science education (2002)

Computer Science as an academic discipline should be guided not only by the "state of the art", but also by the "state of the practice"[1]. Over the last few years, Internet/Web has been undeniably the most "high profile" practice of computing. Yet, Computer Science curricula across the country have not kept up with this development - not many schools are offering courses, concentrations and/or majors that identify the Internet/Web as the central principle, and address its issues and needs.In this panel, the panelists will share their experience designing courses and concentrations to address this need, and present their vision for what an Internet-related Curriculum should include: the courses, the technologies, and the overarching themes. The viewpoints presented here are quite diverse: arguing in favor of Internet-related coursework for majors versus non-majors, as a course/minor/major, as an across-the-curriculum theme, as an interdisciplinary endeavor, as an introductory course versus a capstone course, and from the points of view of a community college, four-year institutions and a graduate institution. We hope that these diverse viewpoints will foster vigorous discussion at the panel about the place of Internet-Computing in the Computer Science curriculum, and its design.
Implementing Sap Sales and Distribution
Authors: Glynn Williams
Venue:  (2000)

:One of the world's leading SAP Sales & Distribution consultants delivers the first comprehensive and practical guide to implementing this new module in the R/3 system. Inside this book you'll get complete information on the ins and outs of the software,including basic functions,sales document flow,invoicing,and how the S&D module interfaces with other modules. Sales processes and delivery systems are crucial functions in today's businesses and no other Sales & Distribution guide can bring you the same focused,reliable advice that's found inside this first-rate user's guidebook. Expert Guidance on How to Successfully Implement This Brand-New SAP Module!One of the world's leading SAP Sales & Distribution consultants delivers the first comprehensive and practical guide to implementing this new module in the R/3 system. Inside this book you'll get complete information on the ins and outs of the software,including basic functions,sales document flow,invoicing,and how the S&D module interfaces with other modules. This remarkably clear and concise book will show you how to:Get an overview of SAP functions and find out where to access data throughout the systemConfigure and implement the Sales & Distribution modelLearn the differences between sales document types and how they control deliveries and impact other modulesUnderstand the basic functions that make up the sales process,including pricing,output,and credit managementCreate cross-functional reports using the standard SAP structuresPrepare for going 'live' and learn system testing methodsSales processes and delivery systems are crucial functions in today's businesses and noother Sales & Distribution guide can bring you the same focused,reliable advice that's found inside this first-rate user's guidebook.
A Microsoft Excel Companion for Business Statistics with Cdrom, 2nd edition
Authors: David L. Eldredge, Ken Black
Venue:  (2001)

:This manual/workbook provides step-by-step instructions for using Excel to solve most of the problems found in introductory business statistics. Numerous visual examples of screen captures show data input, pull-down menus, dialog boxes, and statistical results. This workbook introduces the statistical capabilities of Excel to readers who have little or no prior experience with Microsoft&reg; Windows and/or Excel. Chapter 1 includes a brief introduction to the Windows environment and an introduction to Excel.
Improving realism of topic tracking evaluation
Authors: Anton Leuski, James Allan
Venue: Proceedings of the 25th annual international ACM SIGIR conference on Research and development in information retrieval (2002)

Topic tracking and information filtering are models of interactive tasks, but their evaluations are generally done in a way that does not reflect likely usage. The models either force frequent judgments or disallow any at all, assume the user is always available to make a judgment, and do not allow for user fatigue. In this study we extend the evaluation framework for topic tracking to incorporate those more realistic issues. We demonstrate that tracking can be done in a realistic interactive setting with minimal impact on tracking cost and with substantial reduction in required interaction.
Neural Networks in Chemistry and Drug Design, 2nd edition
Authors: Jure Zupan, Johann Gasteiger
Venue:  (1999)

:This new edition of a best-seller offers a sound introduction to artificial neuronal networks--with insights into their architecture, functioning, and applications. Well organized and clearly written, it offers a wealth of useful information and invaluable practical guidance on this growing new area of chemical research.
Building Web Services with Java: Making Sense of Xml, Soap, Wsdl, and Uddi, 1st edition
Authors: Steve Graham, Doug Davis, Simeon Simeonov, Toufic Boubez, Ryo Neyama, Yuichi Nakamura
Venue:  (2001)

:Building Web Services with SOAP, XML, and UDDI assumes proficiency with Java and with distributed computing tools. Throughout the book, examples will be presented using Java and the Apache SOAP platform, although a set of sidebars will address .NET development, which Microsoft developers will use to deploy Web services. The book uses progressive disclosure to present an increasingly complex project as it moves through its development cycle. The final section of the book presents linking the completed project with other systems built in J2EE and .NET.
Gaia: enabling active spaces
Authors: Manuel Roman, Roy H. Campbell
Venue: Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system (2000)

Ubiquitous computing promotes physical spaces with hundreds of specialized embedded devices that increase our productivity, alleviate some specific everyday tasks and provide new ways of interacting with the computational environment. Because the computational environment is spread across the physical space, personal computers lose the focus of attention. Therefore, the users' view of the computational environment is finally extended beyond the physical limits of the computer. Physical spaces become computer systems, or in other terms, Active Spaces. However, these Active Spaces require novel system software capable of seamlessly coordinating their hidden complexity. Our goal is to extend the model provided by current computer systems to allow interaction with physical spaces and their contained entities (physical and virtual) by means of a single abstraction called Active Space.
Fast and Optimal Parallel Multidimensional Search in PRAMs with Applications to Linear Programming and Related Problems
Authors: Martin E. Dyer, Sandeep Sen
Venue: SIAM Journal on Computing (2000)

We describe a deterministic parallel algorithm for linear programming in fixed dimension d that takes poly(log log n) time in the common concurrent read concurrent write (CRCW) PRAM model and does optimal O(n) work. In the exclusive read exclusive write (EREW) model, the algorithm runs in O(log n &middot; log logd-1 n) time. Our algorithm is based on multidimensional search and effective use of approximation algorithms to speed up the basic search in the CRCW model. Our method also yields very fast poly(log log n) algorithms for smallest enclosing sphere and approximate ham-sandwich cuts and an O(log n) time work-optimal algorithm for exact ham-sandwich cuts of separable point sets. For these problems, in particular for fixed-dimensional linear programming, o(log n) time efficient deterministic PRAM algorithms were not known until very recently.
Repairing a bad reputation: it takes more than good works
Authors: J. Michael Yohe
Venue: Proceedings of the 30th annual ACM SIGUCCS conference on User services (2002)

One of the greatest challenges we can face is repairing a bad organizational reputation (deserved or not). Our experience makes it clear that it's not enough to do things the right way. Whether we know it or not, and whether we like it or not, customer service is not about technology; that's an unwelcome surprise for those of us who came up through the technological ranks. We consider some of the factors that can cause a bad reputation, and discuss techniques we've used to address the problem and how well they've worked for us.
A+ Practice Test Exam Cram
Authors: Certification Insider Press, Michael Pastore
Venue:  (1999)

:Contains two practice tests each for the core and specialty exams, and an answer and explanation chapter at the end of each exam. Provides more than just the correct answersthe explanation chapter also details why the correct answers are right and why the wrong answers are wrong. Gives the reader the competitive edge by quickly showing which areas may require further study. Certification Insider Press is the first to provide extra A+ practice tests in a stand-alone guide. Contains two core and two specialty practice tests for A+ certification topicsa total of four unique practice tests in all. A perfect complement to all certification guides and a unique supplement to all self-study materials. Answers include a cross-reference to the appropriate chapter in the corresponding Exam Cram book or to another valuable resource. Specifically designed to complement the Exam Cram and Prep training guidesnot just a CD-ROM sampler. Provides a very focusesd, exlusive practice exam with skill assesments. Questions are arranged in a format similar to the actual exam.
FileMaker Pro 2.0 for Windows: A Practical Handbook for Designing Sophisticated Databases, 1st edition
Authors: Rich Coulombre, Jonathan Price
Venue:  (1993)

:If you're developing FileMaker Pro 2.0 databases for Windows, here is the book for you. Starting where the manuals leave off, this book gives you expert advice on building your own sophisticated database applications. Packed with insider tips, behind-the-scenes explanations of how FileMaker Pro 2.0 really works, cautions about common mistakes, and strategies for making your interface easy to use, this book/disk package shows you tricks and techniques you may never have thought possible in FileMaker Pro. The bonus disk is crammed with sample databases and ready-to-run templates.
Dynamic speculative precomputation
Authors: Jamison D. Collins, Dean M. Tullsen, Hong Wang, John P. Shen
Venue: Proceedings of the 34th annual ACM/IEEE international symposium on Microarchitecture (2001)

A large number of memory accesses in memory-bound applications are irregular, such as pointer dereferences, and can be effectively targeted by thread-based prefetching techniques like Speculative Precomputation. These techniques execute instructions, for example on an available SMT thread context, that have been extracted directly from the program they are trying to accelerate. Proposed techniques typically require manual user intervention to extract and optimize instruction sequences. This paper proposes Dynamic Speculative Precomputation, which performs all necessary instruction analysis, extraction, and optimization through the use of back-end instruction analysis hardware, located off the processor's critical path. For a set of memory limited benchmarks an average speedup of 14% is achieved when constructing simple p-slices, and this gain grows to 33% when making use of aggressive optimizations.
Error Analysis for Approximation of Stochastic Differential Equations Driven by Poisson Random Measures
Authors: Erika Hausenblas
Venue: SIAM Journal on Numerical Analysis (2002)

Let Xt be the solution of a stochastic differential equation (SDE) with starting point x0 driven by a Poisson random measure. Additive functionals are of interest in various applications. Nevertheless they are often unknown and can only be found by simulation on computers. We investigate the quality of the Euler approximation. Our main emphasis is on SDEs driven by an $\alpha$-stable process, $0<\alpha < 2$, where we study the approximation of the Monte Carlo error ${\Bbb E} [f(X_T)]$, f belonging to ${L}^\infty$. Moreover, we treat the case where the time equals $T\wedge \tau$, where $\tau$ is the first exit time of some interval.
Programming with ICON with Cdrom
Authors: Clinton L. Jeffery, Ray Pereda
Venue:  (1999)

:Icon insiders explore the programming language that was developed at the University of Arizona, for rapid development of object-oriented programs. Icon is used for children's games, scripture analysis, CGI scripts, compiler research, literate programming, system administration, and visualization. The companion CD-ROM contains Icon implementations for Windows and Linux, Icon source code, and examples from the book.
Microsoft Excel 2002
Authors: Yvonne Johnson
Venue:  (2001)

:The Select family of books boasts a lively look and feel that takes a step-by-step approach to teaching Office XP tasks. Not only does the user step through the tasks, but the emphasis on projects in this series gives them practical knowledge of Office XP. The series consists of intro and advanced books for the primary Microsoft Office applications. The Select Series is customizable by project and Microsoft Certified to the EXPERT level. The authors have developed the material to reflect the most recent Microsoft Office User Specialist (MOUS) guidelines and objectivesPrepares users with the skills necessary to be productive in today's job market. Each book consist of 6-8 projects that are intended to be learned as a comprehensive unit, but can also be covered separately. Each book contains an Overview of Windows and File Management32 pages of material covering Windows 2000, Windows 98, Windows 95, and Windows NT along with lessons on file management. Introduces the Office 2002 teamwork concept through integrated projectsstep-by-step instructions in three projects designed to integrate files and data among Word, Excel, Access, and PowerPoint. This book in the Select Lab Series is certified to basic and expert levels of Microsoft Office XP (includes Word, Excel, Access, PowerPoint, Office XP, and Windows 98 and higher).
Microsoft SQL Server 7.0 Data Warehousing Online Training
Authors: Microsoft Corporation
Venue:  (2000)

:This next-generation learning system delivers Microsoft's effective self-paced curriculum entirely through rich multimedia. Users learn how to create and implement data warehousing solutions by working through the kit's flexible training modules, practicing specific tasks in a simulated SQL Server 7.0 environment. Kit includes a copy of the SQL Server Data Warehousing MCSE Readiness Review--a MCP exam readiness assessment book and CD.
Legend of Zelda: The Ocarina of Time: Prima's Official Strategy Guide
Authors: Elizabeth M. Hollinger, James Ratkos, Don Tica
Venue:  (1998)

:Detailed maps of every city and dungeon Strategies for defeating all the enemies Locations of all Heart Containers and Gold Skulltulas Solutions for all puzzles Bonus items revealed All hidden items revealed
A system architecture for pervasive computing
Authors: Robert Grimm, Tom Anderson, Brian Bershad, David Wetherall
Venue: Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system (2000)

Pervasive computing, with its focus on users and their tasks rather than on computing devices and technology, provides an attractive vision for the future of computing. But, while hardware and networking infrastructure to realize this vision are increasingly becoming a reality, precious few applications run in this infrastructure. We believe that this lack of applications can be attributed to three characteristics that are inadequately addressed by existing systems. First, devices are heterogeneous, ranging from wearable devices to conventional computers. Second, network connectivity often is limited and intermittent. And, third, interactions typically involve several autonomous administrative domains. In this paper, we introduce a system architecture that directly addresses these challenges. Our architecture is targeted at application developers and administrators, and it supports mobile computations, persistent storage, and resource discovery within a single, comprehensive framework.
Civic Space/Cyberspace: The American Public Library in the Information Age
Authors: Redmond Kathleen Molz, Phyllis Dain
Venue:  (1998)

:In Civic Space/Cyberspace Redmond Kathleen Molz and Phyllis Dain assess the current condition and direction of the American public library. They consider the challenges and opportunities presented by new electronic technologies, changing public policy, fiscal realities, and cultural trends. They draw on site visits and interviews conducted across the country; extensive reading of reports, surveys, and other documents; and their long-standing interest in the library's place in the social and civic structure. The book uniquely combines a scholarly, humanistic, and historical approach to public libraries with a clear-eyed look at their problems and prospects, including their role in the emerging national information infrastructure.
XHTML: Moving Toward XML, 1st edition
Authors: Simon St Laurent, B. K. Delong
Venue:  (2000)

:XHTML promises to expand the power and versatility of the Web and pave the way for XML. But how do you put XHTML to work? Or adapt your existing HTML applications to this new standard?This book provides the answers. With crystal-clear explanations and compelling case studies, XML maven Simon St. Laurent walks you through the ins and outs of XHTML and shows you step-by-step how to take advantage of this new Web standard. From working with the rigorous XHTML structure and retrofitting your HTML code to extending XHTML with XML, this guide is just what you need to position yourself and your sites for the XML future.
Business Intelligence: The IBM Solution with Cdrom
Authors: Mark Whitehorn, Mary Whitehorn
Venue:  (1999)

:Business Intelligence is an umbrella term, broadly covering the processes involved in extracting valuable business information from the mass of data that exists within a typical enterprise.. "This book concentrates on two aspects of Business Intelligence, together with the associated IBM products: Data Warehousing - IBM's Visual Warehouse; and OLAP (On-Line Analytical Processing) - IBM's DB2 OLAP Server.
Homeworld Cataclysm
Authors: Prima Temp Authors, Greg Kramer
Venue:  (2000)

:Homeworld Cataclysm is the follow-up to the hottest PC title of 1999. This 3-D game takes place in the far reaches of the universe. Players must build and manage a self-sustaining society and protect it from peril. With Homeworld Cataclysm: Prima's Official Strategy Guide, you'll have everything you need to build a thriving society. Inside, you'll find extensive combat tactics, tips on resource management, fleet building and control, and more, including:Complete walkthroughs for all new missionsStellar tactics for every ship in the Homeworld fleetTips on building balanced and invincible battle groupsStrategies for multiplayer battleTactics for research and spaceship upgrades
On balancing between transcoding overhead and spatial consumption in content adaptation
Authors: Wai Yip Lum, Francis C.M. Lau
Venue: Proceedings of the 8th annual international conference on Mobile computing and networking (2002)

We propose a method that can find the optimal tradeoff point between transcoding overhead (CPU cost) and storage needed for the various pre-processed content variants (I/O cost). The method selectively pre-adapts a subset of content variants and leaves the generation of the residue to dynamic content adaptation with this pre-adapted subset as an input. We prove bounds regarding the optimality of the algorithm employed. The proposed model creates a collaborative environment across the components of client, proxy and server, based on which we study the distribution of adaptation complexity across these components. We use simulation to verify the projected benefits. The method has been successfully implemented in a trial PDF document content adaptation system.