ppxscal/embedding_network huggingface dataset:
Restriction categories I: categories of partial maps
Authors: J. R. B. Cockett, Stephen Lack
Venue: Theoretical Computer Science (2002)

Given a category with a stable system of monics, one can form the corresponding category of partial maps. To each map in this category there is, on the domain of the map, an associated idempotent, which measures the degree of partiality. This structure is captured abstractly by the notion of a restriction category, in which every arrow is required to have such an associated idempotent. Categories with a stable system of monics, functors preserving this structure, and natural transformations which are cartesian with respect to the chosen monics, form a 2-category which we call MCat. The construction of categories of partial maps provides a 2-functor Par:Mcat&rarr;Cat. We show that Par can be made into an equivalence of 2-categories between MCat and a 2-category of restriction categories. The underlying ordinary functor Par&r0:Mcat&0 &rarr; Ca t0 of the above 2-functor Par turns out to be monadic, and, from this, we deduce the completeness and cocompleteness of the 2-categories of M-categories and of restriction categories. We also consider the problem of how to turn a formal system of subobjects into an actual system of subobjects. A formal system of subobjects is given by a functor into the category sLat of semilattices. This structure gives rise to a restriction category which, via the above equivalence of 2-categories, gives an M-category. This M-category contains the universal realization of the given formal subobjects as actual subobjects.
Resident Evil: Code: Veronica
Authors: Prima Temp Authors, Tri Pham, Donato Tica
Venue:  (2000)

:Strategies for surviving Umbrella's horrorsHandy item reference sectionTips on dispatching all enemiesHerb mixing chartSealed bonus section with details on the Battle Game and moreDouble-sided 30" x 24" Map Poster!
Playstation Game Secrets: The Unauthorized Edition
Authors: Nick Roberts, Vince Matthews
Venue:  (1998)

:Thirty games . . . one guide. PrimaÆs team has done it again with all the key hints, strategies, GameShark codes direct from Code Boy, maps, commentary, ratings, and reviews to take your PlayStation experience to the next level. Get the scoop on Resident Evil II, Tomb Raider II, Breath of Fire III, WCW Nitro, Duke Nukem: Total Meltown, Masters of Teras Kasi, and many more of the hottest games around.
Broadband Switching Systems, 1997 2nd IEEE International Workshop
Authors: Institute of Electrical and Electronics Engineers
Venue:  (1998)

:The theme of the 1997 BSS highlights switching systems for the Broadband Internet and for QoS on Demand, which is one of the most important topics on high-speed networks and broadband services.
On the Performance of Parallel Matrix Factorisation on the Hypermesh
Authors: A. Al-Ayyoub, M. Ould-Khaoua, K. Day
Venue: The Journal of Supercomputing (2001)

Most common multicomputer networks, e.g. d-ary h-cubes, are graph topologies where an edge (channel) interconnects exactly two vertices (nodes). Hypergraphs are a generalisation of the graph model, where a channel interconnects an arbitrary number of nodes. Previous studies have used synthetic workloads (e.g. statistical distributions) to stress the superior performance characteristics of regular multi-dimensional hypergraphs, also known as hypermeshes, over d-ary h-cubes. There has been, however, hardly any study that has considered real-world parallel applications. This paper contributes towards filling this gap by providing a comparative study of the performance of one of the most common numerical problems, namely matrix factorisation, on the hypermesh, hypercube, and d-ary h-cube. To this end, the paper first introduces orthogonal networks as a unified model for describing both the graph and hypergraph topologies. It then develops a generalised parallel algorithm for matrix factorisation and evaluates its performance on the hypermesh, hypercube and d-ary h-cube. The results reveal that the hypermesh supports matrix computation more efficiently, and therefore provides more evidence of the hypermesh as a viable network for future large-scale multicomputers.
Challenge: recombinant computing and the speakeasy approach
Authors: W. Keith Edwards, Mark W. Newman, Jana Sedivy, Trevor Smith, Shahram Izadi
Venue: Proceedings of the 8th annual international conference on Mobile computing and networking (2002)

Interoperability among a group of devices, applications, and services is typically predicated on those entities having some degree of prior knowledge of each another. In general, they must be written to understand the type of thing with which they will interact, including the details of communication as well as semantic knowledge such as when and how to communicate. This paper presents a case for "recombinant computing" -- a set of common interaction patterns that leverage mobile code to allow rich interactions among computational entities with only limited a priori knowledge of one another. We have been experimenting with a particular embodiment of these ideas, which we call Speakeasy. It is designed to support ad hoc, end user configurations of hardware and software, and provides patterns for data exchange, user control, discovery of new services and devices, and contextual awareness.
Third Order Accurate Large-Particle Finite Volume Method on Unstructured Triangular Meshes
Authors: Song-He Song, Mao-Zhang Chen
Venue: SIAM Journal on Scientific Computing (2001)

