ppxscal/embedding_network huggingface dataset:
Standardization of eBook documents in the Korean industry
Authors: Won-Sung Sohn, Seung-Kyu Ko, Kyong-Ho Lee, Sung-Hyuk Kim, Soon-Bum Lim, Yoon-Chul Choy
Venue: Computer Standards Interfaces (2002)

An electronic book (eBook) has quite a few advantages over a paper-based book. However, several technical problems have not been solved until now in spite of the growing interest in eBooks, eBook industries are using different document formats with the result of difficulty in exchanging and sharing eBook contents and reinvestment in developing the related software. The US and Japan have realized the importance of a standard document format for eBooks, so they have developed the Open eBook Publication Structure (OEB PS) and JepaX, respectively, with the support from government agencies and related industries. Recently, the Electronic Book of Korea (EBK) has established a working group and developed a standard format based on the eXtensible Markup Language (XML) for eBooks. The goals of the standard include the explicit exchange of eBook contents reflecting the characteristics of the Korean publishing environment, simplicity in creation and exchangeability with the related formats. The standard supports the logical structure of various document classes as well as advanced style control such as vertical writing and multi-column editing based on XSL.
Dynamics and Control of Wastewater Systems, 2nd edition
Authors: Michael W. Barnett
Venue:  (1998)

:Part I: Technology and Tools Dynamics and Control of Wastewater Treatment Systems: An Overview Mathematical Modeling and Computer Simulation Process Control in Biological Wastewater Treatment Respirometry in Modeling and Control of Wastewater Treatment Intelligent Systems for Control and Decision Support in Wastewater Engineering Part II: Applications Dynamics and Control of Urban Drainage Systems The Integrated Computer Control System: A Comprehensive Model-Based Control Technology Application of Intelligence Control in Wastewater Treatment Dynamics and Control of the High-Purity (HPO) Activated Sludge Process Index"
The X-Economy
Authors: Thomas M. Koulopoulos, Nathaniel Palmer
Venue:  (2001)

:"In this book, Thomas Koulopoulos explains the ground rules of the new exchange economy. Koulopoulos studied six hundred companies in various stages of business transformation and concluded that their experiences, attitudes, and competitive strategies point the way to entirely new models for business. He broke down these complex models into a simple outline of five easy to understand guidelines that define the very heart of the X-economy. Koulopoulos then provides executives with the practical tools necessary to devise new objectives and implement new organizational strategies."--BOOK JACKET.
Computing in nonlinear media and automata collectives
Authors: Andrew Adamatzky
Venue:  (2001)

The subject of this book is computing in excitable and reaction-diffusion media. This is one approach to novel computing methods. Other approaches include quantum and evolutionary computation, and swarm optimization. The book explains how to design computing devices in nonlinear media. This achieved in three steps. First, cellular automaton models of reaction-diffusion and excitable computing are built. Second, natural analogies of simulated phenomena are sought. Third, working prototypes of laboratory processors are fabricated. Throughout the book it is assumed a computation is implemented using spreading waves and spatially interacting reagents. The book is full of examples of computation in cellular automata, swarms of mobile machines, thin-layer chemical liquids, insect societies, solitons, breathers and other wonders of Natur
Nearly optimal FIFO buffer management for DiffServ
Authors: Zvi Lotker, Boaz Patt-Shamir
Venue: Proceedings of the twenty-first annual symposium on Principles of distributed computing (2002)

We consider a FIFO buffer with finite storage space. An arbitrary input stream of packets arrives at the buffer, but the output stream rate is bounded, so overflows may occur. Motivated by DiffServ, we assume that each packet has value either 1 or &alpha;, for some &alpha; > 1. The buffer management task is to decide which packets to drop so as to minimize the total value of lost packets, subject to the buffer space bound, and to the FIFO order of sent packets. We consider push-out buffers, where the algorithm may eject packets from anywhere in the buffer. The best lower bound on the competitive ratio of on-line algorithms for buffer management is approximately 1.28. In this paper we present an on-line algorithm whose competitive ratio is approximately 1.30 for the worst case &alpha;. The best previous general upper bound was about 1.888.
Testing k-colorability
Authors: Noga Alon, Michael Krivelevich
Venue: SIAM Journal on Discrete Mathematics (2002)

