ppxscal/embedding_network huggingface dataset:
Neural Networks: A Comprehensive Foundation, 2nd edition
Authors: Simon Haykin
Venue:  (1998)

:NEW TO THIS EDITION NEWNew chapters now cover such areas as: Support vector machines. Reinforcement learning/neurodynamic programming. Dynamically driven recurrent networks. NEW-Endof-chapter problems revised, improved and expanded in number. FEATURES Extensive, state-of-the-art coverage exposes the reader to the many facets of neural networks and helps them appreciate the technology's capabilities and potential applications. Detailed analysis of back-propagation learning and multi-layer perceptrons. Explores the intricacies of the learning processan essential component for understanding neural networks. Considers recurrent networks, such as Hopfield networks, Boltzmann machines, and meanfield theory machines, as well as modular networks, temporal processing, and neurodynamics. Integrates computer experiments throughout, giving the opportunity to see how neural networks are designed and perform in practice. Reinforces key concepts with chapter objectives, problems, worked examples, a bibliography, photographs, illustrations, and a thorough glossary. Includes a detailed and extensive bibliography for easy reference. Computer-oriented experiments distributed throughout the book Uses Matlab SE version 5.
Optical Switching and Networking Handbook
Authors: Regis J. Bates
Venue:  (2001)

:Features:This bestselling author utilizes a market-driven, "business needs" approach to optical communicationsProvides a concise analysis of systems and options without being overly technical and translates complicated jargon into clear business termsIncludes applications and implementation of technologies, regulatory and standards developments, product photos and descriptions, generic pricing, and business models.
High Speed Networking with LAN Switches, 1st edition
Authors: Gilbert Held
Venue:  (1997)

