ppxscal/embedding_network huggingface dataset:
Dictionary of the Internet: Book and CD-ROM with Cdrom
Authors: Darrel Ince
Venue:  (2001)

:A blizzard of new words and phrases, from "bookmark portal" and "cookie poisoning" to "script kiddie" and "viral marketing," have been created by the explosive growth of the Internet. Now, in Dictionary of the Internet, Darrel Ince defines more than 4,000 terms from the Web, software technology, jargon, e-commerce, security, and the technical and organizational infrastructure of the Internet. Ince includes definitions of basic terms, such as "usenet" or "web server" as well as many entries on the colorful jargon of the computer world, such as "Vannevar" or "grey bar land." A free CD-ROM included with the book contains the full dictionary entries in a browsable format with hyperlinks between entries, and links to relevant web sites. The dictionary will be supported by its own web site with updates. Whether you are a "weasel" (an inexperienced user) or a "webhead," here is an essential reference work, filled with up-to-date information.
Knowledge and information management: is it possible to do interesting and important research, get funded, be useful and appreciated?
Authors: Maria Zemankova
Venue: Proceedings of the eleventh international conference on Information and knowledge management (2002)

The survey of the CIKM Call for Papers for the period 1998 - 2002 demonstrates that the CIKM organizers very accurately "identify challenging problems facing the development of future knowledge and information systems [in] applied and theoretical research" [1998] and also play an important role fostering "bridging traditionally separated areas such as databases and information retrieval, or those that apply techniques from one area to another" [2001, 2002]. The presented CIKM papers also indicate that researchers work on interesting problems. This talk will discuss some additional research topics for future consideration by the CIKM community.In most cases, to achieve important results, research needs to be well supported. If you are not getting the funding you need, this talk may provide some pointers where you can look for finding. If you are well supported, I will try to convince you that you can be instrumental in improving the funding scenario for everybody, by mentoring the junior members of the CIKM community, by forming collaborative (international, interdisciplinary) teams and by letting the funders know what you find conducive to your research and what you consider a hindrance. Regardless if you are well funded or not, it is most helpful if you are active in identifying new research directions and also assist in evaluating the priorities.The most frequent problem for inadequate funding is lack of funds. However, researchers can help! This can be achieved in many different ways: thinking about long-term applications of fundamental research to societal needs; working with communities that can directly benefit from research; sharing the research results not only with the research colleagues, but also wider constituencies - at their appropriate levels; and informing your funders about your spectacular achievements, i.e., providing good reasons for increasing the research funding.CIKM strives to bring together research communities that traditionally do not work together. Providing a forum for interdisciplinary research is laudable and very important, as very often interdisciplinary or international research is not "appreciated". This talk will discuss how we could gradually change the discipline- and country-based "appraisal" cultures. We will also attempt to answer the question: "What is the ultimate appreciation?" (Nobel Prize? ...successful .com?... ???).
Applying cognitive dimensions to evaluate and improve the usability of Z formalism
Authors: Babak Khazaei, Emma Triffitt
Venue: Proceedings of the 14th international conference on Software engineering and knowledge engineering (2002)

Cognitive Dimensions framework is a useful tool with which the usability of information artifact can be evaluated. We have used this frame work to evaluate the usability of Z formalism in TranZit environment. The target group for this usability exercise were beginners of formal specifications in Z. A number of deficiencies due to notational issues and others due to the conceptual issues were identified. Many of these deficiencies can be easily rectified, however, Z notation is already established and therefore can not be altered but the TranZit environment can change in order to enhance the usability of Z formalism. In the context of formal specification. Cognitive Dimensions proved to be an effective framework as it raised the issue of support required for exploratory design as well as general improvement on the usability issues.
Novell's Guide to IntranetWare Networks, 1st edition
Authors: Jeffrey F. Hughes, Thomas
Venue:  (1997)

:T
Discrete Multiresolution Analysis Using Hermite Interpolation: Biorthogonal Multiwavelets
Authors: Robert F. Warming, Richard M. Beam
Venue: SIAM Journal on Scientific Computing (2000)

We generalize Harten's interpolatory multiresolution representation to include Hermite interpolation. Compact Hermite interpolation with optimal order accuracy is used in both the decomposition and reconstruction algorithm. The resulting multiple basis functions (biorthogonal multiwavelets) are symmetric or skew-symmetric, compact, and analytic. Harten's approach has several advantages: the multiresolution scheme is inherently discrete, nonperiodic boundary conditions are easy to implement, and the representation can be extended to nonuniform grids in bounded domains. We demonstrate the compression features of the new multiple basis functions by application to several examples.
The data management problem in post-pc devices and a solution
Authors: Ramakrishna Gummadi, Randy H. Katz
Venue: Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system (2000)