Let G be a graph on n vertices and suppose that at least $\epsilon n^2$ edges have to be deleted from it to make it k-colorable. It is shown that in this case most induced subgraphs of G on $c k\,{\rm ln}\,k/ \epsilon^2$ vertices are not k-colorable, where c > 0 is an absolute constant. If G is as above for k=2, then most induced subgraphs on $\frac{({\rm ln} (1/\epsilon))^b}{\epsilon}$ are nonbipartite, for some absolute positive constant b, and this is tight up to the polylogarithmic factor. Both results are motivated by the study of testing algorithms for k-colorability, first considered by Goldreich, Goldwasser, and Ron in, [J. ACM, 45 (1998), pp. 653--750], and improve the results in that paper.
Data Modeling Essentials, 2nd Edition: A Comprehensive Guide to Data Analysis, Design, and Innovation, 2nd edition
Authors: Graeme C. Simsion
Venue:  (2001)

:Written by leading practitioners, this guide to data analysis, design and innovation is a tutorial and reference for systems analysts, business analysts, specialist data modelers, database designers, and students requiring a practical understanding of a project. It includes many practical examples to illustrate choices available to modelers and criteria for selecting the best model. The book explores the difference between modeling business data requirements and designing and maintaining the resulting database, including the impact of universal server and data distribution. A revision of the first successful edition published by Coriolis in 1994, this book contains numerous updates and additional chapters to illustrate real world data modeling for commercial information systems.
Learn Microsoft Visio 2002
Authors: Ralph Grabowski
Venue:  (2001)

:Visio is essential office software for creating business diagrams, such as flowcharts and organization charts, and 2D technical drawings, such as office and space plans. This best-seller shows you how easy it is to harness the power of Visio. Author Ralph Grabowski provides comprehensive coverage of Visio 2002, from starting a new drawing and saving files to more complex topics such as exporting Visio drawings to other file formats and creating Web documents. The modular format, complete with step-by-step procedures, allows you to start anywhere in the book to learn how to create and work with Visio drawings. Hands-on activities provide the opportunity to practice essential concepts. The appendix lists numerous mouse and keyboard shortcuts that enable you to work more quickly and efficiently.
MCSE Test Success: Networking Essentials
Authors: Todd Lammle, Frank Cabiroy, Bruce Moran
Venue:  (1997)

:Get ready for the hottest networking certification currently available, with the new MCSE Testing Guides. The perfect follow-up to the MCSE: Networking Essentials Study Guide, this book enables you to test your knowledge of the material required for the Networking Essentials exam and make sure you're ready to take it. The book provides summaries of the essential topics, and includes more than eight hundred questions with detailed answers, and more than two hundred sample test questions. The CD includes the MCSE BeachFront Quizzer Special Edition, a test-simulation program for getting ready to take the computer-based exams, and the Network Press MCSE Study Guide Sampler.
Official Survival Guide to the Apocalypse
Authors: Margie Stohl, Sikorski
Venue:  (1997)

:This guide arms you with a complete walkthrough of every level Arsenal of weapons and power-ups Strategies to defeat each of the Four Horsemen As judgement day approaches...the world is polarized by the cultural forces of religion and science. It's up to you, as gearhead Trey Kincaid, to defeat the Reverend and the Four Horsemen of the Apocalypse...
Ternary Code Construction of Unimodular Lattices and Self-Dual Codes over \Bbb Z6
Authors: Masaaki Harada, Masaaki Kitazume, Michio Ozeki
Venue: Journal of Algebraic Combinatorics: An International Journal (2002)

