ppxscal/embedding_network huggingface dataset:
Industrial Applications of Neural Networks
Authors: Francoise F. Soulie, Patrick Gallinari
Venue:  (2000)

:This book is a collection of real-world applications of neural networks, which were presented at the ICANN '95 conference of the European Neural Network Society. The contributions have been carefully selected by the Program Committee under three criteria: soundness of the technical approach, relevance for the application sector, and quality of the results obtained. The book covers all major areas of industrial and service activities: process engineering, control and monitoring, technical diagnosis and nondestructive testing, power systems, robotics, transportation, telecommunications, remote sensing, banking, finance and insurance, forecasting, document processing, and medicine.
Information Storage and Retrieval Systems: Theory and Implementation, 2nd edition
Authors: Gerald Kowalski, Mark T. Maybury
Venue:  (2000)

:This book provides a theoretical and practical explanation of the latest advancements in information retrieval and their application to existing systems. It takes a system approach, discussing all aspects of an Information Retrieval System." "The primary use of this book is as a college text on Information Retrieval Systems. But in addition to the theoretical aspects, the book maintains a theme of practicality that puts into perspective the importance and utilization of the theory in systems that are being used by anyone on the Internet. The student will gain an understanding of what is achievable using existing technologies and deficient areas that warrant additional research. The text provides coverage of all of the major aspects of information retrieval and has sufficient detail to allow students to implement a simple Information Retrieval System.
Office 2000: Introduction to Concepts and Technique Essentials
Authors: Gary Shelly, Thomas J. Cashman, Misty E. Vermaat
Venue:  (1999)

:Part of the highly successful Shelly Cashman Series, this brief text offers a screen-by-screen, step-by-step approach to learning basic Microsoft Office 2000 skills.
Master Microsoft Word 2000 Visually
Authors: Shelley O'Hara
Venue:  (2000)

:Master Microsoft® Word 2000 Visually "A publishing concept whose time has come!"  The Globe and Mail Read Less, Learn More The Revolutionary Way to LearnVisual Learning With text and visuals tightly integrated, Master Microsoft Word 2000 Visually's cutting-edge graphic presentation style makes it quicker and easier than ever to become a Microsoft Word 2000 expert.Practical Know-How This hands-on guide shows you how to make real-world use of Microsoft Word 2000. Every chapter provides step-by-step instructions on how to accomplish specific tasks to solve specific problems.Complete Mastery Master every feature of Microsoft Word 2000  learn to create documents; move copy, format, sort, and replace text; create and format tables, columns, and sections; insert pictures and charts; create form letters and templates; use data from other applications; send documents via e-mail or fax; create and publish Web documents; set up shortcuts and customize Word 2000.CD-ROM packed with megabytes of useful software:A searchable onscreen version of the bookScores of sample documents from the bookAdobe Acrobat Reader 4.0Evaluation version of Paint Shop Pro 5.01RealPlayer G2Trial version of Norton UtilitiesTrial version of TalkWorks PRO 2.0Trial version of Microsoft FrontPage 2000Evaluation version of WinZip 7"A master tutorial/reference  from the leaders in visual learning"  Infoworld www. idgbooks.com
Official HTML Publishing for NetScape, 20th edition
Authors: Gayle Kidder, Stuart Harris
Venue:  (1997)

:Ventana's Official HTML Publishing for Netscape, Second Edition has everything readers need to know to design great Web pages, from starting a page to organizing a site, creating intricate layouts and incorporating the latest technologies. Significantly expanded from the first edition, the book features new material on style sheets, sound, multimedia, databases, and a more extensive look at Java and JavaScript. Official HTML Publishing for Netscape, Second Edition shows Web publishers how to play to Netscape Navigator 4.0's hottest new features, including enhanced frames and tables, and support for cascading style sheets. Packed full of expert advice about what works and what doesn't, the book also shows readers how to target the most appropriate web audience.Focuses completely on HTML publishing, designed specifically to maximize Netscape Navigator 4.0's features.Is the only official HTML for Netscape book, endorsed by Netscape Communications Corp.Includes a 16-page gallery of four-color examples.Netscape Navigator 4.0Author examplesSample JavaScript, clip objects (graphics, sound and animations), and backgrounds
Genealogy Online for Dummies with Cdrom, 1st edition
Authors: Idg Publishing, April Leigh Helm
Venue:  (1998)

:Is your great-grandmother's meticulously hand-sketched, parchment paper family tree yellowing in your attic and four generations out-of-date? Or maybe you're the first in your family to research your lineage. With help from Genealogy Online For Dummies, you can research your family history, establish your own genealogy Web site, communicate with other researchers, and catalog your findings -- all from the comfort of your own computer. Inside, find helpful advice on how to Plan, organize, and undertake an efficient online genealogy project Identify important resources, find the information you need, and document it on your computer Locate other members of your family tree in cyberspace Discover genealogical associations, newsgroups, and mailing lists on the Internet Verify the family data you find Place your personal genealogy site on the World Wide Web
Chaotic Behavior of the Affine Scaling Algorithm for Linear Programming
Authors: Ileana Castillo, Earl R. Barnes
Venue: SIAM Journal on Optimization (2000)

