ppxscal/embedding_network huggingface dataset:
Data types, parameters and type checking
Authors: Alan J. Demers, James E. Donahue
Venue: Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1980)

In statically typed programming languages, each variable and expression in a program is assigned a unique "type" and the program is checked to ensure that the arguments in each application are "type-compatible" with the corresponding parameters. The rules by which this "type-checking" is performed must be carefully considered for modern languages that allow the programmer to define his own data types and allow parameterized types or types as parameters. (Such languages include Alphard [Wulf78], CLU [Liskov77], Euclid [Lampson77] and Russell [Demers79].) These features increase the expressive power of the languages, but also increase the difficulty of type-checking them.In this paper, we describe a treatment of type-checking that makes it possible to do completely static checking with a general parameterization mechanism allowing parameterized types, types as parameters, and even a disciplined form of self-application. Our method defines a calculus of "signatures," where signatures are similar to the "program types" of [Reynolds78]. Each identifier and expression is given a signature, and applications are type-correct when argument and parameter signatures are equivalent under a simple set of signature transformation rules. Below we present the signature calculus of Russell; we also present a semantic justification of this calculus and specify the language constraints necessary for us to justify our purely static approach to type-checking.
Complete Data Cabling Installers Certification with Cdrom
Authors: Brent L. Wright, L. Rene Abreo, Don Ritchey
Venue:  (2002)

:Focused on both the theory and the practice of data cable installation, this comprehensive training guide prepares readers to pass the DCI Certification exam and to actually perform the tasks required of a certified cable installer as well. The guide covers all of the information embodied in the DCI objectivesincluding the latest information for the new TIA/EIA and ANSI standardsand features extensive hands-on lab procedures, and accompanying test-prep materials that allow readers to complete mock tests, determine their weak points, and study more strategically. An accompanying interactive CD-ROM provides a comprehensive, electronic practice bookwith testing material that simulates the Cabling Installer Certification Exam process. During the question review, the correct answer is presented on the screen, along with the reference heading where the material can be found in the guide. A single mouse click takes readers directly to the corresponding section of the embedded electronic guidebook. Cable Installation Safety. Basic Standards and Practices. Facilities Issues. Cable Ratings and Performance. Cable Installation and Management. Testing and Troubleshooting. Industry Standards. Pulling Cable. The Telephone System. Understanding Blueprints. For those preparing for the Data Cabling Installation Certification course.
Internet Literacy, 2nd edition
Authors: Fred Hofstetter
Venue:  (2001)

:Comprehensive Introduction to the Internet and the World Wide Web. Designed for a full semester course,this book clearly defines concepts and practices of connecting to,researching on,designing for,and publishing on the Internet.
Microsoft Works Suite 2001 Step by Step with Cdrom
Authors: Microsoft Corporation
Venue:  (2000)

:Microsoft Works 2001 Step by Step shows how to use all the products in the best-selling Microsoft Works Suite 2001 home productivity suite. The book covers each application and also shows how to use common elements in the suite. Like the other titles in the Step by Step series, it provides step by step instructions on how to use the software programs, and allows users to learn at their own pace. Rich indexing makes it easy to use the book as a reference. This book covers the following software products: Microsoft Works Standard 2001, including the Works word processor, spreadsheet, database, and calendar Money Basic 2001 Internet Explorer 5 Outlook Express and the Windows Address Book Home Publisher 2001 Picture It! Express Encarta Encyclopedia Standard 2001 Expedia Streets and Trips 2001
Smart Structures: Analysis and Design
Authors: A.V. V. Srinivasan, D. Michael McFarland
Venue:  (2000)

:Smart structures and structural components can sense a change in temperature, pressure, or strain; diagnose a prob lem; and initiate an appropriate action to preserve structural integrity. This text provides the basic information needed to analyze and design smart devices and structures. Among the topics covered are piezoelectric crystals, shape memory alloys, electrorheological fluids, vibration absorbers, fiber optics, and mistuning. A final chapter explores biomimetics and design strategies that can be incorporated at the microstructural level deriving inspiration from biological structures. The design of smart structures is at the cutting edge of engineering research and development, and this introductory book on the subject will be welcomed by both students and practicing engineers.
The Voicexml Handbook: Understanding and Building the Phone-Enabled Web, 1st edition
Authors: Bob C. Edgar, Robert C. Edgar
Venue:  (2001)

