ppxscal/embedding_network huggingface dataset:
Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday
Authors: John N. Crossley, John C. Cherniavsky, Richard A. Shore, Jeffrey B. Remmel, Richard Platek, Robert Constable, Moss E. Sweedler, Jean Gallier, Richard Statman
Venue:  (1994)

:Anil Nerode has had a wide influence on logic and computer science since the 1960's. This volume reflects his inspiration and also the variety of interests which he has. The papers in this book are principally concerned with mathematical logic and some of its applications in computing. The book contains papers on recursion theory, intuitionism, computability in group theory, recursive model theory, reverse mathematics, and the extraction of programs from proofs. Included also is a thorough survey of Nerode's technical achievements over the last 30 years. Any logician should find something, and most probably many items, of interest. We note particularly new developments in the understanding of the property of intuitionistic set theory and intuitionistic analysis, the extension of computability in ordinary mathematics pioneered by Marian Boyka Pour-El and Ian Richards, the proof-theoretic strength of a long-standing conjecture of Fraisse, and an extension and further account of the Curry-Howard method of extracting programs from logical proofs. The papers in general arose from the conference "Logical Methods in Mathematics and Computer Science. A Symposium in Honor of Anil Nerode on the Occasion of his Sixtieth Birthday" at the Mathematical Sciences Institute, Cornell University, from June 1-3, 1992. This conference was attended by over 100 participants and reflects the range and influence of Anil's work.
A+ Certification Training Kit
Authors: Microsoft Corporation
Venue:  (1999)

:The A+ Certification program defines baseline knowledge and skill levels for IT professionals who support Intel-based personal computer hardware and software. As you build these real-world support skills, you're also preparing for the corresponding areas of the A+ Certification Core and Specialty exams -- making this kit your first step to career advancement! Here's what you'll learn: HARDWARE Installation, configuration, and upgrading Diagnosis and troubleshooting Safety and preventive maintenance Motherboard/processors/memory Printers Portable systems Basic networking MS-DOS/WINDOWS OPERATING SYSTEMS Function, structure, operation, and file management Memory management Installation, configuration, and upgrading Diagnosis and troubleshooting Networks
Approximating digital shapes by parametric surfaces
Authors: A. Ardeshir Goshtasby
Venue: Mathematical Methods for Curves and Surfaces: Oslo 2000 (2001)

A method for parametrizing discrete points sampled from a smooth shape and fitting a rational Gaussian surface to the points with a required accuracy is presented. With the proposed method, a very complex shape can be represented by a single surface, and the surface can be rendered at a desired level of detail by adjusting a smoothness parameter.
Transfer theorems via sign conditions
Authors: Pascal Koiran
Venue: Information Processing Letters (2002)

We show that P = PSPACE implies the collapse of the Boolean polynomial hierarchy over any structure which admits "efficient enumeration of sign conditions". This fairly rich class of structures contains in particular R and C.
ACRC: Advanced Cisco Router Configuration (CCNP Certification Courseware Series), 1st edition
Authors: Laura Chappell
Venue:  (1998)

:Based on the Cisco Systems course taught in training centers worldwide, Advanced Cisco Router Configuration provides a thorough treatment of advanced network deployment issues and serves as an excellent supplement for the actual ACRC class. Through numerous examples and chapter-ending tests, Advanced Cisco Router Configuration takes you to the next level of applying effective configuration techniques for solid network implementation and management, and helps you take the next step toward CCNP and CCDP Career Certifications.
The Design of Rijndael
Authors: Joan Daemen, Vincent Rijmen
Venue:  (2002)

:In October 2000, the US National Institute of Standards and Technology selected the block cipher Rijndael as the Advanced Encryption Standard (AES). AES is expected to gradually replace the present Data Encryption Standard (DES) as the most widely applied data encryption technology.|This book by the designers of the block cipher presents Rijndael from scratch. The underlying mathematics and the wide trail strategy as the basic design idea are explained in detail and the basics of differential and linear cryptanalysis are reworked. Subsequent chapters review all known attacks against the Rijndael structure and deal with implementation and optimization issues. Finally, other ciphers related to Rijndael are presented.|This volume is THE authoritative guide to the Rijndael algorithm and AES. Professionals, researchers, and students active or interested in data encryption will find it a valuable source of information and reference.
Digimon: The Official Game Guide
Authors: Harper Collins, John Whitman
Venue:  (2000)

