ppxscal/embedding_network huggingface dataset:
Output-constraint specialization
Authors: Siau-Cheng Khoo, Kun Shi
Venue: Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation (2002)

In component-based software development, gluing of two software components are usually achieved by defining an interface specification, and creating wrappers on the components to support the interface. We believe that interface specification provides useful information for specializing components. However, an interface may define constraints on a component's inputs, as well as on its outputs. In this paper, we propose a novel concept of program specialization with respect to output constraints. We define how an ideal specialized program should behave after such specialization, and consider a variant of partial evaluation to achieve it. In the process, we translate an output constraint into a characterization function for a component's input, and define a specializer that uses this characterization to guide the specialization process. We believe this work will broaden the scope of program specialization, and provide a framework for building more generic and versatile program adaptation techniques.
MCSE: Windows 2000 Network Infrastructure Design Exam Notes
Authors: William Heldman
Venue:  (2000)

:MCSE: Windows 2000 Network Infrastructure Design Exam Notes provides the fastest and most effective way to make sure you're ready to pass the Windows 2000 Network Infrastructure Design exam. The unique, innovative Exam Notes approach helps you gain and retain the knowledge you need, objective by objective.
Crusaders of Might and Magic
Authors: Melissa Tyler, Chris McCubbin
Venue:  (1999)

:Locations of all spells and talismansComplete walkthroughs for every quest and side questSpell, monster, and hero tablesMaps of all locationsWeapon, shield, and armor statsCombat hints and tips
The Analysis of a Finite Element Method with Streamline Diffusion for the Compressible Navier--Stokes Equations
Authors: Biyue Liu
Venue: SIAM Journal on Numerical Analysis (2000)

This paper deals with the rigorous error analysis of finite element solutions of the two- and three-dimensional nonstationary compressible Navier--Stokes equations. The streamline diffusion technique is applied to the continuity equation to obtain a stabilized finite element scheme. It is proved that the numerical formulation has a unique solution and the solution is convergent. An a priori error estimate uniform in time is obtained.
Timesplitters
Authors: Prima Temp Authors, David Jon Winding
Venue:  (2000)

:Whether you travel back in time or towards the future, TIMESPLITTERS: PRIMAS OFFICIAL STRATEGY GUIDE gives you everything from a complete weapons list to background information on all of the characters. The gameplay in this FIRST-PERSON SHOOTER takes place in nine different time periods between 1935 and 2035, each with its own movie theme. Each level has its own sub-cast of supporting enemies and weapons that are time specific. So in the 1930s you can play the part of a brave adventurer raiding a mummys tomb with a torch and a pistol. TIMESPLITTERS introduces various gameplay modes such as Capture the Bag, Escort Assasin, and four-player split screen mode. PRIMAs valuable guide will provide you with tips to get you through each level as well as extensive multiplayer and deathmatch tactics to beat the your opponents.
Two generalizations of posets of shuffles
Authors: Patricia Hersh
Venue: Journal of Combinatorial Theory Series A (2002)

We study posets defined by Stanley as a multiset generalization of Greene's posets of shuffles. Ehrenborg defined a quasi-symmetric function encoding for the flag f-vector, denoted FP, and we determine FP for shuffle posets of multisets, expressing it as a Schur-positive symmetric function. This leads to several combinatorial formulas as well as proofs that shuffle posets of multisets are super-solvable and have symmetric chain decompositions. We also generalize posets of shuffles to posets for shuffling k words, answering a question of Stanley. Finally, we extend our results about shuffle posets of multisets to k-shuffle posets.
Borland C++ Builder 3 for Dummies with Cdrom, 1st edition
Authors: Jason Vokes
Venue:  (1998)