:Do you know telephony but need to learn about the Web? Do you know the Web but need to learn telecom? Are you a Webmaster who need to telephony-enable your site?If you answered "Yes" to any of these questions, then this book is for you. Bob Edgar explains everything you need to understand and use VoiceXML, the "HTML for telephony" which is revolutionizing the industry. Not a telephony expert? Not a Web expert? No problem, Bob covers all the background you'll need: how the Web works, how telecom and computer telephony work, XML, voice browsers and more. Once you've understood the background, Bob starts with a "Hello, World" applicationa VoiceXML page which answers the phone and speaks to youthen leads you step by step through all the features of VoiceXML, including VoiceXML 2.0. * Graphical Web Browsing, HTML and HTTP * Telecommunications * Computer Telephony * Voice Recognition and Text-to-Speech * XML * VoiceXML Tutorial * Use Voice Browsers to Create Phone-Enabled Web Sites Bob Edgar, Ph.D., works for Dialogic Corp., an Intel company and a leading manufacturer of computer telephony hardware and software components. Dr. Edgar started his software career as a theoretical physicist running mainframe calculations to simulate realistic quantum fields. Bob later founded and ran Parity Software Development Corp., a manufacturer of telephony software development tools, which was acquired by Dialogic in September 1999. Bob's previous book, "PC Telephony", has been a best-seller in the industry for many years.
Data Abstraction and Problem Solving with Java: Walls and Mirrors, 1st edition
Authors: Frank M. Carrano, Janet Prichard
Venue:  (2000)

:Data Abstraction and Problem Solving in C++, and is now updated to the Java programming language. It uses the running theme of "Walls and Mirrors" to help make clear the challenging concepts of recursion (the mirrors) and data abstraction (the walls). Authors Carrano and Prichard cover key object-oriented concepts, including encapsulation, inheritance, and polymorphism. However, the focus of the book remains on data abstraction instead of simply Java syntax. Features: Provides a firm foundation in data abstraction (the walls), emphasizing the distinction between specification and implementation as the foundation for the object-oriented approach Offers extensive coverage of recursion (the mirrors) and uses the technique throughout many examples and exercises. Introduces analysis of algorithms and Big "O" notation. Provides an appendix covering basic Java syntax for those know a different language or who need a refresher Contains many pedagogical study aids such as programming pitfall warnings and self-tests with answers A proven approach, adapted from the best selling Data Abstraction and Problem Solving in C++
Learn Office XP, 1st edition
Authors: John M. Preston, Sally Preston, Robert Ferrett
Venue:  (2001)

: No experience needed. . . Jump right into Microsoft® Office XP Get started NOW! Prepare for Microsoft® Office XP Certification! Highly visual, step-by-step instruction makes LEARNing Office XP easy! Each step has an accompanying screen so each task is illustrated for you to follow. Cautions, Quick Tips, and In-Depths show you where the pitfalls are and how to avoid them. 4 different levels of exercises in each chapter provide the ultimate practice experience. www.prenhall.com/preston Your on-line resource for learning Office XP  Interactive Study Guides!  Data Files!  On-line Exercises!
Information seeking and mediated searching. Part 2: uncertainty and its correlates
Authors: T. D. Wilson, Nigel Ford, David Ellis, Allen Foster, Amanda Spink
Venue: Journal of the American Society for Information Science and Technology (2002)