The affine scaling algorithm for linear programming involves a step-size parameter t that must be chosen in the interval (0,1). It is known that the algorithm converges to an optimal solution for values of $t \le 2/3$. In this paper we examine the behavior of the algorithm for values of t > 2/3. We show that for certain values of t in this range the algorithm can exhibit chaotic behavior.
Boolean satisfiability with transitivity constraints
Authors: Randal E. Bryant, Miroslav N. Velev
Venue: ACM Transactions on Computational Logic (TOCL) (2002)

We consider a variant of the Boolean satisfiability problem where a subset &epsiv; of the propositional variables appearing in formula Fsat encode a symmetric, transitive, binary relation over N elements. Each of these relational variables, ei,j, for 1 &le; i < j &le; N, expresses whether or not the relation holds between elements i and j. The task is to either find a satisfying assignment to Fsat that also satisfies all transitivity constraints over the relational variables (e.g., e1,2 &wedge; e2,3 &rArr; e1,3), or to prove that no such assignment exists. Solving this satisfiability problem is the final and most difficult step in our decision procedure for a logic of equality with uninterpreted functions. This procedure forms the core of our tool for verifying pipelined microprocessors.To use a conventional Boolean satisfiability checker, we augment the set of clauses expressing Fsat with clauses expressing the transitivity constraints. We consider methods to reduce the number of such clauses based on the sparse structure of the relational variables.To use Ordered Binary Decision Diagrams (OBDDs), we show that for some sets &epsiv;, the OBDD representation of the transitivity constraints has exponential size for all possible variable orderings. By considering only those relational variables that occur in the OBDD representation of Fsat, our experiments show that we can readily construct an OBDD representation of the relevant transitivity constraints and thus solve the constrained satisfiability problem.
Flash 4 Web Animation f/x and Design with CD-ROM
Authors: Ken Milburn, John Croteau
Venue:  (1999)

:Addition of Flash maven John Croteau brings more advanced techniques to this edition, as well as attracts more readers who are familiar with his work. Case studies illustrate and teach successful implementation of Flash animation on actual Web sites, which readers can learn and then use for their own sites. New material on advanced animation techniques, such as transparency, Flash movies, exporting to other formats, and automating Flash with Action Scripts. Discusses how to build compelling Web sites while ensuring playback over low-bandwidth connections that make Web sites viewable to a large audience. The book's predecessor, Flash 3 Web Animation f/x and Designis one of Coriolis' best selling f/x and Design books and with the addition of co-author John Croteau, founder of www.flashcentral.com, Flash 4 Web Animation f/x and Designshould be an even bigger success. While the market can expect more books for version 4 (there was only one other book on Flash 3), Flash 4 Web Animation f/x and Designhas the history of a previous edition behind it. Explains and teaches the newest features of Flash 4 and includes applicable case studies and accompanying tutorials showcasing the latest techniques. 16-page Color Studio presents eye-popping examples of Flash 4 on the Web from corresponding case studies and examples in the book. Trial versions of Macromedia Flash 4 and Dreamweaver 1. Useful, professional clipart for users to adapt in their Web designs. Library of custom gradients and geometric symbols that help you draw and animate faster. Files needed to complete the book's tutorials and examples of completed work.
The Computational Brain, 1st edition
Authors: Patricia Smith Churchland, Terrence J. Sejnowski
Venue:  (1994)

:How do groups of neurons interact to enable the organism to see, decide, and move appropriately? What are the principles whereby networks of neurons represent and compute? These are the central questions probed by The Computational Brain. Churchland and Sejnowski address the foundational ideas of the emerging field of computational neuroscience, examine a diverse range of neural network models, and consider future directions of the field. The Computational Brain is the first unified and broadly accessible book to bring together computational concepts and behavioral data within a neurobiological framework. Computer models constrained by neurobiological data can help reveal how networks of neurons subserve perception and behavior--how their physical interactions can yield global results in perception and behavior, and how their physical properties are used to code information and compute solutions. The Computational Brain focuses mainly on three domains: visual perception, learning and memory, and sensorimotor integration. Examples of recent computer models in these domains are discussed in detail, highlighting strengths and weaknesses, and extracting principles applicable to other domains. Churchland and Sejnowski show how both abstract models and neurobiologically realistic models can have useful roles in computational neuroscience, and they predict the coevolution of models and experiments at many levels of organization, from the neuron to the system. The Computational Brain addresses a broad audience: neuroscientists, computer scientists, cognitive scientists, and philosophers. It is written for both the expert and novice. A basic overview of neuroscience and computational theory is provided, followed by a study of some of the most recent and sophisticated modeling work in the context of relevant neurobiological research. Technical terms are clearly explained in the text, and definitions are provided in an extensive glossary. The appendix contains a precis of
Kernel-based control of persistent web server connections
Authors: Thiemo Voigt, Per Gunningberg
Venue: ACM SIGMETRICS Performance Evaluation Review (2001)

