ppxscal/embedding_network huggingface dataset:
Composing dataflow analyses and transformations
Authors: Sorin Lerner, David Grove, Craig Chambers
Venue: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2002)

Dataflow analyses can have mutually beneficial interactions. Previous efforts to exploit these interactions have either (1) iteratively performed each individual analysis until no further improvements are discovered or (2) developed "super-analyses" that manually combine conceptually separate analyses. We have devised a new approach that allows analyses to be defined independently while still enabling them to be combined automatically and profitably. Our approach avoids the loss of precision associated with iterating individual analyses and the implementation difficulties of manually writing a super-analysis. The key to our approach is a novel method of implicit communication between the individual components of a super-analysis based on graph transformations. In this paper, we precisely define our approach; we demonstrate that it is sound and it terminates; finally we give experimental results showing that in practice (1) our framework produces results at least as precise as iterating the individual analyses while compiling at least 5 times faster, and (2) our framework achieves the same precision as a manually written super-analysis while incurring a compile-time overhead of less than 20%.
The Word 6.0 for Windows, 1st edition
Authors: James E. Shuman
Venue:  (1994)

:This exciting series offers maximum flexibility by allowing you to choose specific Windows applications you want to cover. James E. Shuman's engaging style plus many practical tools make learning and using Windows stimulating and fun.
Supporting ubiquitous computing through directory enabled technologies
Authors: Michael Richichi, Paul Coen
Venue: Proceedings of the 29th annual ACM SIGUCCS conference on User services (2001)

Drew has been providing computers to students since 1984. Many universities have ubiquitous computing programs where students receive a laptop computer as part of their educational package. These programs reduce the dependence on and management issues of traditional computer labs, and allow 24x7 computing access to every student at the University. Drew also provides Novell Directory Services (NDS) accounts to all of these students, and utilizes Novell ZENworks to customize software, personalize information, maintain machines, and reduce the number of visits to the help desk. This session will describe how we use the directory and other Novell software to provide a seamless computing experience for students, and how we achieve an easily maintainable, yet loosely managed environment. A combination of the retail ZENworks product and open source Web and LDAP tools enables us to leverage the ubiquitous computing environment and maximize economies of scale, permitting a far more in depth support program than would otherwise be possible in a student-supplied computing environment. There will be a discussion about leveraging a well-populated directory to provide personalization of the network experience for the end user as well. While the session will be most relevant to schools with ubiquitous computing programs, many of the concepts and ideas could be applied to a computing lab environment or to student-supplied computing models.Drew has been providing computers to students since 1984. Many universities have ubiquitous computing programs where students receive a laptop computer as part of their educational package. These programs reduce the dependence on and management issues of traditional computer labs, and allow 24x7 computing access to every student at the University. Drew also provides Novell Directory Services (NDS) accounts to all of these students, and utilizes Novell ZENworks to customize software, personalize information, maintain machines, and reduce the number of visits to the help desk. This session will describe how we use the directory and other Novell software to provide a seamless computing experience for students, and how we achieve an easily maintainable, yet loosely managed environment. A combination of the retail ZENworks product and open source Web and LDAP tools enables us to leverage the ubiquitous computing environment and maximize economies of scale, permitting a far more in depth support program than would otherwise be possible in a student-supplied computing environment. There will be a discussion about leveraging a well-populated directory to provide personalization of the network experience for the end user as well. While the session will be most relevant to schools with ubiquitous computing programs, many of the concepts and ideas could be applied to a computing lab environment or to student-supplied computing models.
Towards the animation of proofs---testing proofs by examples
Authors: Susumu Hayashi, Ryosuke Sumitomo, Ken-ichiro Shii
Venue: Theoretical Computer Science (2002)

In this paper, we introduce the notion of proof animation, which is a new application of the principle of "Curry-Howard isomorphism" to formal proof development. Logically, proof animation is merely a contrapositive of "proofs as programs", which is an application of Curry-Howard isomorphism to formal program development. Nonetheless, this new perspective is completely different. The motivation, aims, problems, and a prototype tool under development are presented in this paper. We also discuss possibility of "proof engineering" guided by the Curry-Howard isomorphism. Copyright 2002 Elsevier Science B.V.
Computerized system for evaluation of coronary artery disease by noninvasive techniques
Authors: William H. Bancroft,  Jr., Roy H. Swatzell,  Jr., James C. Baldone,  Jr., Marjorie S. Tucker, E. E. Eddleman,  Jr.
Venue: Proceedings of the 14th annual Southeast regional conference (1976)