We revisit the construction method of even unimodular lattices using ternary self-dual codes given by the third author (M. Ozeki, in Th&eacute;orie des nombres, J.-M. De Koninck and C. Levesque (Eds.) (Quebec, PQ, 1987), de Gruyter, Berlin, 1989, pp. 772&ndash;784), in order to apply the method to odd unimodular lattices and give some extremal (even and odd) unimodular lattices explicitly. In passing we correct an error on the condition for the minimum norm of the lattices of dimension a multiple of 12. As the results of our present research, extremal odd unimodular lattices in dimensions 44, 60 and 68 are constructed for the first time. It is shown that the unimodular lattices obtained by the method can be constructed from some self-dual \Bbb Z6-codes. Then extremal self-dual \Bbb Z6-codes of lengths 44, 48, 56, 60, 64 and 68 are constructed.
Teaching tools and methods: GeNisa: a web-based interactive learning environment for teaching simulation modelling
Authors: Tajudeen Atolagbe, Vlatka Hlupic, Simon J. E. Taylor
Venue: Proceedings of the 33nd conference on Winter simulation (2001)

Intelligent Tutoring Systems (ITS) provide students with adaptive instruction and can facilitate the acquisition of problem solving skills in an interactive environment. This paper discusses the role of pedagogical strategies that have been implemented to facilitate the development of simulation modelling knowledge. The learning environment integrates case-based reasoning with interactive tools to guide tutorial remediation. The evaluation of the system shows that the model for pedagogical activities is a useful method for providing efficient simulation modelling instruction.
Query processing for distributed databases using generalized semi-joins
Authors: Yahiko Kambayashi, Masatoshi Yoshikawa, Shuzo Yajima
Venue: Proceedings of the 1982 ACM SIGMOD international conference on Management of data (1982)

In distributed database systems, the cost to process a query is mainly determined by the amount of communication. Semi-join is a very useful tool to reduce the cost of joins in such systems. There are, however, queries called cyclic ones which cannot be processed by semi-joins only. In this paper the concept of generalized semi-joins is introduced to solve such a problem. To handle an arbitrary cyclic query, first a spanning tree is selected in the corresponding query graph and then generalized semi-joins are applied in the order determined by the tree. Processing of cyclic queries, however, requires more communication cost than processing of tree queries, since in the former case we need to transmit attribute values which are not required in the latter case. A procedure to reduce the communication cost of such additional data is developed, which will make the generalized semi-join based procedures practical.
Polynomials associated with nowhere-zero flows
Authors: Martin Kochol
Venue: Journal of Combinatorial Theory Series B (2002)

In this paper we study relations between nowhere-zero Zk and integer-valued flows in graphs and the functions FG(k) and IG(k) evaluating the numbers of nowhere-zero Zk- and k-flows in a graph G, respectively. It is known that FG(k) is a polynomial for k > 0. We show that IG(k) is also a polynomial and that 2m(G)FG(k) ≥ IG(k) ≥ (m(G)+1) FG(k), where m(G) is the rank of the cocycle matroid of G. Finally we prove that FG(k+ 1) ≥ FG(k) . k/(k-1) and IG(k+ 1) ≥ IG(k) . k/(k-1) for every k > 1.
Multilevel One-Way Dissection Factorization
Authors: Alan George, Wei-Pai Tang, Ya Dan Wu
Venue: SIAM Journal on Matrix Analysis and Applications (2000)

Strategies for choosing an effective solver for a large sparse matrix equation are governed by the particular application. In this article, the context is the numerical solution of unsteady incompressible Navier--Stokes flow. When thousands of matrix equations differing only in their right-hand sides must be solved, a multilevel one-way dissection scheme is an attractive choice. This method has the property that large parts of the matrix factors are not stored; they are (implicitly) regenerated as needed during the solution process. The resulting storage requirement is competitive with those of preconditioned iterative methods. In addition, the efficiency at the solution stage is much superior to the iterative competitors.Analysis of the storage and operation counts for the multilevel one-way dissection is presented along with numerical results for unsteady incompressible Navier--Stokes flow on a curvilinear grid. The improvements in performance of our new methods over other competitive methods are significant.
Genome Rearrangements and Sorting by Reversals
Authors: Vineet Bafna, Pavel A. Pevzner
Venue: SIAM Journal on Computing (1996)

