ppxscal/embedding_network huggingface dataset:
A solution method for a certain nonlinear interface problem in unbounded domains
Authors: Q. Hu D. Yu
Venue: Computing (2001)

In this paper, we consider a kind of nonlinear interface problem in unbounded domains. To solve this problem, we discuss a new coupling of finite element and boundary element by adding an auxiliary circle. We first dervive the optimal error estimate of finite element approximation to the coupled FEM-BEM problem. Then we introduce a preconditioning steepest descent method for solving the discrete system by constructing a cheap domain decomposition preconditioner. Moreover, we give a complete analysis to the convergence speed of this iterative method.
Rough Guide to the Internet, 6th edition
Authors: Angus J. Kennedy
Venue:  (2000)

:This bestselling guide for PCs and Macs explains in plain English functions such as sending e-mail; browsing sports, news, and travel information; playing free music samples from thousands of bands; shopping for the best Internet deals; downloading free software; and creating a Web page. Screen shots.
A collaborative foraging approach to web browsing enrichment
Authors: Stephen J. Schultze
Venue: CHI '02 extended abstracts on Human factors in computing systems (2002)

As the amount of Web content grows and diversifies, traditional organizational structures such as keyword search engines and static directories become less useful and comprehensive, requiring more user effort to find relevant information. Information foraging theory [4] and collaborative filtering [6] address this problem in different but compatible ways. This paper introduces an approach called collaborative foraging that applies the biological metaphors of information foraging to the cooperative filtering. The approach assumes that humans best pursue relevent Web content according to optimal foraging behavior, collaborating with communities of like-minded foragers. This paper gives preliminary results of a limited implementation.
Novell's the Web at Work: Publishing within and beyond the Corporation, with CD-ROM, 1st edition
Authors: Peter Jerram
Venue:  (1996)

:Novell's The Web at Work: Publishing Within and Beyond the Corporation Web technology is evolving faster than corporate strategies can encompass, leaving even the most capable corporate decision makers, business managers, and network administrators scrambling to keep up or climb on board. Peter Jerram acts as your personal consultant, walking you through each crucial decision-making step in the planning and implementation process. Using practical real-business examples, helps you clarify your unique business goals, evaluate the technological strategies for realizing them, and put the power and potential of the WWW to work in your organization -- efficiently and effectively! Make Efficient and Effective Web Decisions Avoid costly, time-consuming mistakes by setting clear, up-front objectives for both content and technology *Use expert, insider technology evaluations and procedural techniques to help establish your own tactical plan for Web deployment Learn from revealing case studies of IBM, Hewlett-Packard, Tandem, Sun Microsystems, Apple Computer, and other companies Includes in-depth interviews with electronic information pioneers, including Clement Mok, one of the world's leading information architects; industry executive Eric Schmidt; top electronic information consultant William Horton; and business communications expert Ken Morris
Cooperating Expert Systems in Mechanical Design
Authors: Guo Q. Huang
Venue:  (1993)

:Bridges the gap between two areas of intensive research--mechanical design/manufacturing and cooperating expert systems. Concerned with the theory and implementation of a computational infrastructure, enabling systems designers to achieve the requisite trade-offs for a good overall balance of design among, for example, heterogeneous design tools. Features numerous case studies.
Specifications and testing aided by a variant of the cause-effect process
Authors: Anthony Q. Baxter, J. Austin French
Venue: Proceedings of the 30th annual Southeast regional conference (1992)

For many years the cause-effect process has played a role in testing [1, 2]. A simplified variation of the cause-effect process will be shown. This variation is not only effective for testing and carefully analyzing existing specifications, but is also useful for developing complete specifications. The cause-effect graph is claimed to be unnecessary.
Factors influencing the formation of a user's perceptions and use of a DSS software innovation
Authors: Mike W. Chiasson, Chris Y. Lovato
Venue: ACM SIGMIS Database (2001)

Understanding how users form perceptions of a software innovation would help software designers, implementers and users in their evaluation, selection, implementation and on-going use of software. However, with the exception of some recent work, there is little research examining how a user forms his or her perceptions of an innovation over time. To address this research need, we report on the experiences of a health planner using a DSS software tool for health planning over a 12-month period. Using diffusion theory as outlined by Rogers, we interpret the user's perceptions of the software following Rogers' perceived characteristics of the innovation. Furthermore, we show how our user justifies her attitudes toward the technology using 5 important factors during 3-, 6- and 12-month interviews: stage of adoption, implementation processes, organizational factors, subjective norms, and user competence. Results are compared with key IS research in these areas, and the implications of these findings on the diffusion of decision support systems are discussed.
Usability Engineering
Authors: Jakob Nielsen
Venue:  (1995)