:Let Borland C++Builder 3 For Dummies guide you effortlessly through the labyrinthine world of Windows programming. This uncomplicated reference provides the fun and easy way to find out all about Borland C++Builder 3 -- the tool that delivers the speed of visual development, the productivity of reusable components, and the power of industry-standard C++. Inside, find helpful advice on how to Design great-looking applications with easy drag-and-drop methods Use the C++Builder 3 comprehensive Visual Component Library (VCL) Speed up your programming with the C++Builder 3 built-in Experts Find out all about database programming Create powerful 32-bit Windows applications without a lot of coding Explore the fundamental components behind the code that C++Builder 3 generates for you
Convergence Rates in Forward--Backward Splitting
Authors: George H.-G. Chen, R. T. Rockafellar
Venue: SIAM Journal on Optimization (1997)

Forward--backward splitting methods provide a range of approaches to solving large-scale optimization problems and variational inequalities in which structures conducive to decomposition can be utilized. Apart from special cases where the forward step is absent and a version of the proximal point algorithm comes out, efforts at evaluating the convergence potential of such methods have so far relied on Lipschitz properties and strong monotonicity, or inverse strong monotonicity, of the mapping involved in the forward step, the perspective mainly being that of projection algorithms. Here, convergence is analyzed by a technique that allows properties of the mapping in the backward step to be brought in as well. For the first time in such a general setting, global and local contraction rates are derived; moreover, they are derived in a form which makes it possible to determine the optimal step size relative to certain constants associated with the given problem. Insights are thereby gained into the effects of shifting strong monotonicity between the forward and backward mappings when a splitting is selected.
Using QuarkXPress 4
Authors: Kelly Kordes Anton, Rochelle Barnhart, Joe Millay
Venue:  (1998)

:Using QuarkXPress 4 is a task-based reference a book readers will turn to for ways to solve problems, troubleshoot their projects. By presenting material in a results-oriented format and with only the essential information, it enables readers to find the answer they need and return to work quickly. The book will cover: Setting Up Shop Laying Out Pages Illustrating with Boxes & Lines Building Documents Editing Text Typography Publishing Long Documents Images Enhancing Type with Graphics Color and Trapping Printing & Multimedia OutputQuarkXPress 4.0 has 75 new features, and is the first major upgrade in 7 years. This will have more than half a million upgrades in the first yearWritten by an expert author team, including a Quark documentation developer and graphic designers with more than 50 years of design and training experience among themUsing Quark 4 s results-oriented and task-organized modular format puts answers at readers fingertips so they can get what they need and go back to work
Practical Management Science with Disk, 2nd edition
Authors: Wayne L. Winston, S. Christian Albright
Venue:  (2000)

:In the Second Edition of their popular text, Wayne Winston and Chris Albright continue to build on their highly successful approach of teaching by example while using spreadsheets to model a wide variety of business problems. The authors show the relevance of topics through numerous examples of real-world implementation of management science. The ideal solution for people who want to teach by example and who want to solve real problems with spreadsheets and professional spreadsheet add-ins, this text is always interesting, in part due to the useful cases added to this edition.
Small Business Microsoft Office 2000 for Dummies, 1st edition
Authors: Dave Johnson, Todd Stauffer
Venue:  (1998)

:This title comes with a CD-ROM featuring over 20 tools that small business owners can use to simplify tasks, including Office document viewers, Excel budget and billing templates, Access rolodex templates, and project tracking applications.
Windows Me for Busy People,Millennium Edition
Authors: Ron Mansfield, Peter Weverka
Venue:  (2000)