The accepted method of determining the presence and extent of coronary artery disease is by coronary angiography. A method of obtaining this information noninvasively is being developed. The kinetocardiogram, ballistocardiogram, vectorcardiogram, heart sounds, and carotid pulse pressure tracings have been recorded on analog tape from 903 patients. These patients have also been studied by the angiographic invasive techniques within 24 hours of the noninvasive study. A data processing system has been developed using one of the remote satellites to the Multiple Laboratory Computer Center of the University of Alabama. A technician interacting with this system selects usable portions of the analog records and controls the A to D conversion of the data. Calibration and time normalization is performed so that several heartbeats can be averaged together for each data source. The technician again has the opportunity to view the results and accept or reject them. Accepted data is spooled to magtape and merged with clinical records.Comparisons of mean curves of patients with similar coronary artery abnormalities indicate that there are significant differences. Preliminary statistical models using multiple regression techniques separate the seriously ill patients from those with less abnormality with 77% accuracy.
Windows 3.11 for Dummies, 3rd edition
Authors: Andy Rathbone
Venue:  (1995)

:Best-selling author Andy Rathbone has helped more than a million novice Windows users get around the Windows interface like it's their own backyard. Now, Andy has updated Windows 3.11 For Dummies&reg; to bring you the latest information about how Windows can make your PC more efficient and a lot easier to use. Inside, find helpful advice on how to Use all the handy features of Windows 3.1 and 3.11 Run DOS programs under Windows with no sweat Install Windows programs when they come without an installation program Customize Windows for optimal use Navigate the File Manager easily Use and move icons on your desktop Run Windows for Workgroups 3.11 -- including networking and special features of WFW
Direct Digital Control
Authors: John J. McGowan
Venue:  (1995)

:This 496-page reference brings you 21 chapters detailing direct digital control specification and operation - including user training and financing options - for any type of building. Loaded with practical tips for successful building automation decision-making, the handbook guides the reader in insuring that the building will fulfill both present and future operational demands. Topics covered include distributive direct digital control, networking and integrating automated buildings, strategies for DDC system project success, project financing, guidelines for conducting a building control survey, recent technology developments, sequence of operation considerations, equipment and zone level DDC control, hand-held and central operator interface, DDC specification and procurement guidelines, DDC system management, operator training, and case studies for both industrial and commercial DDC installations. 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
Graphics and GUIs with MATLAB, 1st edition
Authors: Patrick Marchand
Venue:  (1995)

:Graphics and GUIs with MATLAB completely examines the MATLAB graphics system, describing the enhancements and added features of MATLAB 5. This second edition provides illustrative example sets to simplify the process of learning and mastering the powerful, flexible, and easy-to-use graphics environment. This book serves technical professionals using MATLAB's plotting capabilities, MATLAB programmers learning about the graphics environment, anyone creating pictures using mathematical expressions. 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
Process Control Instrumentation Technology, 6th edition
Authors: Curtis D. Johnson
Venue:  (1999)

:The sixth edition of Process Control Instrumentation Technology provides a comprehensive working knowledge of process control and control systems, from the fundamental theoretical concepts to the more practical aspects of assembling, troubleshooting, adjusting and operating a control system. Using this text to obtain a solid foundation, readers can design the elements of a control system from the practical perspective as well as understand how these elements affect overall system operation and tuning. All of this is accomplished without the necessity of advanced math and theory or on-the-job experience. 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
Excel for Scientists and Engineers, 2nd edition
Authors: William J. Orvis
Venue:  (1995)

:Excel for Scientists and Engineers is an essential sourcebook for implementing advanced numerical methods supplied in Excel for Windows 95 and Excel 5 for Windows 3.1 and Mac. Use Excel to perform all levels of numerical analysis. Each detailed example explains the numerical method used and how to implement it in Excel. You'll learn to prepare single-input and multi-input engineering tables, and create function calculators for painless "what-if" analysis; use Excel's built-in curve-fitting functions, from linear curve-fitting to linear regression, polynomial regression, and non-linear curve-fitting; employ popular integration functions, including the rectangle rule, the trapezoid rule, Simpson's rule, and Gaussian quadratures; use Excel's new distribution and statistical functions, plus Bessel, error, and delta functions; solve ordinary differential equations and partial differential equations by combining Excel's features in new ways; and create your own functions with Visual Basic for Applications.
A review of port scanning techniques
Authors: Marco de Vivo
Venue: ACM SIGCOMM Computer Communication Review (1999)