The large-particle fluid in cell (FLIC) method, presented in 1960s, is a numerical method that can be applied to solve unsteady flow. The computational scheme consists of two steps for each time march step: First, intermediate values are calculated for the velocities and energy, taking into account only the effects of acceleration caused by pressure gradients; second, transport effects are calculated. In this paper, we present a third order large-particle finite volume method for unstructured triangular meshes. The key idea of this method is the reconstruction of weighted quadratic interpolation for flow variables, and the two-point Gauss quadrature formula is used on mesh edges. The computational results for two typical flows verify the accuracy of the method.
Exchange and Outlook Programming
Authors: Joel Semeniuk
Venue:  (2000)

:Exchange Server is Microsoft's flagship project. It is common for firms to choose Windows over other Operating Systems just so they can use Exchange Server. Most enterprise installations, especially those with remote or mobile employees, create custom collaborative Outlook and Exchange applications for groupware, salesforce automation and project management. Exchange & Outlook Programming is divided into four sections that build upon one another, first by establishing a base (“Why build collaborative solutions” ?), then by laying out the tools that can be used to build collaborative solutions. The third section helps to establish how we should plan and design effective collaborative solutions. Finally, the fourth section provides insight and knowledge on the exact methods of using our tools to develop and rollout typical workflow/collaborative solutions.
An Introduction to Numerical Methods: A MATLAB Approach, 1st edition
Authors: Abdelwahab Kharab, Ronald B. Guenther
Venue:  (2001)

:Numerical methods are a mainstay of researchers and professionals across the many mathematics, scientific, and engineering disciplines. The importance of these methods combined with the power and widespread availability of desktop computers virtually demands that students in these fields be well-versed not only in the numerical techniques, but also in the use of a modern computational software package.An Introduction to Numerical Methods: A MATLAB Approach fulfills both these needs. Requiring only calculus and some basic programming concepts as background, it introduces readers to the theory and applications of the most commonly used techniques for solving numerical problems on a personal computer. It covers a wide range of useful algorithms, each presented with full details so that readers can visualize and interpret each step. The enclosed CD-ROM contains simple MATLAB functions that provide step-by-step explanations of the mechanisms behind the algorithm for each technique and guide readers through the necessary calculations.Emphasis on understanding how the methods work, a simple, direct style, and thorough coverage make this book an outstanding initiation that allows readers to see almost immediate results. It will boost confidence in the ability to master the subject and provide valuable experience in the use of MATLAB.
Supporting personal mobility for nomadic computing over the internet
Authors: Yalun Li, Victor C. M. Leung
Venue: ACM SIGMOBILE Mobile Computing and Communications Review (1997)

This paper presents a new paradigm for nomadic computing over the Internet called universal personal computing (UPC), where mobile users can access computing resources, network services, and personalized computing environments anywhere using any available terminals. The concept of UPC and system design issues are discussed, and the required system architecture capable of managing different mobile objects, i.e., users and terminals, in the UPC environment is presented. Modifications of connection setup procedures between user application programs to enable addressing based on a global user identity are considered.
Some reflections on IT
Authors: J Unji Yamaguchi
Venue: Proceedings of the 2001 EC/NSF workshop on Universal accessibility of ubiquitous computing: providing for the elderly (2001)

In this paper, we examine IT as a technology. We try to investigate negative implications of IT, both socially and morally so that we can eliminate or, at least, find remedies for, as many harmful elements as we can perceive before the damages are done. We ponder upon the ethics of capitalism fearing that the free market system will collapse if we act unethically. We believe IT will help accelerate the process. The question is how to integrate and enhance human values and fundamental rights through innovation. In the case of the elderly, difficulties arise with the memory; the elderly more or less suffer from decline of semantic memory. To overcome this loss of memory we propose a scheme: the multimedia triad reference system: this will not only help the elderly express themselves with ease and sophistication, but also assist them in learning interactive cross-references between multi-modal meanings.Examples are from the Japanese culture tradition for short poems of waka and haiku. The phenomenon indicates that the desire to express oneself not only enhances one's quality of life but also is closely connected to one's self esteem and dignity. Based upon this philosophy, the proposed thesaurus classifies some 10,000 kigo or season words, which play an important role in composing haiku, and carries as many words and phrases that are used in wakaIn conclusion, . UA (Universal Accessibility) will soon have to mean accessibility for people of the order of billion. We must learn from the past and mean to be multilingual and multicultural.
Approximation algorithms for general parallel task scheduling
Authors: Oh-Heum Kwon, Kyung-Yong Chwa
Venue: Information Processing Letters (2002)