Sequence comparison in molecular biology is in the beginning of a major paradigm shift---a shift from gene comparison based on local mutations (i.e., insertions, deletions, and substitutions of nucleotides) to chromosome comparison based on global rearrangements (i.e., inversions and transpositions of fragments). The classical methods of sequence comparison do not work for global rearrangements, and little is known in computer science about the edit distance between sequences if global rearrangements are allowed. In the simplest form, the problem of gene rearrangements corresponds to sorting by reversals, i.e., sorting of an array using reversals of arbitrary fragments. Recently, Kececioglu and Sankoff gave the first approximation algorithm for sorting by reversals with guaranteed error bound 2 and identified open problems related to chromosome rearrangements. One of these problems is Gollan's conjecture on the reversal diameter of the symmetric group. This paper proves the conjecture. Further, the problem of expected reversal distance between two random permutations is investigated. The reversal distance between two random permutations is shown to be very close to the reversal diameter, thereby indicating that reversal distance provides a good separation between related and nonrelated sequences in molecular evolution studies. The gene rearrangement problem forces us to consider reversals of signed permutations, as the genes in DNA could be positively or negatively oriented. An approximation algorithm for signed permutation is presented, which provides a performance guarantee of ${3 \over 2}$. Finally, using the signed permutations approach, an approximation algorithm for sorting by reversals is described which achieves a performance guarantee of ${7 \over 4}$.
MCSE Windows 2000 Network: Exam Cram
Authors: Hank Carbeck, Richard Taylor, Derek Melber
Venue:  (2000)

:Provides all of the curriculum objectives of the Implementing and Administering a Windows 2000 Network Infrastructure exam (70-216), and serves as a perfect complement to the MCSE Windows 2000 Network Exam Prep. Each book includes proven test-taking strategies, warnings on trick questions, timesaving study tips and shortcuts. Contains sample questions and practice tests much like the format of the actual exams. Cram Fitness Assessments give readers a way to determine how to proceed with certification by analyzing their educational and experiential background and their subject knowledge level in order to make suggestions about preparation and study.
Surviving the Top Ten Challenges of Software Testing: A People-Oriented Approach
Authors: William E. Perry, Randall W. Rice
Venue:  (1998)

:Software testers require people-oriented skills to survive what can often be a lose-lose relationship with developers and managers. Surviving the Top Ten Challenges of Software Testing goes beyond the technical skillsets required for effective testing to address the political realities that can't be solved by technical knowledge alone. Authors Perry and Rice compile a "top ten" list of the challenges faced by testers and offer tactics for success. The challenges illustrate the way testing fits into the context of software development and how testers can manage expectations and improve communication with managers, developers, and customers. The text features a self-assessment for testing skills and an action plan for improving the testing process.Topics include: training, acquiring management support, obtaining tools, communicating with customers, managing changing requirements, marketing the importance of testing, testing whatOs thrown over the wall, controlling the scope of testing, teaching developers to test, and handling the delicate situation of reporting defects. Top Ten People Challenges Facing Testers Challenge #10: Getting Trained in TestingChallenge #9: Building Relationships with DevelopersChallenge #8: Testing Without ToolsChallenge #7: Explaining Testing to ManagersChallenge #6: Communicating with Customers  And UsersChallenge #5: Making Time for TestingChallenge #4: Testing What's Thrown Over the WallChallenge #3: Hitting a Moving TargetChallenge #2: Fighting a Lose-Lose SituationChallenge #1: Having to Say No
Nortel Networks: The Complete Reference, 1st edition
Authors: James Knapp
Venue:  (1999)

:Master Nortel technologyfrom installation to implementationusing this definitive guide. Now fully revised and updated,this resource offers detailed information on key networking technologies supported by Nortel products,including frame switching,Layer 3 switching,and ATM. You'll also find out how to integrate Nortel devices into an existing network. Plus,the bonus CD-ROM includes complete configuration files that can be easily downloaded directly to Nortel devices.
Adobe Premiere 6 Bible with Cdrom
Authors: Adele Droblas, Adele Droblas-Greenberg
Venue:  (2001)