:Get the most out of Windows Me with this easy-to-follow full-color guide. You'll quickly be able to take advantage of all the exciting new features of Windows Mefrom faster built-in browser capabilities and easier-to-use music and video software,to enhanced home networking featuresby using this straightforward and timesaving resource. Loaded with annotations,helpful sidebars,and step-by-step tutorials this book will get you up and running quickly and give you insight into how this enhanced new version of the Windows operating system can make you more productive. The Book to Use When There's No Time to Lose!Get the most out of Windows Me with this easy-to-follow full-color guide. You'll quickly be able to take advantage of all the exciting new features of Windows Me - from faster built-in browser capabilities and easier-to-use music and video software,to enhanced home networking features - by using this straightforward and timesaving resource. Loaded with annotations,helpful sidebars,and step-by-step tutorials this book will get you up and running quickly and give you insight into how this enhanced new version of the Windows operating system can make you more productive. Praise for Windows 98 for Busy People:"Inviting and useful. . . does a good job of highlighting important shortcuts. " - Business Week"About as far from the old dry textbook-style computer books as you can get with good navigational aids,lots of illustrations and shortcuts. " - Computer Life"Well-organized and illustrated and aimed directly at working people who need to get specific jobs done quickly. " - Library Journal"The introductions and overviews aresuper. . . a comprehensive and logical index and table of contents make it easy for you to find what you need. " - Charlotte Sun Herald"Well-presented,easy to read,and gets to the vital substance fast. It is a lesson in simplification. " - Berkeley Personal Computer Users Group Newsletter
Asymptotic Analysis of the Laminar Viscous Flow Over a Porous Bed
Authors: Willi Jäger, Andro Mikelic, Nicolas Neuss
Venue: SIAM Journal on Scientific Computing (2000)

We consider the laminar viscous channel flow over a porous surface. The size of the pores is much smaller than the size of the channel, and it is important to determine the effective boundary conditions at the porous surface. We study the corresponding boundary layers, and, by a rigorous asymptotic expansion, we obtain Saffman's modification of the interface condition observed by Beavers and Joseph. The effective coefficient in the law is determined through an auxiliary boundary-layer type problem, whose computational and modeling aspects are discussed in detail. Furthermore, the approximation errors for the velocity and for the effective mass flow are given as powers of the characteristic pore size $\ep$. Finally, we give the interface condition linking the effective pressure fields in the porous medium and in the channel, and we determine the jump of the effective pressures explicitly.
Enterprise services
Authors: Paul Fremantle, Sanjiva Weerawarana, Rania Khalaf
Venue: Communications of the ACM (2002)

Examining the emerging field of Web Services and how it is integrated into existing enterprise infrastructures.
Discovery of relational association rules
Authors: Luc Dehaspe, Hannu Toironen
Venue: Relational Data Mining (2001)

Within KDD, the discovery of frequent patterns has been studied in a variety of settings. In its simplest form, known from association rule mining, the task is to discover all frequent item sets, i.e., all combinations of items that are found in a sufficient number of examples. We present algorithms for relational association rule discovery that are well-suited for exploratory data mining. They offer the flexibility required to experiment with examples more complex than feature vectors and patterns more complex than item sets.
Use of the multimedia taxonomy for a research direction into design and evaluation of materials for the elderly
Authors: Rachelle S Heller
Venue: Proceedings of the 2001 EC/NSF workshop on Universal accessibility of ubiquitous computing: providing for the elderly (2001)

This paper describes the use of a multimedia taxonomy in developing and in evaluating interactive multimedia products. The taxonomy identifies three axis, one describing the various formats of media: text, sound, image and motion; one describing the form of the media: elaboration, representation and abstract; and a third describing the context for the product: quality, interactivity, discipline area, audience, usability and aesthetics. Designers can use the taxonomy to brainstorm presentation and combination of media. Evaluators can use the taxonomy to insure that all paths and concerns are reviewed, using any review guidelines familiar to the evaluator.
C# for Professionals
Authors: John Hunt
Venue:  (2002)

:How to get the most out of C# using Object Orientation! Guide to C# is a thoroughly practical introduction to the concepts of C# and object orientation. Most computer scientists and software engineers learn best by doing rather than by reading the theory, and this book's hands-on approach to learning C# and object orientation, using lots of worked examples, provides an ideal base from which to start programming. After introducing the C# language and object orientation, John Hunt goes on to explain: How to construct a user interface for a simple editor; how to obtain information on files and directories and how objects can be stored and restored using serialization; the concurrency mechanism of C# and remoting in C#; how to use C# with ASP.NET XML and C# the .NET concept and the role of C# within it. There is also comprehensive coverage of the concepts of object oriented analysis and design; the UML and the main phases of the Unified Process using the UML notation.
New Media and Politics
Authors: Barrie Axford, Richard Huggins
Venue:  (2001)