Several overload admission control architectures have been developed to protect web servers from overload. Some of these architectures base their admission decision on information found in the HTTP header. In this context, persistent connections represent a challenging problem since the HTTP header of the first request does not reveal any information about the resource consumption of the requests that might follow on the same connection. In this paper, we present an architecture that prevents uncontrollable server overload caused by persistent connections. We evaluate our approach by various experiments.
Asymmetric-frequency clustering: a power-aware back-end for high-performance processors
Authors: Amirali Baniasadi, Andreas Moshovos
Venue: Proceedings of the 2002 international symposium on Low power electronics and design (2002)

We introduce asymmetric frequency clustering (AFC), a micro-architectural technique that reduces the dynamic power dis¿sipated by a processor's back-end while maintaining high perfor¿mance. We present a dual-cluster, dual-frequency machine comprising a performance oriented cluster and a power-aware one. The power-aware cluster operates at half the frequency of the per¿formance oriented cluster and uses a lower voltage supply. We show that this organization significantly reduces back-end power dissipation by executing non-performance-critical instructions in the power-aware cluster. AFC localizes the two frequency/voltage domains. Consequently, it mitigates many of the complexities associated with maintaining multiple supply voltage and frequency domains on the same chip. Key to the success of this technique are methods that assign as many instructions as possible to the slower/ lower power cluster without impacting overall performance. We evaluate our techniques using a subset of SPEC2000 and SPEC95. AFC provides a 16% back-end power reduction with 1.5% perfor¿mance loss compared to a conventional, dual-clustered processor where each cluster has schedulers of the same width and length.
E-Learning in the 21st Century: A Framework for Research and Practice, 1st edition
Authors: Terry Anderson, D. R. Garrison
Venue:  (2003)

:There is a technological revolution taking place in higher education. The growth of 'e-learning' is being described as explosive, unprecedented and disruptive. E-Learning in the 21st Century provides a framework for understanding the application and characteristics of e-learning in higher education. The authors discuss their extensive research from technological, pedagogical and organizational perspectives in order to create practical models and release the full potential of e-learning. This in-depth understanding will give direction and guidance to educators who wish to facilitate critical discourse and higher-order learning through the use of electronic technologies in a networked learning context.
An Optimal Control Problem Governed by Quasi-Linear Variational Inequalities
Authors: Hongwei Lou
Venue: SIAM Journal on Control and Optimization (2002)

An optimal control problem governed by quasi-linear variational inequality is considered. The cost functional to be minimized contains the solution of a quasi-linear variational inequality. To get the existence, regularity, and necessary condition for the optimal pair, a new related control problem is introduced. By proving the existence of an optimal pair to such a new problem, the existence and regularity of the optimal pair to the original problem are obtained. It turns out that the regularity obtained is sharp in general. Some necessary conditions of the optimal pair are also obtained.
Visual C++ 6 for Dummies, 1st edition
Authors: Michael Hyman, Bob Arnson, Robert Arnson
Venue:  (1998)

:Get the code, confidence, and cunning you need to start programming in Visual C++ right away. Completely updated for Windows 98 and Windows NT 5.0, Visual C++ 6 For Dummies covers everything you need to know to develop powerful utilities, cool games, or multimedia masterpieces - including object-oriented programming, editing, compiling, and debugging.
Developing a flexible online learning management system to facilitate various aspects of instructor-led training and lab administration
Authors: Kathy Pribbenow, John Nguyen
Venue: Proceedings of the 30th annual ACM SIGUCCS conference on User services (2002)