A general parallel task scheduling problem is considered. A task can be processed in parallel on one of several alternative subsets of processors. The processing time of the task depends on the subset of processors assigned to the task. We first show the hardness of approximating the problem for both preemptive and nonpreemptive cases in the general setting. Next we focus on linear array network of m processors. We give an approximation algorithm of ratio O(log m) for nonpreemptive scheduling, and another algorithm of ratio 2 for preemptive scheduling. Finally, we give a nonpreemptive scheduling algorithm of ratio O(log2 m) for m × m two-dimensional meshes.
Windows NT 4.0 Workstation
Authors: Dave Kinnaman
Venue:  (1998)

:Becoming a Microsoft Certified Systems Engineer just goteasier. Accelerated MCSE Study Guides are written by expertsMCSEs and MCTsfor computer professionals who want to pass their exams the first time around. It's all here: everything you need to approach the exam with confidence,in a handy,study-anywhere format. The Windows NT Workstation 4. 0 Accelerated MCSE Study Guide provides exactly the kind of guidance necessary to get you ready for the Microsoft Windows NT Workstation 4. 0 examone of the core tests for getting your MCSE credentials. Pick any topicfrom everyday support issues to configuring printers,to user profilesand the information is all there,right where you want it. A complete,one-stop reference on how to study for and pass Exam 70-073: Microsoft Windows NT Workstation 4. 0; Must-know,insider details on test procedures,costs,restrictions,rules,and myths; full coverage of installations,file systems,and hardware facts required for the exam
A Radix-4 New Svobota-Tung Divider with Constant Timing Complexity for Prescaling
Authors: Jen-Shiun Chiang, Min-Shiou Tsai
Venue: Journal of VLSI Signal Processing Systems (2002)

A new floating-point division architecture that complies with the IEEE 754-1985 standard is proposed in this paper. This architecture is based on the New Svoboda-Tung (NST) division algorithm and the radix-4 MROR (maximally redundant maximally recoded) signed digit number system. In NST division, the divisor and dividend must be prescaled. We summarize a general systematic method to accomplish the prescaling, and we also propose a hardware scheme such that the timing complexity is constant regardless of the bit length of the divisor. For the divider implementation, a new MROR signed digit adder with carry free characteristic is proposed for addition and subtraction, and this adder can improve the cycle time significantly. A 32-b/32-b radix-4 divider is thus designed in Verilog HDL&semi; the simulation results show that this architecture is implementable using currently available libraries. The hardware complexity and performance of this divider is competitive with conventional SRT dividers.
Microsoft Publisher 2000 Quicktorial with Disk, 1st edition
Authors: Mary Alice Eisch, Kathy Krueger
Venue:  (2000)

:This QuickTorial provides a quick introduction for beginning users of Microsoft Publisher 2000. This self-paced, self-instructional guide provides students with all the instruction necessary to become a proficient user of this leading desktop publishing program.
On the Combinatorics of Projective Mappings
Authors: György Elekes, Zoltán Király
Venue: Journal of Algebraic Combinatorics: An International Journal (2001)

We consider composition sets of one-dimensional projective mappings and prove that small composition sets are closely related to Abelian subgroups.
How to Prepare for A+ Certification
Authors: Computer Confidence, Brendan Simpson
Venue:  (2001)

:This brand new test prep manual is written for the computer technician seeking A+ certification. Filled with details on computer hardware and software, it can also serve as a general reference source for computer science students. In six main parts the text describes the certification process, details the standard components inside a typical computer, instructs on installing hardware, describes input and output devices, provides a software overview, and presents four sample A+ Certification exams with answers. A general reference chapter completes this volume.
Java Performance Tuning, 2nd edition
Authors: Jack Shirazi
Venue:  (2002)

:No matter what language they're programming in, developers always wish things would run faster! Especially when writing mission-critical applications, no one wants to be limited by their programming environment. Java Performance Tuning provides all the details a developer needs to know to "performance tune" any type of Java program and make Java code run significantly faster. Java Performance Tuning contains step-by-step instructions on all aspects of the performance tuning process, right from such early considerations as setting goals, measuring performance, and choosing a compiler. Extensive examples for tuning many parts of an application are described in detail, and any pitfalls are identified. The book also provides performance tuning checklists that enable developers to make their tuning as comprehensive as possible. Java Performance Tuning is a book for developers who are ready to "roll up their sleeves" and examine their code in detail in order to apply different tuning techniques to produce the best possible result. The book shows how to: Create and plan a tuning strategy Avoid performance penalties from inefficient code Minimize the number of objects a program creates Improve the behavior of loops and switches Use threads effectively About the Author Jack Shirazi is an independent consultant. He was an early adopter of Java, and for the past few years he has consulted, mainly for the financial sector, focusing on Java performance. Before using Java, Jack spent many years tuning smalltalk applications. Jack is also pleased to have contributed to some of the core Perl 5 modules.
Children in the Digital Age: Influences of Electronic Media in Development
Authors: Rodney R. Cocking
Venue:  (2002)