This article explores the relationship between the concept of uncertainty in information seeking, within a model of the problem-solving process proposed by Wilson (1999a) and variables derived from other models and from the work of Ellis and Kuhlthau. The research has involved longitudinal data collection in the United States and United Kingdom employing three interview schedules (incorporating self-completed questionnaires) used for pre- and postsearch interviews: and postsearch interviews with the information seeker and the search intermediary. In addition, the Sheffield team employed a fourth set of instruments in a follow-up interview some 2 months after the search. Related search episodes, with a professional search intermediary using the Dialog Information Service and other sources were audiotaped, and search transaction logs were recorded. The mediated search clients were faculty and research students engaged in either personal or externally supported research projects. The article concludes that the problem solving model is recognized by such researchers as describing their activities and that the uncertainty concept, operationalized as here, serves as a useful variable in understanding information-seeking behavior. It also concludes that Ellis's concept of search characteristics and Kuhlthau's information-seeking stages are independent of the problem stage, and that a set of affective variables, based on those of Kuhlthau, appear to signify a generalized positive or negative affective orientation towards the course of the information problem solution.
A surface-based method for detection of coronary vessel boundaries in poor quality X-ray angiogram images
Authors: Temel Kayikcioglu, Ali Gangal, Mehmet Turhal, Cemal Kose
Venue: Pattern Recognition Letters (2002)

In this paper, we propose a surface-based method for simultaneous detection of left and right coronary borders that is suitable for analysis of poor quality X-ray angiogram images. Coronary artery is modelled with a 3D generalized cylinder (GC) with elliptic cross-sections. Based on this model, we developed a 2D surface function for the projection intensity distribution of a vessel part. The parameters associated with vessel edges are estimated from this model. The model takes into account local background intensity, noise and blurring. In simulation and real experiments over a range of imaging conditions, the proposed method consistently produced lower estimation error and variability in detecting edges than our previously reported 1D profile-based method. The improvement is most significant especially for noisy and low-contrast angiograms.
A Practical Algorithm for General Large Scale Nonlinear Optimization Problems
Authors: Paul T. Boggs, Anthony J. Kearsley, Jon W. Tolle
Venue: SIAM Journal on Optimization (1999)

We provide an effective and efficient implementation of a sequential quadratic programming (SQP) algorithm for the general large scale nonlinear programming problem. In this algorithm the quadratic programming subproblems are solved by an interior point method that can be prematurely halted by a trust region constraint. Numerous computational enhancements to improve the numerical performance are presented. These include a dynamic procedure for adjusting the merit function parameter and procedures for adjusting the trust region radius. Numerical results and comparisons are presented.
Weaving the Web; The Original Design and Ultimate Destiny of the World Wide Web by Its Inventor (2 Cassettes)
Authors: Tim Berners-Lee, Mark Fischetti
Venue:  (1999)

:Tim Berners-Lee, the inventor of the World Wide Web, has been hailed by Time magazine as one of the 100 greatest minds of this century. His creation has already changed the way people do business, entertain themselves, exchange ideas, and socialize with one another. With new online businesses and communities forming every day, the full impact of Berners-Lee's grand scheme has yet to be fully realized. Now, this low-profile genius tells his own story of the Web's originsfrom its radical introduction and the creation of the now ubiquitous WWW and HTTP acronyms to how he sees the future development of this revolutionary medium.Berners-Lee offers insights to help listeners understand the true nature of the Web, enabling them to use it to their fullest advantage. He shares his views on such critical issues as censorship, privacy, and the increasing power of software companies in the online world.
Towards a theory of online schedulers
Authors: Kari Jouko Räihä, Henry Tirri
Venue: Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems (1984)

Several online schedulers of transactions are considered. The scheduling algorithms are presented in a modular and uniform way. Deadlock and livelock prevention (using restarts, if necessary) is integrated into the algorithms. A metrics is defined for comparing the behavior of two schedulers on the same set of transactions. The measure that is used makes only a very simple assumption about the transactions. This assumption is easily motivated, and thus the measure is a useful approximation of measures appearing in reality. The behavior of the schedulers is compared on the basis of user delays caused by one scheduler on logs accepted as such by another scheduler. No order of magnitude differences are found, but the examples used for proving lower bounds for the delays are illustrative of the characteristics of the schedulers.
Macworld QuarkXPress 4 Bible with Cdrom, 1st edition
Authors: Galen Gruman, John Cruise, Barbara Assadi
Venue:  (1997)