:Hey kids! Want to get online with all the fun? Digifun that is!! Do you live to play the awesome Digicard game? Are you and all yourfriends champion card collectors? If so, this book is for you. It's the only official guide to the trading cards and the Digimon Digi-Battle Card Game  plus it's filled with fun facts you can only find right here! Like:How to get from "In-Training" Digimon status to "Rookie," "Champion," "Ultimate," and even all the way to "Mega Digimon"A complete explanation of the rules of the Digimon Digi-Battle Card Game, from placing your Rookie card to combat in the Duel Zone to raking in the points!A quick reference guide that shows you all the ways your Rookies can Digivolve into Champions, Ultimates, and Megas!A special strategy section, including tips on how to build the best Battle Deck and sample games so that you can perfect your moves, even before you get into the game!Also includes:Bonus Section  Digimon Trading Cards! Get a sneak preview of the trading cards everyone else is going to be scrambling for!Digi-Appendix  Includes a checklist and picture of all of the currently available character cards so you can keep track of the ones you have and the ones you still need to get.And E-V-E-R-Y-T-H-I-N-G you ever wanted to know about Digimon trading cards! So grab the power and get in on the action!
Visual C++ 6 Programming Blue Book with Cdrom
Authors: Stephen D. Gilbert, Bill McCarty, Coriolis Technology Press
Venue:  (1998)

:Details the newest features of Visual C++, including Active X, COM, DCOM, and more! Takes the reader on a tour of the best practices for creating, perfecting, and deploying Visual C++. Contains ready-to-use code that the reader can easily cut and paste directly into his or her applications. Written in the new Blue Book style that is sepcifically designed to help readers quickly understand difficult programming techniques without wasting a lot of time. Serves as a one-of-a-kind book by taking readers through a personal "hands-on" exploration of Visual C++ 98 in order to provide a thorough understanding of this complex development system. Teaches difficult to understand concepts using the innovative "explore-then-explain" approach. Concepts are taught through the hands-on use of Visual C++, followed by in-depth explanations.
Editorial&mdash;A Survey of Research Questions for Intelligent Information Systems in Education
Authors: John C. Cherniavsky, Elliot Soloway
Venue: Journal of Intelligent Information Systems (2002)

Education is an application domain in which many research questions from Intelligent Information Systems may prove their worth. We discuss three themes in this editorial: distributed education and learner modeling, semantic analysis of text, and intelligent information management.
Vectorization of cartoon drawings
Authors: Ju Jia Zou, Hong Yan
Venue: Selected papers from the Pan-Sydney workshop on Visualisation - Volume 2 (2000)

This paper presents a non-pixel-based skeletonization method for vectorizing cartoon drawings. The constrained Delaunay triangulation technique is applied to subdivide a shape into a set of non-overlapping triangles. Then, certain triangles in the triangulation are merged to remove artifacts. The skeleton of a shape is obtained from the skeletons of its constituent parts. Experiment results show that the proposed method is more accurate and efficient than a typical thinning method.
The VHDL Reference: A Practical Guide to Computer-Aided Integrated Circuit Design (Including VHDL-AMS) with Other
Authors: Ulrich Heinkel, Wolfram Glauert, M. Wahl
Venue:  (2000)