:Television will be interactive, computers will provide feature-length motion pictures and TV programs, and information will be delivered like never before. Access to digital technologies is rapidly changing how children experience media, changing how technologies will impact children's development, and making media an increasingly active gateway for experiencing and learning about the world. This volume considers how children use media today, and how new media is emerging and merging with existing technologies. The distinctive features of both older and newer media are examined, along with why these technologies are attractive to children and adolescents. An interdisciplinary group of scholars from the fields of psychology, communication, sociology, and linguistics examine the effect of media experiences on children's social, cognitive, familial, and consumerist experiences. Social policy implications of media effects are also considered.
Magi-Nation
Authors: Debra McBride, David Cassady
Venue:  (2001)

:Game BoyImportant stats for all dream creatures and enemy MagiComplete Relics, items, and spells coveredWalkthrough of the six Magi-Nation regionsSide games and secrets revealedDuel Awakening Collectible Card GamesPowerful card combinationsImportant deck building strategiesDeck rankings explainedAdvanced gameplay techniquesComplete card lists with spoilers
Designing Web Interfaces to Library Services and Resources
Authors: Kristen L. Garlock, Sherry Piontek
Venue:  (1999)

:Libraries can build Web sites unrivaled in content - commercial databases, online catalogs, community resources, Web indexes - but it takes a well-designed interface to make the content accessible, in the library tradition of access for all, you must not only consider the 50 million plus people in the United States with some kind of disability, but also users running Netscape 2.0 on a 486. As librarians in the acclaimed JSTOR electronic publishing project, authors Kristen L. Garlock and Sherry Piortek have worked with dozens of participating libraries in troubleshooting problems and soliciting user feedback. Drawing on their experience, they identify the methods behind the best library Web site designs.
America Online for Dummies: Covers E-mail, the Internet, and AOL Version 5, 6th edition
Authors: John Kaufeld
Venue:  (1999)

: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
The Singularity-Induced Bifurcation and its Kronecker Normal Form
Authors: R. E. Beardmore
Venue: SIAM Journal on Matrix Analysis and Applications (2001)

It is shown that the singularity-induced bifurcation theorem due to Venkatasubramanian, Schattler, and Zaborszky [ Proceedings of the IEEE, 83 (1995), pp. 1530--1558] can be expressed as the perturbation of an infinite eigenvalue of a particular class of parameterized index-1 matrix pencil, denoted $(M,L(\lambda))$. It is shown that the matrix pencil at the singularity-induced bifurcation point, $(M,L(\lambda_{0}))$, has Kronecker index-2. It is also shown that a two-parameter unfolding of a singularity-induced bifurcation point results in a locus of index-0 pencils, denoted $(M(\epsilon),L(\lambda(\epsilon)))$, which has two purely imaginary eigenvalues near infinity.
TechKnowledge: efficiently and cost-effectively supporting users
Authors: Amy Reeter, Todd Krupa
Venue: Proceedings of the 30th annual ACM SIGUCCS conference on User services (2002)

For more than 20 years, the information technology organization at the University of Missouri-Columbia (MU) published an on-campus newsletter. Content ranged from cute tidbits to pages of programming code for hard-core COBOL readers.Information & Access Technology Services (IAT Services) identified several requirements for a publication focusing on campus technology developments and increasing awareness of technology opportunities and applications. The publication sought to be timely, cost-effective, personable, educational, recognizable, have varied entry points, and encourage reader feedback to develop future content.The result was IAT Services TechKnowledge, a monthly online-only magazine with more than 8,000 subscribers. Evolving from a paper newsletter with one writer and vision to an organization-wide effort, TechKnowledge focuses on the latest campus technology news, provides customer support, and offers practical applications and tips on training, security and related issues.
Running Microsoft Windows NT Server for Small Businesses, 1st edition
Authors: Sharon Crawford, Charlie Russel
Venue:  (1998)

:Packed with everything from quick, clear instructions for new users to comprehensive answers for power users, Running Microsoft Backoffice Small Business Server. is the authoritative reference for building and running the small business network. This all-in-one handbook offers comprehensive guidance on how to use the applications and servers in BackOffice to deploy and support from 5 to 25 PCs-and comes complete with expert advice on how to keep your network out of trouble. Experience Level: Beginner/ Intermediate