:Written by the author of the best-selling HyperText & HyperMedia, this book provides an excellent guide to the methods of usability engineering. Special features: emphasizes cost-effective methods that will help developers improve their user interfaces immediately, shows you how to avoid the four most frequently listed reasons for delay in software projects, provides step-by-step information about which methods to use at various stages during the development life cycle, and offers information on the unique issues relating to informational usability. You do not need to have previous knowledge of usability to implement the methods provided, yet all of the latest research is covered.
The PC User's Essential Accessible Pocket Dictionary, 2nd edition
Authors: Peter John Dyson
Venue:  (1995)

:Here's an updated new edition of our compact easy-to-understand guide to technical terms and computer jargon. Greatly expanded to cover recent advances and developments, such as the Internet and new hardware, this book includes hundreds of new entries featuring plain language definitions and helpful insights. A must for computer users who need to stay current.
You can't build a bridge without a solid foundation: training, support, documentation and communication - the right foundation
Authors: Kathleen Cummings Topalian
Venue: Proceedings of the 29th annual ACM SIGUCCS conference on User services (2001)

Rolling out an administrative system in a decentralized business model can easily produce a result that is both a technical success and public relations failure. This paper will revisit the two systems rollouts at Tufts that inaugurated a support, training and communications strategy that reinforced a new way of doing business in an academic environment. The Tufts' solution is a directorate that owns support, training, documentation and web services. Together, it is supported by the communications arm of the IT organization.The result is a dramatic improvement in both the quantity and quality of customer services. An equal partner with MIS, Networking, and Academic Computing, Tufts' Support Services department brokers the implementation process so that customers feel represented prepared and supported. New IT initiatives are no longer met with the "Oh no" mentality; in its place is a revitalized community that sees value in computing technologies. We currently enjoy:An end-user desktop training department--with a curriculum of over 40 courses--that offers monthly training and consulting on our three campusesThe development of a first and second tier support training curriculum to insure consistency and quality in support services across our three campusesAn elevated skill and service level in our HelpdeskCampus-wide meeting forums where University interest groups exchange information and voice concerns with the IT OrganizationAn internal and external communications strategy, with a newsletter platform to facilitate public relationsWeb services to facilitate both the web needs of our IT organization and of our customers..This paper will benefit IT directors, managers, Help Desk professionals, trainers, support specialists and customer service professionals as they strategize regarding the best way to service their customers.
Four-Ary Tree-Based Barrier Synchronization for 2D Meshes without Nonmember Involvement
Authors: Sangman Moh, Chansu Yu, Ben Lee, Hee Young Youn, Dongsoo Han, Dongman Lee
Venue: IEEE Transactions on Computers (2001)

This paper proposes a Barrier Tree for Meshes (BTM) to minimize the barrier synchronization latency for two-dimensional (2D) meshes. The proposed BTM scheme has two distinguishing features. First, the synchronization tree is 4-ary. The synchronization latency of the BTM scheme is asymptotically $\Theta (\log_{4} n)$, while that of the fastest scheme reported in the literature is bounded between $\Omega (\log_{3} n)$ and $O (n^{1/2})$, where $n$ is the number of member nodes. Second, nonmember nodes are neither involved in the construction of a BTM nor actively participate in the synchronization operations, which avoids interference among different process groups during synchronization. This not only results in low setup overhead, but also reduces the synchronization latency. The low setup overhead is particularly effective for the dynamic process model provided in MPI-2. Extensive simulation study shows that, for up to $64 \times 64$ meshes, the BTM scheme results in about $40 \sim 70$ percent shorter synchronization latency and is more scalable than conventional schemes.
QuickTime VR Book: Creating Immersive Imaging on Your Desktop
Authors: Susan A. Kitchens
Venue:  (1999)

:QuickTime Virtual Reality, more commonly known as QuickTime VR, is a cross-platform technology developed by Apple Computer as an additional layer to QuickTime. The concise information in this title shows readers how to add QuickTime VR content to their Web site or CD-ROM. Basics of virtual-reality technology are explored, such as planning a movie, viewing and creating panoramas and object movies, and setting up hot spots.
What is the coalgebraic analogue of Birkhoff's variety theorem?
Authors: Robert Goldblatt
Venue: Theoretical Computer Science (2001)