:The VHDL Reference: The essential guide for students and professionals working in computer hardware design and synthesis.The definitive guide to VHDL, this book combines a comprehensive reference of the VHDL syntax with tutorial and workshop materials that guide the reader through the principles of digital hardware design. The Authors describe the concept of VHDL and VHDL-AMS for modelling and synthesis and explain how VHDL can be used for the design of digital systems.The CD-ROM features workshop and reference material to familiarise beginners with the use of VHDL for simulation and for synthesis. In-depth examples of VHDL construct are explained in compact and easy to follow form providing immediate help and answers to specific problems.Features include:* Accompanying CD-ROM version of the VHDL Reference including demonstration tools and workshop material covering language aspects for digital systems.* Modelling tutorial featuring VHDL-AMS, the new standard for modelling and simulating mixed signal micro systems. Real-life examples enable the reader to test their knowledge and clarify their understanding of the concepts.* Design workshop format taking the reader through an entire circuit design using an actual design problem, allowing beginners to put their VHDL skills into practice.* A user friendly reference section providing in depth coverage of the VHDL language for digital systems.* Includes tools for editing VHDL source files, simulating and synthesising VHDL models.The VHDL Reference is a highly accessible single source reference to the industry standard language for computer-aided electronic system design. It is not only an essential guide forundergraduate and postgraduate students in electrical engineering but also an indispensable aid to researchers and hardware designers and teachers using VHDL and logic synthesis.
Second-Year Companion Guide, Spanish Translation
Authors: Vito Amato, Danielle Graser
Venue:  (2001)

:Cisco Networking Academy Program: Guía del Segundo Año es el complemento utilizado para el tercer y el cuarto semestre del programa de estudios de la Cisco Networking Academy Program. Representa un complemento últil para el programa de estudios en línea de la Cisco Networking Academy Program. Utiliza el mismo formato y estilo del curso en línea de Cisco.Cada capítulo incluye las siguientes características útiles:Una lista de los objetivos que se desarrollarán en el capítulo correspondienteProyectos prácticos que lo preparan para la experiencia real de trabajoPreguntas de repaso para evaluar su progreso y organizar sus actividades de estudio
Equivalent Transformations in the Model of Programs with Commuting and Monotone Operators
Authors: R. I. Podlovchenko
Venue: Programming and Computing Software (2002)

The fundamental problem in the theory of algebraic program models is considered. It consists in constructing a system of equivalent transformations of program schemes that is complete in the model. It is solved for a model different from those considered in earlier studies.
A Constructive Solution to Interconnection and Decomposition Problems with Multidimensional Behaviors
Authors: E. Zerz, V. Lomadze
Venue: SIAM Journal on Control and Optimization (2001)

By a multidimensional behavior, we mean the solution space of a linear constant-coefficient system of partial difference or differential equations. Within the behavioral framework, a natural concept of interconnection has been introduced by J. C. Willems. The regular interconnection problem can be formulated as follows: Given a behavior (the plant), find---if possible---another behavior (a controller) such that their interconnection is not redundant and is equal to a certain desired behavior. We give a constructive solution to this problem, which is in terms of polynomial matrix equations that can be solved using the theory of Gröbner bases. We also study a dual problem concerning the existence of direct sum decompositions of multidimensional behaviors. Finally, we present a unified framework for studying both problems as special cases of constructing relative complements in the lattice of behaviors.
3d Graphics Programming in Windows, 1st edition
Authors: Phillip Taylor
Venue:  (1993)

:This is the definitive guide to one of the most exciting areas of Windows programming. Creative and comprehensive, 3D Graphics Programming in Windows provides for new and experienced developers the techniques and tools to create the full range of 3D graphics applications, from simple spinning cube demo programs to sophisticated modeling and rendering applications. 3D Graphics Programming in Windows pragmatically explains, from a Windows perspective, 3D graphics fundamentals, including coordinate and object systems, 3D mathematics, and application architecture and design. Using as an example the development of a professional-quality application, the book teaches how to build the support libraries and components necessary for 3D graphics work in Windows. You'll learn step by step how to design and build powerful 3D graphics applications from components. BONUS Disk includes: an entire, professional quality set of 3D graphics libraries for Windows that you can use to create your own applicationsan innovative example applicationa professional-quality integrated wire-frame and ray-traced modeler/renderer. 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
Unconventional Models of Computation, 1st edition
Authors: C. S. Calude, John L. Casti, M. J. Dinneen
Venue:  (1998)