:Its one thing to learn how a desktop publishing program works, but its quite another to learn how that program can work for you. Galen Gruman, Barbara Assadi, and John Cruise, authors of the Macworld&reg; QuarkXPress&reg; 4 Bible, not only teach you how to master the tools in this sophisticated program, they offer real-world examples and years of design experience in explaining when, how, and why to use them. The Macworld QuarkXPress 4 Bible is an essential reference for publishers and designers new to the world of desktop publishing. Experienced QuarkXPress users will benefit from the detailed information on all of the new features of version 4. Topics covered include: creating a template, working with text, using special effects, output control, image manipulation, and printing. Accompanying the book is a CD-ROM packed with freeware, demos, and shareware that will add functionality to QuarkXPress and help you get the most out of your desktop publishing endeavors.
Introduction to Databases
Authors: Jim J. Townsend
Venue:  (1992)

:The ultimate guide to planning, designing, and building effective databases!Teaches users how to create a working database with reports, menus, forms, and the worksIncludes highlighted terms database users need to know 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
Insider's Guide to Mental Health Resources Online,1999 Edition
Authors: John M. Grohol, Edward L. Zuckerman
Venue:  (1999)

:Easy to use and chock-full of the latest information, the 1999 edition of this guide helps readers take full advantage of Internet and World Wide Web resources in psychology, psychiatry, and related areas such as self-help and patient education. The book explains and evaluates the full range of Internet search engines, search guides, newsgroups, and databases, and provides time-saving reviews of hundreds of specific resources. Learn how and where to go online to get the latest treatment information for specific clinical problems; find job listings in mental health and network with other professionals; locate articles and books; and more. Updated throughout, this edition features an invaluable new appendix on researching grants online.
Enterprise Internetworking and Security: Uncommon Solutions for the Technical Professional
Authors: Kyle Cassidy, Joseph Francis Dries,  III
Venue:  (2000)

:The Concise Guide to Enterprise Internetworking and Security will provide network professionals with the information they need to securely design and maintain an efficient and scaleable Internet connection. It will not only include planning solutions, but office bandwidth delivery technologies, security practices, hardware considerations and testing as well. The Concise Guide to Enterprise Internetworking and Security provides specific knowledge that is accumulated through the experiences of the authors. This book will provide expert information on: TCP/IP and Related Protocols, WAN Bandwidth, Security Concepts, Hardware, Connection Requirements, Design Considerations, Implementation of Security, and Testing and Validation. The Concise Guide to Enterprise Internetworking and Security discusses the theory behind secure and productive internetworking. This title takes into consideration that the components (i.e. vendor, situation, and equipment) will vary. The concepts behind a successful and secure Internetwork will not.
Migrating to Windows 2000 For Dummies, 1st edition
Authors: Leonard Stearns
Venue:  (1999)

:The word "migrating" conjures images of pioneers carrying their worldly belongings over rough terrain to reach a better place. The same term applies when talking about switching from one server system to another. The administrator in charge of the migration bears the dubious task of moving legacy applications, client profiles, and security measures to a new, sometimes hostile, system. Migrating To Windows NT For Dummies helps administrators burdened with this task by taking them step-by-step through the process of migrating to the world's fastest growing network operating system. Readers will escape hours of headaches with simple guidance on planning the migration, using a gateway service, reconfiguring clients, adjusting for the Internet, and fine tuning the final product. This book also looks at the migration tools designed to simplify the task and provides a Windows NT primer for administrators working with that server for the first time. In the end, Migrating To Windows NT For Dummies makes migration less like a three-month journey in a covered wagon and more like a smooth flight in first-class.
Strands or lists?
Authors: Randall Mercer
Venue: ACM SIGAPL APL Quote Quad (1982)