Logical definability is investigated for certain classes of coalgebras related to state-transition systems, hidden algebras and Kripke models. The filter enlargement of a coalgebra A is introduced as a new coalgebra A+ whose states are special "observationally rich" filters on the state set of A. The ultra filter enlargement is the subcoalgebra A* of A+ whose states are ultrafilters. Boolean combinations of equations between terms of observable (or output) type are identified as a natural class of formulas for specifying properties of coalgebras. These observable formulas are permitted to have a single-state variable, and form a language in which modalities describing the effects of state transitions are implicitly present. A* and A+ validate the same observable formulas. It is shown that a class of coalgebras is definable by observable formulas iff the class is closed under disjoint unions, images of bisimulations, and (ultra)filter enlargements. (Closure under images of bisimulations is equivalent to closure under images and domains of coalgebraic morphisms.) Moreover, every set of observable formulas has the same models as some set of conditional equations. Examples are constructed to show that the use of enlargements is essential in these characterisations, and that there are classes of coalgebras definable by conditional observable equations, but not by equations alone. The main conclusion of the paper is that to structurally characterise classes of coalgebras that are logically definable by modal languages requires a new construction, of "Stone space" type, in addition to the coalgebraic duals of the three constructions (homomorphisms, subalgebras, direct products) that occur in Birkhoff's original variety theorem for algebras. Copyright 2001 Elsevier Science B.V.
Microsoft Help Desk for Microsoft Windows 98
Authors: Stephen L. Nelson
Venue:  (2000)

:The Microsoft Windows 98 operating system is the upgrade to Windows that makes your computer work better and play better. It works better by making it simple to access the Internet and by providing better system performance, along with easier system diagnostics and maintenance. With Windows 98, your system plays better as well with support for the latest graphics, sound, and multimedia technologies, the ability to easily add and remove peripheral devices with support for Universal Serial Bus (USB), and it also enables the convergence of the PC and TV in your home. This exciting new operating system builds on the groundbreaking features introduced with Windows 95. At the same time, Windows 98 maintains the best support for older Windows-based applications and technologies. Better use of the Internet: Users can get easier access with Internet Connections Wizard, and receive Internet content without tying up their telephone line. Higher quality computing: Users can load applications faster and use their hard disk space more efficiently. Exciting entertainment options: Users can take advantage of built-in support for playing fast, interactive games and watching digital video disks (DVDs) and TV on their PCs. More power for the PC and its accessories: With Windows 98 and Universal Serial Bus (USB), Plug and Play peripherals are a reality. 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
Software Reuse: Third International Conference on Advances in Software Reusability
Authors: William B. Frakes
Venue:  (1994)

:Software engineering is undergoing a fundamental change. The new paradigm - systematic reuse - shifts from viewing software engineering as a discipline concerned with the construction of single systems to viewing it as concerned primarily with constructing related systems that share common parts and vary in certain regular and identifiable ways. This volume contains some of the latest and best research by many noteworthy authors in this field, including a keynote address by Jim Neighbors titled, An Assessment of Reuse Technology After Ten Years.
MicroStation for Civil Engineers: A Design Cookbook
Authors: Robert McElligott
Venue:  (2000)

:Written as a tutorial and reference, this book is packed with design applications, examples, and exercises, and its written by civil engineers for civil engineers. It approaches civil engineering tasks by using MicroStation along with extensions by Bentley Systems, Intergraph, Geopak Systems and Eagle Point Software. The disk includes design application files used in examples and exercises throughout the book.
Converter Placement Supporting Broadcast in WDM Optical Networks
Authors: Lu Ruan, Dingzhu Du, Xiaodong Hu, Xiaohua Jia, Deying Li, Zheng Sun
Venue: IEEE Transactions on Computers (2001)

Given a WDM optical network with wavelength channels on its fiber links, we consider the problem of finding the minimum set of network nodes such that, with wavelength converters at these nodes, broadcast can be supported in the network. We call this problem the Converter Placement problem. We model a given network using a graph $G$ with colors on its edges and give a mathematical formulation for the problem based on the graph model. Two related problems, Color-Covering and Vertex Color-Covering, are given and analyzed. Both of them are shown to have a polynomial-time approximation with performance ratio $\ln n + 1$ and $\ln n$ is the best possible performance ratio unless $NP \subset DTIME(n^{poly\log n})$, where $n$ is the number of vertices in $G$. Using these results, we show that the Converter Placement problem has a polynomial-time approximation with performance ratio $2(\ln n +1)$ and ${\frac{1}{2}}\ln n$ is the best possible performance ratio unless $NP \subset DTIME(n^{poly\log n})$. We present an approximation algorithm to solve the Converter Placement problem and study the performance of the algorithm on randomly generated network topologies.
Networking Windows for Workgroups
Authors: Barry Nance
Venue:  (1993)

:Designed for small businesses and small groups within larger companies, this book focuses on the intermediate user who is new to networking and Windows for Workgroups. Here you will find a complete discussion of network installation, troubleshooting and project management strategies.
Macromedia Director 6 for Dummies (with CD-ROM), 1st edition
Authors: Lauren Steinhauer
Venue:  (1997)