:A timely guide to the hottest topic in networking.[LAN switching is one of the most talked about topics in networking today. With networking demands showing no signs of slowing down, LAN switching is being hailed as the answer to the bandwith and congestion problems plaguing Net users, and the switching market is expected to triple within a year. Major networking players like Cisco, Cabletron, and Bay Networks are investing heavily in the LAN switching market. In this book author Gil Held provides detailed, comprehensive coverage of what LAN switching is and how switches work. 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
Deterministic sorting in O(nlog log n) time and linear space
Authors: Yijie Han
Venue: Proceedings of the thiry-fourth annual ACM symposium on Theory of computing (2002)

We present a fast deterministic algorithm for integer sorting in linear space. Our algorithm sorts n integers in the range {0, 1, 2, &1dots;, m&mdash;1} in linear space in O(n log log n) time. This improves our previous result [8] which sorts in O(n log log n log log log n) time and linear space. This also improves previous best deterministic sorting algorithm [3, 11] which sorts in O(nlog log n) time but uses O(m&egr;) space. Our results can also be compared with Thorup's previous result [16] which sorts in O(nlog log n) time and linear space but uses randomization.
Information Technology in Business: Principles, Practices, and Opportunities, 2nd edition
Authors: James A. Senn
Venue:  (1997)

:This second edition focuses on the way Information Technology is transforming the way people do business and how IT impacts their personal lives. The book's emphasis is on the way information technology is used and applied for problem-solving, the new and emerging technologies as they are being implemented in real organizations, applications to personal and professional practice, and the challenges and opportunities of IT in international business situations. For people interested in computers, computer literacy, information systems, or information technology.
Computation and Human Experience
Authors: Philip E. Agre
Venue:  (1997)

:This book offers a critical reconstruction of the fundamental ideas and methods of artificial intelligence research. Through close attention to the metaphors of AI and their consequences for the field's patterns of success and failure, it argues for a reorientation of the field away from thought in the head and toward activity in the world. By considering computational ideas in a philosophical framework, the author eases critical dialogue between technology and the humanities and social sciences. AI can benefit from new understandings of human nature, and in return, it offers a powerful mode of investigation into the practicalities and consequences of physical realization.
The UNIX CD Bookshelf, Second Edition: Version 2.1, 2nd edition
Authors: Arnold Robbins
Venue:  (2000)

:Computer professionals increasingly rely on the Web, online help, and other online information sources to solve information pain. Now the second edition of O'Reilly's Unix CD Bookshelf gives you convenient online access to updates of your favorite books on your CD-ROM drive. The UNIX CD Bookshelf contains a powerhouse of UNIX Animal books from O'Reilly plus the complete text and software from UNIX Power Tools -- all readable with your Web browser on a convenient CD-ROM. A bonus hard-copy book, UNIX in a Nutshell, 3rd Edition, is also included. In addition to UNIX Power Tools, you'll find the complete text of the following books: Learning the UNIX Operating System, 4th Edition; Learning the vi Editor, 6th Edition (also new); sed & awk, 2nd Edition; Learning the Korn Shell; and UNIX in a Nutshell, System V Edition. Never has it been easier to learn, or look up, what you need to know online. Formatted in HTML, The UNIX CD Bookshelf can be read by any Web browser. The books are fully searchable and cross-referenced. In addition to individual indexes for each book, a master index for the entire library is provided.
Spiderman Official Strategy Guide
Authors: Phillip Marcus
Venue:  (2000)

:BradyGAMES Spider-Man Official Strategy Guide Features: Strategy for all 8 levels - including the stealth missions. Coverage of all characters and enemies in the game. Tips for web-slinging and utilizing the spider sense and Spider-Man's stealth tactics.
Improving speech-based navigation during dictation
Authors: Jinjuan Feng
Venue: CHI '02 extended abstracts on Human factors in computing systems (2002)

This research focuses on understanding the failures of speech-based navigation as it exists in state-of-the-art speech recognition software. A detailed analysis of failure rates, reasons commands fail, and consequences of these failures in the allowed for the identification of three specific improvements to spech-based navigation. Results from a follow-up study are reported, indicating that each of the three improvements reduced failure rates.
Edges of Reality: Mind VS. Computer
Authors: William D. May
Venue:  (1996)

:Consider now these provocative questions about the "upper limits" of thought for both humans and computers: Can computers be conscious? What are unsolvable problems, quantum mysteries, and cosmological inquiries? Will we eventually be replaced by automatons with superintelligent computers for brains? Is there a unique mental ability that humans have that computers can never possess? These awesome, complex ideas can be overwhelming when stated in terms of equations, formulas, and mathematical theorems. Edges of Reality: Mind vs. Computer articulates the theories surrounding these questions in a lucid, easy-to-understand way that emphasizes clarity of language, and utilizes concise examples and pertinent illustrations. This book allows the reader to actually understand these ideas, not simply read about them! Dr. William D. May, noted for his research in artificial intelligence and computer science, entertainingly explains and illustrates the reasons for many of our intellectual and physical limitations. This is a fascinating and shrewd book for all readers who have a keen interest in the competition between human and computer "thought" as well as students and professionals in the areas of computer science, engineering, mathematics, astrophysics, artificial intelligence, and theology.
An expressive and efficient language for XML information retrieval
Authors: Taurai Tapiwa Chinenyanga, Nicholas Kushmerick
Venue: Journal of the American Society for Information Science and Technology (2002)

Several languages for querying and transforming XML, including XML-QL, Quilt, and XQL, have been proposed. However, these languages do not support ranked queries based on textual similarity, in the spirit of traditional IR. Several extensions to these XML query languages to support keyword search have been made, but the resulting languages cannot express IR-style queries such as "find books and CDs with similar titles." In some of these languages keywords are used merely as boolean filters without support for true ranked retrieval; others permit similarity calculations only between a data value and a constant, and thus cannot express the above query. WHIRL avoids both problems, but assumes relational data. We propose ELIXIR, an expressive and efficient language for XML information retrieval that extends XML-QL with a textual similarity operator that can be used for similarity joins, so ELIXIR is sufficiently expressive to handle the sample query above. ELIXIR thus qualifies as a general-purpose XML IR query language. Our central contribution is an efficient algorithm for answering ELIXIR queries that rewrites the original ELIXIR query into a series of XML-QL queries to generate intermediate relational data, and uses WHIRL to efficiently evaluate the similarity operators on this intermediate data, yielding an XML document with nodes ranked by similarity. Our experiments demonstrate that our prototype scales well with the size of the query and the XML data.
A First Course in Computer Science with ADA, 13th edition
Authors: Nicholas J. De Lillo
Venue:  (1993)

:A First Course In Computer Science with ADA fits the intro computer science course where ADA is the language used. The logical structure of the language is spurring growth in the ADA market. The appeal of this book is similar to that of our Salmon book,in that it focuses on problem solving rather than just programming. Like Salmon,DeLillo also has a heavy emphasis on software engineering. The text also conforms with new ACM guidelines for "Computing Curricula in 1991" in Communications of the ACM,June 1991. 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
Military resource scheduling: a simulation approach to estimating aircraft mission capable rates for the United States Air Force
Authors: Harold S. Balaban, Robert T. Brigantic, Samuel A. Wright, Anthony F. Papatyi
Venue: Proceedings of the 32nd conference on Winter simulation (2000)

This paper presents the results of a simulation model designed to estimate aircraft Mission Capable Rates (MCR) for the United States Air Force. This simulation model originated out of the need to estimate the MCR for different modernization schemes to be implemented on the Air Force C-5 Galaxy aircraft. Assigned to the Air Mobility Command (AMC), the C-5 is one of our nation's only two strategic airlift aircraft that can carry large outsize cargo (e.g., helicopters and tanks). The other outsize capable strategic airlift aircraft is the C-17 Globemaster III. At the same time, the C-5 is one of the Air Force's least reliable aircraft. This means that AMC has a deficiency in meeting all of its wartime cargo airlift missions. To address this problem, AMC embarked on a year-long Analysis of Alternatives (AoA) study in 1999 to determine the best value solution for the Air Force to meet its cargo airlift requirements. Integral to this analysis is the aforementioned simulation model used to estimate C-5 MCR. This paper reviews the different alternatives examined in the AoA and presents the details of the simulation effort to estimate the MCR for these different options.
A stake in cyberspace
Authors: Tim Kindberg
Venue: Proceedings of the 7th workshop on ACM SIGOPS European workshop: Systems support for worldwide applications (1996)

Consider the information 'terrain' in which we browse and interact over the Internet, principally the World Wide Web but also USENET, email and IRC. This differs in several basic ways from the territory that we are used to: We can be - and often want to be - in several places at once. The information terrain is hard to navigate. It is infinite and heterogeneous. There are only rudimentary maps. It is in a state of flux, and is not sharply distinguished from the artifacts it sustains. Currently we spend most of our time wandering alone where there is much evidence of human activity, but where the natives themselves and their tools are nowhere to be seen. When we do encounter others, we pass low-bandwidth messages back and forth, often knowing little about our interlocutors. The thesis of this position paper is: The most useful notion of the terrain is the combination of users and the shared information that they interact with, not the information alone. Information is where users should be able to encounter other users with similar interests. We need to support collaboration and other forms of social interaction between users, who either meet while browsing information or who are already members of a group. The key to collaborative information sharing and interaction on the Internet is the concept of boundary, which encompasses naming, security and integrity of shared data, and user communication and awareness. The navigation problem will not go away, but boundaries enable us to impose structure on the sprawl. We now present an early snapshot of a design that addresses these points.
TEG: a new post-layout optimization method
Authors: Shuo Zhang, Wayne W.-M. Dai
Venue: Proceedings of the 2002 international symposium on Physical design (2002)

Post-layout is an important stage in modern VLSI design. With the completed detail routing, it is the only stage where extraction and verification tools can get accurate results for further optimization. But the problem is that design optimization or modification is very hard to perform in the post-layout stage, because most layout elements are under tight geometry constraints due to the routing. In this paper we propose a new method to resolve this problem, named TEG. Based on an improved topological layout representation and a set of layout operation algorithms, TEG provides an incremental layout modification environment for post-layout applications. Experimental results showed TEG was efficient and effective in processing industry VLSI designs.
Windows NT Applications: Measuring and Optimizing Performance
Authors: Paul Hinsberg
Venue:  (1999)

:Because a network's efficiency is often judged by the performance of its applications, proven tricks and methods for increasing program speed, scalability, and object orientation are critical for Windows developers. Windows NT Applications: Measuring and Optimizing Performance is a vital tool for developers writing high-performance applications. This authoritative reference includes: Detailed discussion of the tools and techniques for monitoring and benchmarking performance Expert insight into the internal NT architecture and how to exploit it for more efficient applications Tips for improving code execution in web, database, and network applications, with example code to illustrate principles Case studies that detail issues common to the Windows environment, and provide solutions for those issues If you program Windows NT systems, Windows NT Applications: Measuring and Optimizing Performance provides valuable information to help you determine the resource requirements of your system and produce code to better match those requirements. This reference will allow you to: Configure the best system to run your code Isolate and resolve resource bottlenecks common to Windows NT applications Test and analyze code to optimize performance across the network Understand the effects of various coding choices and technologies in order to enhance the overall efficiency of your applications
PhotoShop 3.0: A Hands-on Introduction, 1st edition
Authors: Suzanne Sayegh Thomas
Venue:  (1994)

:Here's a complete introduction to the tools and functions of one of today's most widely used image manipulation program on the market: Photoshop. Easy to understand language and step by step instructions explain every function and command in the program. The diverse hands-on exercises in the tutorial disk include images for learning, to enable the user to become familiar with program functions needed to achieve desired effects. Professional graphic artists can use this book as a reference for tips and tricks, commands, and functions.
"I'd be overwhelmed, but it's just one more thing to do": availability and interruption in research management
Authors: James M. Hudson, Jim Christensen, Wendy A. Kellogg, Thomas Erickson
Venue: Proceedings of the SIGCHI conference on Human factors in computing systems: Changing our world, changing ourselves (2002)

Many CSCW projects dealing with individual availability and interruption filtering achieve only limited success. Perhaps this is because designers of such systems have limited evidence to draw upon; most data on interruption management is at least a decade old. This study uses an empirical sampling method and qualitative interviews to examine attitudes toward availability and interruption. Specifically, we analyze how corporate research managers spend their time and look at how their attitudes toward interruption relate to their various activities. Attitudes toward interruption are marked by a complex tension between wanting to avoid interruption and appreciating its usefulness. We conclude by discussing the implications of these findings for design, suggesting that the notion of socially translucent systems may be a fruitful approach
L_2 Vector Median Filters on Arrays with Reconfigurable Optical Buses
Authors: Chin-Hsiung Wu, Shi-Jinn Horng
Venue: IEEE Transactions on Parallel and Distributed Systems (2001)

In spite of their good filtering characteristics for vector-valued image processing, the usability of vector median filters is limited by their high computational complexity. Given an N\times N image and a W\times W window, the computational complexity of vector median filter is O(W^{4} N^{2}). In this paper, we design three fast and efficient parallel algorithms for vector median filtering based on the 2\hbox{-}{\rm{norm}} (L_2) on the arrays with reconfigurable optical buses (AROB). For 1\leq p\leq W\leq q \leq N, our algorithms run in O(W^{4}\log W/p^{4}), O({\frac{W^{4}N^{2}}{p^{4}q^{2}}}\log W) and O(1) times using p^{4}N^{2}/\log W, p^{4}q^{2}/\log W, and W^{4}N^{2}\log N$ processors, respectively. In the sense of the product of time and the number of processors used, the first two results are cost optimal and the last one is time optimal.
Building a suspension bridge: how teamwork bridges the gap
Authors: Joan Beatty-Lee, Tammy Hohlt, Brandon Hough, Brad Wilders
Venue: Proceedings of the 29th annual ACM SIGUCCS conference on User services (2001)

Information and Access Technology (IAT) Services, the central Information Technology group at the University of Missouri-Columbia, operates computing sites in general access, classroom, and residence hall settings. The computing sites are supported by various methods including on-site Consultants, roaming Support Specialists, and a call-in Support Center designed specifically for supporting the sites. In the past two-years, various services have been implemented to provide better customer service and employee satisfaction. Student employee training, incentives, and evaluation programs have been very successful in improving customer support, while new methods of distributing software has been a success in administering the sites.
ParaWeb: towards world-wide supercomputing
Authors: Tim Brecht, Harjinder Sandhu, Meijuan Shan, Jimmy Talbot
Venue: Proceedings of the 7th workshop on ACM SIGOPS European workshop: Systems support for worldwide applications (1996)

In this paper, we describe the design of a system, called ParaWeb, for utilizing Internet or intra-net computing resources in a seamless fashion. The goal is to allow users to execute serial programs on faster compute servers or parallel programs on a variety of possibly heterogeneous hosts. ParaWeb provides extensions to the Java programming environment (through a parallel class library) and the Java runtime system that allow programmers to develop new Java applications with parallelism in mind, or to execute existing Java applications written using Java's multithreading facilities in parallel. Some experimental results from our prototype implementation are used to demonstrate the potential of this approach.
Dynamic structuring of web information for access visualization
Authors: Jess Y. S. Mak, Hong Va Leong, Alvin T. S. Chan
Venue: Proceedings of the 2002 ACM symposium on Applied computing (2002)

The Internet has led to the formation of a global information infrastructure. To explore a web site, a site map would be useful as a short cut for a user to locate for the target information in a structured and efficient manner, rather than drilling into the web site following hyperlinks, reading possibly irrelevant information. Useless information impacts a mobile web environment, where mobile clients are only connected with unreliable wireless channels of limited bandwidth. Structured web page organization at the web server proxy is an important issue to resolve to provide efficient browsing experience for web clients, while minimizing the browsing of unrelated pages or sites. In this paper, we adopt the Document Information Extraction mechanism to construct a document cluster dynamically and intelligently with respect to a requested root web page. The document cluster works like a dynamic site map, spanning across several web sites. The clusters are generated and stored in XML format at proxy server so that it can potentially benefit a large number of mobile clients. Clients process the XML clusters and transform them to be visualized through VRML or DOM. For VRML, a transformer is built at the client-side to support a three-dimensional modeling view. For DOM, JavaScript is used for accessing the parsed XML data to produce a two-dimensional tree output.
Proof by computation in the Coq system
Authors: Martijn Oostdijk, Herman Geuvers
Venue: Theoretical Computer Science (2002)

In informal mathematics, statements involving computations are seldom proved. Instead, it is assumed that readers of the proof can carry out the computations on their own. However, when using an automated proof development system based on type theory, the user is forced to find proofs for all claimed propositions, including computational statements. This paper presents a method to automatically prove statements from primitive recursive arithmetic. The method replaces logical formulas by boolean expressions. A correctness proof is constructed, which states that the original formula is derivable, if and only if the boolean expression equals true. Because the boolean expression reduces to true, the conversion rule yields a trivial proof of the equality. By combining this proof with the correctness proof, we get a proof for the original statement.