:This book contains invited lectures and refereed talks presented at the First International Conference on Unconventional Models of Computation, Auckland, New Zealand, January 1998, organised by the Centre for Discrete Mathematics and Theoretical Computer Science, New Zealand, and the Santa Fe Institute, USA. It covers all major areas of unconventional computation, especially quantum computing, computing using organic molecules (DNA), and various proposals for computations that go beyond the Turing model.
Usability Testing and Research, 1st edition
Authors: Carol M. Barnum
Venue:  (2001)

:Built on a solid foundation of current research in the field, Usability Testing and Research provides a comprehensive, up-to-date perspective in this increasingly important area of technical communication. Based on the most current research in the field, this book reflects the most recent developments and studies on this topic available. Sidebars throughout the book catch the attention of the readers and highlight key concepts in the text. A chapter on web testing provides coverage of what is now the hottest area in usability testing. End of chapter discussions and exercises reinforce learning. Frequent examples of planning, conducting, and reporting usability tests present current samples of projects. An appendix on teamwork gives pertinent advice in an area neglected by other texts: building and coordinating cross-functional teams for usability testing. For those interested in usability testing and research.
Numerical Solution of Nonlinear Reaction Diffusion Processes
Authors: Marie-Noëlle Le Roux
Venue: SIAM Journal on Numerical Analysis (2000)

In this paper, the author considers a nonlinear reaction diffusion equation, i.e., a nonlinear heat equation with a source term. The solution of this equation may blow up in a finite time. A scheme for the discretization in time of that problem is proposed, and the same sufficient condition of a blowup is obtained for the numerical solution as for the exact solution. The stability and the convergence of the scheme is proved.
Installing, Configuring, and Customizing Linux SuSE, 1st edition
Authors: David Lew, Joe Brockmeier, Tony Ho, Keith Pettit, William E. Schaffer, Rob Bos
Venue:  (2000)

:Install, Configure, and Customize SuSE Linux X provides the advice you need for working through the trouble spots you might run into when setting up SuSE Linux. With step-by-step instructions and a multitude of helpful screen shots, this book takes you through the installation, configuration, and customization process to make Linux work the way you need it to. The included CD-ROM contains SuSE Linux and several utilities and applications to make your installation a success.
Statistics with Microsoft Excel
Authors: Beverly J. Dretzke
Venue:  (1998)

:This step-by-step Excel manual is designed for those who desire to learn how to effectively use Excel for data analysis. Its availability, easy-to-understand, basic spreadsheet operations, and analysis tools make Excel a superb software package to carry out statistical analyses. Expanded coverage of graphing and regression analysis. Use of Excel (instead of hand-held calculators) for number crunching. Coverage of more complex analysis that can be carried out with StatBox software. Add in Disk included. For a variety of disciplines, including mathematics, the social sciences, and business. Can be used by data analysts who wish to use Excel to record, manipulate, and analyze their data set.
Blood Omen 2: Prima's Official Strategy Guide
Authors: Prima Temp, Mark Androvich
Venue:  (2002)

:Centuries after the first Blood Omen and before the first Soul Reaver, the most evil figure to grace a video game console is ready for some action. As the young vampire, Kain, in this fast-paced, combat-driven crusade, your goal is to recover the stolen Soul Reaver sword, reclaim your rule, and exact your vengeance over the humans of Nosgoth. Blood Omen 2Prima's Official Strategy Guide will guide you in overcoming the legions of demons who get in your way on your quest. You'll get combat techniques, puzzle solutions, and a complete walkthrough for an intense gaming experience.
MCSE Database Design on SQL Server 7
Authors: Jeffrey Garbus, Alvin T. Chang, David Pascuzzi
Venue:  (1999)