:"Packed with hands-on tutorials and illuminating examples, this guide delivers all the know-how you need to edit, create special effects, and output professional-quality digital video with Adobe Premiere. From video capture and editing basics to transitions, type, transparencies, masks, mattes, motion effects, streaming media exports, After Effects embellishments, and more, digital video experts Adele Droblas and Seth Greenberg show you step by step how to make the most of Premiere - and get state-of-the-art digital video results."--BOOK JACKET.
Explicit Finite Element Methods for Symmetric Hyperbolic Equations
Authors: Richard S. Falk, Gerard R. Richter
Venue: SIAM Journal on Numerical Analysis (1999)

A family of explicit space-time finite element methods for the initial boundary value problem for linear, symmetric hyperbolic systems of equations is described and analyzed. The method generalizes the discontinuous Galerkin method and, as is typical for this method, obtains error estimates of order $O(h^{n+1/2})$ for approximations by polynomials of degree $\le n$.
MCSE Windows 2000 Core Four Boxed Set (Exams 70-210,70-215,70-216,70-217)
Authors: Syngress Media Inc.
Venue:  (2000)

:The only classroom-based training and self-assessment system!Prepare to pass the core four Windows 2000 exams with the only classroom-based training and self-assessment system. This boxed set contains:MCSE Windows 2000 Professional Study Guide(Exam 70-210)MCSE Windows 2000 Server Study Guide(Exam 70-215)MCSE Windows 2000 Network Administration Study Guide(Exam 70-216)MCSE Windows 2000 Directory Services Administration Study Guide(Exam 70-217)The books feature:100% Complete Coverage - All official test objectives for each exam are covered in detailHands-on Exercises - Step-by-step instruction modeled after classroom labsExam Watch - Warnings based on thorough post-exam research identifying the most troublesome exam topics and how to answer them correctlyThree Types of Practice Questions - Knowledge,scenario,and lab-based questions,all with in-depth answersFrom the Classroom - Discussions of important issues direct from the classrooms of Global Knowledge's award-winning instructors CD-ROMS contain full CertTrainer CBT software and the new ExamSim test engine1000s of questions on CDs CertTrainer software features:e-Training - Self-paced review of key Windows 2000 topics,including exam tipsCertCam - Instructional Windows 2000 animations with audio explanationsIn-depth Links - Need more explanation? Topically relevant links provide detailed instructionSkill Assessment - Test your knowledge with thousands of challenging practice exam questionsScore Reports - Indicate subject areas requiring further studyExamSim Software features:CompletePractice Exams - Four realistic MCSE exams with questions found only on the CD-ROMsTwo Testing Modes - Standard or adaptiveSimulation Questions - Windows 2000 simulations challenge your applied skillsDetailed Answers - Explain why the correct options are right and why the incorrect options are wrongDriveTime - More than 120 minutes of CD audio for exam prep on the goE-books - Electronic,searchable versions of the Study Guides 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
Database Systems: Design, Implementation, and Management, 3rd edition
Authors: Peter Rob, Carlos Coronel
Venue:  (1997)

:Database Systems: Design, Implementation, and Management, Fifth Edition is the only book that takes students step-by-step through the entire process of database development and creation. This text provides the most comprehensive, detailed, and clear coverage of database basics, with ample exercises and problems at the end of each chapter to encourage hands-on learning. After completing this text, users will gain the marketable skills and technical background necessary to compete in tomorrow's competitive database administration marketplace.
Computing program weakness using module coupling
Authors: K. K. Aggarwal, Yogesh Singh, Jitender Kumar Chhabra
Venue: ACM SIGSOFT Software Engineering Notes (2002)

In this paper, a method has been developed to measure the weakness of the program using module weakness and different types of module coupling. The paper justifies the need of considering coupling effect on program weakness. Various types of coupling are computed using parameters/variables and module weakness is found using average number of live variables and average life of variables in the module. The module coupling and module weakness values are used to compute program weakness, which can be used to indicate the maintainability and testability of the program.