The demand for network-enabled limited-footprint mobile devices is increasing rapidly. A central challenge that must be addressed in order to use these next-generation devices effectively is efficient data management --- persistent data manipulated or required by applications executing on these computationally and communicationally impoverished devices must be consistently managed and made highly available. This data management has traditionally been the responsibility of the OS on which applications execute. In this paper, we extend this conventional OS functionality to include post-pc devices. We propose a novel programmatic solution to the problem of maintaining high data availability while attaining eventual consistency [16] in the presence of mobility and disconnected operations, device and network failures, and limited device capabilities. We achieve this by using a combination of a novel proxy architecture, a split request-reply queue based on soft-state principles, and a two-tier update/commit protocol. We also exploit strong object typing to provide application-specific conflict handling in order to attain faster eventual consistency, as well as greater probability of automatic reconciliation.
Mac OS X Hacks
Authors: Rael Dornfest
Venue:  (2003)

Mac OS X Hacks reflects the real-world know how and experience of those well steeped in Unix history and expertise, sharing their no-nonsense, sometimes quick-and-dirty solutions to administering and taking full advantage of everything a Unix desktop has to offer: Web, Mail, and FTP serving, security services, SSH, Perl and shell scripting, compiling, configuring, scheduling, networking, and hacking. Add to that the experience of die-hard Macintosh users, customizing and modifying their hardware and software to meet their needs: System Preferences, GUI mods and tweaks, hardware tips, vital shareware and freeware, AppleScript, AppleTalk and equivalents, keyboard modifiers, and general Macintosh-style tomfoolery.
Interactive visualization of unstructured grids using hierarchical 3D textures
Authors: Joshua Leven, Jason Corso, Jonathan Cohen, Subodh Kumar
Venue: Proceedings of the 2002 IEEE symposium on Volume visualization and graphics (2002)

We present a system for interactively rendering large, unstructured grids. Our approach is to voxelize the grid into a 3D voxel octree, and then to render the data using hierarchical, 3D texture mapping. This approach leverages the current 3D texture mapping PC hardware for the problem of unstructured grid rendering. We specialize the 3D texture octree to the task of rendering unstructured grids through a novel pad and stencil algorithm, which distinguishes between data and non-data voxels. Both the voxelization and rendering processes efficiently manage large, out-of-core datasets. The system manages cache usage in main memory and texture memory, as well as bandwidths among disk, main memory, and texture memory. It also manages rendering load to achieve interactivity at all times. It maximizes a quality metric for a desired level of interactivity. It has been applied to a number of large data and produces high quality images at interactive, user-selectable frame rates using standard PC hardware.
Pathwise Optimality in Stochastic Control
Authors: Paolo Dai Pra, Giovanni B. Di Masi, Barbara Trivellato
Venue: SIAM Journal on Control and Optimization (2000)

We introduce a notion of pathwise optimality for stochastic control problems over an infinite time horizon, and give sufficient conditions for the existence of pathwise optimal controls. We analyze both diffusion processes and processes with discrete state space.
Weighted Extended B-Spline Approximation of Dirichlet Problems
Authors: Klaus Höllig, Ulrich Reif, Joachim Wipper
Venue: SIAM Journal on Numerical Analysis (2001)

We describe a new finite element method which uses weighted extended B-splines on a regular grid as basis functions for solving Dirichlet problems on bounded domains in arbitrary dimensions. This web-method does not require any grid generation and can be implemented very efficiently. It yields smooth, high order accurate approximations with relatively low dimensional subspaces.
Java 1.2 & Javascript for C/C++ Programmers
Authors: Michael C. Daconta, Eric Monk, Al Saganich, Martin Snyder
Venue:  (1998)