This paper reports the most important techniques used by TCP port scanners. TCP port scanners are specialized programs used to determine what TCP ports of a host have processes listening on them for possible connections. Since these ports characterize, in part, the amount of exposure of the hosts to potential external attacks, knowing their existence is a fundamental matter for network and/or security administrators. Moreover, as scanners are also used by hackers, administrators need to know how they work and what possible weakness they exploit to be able to prevent unwanted scanning or at least to record each scanning attempt.
Growing up Digital: The Rise of the Net Generation
Authors: Don Tapscott
Venue:  (1999)

:The bestselling book announcing the arrival of the Net Generationthose kids who are growing up digitalnow in paperback. Heraled by Library Journal as one of the Best Business Books of 1997,Growing Up Digital tells how the N-Generation is learning to communicate,work,shop and play in profoundly new waysand what implications this has for the world and business. Growing Up Digital offers an overview of the N-Generation,the generation of children who in the year 2000 will be between the ages of two and twenty-two. This group is a "tsunami" that will force changes in communications,retailing,branding,advertising,education,etc. Tapscott commends that the N-Generation are becoming so technologically proficient that they will "lap" their parents and leave them behind. The book also demonstrates the common characteristics of the N-Generation: acceptance of diversity,because the Net doesn't distinguish between racial or gender identities,curiosity about exploring and discovering new worlds over the Internet and assertiveness and self-reliance,which result when these kids realize they know more about technology than the adults around them. This eye-opening,fact-filled book profiles the rise of the Net Generation,which is using digital technology to change the way individuals and society interact. Essential reading for parents,teachers,policy makers,marketers,business leaders,social activists,and others,Growing Up Digital makes a compelling distinction between the passive medium of television and the explosion of interactive digital media,sparked by the computer and the Internet. Tapscott shows how children,empowered by new technology,are takingthe reins from their boomer parents and making inroads into all areas of society,including our education system,the government,and economy. The result is a timely,revealing look at our digital future that kids and adults will find both fascinating and instructive.
Managing Switched Local Area Networks: A Practical Guide, 1st edition
Authors: Darryl P. Black
Venue:  (1997)

:If you already manage a switched network, are considering converting your shared LAN to switched technology, or are in the process of deploying a new switched LAN, Managing Switched Local Area Networks will serve as your indispensable handbook. Pragmatic, readable, and focused on real-world issues, this book provides a concise description of the elements that comprise a switched LAN, shows how these elements function together, and offers a step-by-step approach to anticipating, isolating, and solving the most common network problems. The book's realistic scenarios and proven rules of thumb will hone your skills and help you make sound decisions for effective switched network management. This book not only describes the technology but also shows how to apply it to the process of building a switched LAN management system. Here you will find experience-based advice on troubleshooting, an inventory of the classic problems encountered in the management of a switched LAN, and specific, tested methods and strategies for solving these problems. The book also teaches you how to evaluate your LAN needs and choose appropriate tools, how to create a manageable switched LAN design, and how to put it all together to build a comprehensive, well-tuned network management system. 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
Self-Organizing Maps
Authors: Yeuvo Jphonen
Venue:  (1995)

:The Self-Organizing Map (SOM) algorithm was introduced by the author in 1981. Its theory and many applications form one of the major approaches to the contemporary artificial neural networks field, and new technologies have already been based on it. The most important practical applications are in exploratory data analysis, pattern recognition, speech analysis, robotics, industrial and medical diagnostics, instrumentation, and control, and literally hundreds of other tasks. In this monograph the mathematical preliminaries, background, basic ideas, and implications are expounded in a clear, well-organized form, accessible without prior expert knowledge. Still the contents are handled with theoretical rigor.
Building narrative structures using context based linking
Authors: Mark J. Weal, David E. Millard, Danius T. Michaelides, David C. De Roure
Venue: Proceedings of the 12th ACM conference on Hypertext and Hypermedia (2001)

This paper discusses initial progress in the construction of a hypertext short fiction engine using a context based link service. The link service, Auld Leaky, is based around the Fundamental Open Hypermedia Model (FOHM). Context and behaviour are used to provide adaption in the story as well as progressing the narrative.
Routing in Today's Internetworks: The Routing Protocols of IP, DECnet, NetWare, and AppleTalk
Authors: Mark Dickie
Venue:  (1997)