:"Exploring the theme of the putative transformation of political modernity under the impact of 'new' media, this book adopts a questioning approach to the ways in which cultural and technological factors are affecting the temper of political life, and reflects the variety of normative thinking about and empirical research on the changing character of politics in mediatized cultures." "New Media and Politics examines: the extent to which commercial populism now dominates electoral and other political discourses; the ways in which the functions of leadership, government and political parties are modified by different forms of both old and new media; the democratic or undemocratic import of such changes; and the ways in which the dominant territorial paradigm of politics is challenged by the space and time devouring capacities of electronic media."--BOOK JACKET.
Using visualization to aid program construction tasks
Authors: Carlisle E. George
Venue: ACM SIGCSE Bulletin (2002)

This paper discusses how novices exposed to an execution model of recursion (similar to an expert's mental model and visualised in the EROSI tutor) performed on the task of constructing an embedded recursive solution to a given problem specification. Empirical observations showed that after using the EROSI tutor, novices employed a variety of methods during program construction including the use of their understanding of the execution process of recursion from their visualisation experiences. Using our findings we provide some useful suggestions to inform teaching practice. We conclude that when teaching about recursion: visualising program execution models can be a useful aid to program construction, by providing a mental framework for reasoning about the behaviour of program code fragments both before and after coding; visualisation methods may not always be a sufficient condition for developing programming skills; and the teaching of techniques for program construction may be necessary.
Official Netscape Visual JavaScript Book, 1st edition
Authors: Doug Lloyd, Chapel Hill
Venue:  (1997)

:Build cross-platform Web applications without extensive knowledge of JavaScript, or leverage your JavaScript background to speed the development process. Focusing on database connectivity, this practical guide uses real-world examples to demonstrate key concepts and provide hands-on experience.
Admin911: SMS, 1 edition
Authors: Rod Trent
Venue:  (2000)

"Call on Admin911 to learn what’s going on with your network, to understand your options, and pick the right solutions." -David Chernicoff, Windows 2000 Magazine This essential survival guide for system administrators contains problem-solving and troubleshooting techniques for Microsoft System Management Server. Kathy Ivens is Series Editor.Table of contents Primary and Secondary Site Server Installation. Client Configuration, Installation, and Discovery. Hardware Invesntory Installation, Collection, and Processing. Software Invesntory Installation, Collection, and Processing. Software Distribution and Advertisements. Remote Control Tools. Software Metering. Site-to-Site Communications. Site Status. Data Access and Manipulation.
Getting Started with WordPerfect 6.0 for Windows, 1st edition
Authors: Kitty Daniels, Janet Smith, Nancy L. Hale
Venue:  (1999)

:Wiley's Getting Started Series of hands-on applications manuals takes you beyond keystroking to explore the functions and the whys of each package. These concise yet complete manuals offer a step-by-step, hands-on introduction to popular Windows applications packages. All come with an instructor's data disk containing sample files and have a wealth of exercises and screen dumps. The new Windows-based manuals feature more explanation about the package as well as step-by-step information on how to use it. Boxed inserts highlight key explanations and indicate potential pitfalls or suggest alternative methods. The quality and quantity of the exercises has improved by offering more involved, applications-oriented ones. frequent screen dumps illustrate applications and clarify instructions.
Java and the AS/400: Practical Examples Using VisualAge for Java, 1st edition
Authors: Daniel Darnell
Venue:  (1999)

:Darnell gives a practical introduction to software development in Java on the AS/400. The first section takes the reader through a simple Java example in order to demonstrate an overview of the AS/400's Java functionality. The second section gives implementation specifics. The final section guides readers through several complex application examples.
Communications and Networking for the PC, 5th edition
Authors: Larry E. Jordan, Bruce Churchill
Venue:  (1994)

:This revised edition of a bestseller provides detailed explanations, examples, and illustrations; explores several complex topics; and teaches users how to reduce costs while increasing computer power.Covers the fundamentals of data communications, local area network connectivity, and integrated services digital networkDiscusses future technology such as the information superhighwayIncludes a case study on how to integrate wired and wireless networks
Interactive headlight simulation: a case study of interactive distributed ray tracing
Authors: Carsten Benthin, Tim Dahmen, Ingo Wald, Philipp Slusallek
Venue: Proceedings of the Fourth Eurographics Workshop on Parallel Graphics and Visualization (2002)

Todays rasterization graphics hardware provides impressive speed and features making it the standard tool for interactively visualising virtual prototypes early in the industrial design process. However, due to inherent limitations of the rasterization approach many optical effects can only be approximated. For many products, in particular in the car industry, the resulting visual quality and realism is inadequate as the basis for critical design decisions. Thus the original goal of using virtual prototyping --- significantly reducing the number of costly physical mockups --- often cannot be achieved.Interactive ray tracing on a small cluster of PCs is emerging as an alternative visualization technique achieving the required accuracy, quality, and realism. In a case study this paper demonstrates the advantages of using interactive ray tracing for a typical design situation in the car industry: visualizing the prototype of headlights. Due to the highly reflective and refractive nature of headlights, proper quality could only be achieved using a fast interactive ray tracing system.
Special Edition Using Microsoft Exchange Server 2000, 2nd edition
Authors: Kent Joshi, Tracy Bradley, Zeyad M. Al-Shahrani
Venue:  (2000)

:Special Edition Using Microsoft Exchange Server 2000 emphasizes integrating Exchange with the Internet, as well as extending its functionality into the area of collaboration. The authoring team from Software Spectrum provides both the theory and the best practices when working with Exchange. Specifically, Kent Joshi, a Managing Consultant draws upon his 13 years of corporate experience including his work at Microsoft, IBM, and his own company to cut through the hype and get down to nuts and bolts. In addition, this edition features additional coverage of undocumented features, workarounds, and practical (and unapologetic) advice for avoiding features that don't work well.
Star Wars: Episode I Gungan Frontier: Prima's Official Strategy Guide
Authors: Chris McCubbin, David Ladyman
Venue:  (1999)

:As players participate in a race against time to set up a thriving colony on the Gungan Moon, they can get help with this guide, produced in a full-color, console-style format. They'll find detailed descriptions and stats for every plant and animal, along with color pictures, cunning strategies for each mission, and a full-color guide to the online encyclopedia.
Simple and accurate feature selection for hierarchical categorisation
Authors: Wahyu Wibowo, Hugh E. Williams
Venue: Proceedings of the 2002 ACM symposium on Document engineering (2002)

Categorisation of digital documents is useful for organisation and retrieval. While document categories can be a set of unstructured category labels, some document categories are hierarchically structured. This paper investigates automatic hierarchical categorisation and, specifically, the role of features in the development of more effective categorisers. We show that a good hierarchical machine learning-based categoriser can be developed using small numbers of features from pre-categorised training documents. Overall, we show that by using a few terms, categorisation accuracy can be improved substantially: unstructured leaf level categorisation can be improved by up to 8.6%, while top-down hierarchical categorisation accuracy can be improved by up to 12%. In addition, unlike other feature selection models --- which typically require different feature selection parameters for categories at different hierarchical levels --- our technique works equally well for all categories in a hierarchical structure. We conclude that, in general, more accurate hierarchical categorisation is possible by using our simple feature selection technique.
Problem Solving and Program Design in C, 3rd edition
Authors: Jeri R. Hanly, Elliot B. Koffman
Venue:  (1998)

:Problem solving & program design in C is a revision of the leading book on introductory computer programming and the C programming language, a book that is fully updated with a new chapter entitled "On to C++", and a book that continues its focus on teaching sound problem-solving skills while preparing you for further study in computer science.