:This powerful book/CD-ROM package is for C and C++ programmers who would like to quickly learn how to build full-scale applications in Java and JavaScript. Revised and expanded from its bestselling predecessor, Java for C and C++ Programmers, it features the same rapid skill-building format that allows you to produce simple Java programs within an hour, and more complex ones within a few days, by building on C and C++ concepts you already know.[You will quickly become familiar with all Java and JavaScript features, including all the major new APIs that you need to create full-scale business applications. Through a series of progressively more complicated working applications, this guide schools you in basic and advanced techniques for building full-blown appplications using Java Foundation Classes, JavaBeans, JDBC, NMI, and RMI. It also covers Java through JDK 1.2, shows how to link Java applets with JavaScript, teaches how to integrate Java with ActiveX, and demonstrates how to integrate video using the Java Media Framework.
E - Supply chain integration: making better business decisions
Authors: Ian S. Hayes
Venue: Software Magazine (2002)

Of the myriad opportunities the Internet offers, perhaps the one providing the most immediate benefit and showing the greatest long-term promise is supply chain optimization. The Internet's ability to remove inefficiencies, break down communication barriers, reach disparate audiences and foster collaboration is perfectly suited to managing and optimizing the diverse and distributed players in supply chains of all sizes.
The postroom computer: teaching introductory undergraduate computer architecture
Authors: Hugh Osborne
Venue: ACM SIGCSE Bulletin (2002)

Undergraduate students often experience difficulty in understanding the basic principles of low level computer operations in introductory courses to computer architectures when these are taught using actual low level programming languages. This is not due to any inherent complexity of the concepts but rather a consequence of assembly language specific details and the need to introduce many concepts simultaneously, such as, for example, data representation, addressing modes and primitive I/O. This paper describes the Postroom Computer, a low level language simulator that not only provides a simple low level language, suitable as an introduction to assembly language programming, but also allows computer architecture concepts to be introduced in an incremental fashion.
Digital Image Processing, 2nd edition
Authors: Rama Chellappa
Venue:  (1994)

:This text is appropriate for someone who has has a senior-level or a first-year graduate-level course on image processing. The numerous papers on image models, restorations, and compression would be best appreciated by readers with a background in random processes, such as that normally attained in the first year of graduate curriculum in electrical engineering. 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
Decidable verification for reducible timed automata specified in a first order logic with time
Authors: Daniéle Beauquier, Anatol Slissenko
Venue: Theoretical Computer Science (2002)

We consider one type of first order timed logic (FOTL) with explicit continuous time. FOTL is sufficiently expressible from the user's point of view to rewrite directly requirements specifications often given in a language close to the natural one, and it permits to represent the set of runs of timed programs. Thus, FOTL is apt to formalize the verification problem for timed systems. Our main goal is to describe in semantical terms interesting decidable classes of the verification problem within this setting. We prove that under some finiteness properties of the requirements and algorithm specifications the verification problem represented in FOTL becomes decidable. The finiteness properties we introduce, "finite refutability" and "finite satisfiability", are undecidable in the general case. However, "finite refutability" is often easy to verify. On the other hand, we give a sufficient condition, namely reducibility, which ensures the "finite satisfiability" for timed automata, and we prove that the reducibility is decidable. This is the main result of the paper. As a consequence the verification of any finitely refutable requirements is decidable for reducible timed automata.
Gregg College Keyboarding and Document Processing for Windows 95 and Word 7: Take-Home Package, 8th edition
Authors: Scot Ober, Albert D. Rossetti, Arlene Rice
Venue:  (1999)

:The home version of the successful Gregg College Keyboarding and Document Processing Course. Provides instruction on keyboarding techniques and basic word processing functions as well as ten-key practice.
Windows Millennium Edition: The Complete Reference
Authors: John R. Levine, Margaret Levine Young
Venue:  (2000)

:Microsoft is updating the world's most popular OS to a consumer-focused Millennium edition. This book will cover all the new features,which include home networking,entertainment,gaming,and much more. CD-ROM contains all the book's material and is fully searchable,providing portable access to the comprehensive content found in this reference. The Ultimate Guide to Microsoft's Newly Updated Operating System Get the most out of the powerful and exciting new features Windows Me has to offer. You'll learn to install,set up,optimize,and run the #1 home and small-business operating system and get details on software and peripheral options by using this comprehensive resource. Written by world-renowned authors,this authoritative guide covers everything from creating home networks and sharing printers to utilizing the enhanced digital media and entertainment capabilities. Whether you are a novice interested in learning the basic features of Windows Me or an experienced user wanting in-depth explanations on more advanced topics,this is your one-stop reference to the world's most popular operating system. Install and run Windows MeManage files and folders and share information between programsCustomize your Start menu,Taskbar,and desktopSet up printers and fontsBrowse the Web,send e-mail,and chat using NetMeetingCreate a network so all your computers can share one Internet connectionLearn housekeeping tips to ensure your disks are safeTune and troubleshoot Windows Me for maximum performanceProtect yourself from viruses and control your browser's cookiesBonus CD-ROM includes fully searchable electronic version of book
Microsoft Project 2000 Step by Step with CD-ROM
Authors: Carl S. Chatfield, Timothy D. Johnson
Venue:  (1999)

:Co-authored by two Microsoft Project 2000 authorities-a Microsoft Project documentation manager and a Microsoft Project support engineer.
America Online for Dummies, 4th edition
Authors: John Kaufeld
Venue:  (1998)

:Whether you're interested in e-mail or chat rooms, investments or the Internet, America Online is the place to find it. To make the most of your online adventures, keep America Online For Dummies, 4th Edition, by your side. This lighthearted, easy-to-use reference is your personal guide to the coolest information, the best shopping, and the zaniest chats on the world's largest online service. Featuring goodies for first-timers, old-timers, and all the 'timers in between, this down-to-earth reference delivers the information you need to make online life fun! Inside, find helpful advice on how to Make the most of your America Online time with the software's built-in navigational aids Unearth the secrets of customizing your member profile, adding new buttons to the toolbar, and much more Collect incredible amounts of free (or nearly free) software from America Online's many software libraries Traverse the World Wide Web, newsgroups, and other digital resources through America Online's Internet connections Find out which tweaks, tunings, and upgrades turn your computer into an online access powerhouse Solve the most common AOL problems and get back to work (or play) faster than ever Find, join, and enjoy the many online hobby, interest, professional, and gaming communities inside America Online Take AOL on the road with traveler-tested tips from a real road warrior
Business Components Factory: A Comprehensive Overview of Component-Based Development for the Enterprise, 1st edition
Authors: Peter Herzum, Oliver Sims
Venue:  (2000)

:In this book, Peter Herzum and Oliver Sims present a complete component based strategy, the business component approach, that applies and extends component thinking to all aspects of the software life cycle for enterprise systems. The approach includes a conceptual framework that brings components into the world of scalable systems, and outlines the different component granularities.It also includes a methodology that goes beyond current object-oriented practices to provide the concepts required to meet the real challenges of component-based development. Using their business component approach, the authors then provide a blueprint for a business component factorya development capability that can produce software with the quality, speed, and flexibility needed to match changing business needs. Sprinkled with guidelines, tips, and architectural patterns, this book fully prepares you for the approaching component revolution.Praise for Business Component Factory". . . this book should be very useful for anyone considering the daunting task of adopting component software on an enterprise scale."Clemens Szyperski (Microsoft Research), Author of the award-winning book, Component Software: Beyond Object-Oriented Programming"Herzum and Sims do an admirable job of differentiating the different component concepts, allowing this clearly written book to focus on the construction of business systems by non-software practitioners, out of business component parts developed separately (and perhaps for a commodity component marketplace). This is the future of software systems, and this book is a practical, giant step in that direction."Richard MarkSoley,PhD,Chairman and CEO, OMG"Finally, a book that takes you from component design all the way down to the middleware on which they are deployed. ItO;s an important contribution to the nascent server-side component discipline written by practitioners for practitioners."Robert Orfali, Author of Client/Server Survival Guide, Third Edition and Client/Server Programming with Java and CORBA, Second Edition (both from Wiley)
C++ Standard Template Library, 1st edition
Authors: P.J. Plauger, Meng Lee, David Musser, Alexander A. Stepanov
Venue:  (2000)

:Standard Template Libraries (STL) were created to provide C++ programmers with a suite of reusable programs, or lines of code, that could be used by everyone to increase programming productivity and quality. This book is the definitive reference on C++ programming using STL, as it was written by the team that created the library. Every C++ programmer will need at least one off-the-shelf STL reference guide. Each chapter covers one STL component, and includes background, a review of the standard, using the component, implementing the component, and exercises. For C++ Software Development Managers and C++ programmers at all levels.
Minimizing makespan in a two-machine flowshop with dynamic arrivals allowed
Authors: Chang Sup Sung, Young Hwan Kim
Venue: Computers and Operations Research (2002)

This paper considers a scheduling problem for a two-machine flowshop where a discrete processing machine is followed by a batch processing machine and a finite number of jobs arrive dynamically at the first machine. In the flowshop, the discrete processing machine processes one job at a time and the batch processing machine processes a batch of jobs simultaneously. The objective is to find the optimal schedule which minimizes the maximum completion time (makespan) of all jobs. In the situation where preemption is allowed on the discrete processing machine, it is shown that the optimal schedule can be found in polynomial time. However, in the situation where no preemption is allowed on the discrete processing machine, it is shown that the problem is NP-complete, for which an efficient heuristic solution algorithm is constructed and its tight worst-case error bound is derived. Numerical experiments show that the heuristic algorithm consistently generates good schedules.
The Size of the Largest Components in Random Planar Maps
Authors: Zhicheng Gao, Nicholas C. Wormald
Venue: SIAM Journal on Discrete Mathematics (1999)

Bender, Richmond, and Wormald showed that in almost all planar 3-connected triangulations (or dually, 3-connected cubic maps) with n edges, the largest 4-connected triangulation (or dually, the largest cyclically 4-edge-connected cubic component) has about n/2 edges [ Random Structures Algorithms, 7 (1995), pp. 273--285]. In this paper, we derive some general results about the size of the largest component and apply them to a variety of types of planar maps.