:Covers how to design databases for information systems that incorporate Microsoft SQL Server 7.0. The book goes beyond simple knowledge of SQL Server 7 to include SQL Server 7 concepts and procedures as tested on the exam. A complete review: developing a logical data model, deriving the physical design, creating a physical database, data service design, and database maintenance. Includes resource sections at the end of each chapter to help the reader make use of the best study aids available. Serves as a complement to study guides for Exam 70-029: Implementing a Database Design on SQL Server 7.0. Exam 70-029 doubles as a MCSE elective and an MCDBA core requirement. Includes sections on proven test-taking strategies, warnings on trick questions, time-saving study tips, multiple-part question strategies, and shortcuts. Provides practice exams that feature questions arranged in a similar format to the ones found on the actual exam. Provides all of the necessary overviews, concepts, and Microsoft networking terminology to help potential test takers get up to speed as quickly as possible. Guarantees long shelf life because tests are not made available until roughly 90-120 days after the release of the software.
Literacy Theory in the Age of the Internet
Authors: Todd W. Taylor, Irene Ward
Venue:  (1998)

:By now it is widely accepted wisdom that the Internet has vast potential as a learning tool for students of almost all ages and levels. But it is less clear how to harness this potential most effectively. What indeed should the "online classroom" mean to teachers? Will the rush to get "wired" mean little more than enhanced visuals or automated lecture delivery--or can it result in innovative pedagogies for improving literacy into the twenty-first century?In this collection of essays, some of the most progressive voices in literacy studies reconsider what it means to be literate in the information age, and offer practical advice not only for getting networked computers into the classroom but also for instructing students and other teachers how to tap into their boundless potential. Essays range in subject from the story of a radical, communal writers' group working together in a networked environment; to an exploration of how utopian notions of the networked classroom don't always hold true, on the basis of the authors' classroom experience of hostile, dysfunctional chat room exercises; to an applied and totally attainable model for gathering support and preparing teachers for new technologies. Together the contributions provide a provocative and much-needed introduction to the constantly shifting subject of literacy theory, paving the way for continued dialogue on a subject that teachers, students, and all writers and readers can no longer afford to ignore.
Three companions for data mining in first order logic
Authors: Luc De Raedt, Hendrik Blockeel, Luc Dehaspe, Wim Van Laer
Venue: Relational Data Mining (2001)

Three companion systems, CLAUDIEN, ICL and TILDE, are presented. They use a common representation for examples and hypotheses: each example is represented by a relational database. This contrasts with the classical inductive logic programming systems such as PROGOL and FOIL. It is argued that this representation is closer to attribute value learning and hence more natural. Furthermore, the three systems can be considered first order upgrades of typical data mining systems, which induce association rules, classification rules or decision trees respectively.
Future of Business, 4th edition
Authors: Lawrence J. Gitman, Carl McDaniel,  Jr.
Venue:  (2001)

:With an emphasis on the Workplace 2000, the third edition of THE FUTURE OF BUSINESS showcases the dramatic changes occurring in the business environment and helps readers understand business trends, anticipate future business conditions, and prepare for successful careers. The three themes of the text include: 1. "Business in the 21st Century" covers current business principles and practices as they occur in today's world; 2. "Capitalizing on Trends in Business" explores new business trends and how they are reshaping today's business landscape and altering tomorrow's competitive environment; and 3. "Applying This Chapter's Topics" speaks directly to the student and present practical suggestions for preparing for the business environment of tomorrow. In addition, new skills development features respond to the growing interest in the SCANS initiative (development of workplace competencies) and requests for a more applied approach to the course.
Ethical Decision Making and Information Technology: An Introduction with Cases, 2nd edition
Authors: Ernest A. Kallman, John P. Grillo
Venue:  (1998)

:Contents: ethics & ethical decision making; ethics & information technology; solving ethical dilemmas: a sample case exercise; & the cases  who controls content of e-mail & BBS; offensive graphic images in an office environment; stolen passwords & its after-effect; copyright ethics in schools & industry; confidential or dummy data; copyright ethics overseas; patient data in a hospital is compromised; & many more. Appendixes: ethics codes & policies (e-mail privacy policy, internet use policy); worksheets for the 4-step analysis process.