:If becoming a Macromedia Director 6 whiz is your sweetest dream but figuring out how to use it is your worst nightmare, then Macromedia Director 6 For Dummies has your name written all over it! This friendly, easy-to-use, cross-platform reference gives you the jump-start you need when working with multimedia and publishing on the Web. Inside, find helpful advice on how to Produce interactive multimedia without programming by using the Director 6 program's new drag-and-drop behaviors Build solid cross-platform Director movies for Mac OS and Microsoft Windows Find the information you need on Director's essential commands and features, including Shockwave Discover crucial information without taking intimidating detours into complex technical issues Dive confidently into the World Wide Web with the Director 6 program's new Internet features Add high-powered interactive multimedia to all your business communications Plus, Lauren's Top Ten Lists: Ten important questions and answers about Macromedia Director 6 Ten easy ways to animate your Director 6 movies
Microsoft FrontPage 2000: No Experience Required, 1st edition
Authors: Gene Weisskopf
Venue:  (1999)

:Discover the newest enhancements to FrontPage 2000, including an improved interface and support for Dynamic HTML. Hands-on sections allow you to practice your new skills. 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
Online partial evaluation for shift and reset
Authors: Kenichi Asai
Venue: Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation (2002)

This paper presents an online partial evaluator for the &lgr;-calculus with the delimited continuation constructs shift and reset. We first give the semantics of the delimited continuation constructs in two ways: one by writing a continuation passing style (CPS) interpreter and the other by transforming them into CPS. We then combine them to obtain a partial evaluator written in CPS which produces the result in CPS. By transforming this partial evaluator back into a direct style (DS) in two steps, we obtain a DS to DS partial evaluator written in DS. The correctness of the partial evaluator is not yet formally proven. The difficulty comes from the fact that the partial evaluator is written using shift and reset. The method for reasoning about such programs is not yet established. However, the development of the partial evaluator is detailed in the paper to give a degree of confidence that it behaves as we expect.
Data Networking Made Easy: The Small Business Guide to Getting Wired for Success
Authors: Karen Patten
Venue:  (2000)

:Electronic commerce is growing exponentially, and even mom-and-pop businesses are profiting from local and wide area networks. Businesses that don't harness the power of networks will be left behind.
Running Weblogs with Slash
Venue:  (2002)

This book covers Slash from theory to customization. Learn how to install and configure and software to grow with your community and cover all sorts of common setups. Learn how to solicit and publish Stories and how to create community guidelines and let your site evolve over time. If you're a hands-on type with burning ideas, you'll even learn how to extend Slash and modify the underlying code itself.
Concurrency verification: introduction to compositional and noncompositional methods
Venue: Cambridge Tracts In Theoretical Computer Science Series; Vol. 54 (2001)

This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment and rely-guarantee paradigms, and to noncompositional methods, whose presentation culminates in an exposition of the communication-closed-layers (CCL) paradigm for verifying network protocols.
Using QuarkXPress 4.0: For Mac & Windows
Authors: Suzanne Thomas
Venue:  (1998)

:This book is all you will need to learn the latest version of the #1 desktop publishing/page layout program. QuarkXPress 4.0! All of the new features of QuarkXPress 4.0 are covered including Bezier tools, creating an index and table of contents, compiling a master document from several related documents, and creating custom frames and dashes. Keystroke-by-keystroke exercises lead users through each command and function as they learn how to set type, manipulate typefaces using QuarkXPress's extensive typographical tools, adjust images to fit in text, specify color and work with other applications such as Adobe Illustrator and Photoshop. The book can be used by either Macintosh or Windows users. 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
Deeper: My Two Year Odyssey in Cyberspace
Authors: John Seabrook
Venue:  (1997)

:In Deeper, John Seabrook, a staff writer for the New Yorker, takes us along his personal journey down the information highway. In the beginning of this pioneering adventure into cyberspace, our hero (seabrook) is a clueless newbie. He ends up an old hand, complete with arrow wounds to show off. When Seabrook is not narrating his own on-line adventures, he is writing an eyewitness history of a tumultuous period in the early history of a new medium, when the Net moved decisively from a geeky hobby to a part of mainstream popular culture. We meet major figures in the computer industry, catch the utopian feeling, get flamed, get laid, soar over the Net like Satan soaring over the Earth in Paradise Lost, join a virtual community and find out what daily life is like, lose the utopian feeling, adapt to the World Wide Web, and build a Web site. 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
Introductory VHDL: From Simulation to Synthesis, 1st edition
Authors: Sudhakar Yalamanchili
Venue:  (2000)

:This book focuses on presenting the basic features of the VHDL language in the context of its use for both simulation and synthesis. Basic language concepts are motivated by familiarity with digital logic circuits with simulation and synthesis presented as complementary design processes. Field programmable gate arrays are used as the medium for synthesis laboratory exercises, and tutorials are provided for the use of the new integrated design environments from Xilinx-which is available with the book. For engineers interested in Digital Design Laboratory, Digital Design, Advanced Digital Design, and Advanced Digital Logic