This paper compares strands with lists as a suitable notational extension of APL. Lists are shown to be superior.
Functions Modeling Change: A Preparation for Calculus, Graphing Calculator Guide for the TI-83/82
Authors: Eric Connally, Jo Ellen Hillyer, Frank Avenoso, Philip Cheifetz, Deborah Hughes-Hallett, Andrew M. Gleason, Karen R. Thrash, Pat Shure, William Mueller
Venue:  (2000)

:From the Calculus Consortium based at Harvard University, this comprehensible book prepares readers for the study of calculus, presenting families of functions as models for change. These materials stress conceptual understanding and multiple ways of representing mathematical ideas.
The Technology Payoff: How to Profit with Empowered Workers in the Information Age
Authors: Gerald M. Hoffman
Venue:  (1994)

:A guide to action for senior executives faced with important technology decisions. What every executive and manager should know about information technology Increased competition has compelled organizations to flatten hierarchies, redesign business processes, empower workers, and rely upon other forms of change to improve performance. Information technology, used strategically, can facilitate these inevitable changes by enabling improvements in flexibility, efficiency, and most important, profitability. The Technology Payoff explores the expanded needs and opportunities for information systems, showing how and why organizations should integrate technology into their business strategies. Gerald Hoffman goes beyond traditional, large-scale information systems to introduce innovative approaches used within business environments of all sizes and disciplines. Free of technical jargon and complex explanations, this guide offers a well-rounded, uncluttered view of information technology, addressing its managerial, organizational, and technological impacts. End of chapter sections labeled "What You Must Know" and "What You Must Do" reinforce key issues and provide a mandate for improvement through information technology. Change is now a defining characteristic of business and a prerequisite for success in any industry. With The Technology Payoff, you'll understand the kinds of information systems you need to manage change and remain competitive in today's fast paced, dynamic business environment, and learn how to get them.
Enterprise Java Development with IBM Websphere
Authors: Kyle Brown, Jaime Niswonger, Greg Hester
Venue:  (2001)

:The future of business is e-commerce. Internet business-to-business (B2B) and business-to-consumer (B2C) initiatives have revolutionized the world's marketplaces. The companies that will survive in this new environment are those that can deliver quick solutions. Enterprise Java  Programming with IBM® WebSphere® brings together six WebSphere experts, who share with you their vast knowledge of Java server technology and examine how Java and the Web have met the unfulfilled expectations of e-commerce customers. This hands-on guide delves into the most exciting parts of Java  2 Enterprise Edition (J2EE), servlets, JavaServer Pages, and Enterprise JavaBeans. These technologies are examined in the context of the IBM WebSphere Application Server and the IBM VisualAge® for Java, Enterprise Edition, development environment. This book provides techniques for maximizing your use of the Java technologies and IBM products to deliver effective and efficient e-commerce solutions. Java and Web developers looking to produce new e-business applications will find Enterprise Javaª Programming with IBM® WebSphere® invaluable. Through the course of this book you will learn How to apply J2EE technologies (e.g., Java servlets, JavaServer Pages, and Enterprise JavaBeans) within the correct architectural frameworks How WebSphere Application Server, Advanced Edition, addresses the J2EE standard and what advantages it provides developers as a J2EE application server. What advantages VisualAge for Java, Enterprise Edition, conveys as a platform for developing J2EEprograms for deployment on the WebSphere Application Server, Advanced Edition. With emphasis on teaching developers how to design and implement J2EE applications, the authors describe specific "do's and don't's," but also walk the reader through a full example system. By seeing the entire system end-to-end, and by working through the sample case study on their own, readers will see how the different APIs interrelate and how WebSphere and VisualAge for Java implement the abstract J2EE specifications. Two CDs included: The first CD contains fully-functional evaluation copies of IBM DB2 7.1 Personal Developer's Edition, IBM WebSphere Application Server (Advanced Edition 3.5), and WebSphere Studio 3.5, as well as the example code from the book's case study. The second CD contains a copy of VisualAge for Java 3.5, Enterprise Entry Edition.