:This guide helps engineers and other professionals keep pace with the latest routing protocols in networking. It explores all aspects of routing for the Internet Protocol (IP), DECnet, Novell NetWare, and AppleTalk networking environments. Readers learn what routing protocols are and how they work. Major routing protocols for each of the four major routing environments are discussed. Coverage of each environment progresses from network basics to the latest generation of internetwork routing protocols. The author discusses the latest in link-state routing protocols, such as Open Shortest Path First (OSPF), Intermediate System-Intermediate System (IS-IS), and NetWare Link Services Protocol (NLSP). Among the key protocol topics explored are:*Network architecture, zones, and packet formats*Structures, subnetwork addressing, address resolution, addressing schemes, and datagram formats*How to create, implement, support, and maintain routing environments*Routing functions and standards*Enhancement of communication between different routers*How to improve network flexibility and functionalityIssues relevant to implementing a routing protocol or converting to a new one are discussed in depth. The author also clarifies differences between currently used protocols and protocols that are being introduced into different routing environments. He addresses:*The Internet Protocol environment and the Routing Information Protocol (RIP)*The DECnet Phase IV environment, DECnet Routing Protocol (DRP) DECnet Phase V, and End System-Intermediate System (ES-IS)*Novell's Internetwork Packet Exchange (IPX), Service Advertising Protocol (SAP), and Novell's implementation of the Routing InformationProtocol*AppleTalk's Datagram Delivery Protocol (DDP), Routing Table Maintenance Protocol (RTMP), and the AppleTalk Update-based Routing Protocol (AURP)Routing in Today's Internetworks will meet the reference needs of communications engineers, data communications staff, network managers, consultants, and programmers who develop communications software. 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
VHDL Answers to Frequently Asked Questions
Authors: Ben Cohen
Venue:  (1996)

:This book addresses: misinterpretations in the use of the language (VHDL); methods for writing error free, and simulation efficient, code for testbench designs and for synthesis; and general principles and guidelines for design verification.
Web Site Stats: Tracking Hits and Analyzing Web Traffic, 1st edition
Authors: Rick Stout
Venue:  (1996)

:This book will run the gamut from an overview of Web statistics,through the technical details of collecting and analyzing information,to using that information to develop strategies and pursue organizational goals.
Official PowerBuilder 6: Advanced Tools for the Enterprise, 2nd edition
Authors: Derek Ball
Venue:  (1997)

:Official PowerBuilder&reg; 6: Advanced Tools for the Enterprise, Second Edition shows how to take advantage of the full power of PowerBuilder and all the new features of PowerBuilder 6 to create large-scale enterprise solutions. Readers also learn to take components from their existing PB applications and create fully functional Internet-compatible applets.This edition provides about 30% more content, including detailed coverage of the distributed and multitier computing capabilities, the PFC (PowerBuilder Foundation Class) library, the new debugger, application generation options, and new language options. Explains all the Internet features of PowerBuilder 6. Enables readers to quickly and easily build better applications for large enterprise projects. Demonstrates how to create distributed components for enterprise PB applications. Shows how to use OLE automation to turn PB Non-Visual Objects (NVOs) into OLE process objects that can be accessed from any OLE-compliant application. Fully functional PowerBuilder 6 demo All source code and examples from the book
Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp, 1st edition
Authors: Peter Norvig
Venue:  (1992)

:Paradigms of AI Programming is the first text to teach advanced Common Lisp techniques in the context of building major AI systems. By reconstructing authentic, complex AI programs using state-of-the-art Common Lisp, the book teaches students and professionals how to build and debug robust practical programs, while demonstrating superior programming style and important AI concepts. The author strongly emphasizes the practical performance issues involved in writing real working programs of significant size. Chapters on troubleshooting and efficiency are included, along with a discussion of the fundamentals of object-oriented programming and a description of the main CLOS functions. This volume is an excellent text for a course on AI programming, a useful supplement for general AI courses and an indispensable reference for the professional programmer.
Intrusion Detection, 1st edition
Authors: Edward G. Amoroso
Venue:  (1999)

:The proliferation of cracking activity on the Internet has led to astounding developments in intrusion detection technology. This book will lead you through the details and methodologies associated with this important type of security protection. System administrators, programmers, system and software engineers, and managers of technology will find this book invaluable. And anyone associated with information assurance for critical infrastructures will learn how intrusion detection can be applied to their unique security needs. With this book, you will learn about intrusion detection topics including: Commercial tools for intrusion detection Strategies for processing security audit trails Correlation techniques and algorithms Intruder trace back techniques Deception-based honey pots and traps Incident response and disaster recovery