For many years, Academic Computing Services (ACS) at The University of Kansas (KU) has offered computer workshops to faculty, staff, students, and the general Lawrence, KS community. ACS required registration for most workshop offerings. In addition, ACS had the responsibility to oversee public computer lab reservations by faculty and staff. The tasks of workshop registrations and lab reservations were primarily carried out by a phone-in system. As the technical ability in the user community increased and as our services became more popular, this system became cumbersome. A need for a more automated registration and tracking system developed. ACS staff spent 5 months designing a central database that would integrate all computer workshop descriptions and schedules, as well as lists of lab software, hardware, locations, and reservations.Beginning this spring semester, ACS began requiring registration for all workshops. Registration could now be done online at http://www.ku.edu/acs/train 24 hours a day. Upon registration, a user account is created that keeps track of all workshops currently signed up for, and all workshops attended.The newly designed ACS training Web site features improved workshop listings that are sortable and searchable. Workshop listings can now be filtered by instructor, location, department, or category. There is also a new "Search" feature that lists workshops based upon user-inputted keywords. Moreover, a dynamic calendar allows users to examine the state of a workshop (open, closed, full, or cancelled) and to easily register for workshops that best fit their schedule. Once attendees for a particular class complete registration, instructors then have access to an online workshop roster to check attendance.Additional advantages of the new online registration system allow one to:receive workshop reminder emailsbe placed on a waiting list for full workshopsbe notified of any scheduling changes that may occuropt to get weekly workshop schedule updates and other training newsevaluate attended workshopsThe new ACS training Web site is successful in efficiently relating various aspects of workshops taught in a university environment. Most importantly, it has proved invaluable for us, as instructors, in our preparation and organization of delivering quality training.
Refinable spline functions and Hermite interpolation
Authors: Tim N. T. Goodman
Venue: Mathematical Methods for Curves and Surfaces: Oslo 2000 (2001)

We consider r-vectors of spline functions with compact support and stable integer translates which satisfy a refinement equation with a finite number of terms. It is seen that for r = 1 or 2, the choice of such vectors is very limited. However for r & ge; 3 there is sufficient flexibility, even for simple uniform knots, to allow the satisfaction of further useful properties. Mention is made of biorthogonality and orthogonality properties. Moreover it is shown that for each r & ge; 3 such vectors of splines can be constructed which are fundamental for r-Hermite interpolation and have arbitrarily high smoothness.
A note on iterated duals of certain topological spaces
Authors: Bruce S. Burdick
Venue: Theoretical Computer Science (2002)

Problem 540 in Open Problems in Topology (1990) asks whether iterating the operation of taking the dual topology eventually leads to a mutually dual pair of topologies. We give an affirmative answer to Problem 540 for several classes of spaces. Some of the special cases covered are: any T1 space (already solved in 1966 by Strecker), the lower Vietoris topology on any hyperspace, the Scott topology for reverse inclusion on any hyperspace, and the upper Vietoris topology on the hyperspace of a regular space. We find in all these cases that Tdd=Tdddd, and therefore at most four distinct topologies, T,Td,Tdd,Tddd, can be created by iterating the dual operator starting with any one of these special cases.
Linear time datalog and branching time logic
Authors: Georg Gottlob, Erich Grädel, Helmut Veith
Venue: Logic-based artificial intelligence (2000)

We survey recent results about the relation between Datalog and temporal verification logics. Datalog is a well-known database query language relying on the logic programming paradigm. We introduce Datalog LITE, a fragment of Datalog with Well-founded negation, which has an easy stratified semantics and a linear time model checking algorithm. Datalog LITE subsumes temporal languages such as CTL and the alternation-free u-calculus. We give easy syntactic characterizations of these temporal languages by fragments of Datalog LITE, and show that Datalog LITE has the same expressive power as the alternation-free portion of guarded fixed point logic.
ATM Networks: Concepts, Protocols, Applications, 3rd edition
Authors: Rainer Handel, Manfred N. Huber, Stefan Schroder
Venue:  (1998)

:If you are struggling to find your way through the ATM jungle, this book will help prevent you from getting lost in too much specialized technical detail. This third edition of ATM Networks provides a comprehensive overview of all the current trends and reflects the accelerated development of recent ATM specifications. This book gives a thorough introduction to the whole technical concept of ATM, from architecture and functions to networking techniques and performance issues, as laid down in various specifications from the ATM Forum and the ITU. It explains the rationale for Introducing ATM networking into your organization, and illustrates its potential in terms of the applications and services that ATM networks can offer.
A+ Core Module Study Guide
Authors: David Groth
Venue:  (1998)

:Get rid of that bookshelf full of expensive hardware books you've been using to study! Here's the second edition of the best-selling study guide for the A+ Core Module--now updated and expanded to cover the new version of the exam from the Computing Technology Industry Association (CompTIA). This study guide provides comprehensive coverage of each A+ objective, together with practical exercises and reference information. The CD contains A+ test-preparation software.
Illustrator 8 Bible, 1st edition
Authors: Ted Alspach
Venue:  (1998)

:Inside, you'll find complete coverage of Illustrator 8 : Covers more than 100 illustrator 8 feature updates, including the new Gradient Mesh Tool, Live Blends, and Action Palette; the most in-depth coverage of illustrator native filters and third-party plug-ins - including Extensis VectorTools; addresses in detail all printing and Web publishing issues; the most complete collection of shortcuts and keyboard commands - completely updated for illustrator 8; also discusses how to use illustrator with Photoshop, Dimensions, and Streamline; and packed with information you just won't find anywhere else.