ppxscal/embedding_network huggingface dataset:
C# Core Language Little Black Book
Authors: Bill Wagner
Venue:  (2002)

:C# can be ported to multiple platforms and used to develop any type of program, from a Windows service to a Web component. This book focuses on the core C# language. It covers the language syntax, provides samples, and shows you how to use C# with ASP.NET, WinForms, and Web Services. The book illustrates C# syntax and design strategies and how C# integrates with other languagesa real-world consideration. It also uses examples tied to Visual Studio.NET. It provides examples of common coding techniques and information on the CLR assemblies and classes that can be leveraged in your everyday tasks.
Communications Policy in Transition: The Internet and Beyond
Venue: Mit Press Telecommunications Policy Research Conference Series (2001)

This book addresses some of the many telecommunications areas on which public policy makers, corporate strategists, and social activists must reach agreement. Topics include the regulation of access, Internet architecture in a commercial era, communications infrastructure development, the Digital Divide, and information policy issues such as intellectual property and the retransmission of TV programming via the Internet.
Introduction to Applied Xml: Technologies in Business
Authors: William Wagner, Ralph Hilken
Venue:  (2002)

:An introduction to the markup technology of XML, this book covers its features and abilities as well as explains the strategic importance for developing web-based applications. It 1)helps users envision how XML can be used to gain a competitive advantage in e-commerce, 2)offers substantial hands-on experience in using and understanding the workings of XML, 3)clarifies confusing terminology that currently pervades the field, and 4)encourages the development of more sophisticated e-commerce applications. The book demonstrates the many ways that XML based applications can be deployed, using available technologies and referring to anticipated developments based on work in progress. Chapter topics cover data content, definitions, and output; parsing XML to collect data; and XML applications. For use in an IT Certificate Programoriented towards helping non-technical Account Executives or other professional staff people gain foundation in some hot IT areas such as XML.
Perturbation Analysis of the Periodic Discrete-Time Algebraic Riccati Equation
Authors: Wen-Wei Lin, Ji-guang Sun
Venue: SIAM Journal on Matrix Analysis and Applications (2002)

This paper is devoted to the perturbation analysis for the periodic discrete-time algebraic Riccati equations (P-DAREs). Perturbation bounds and condition numbers of the Hermitian positive semidefinite solution set to the P-DAREs are obtained. The results are illustrated by numerical examples.
PhotoImpact 7: The Official Guide
Authors: Michael Meadhra, Anthony L. Celeste
Venue:  (2002)

:Create, edit, and modify images, then put them to use in a stunning variety of ways -- from multimedia, to newsletters, to Web pages, to frame-worthy artwork! Master the tools needed to enhance, retouch, or create your own images on a blank canvas. Work with image files from a variety of sources and in a large assortment of file formats. Discover sophisticated text editing capabilities, and create composite images by working with shapes, drawings, or even text. Expand your artistic vision with the help of the only official resource available on PhotoImpact 7.
Database Systems Concepts, 4th edition
Authors: Abraham Silberschatz, Henry F. Korth, S. Sudarshan
Venue:  (2001)

:This acclaimed revision of a classic database systems text offers a complete background in the basics of database design, languages, and system implementation. It provides the latest information combined with real-world examples to help readers master concepts. All concepts are presented in a technically complete yet easy-to-understand style with notations kept to a minimum. A running example of a bank enterprise illustrates concepts at work. To further optimize comprehension, figures and examples, rather than proofs, portray concepts and anticipate results.
Robust Characterizations of Polynomials withApplications to Program Testing
Authors: Ronitt Rubinfeld, Madhu Sudan
Venue: SIAM Journal on Computing (1996)

The study of self-testing and self-correcting programs leads to the search for robust characterizations of functions. Here the authors make this notion precise and show such a characterization for polynomials. From this characterization, the authors get the following applications. Simple and efficient self-testers for polynomial functions are constructed. The characterizations provide results in the area of coding theory by giving extremely fast and efficient error-detecting schemes for some well-known codes. This error-detection scheme plays a crucial role in subsequent results on the hardness of approximating some NP-optimization problems.
Balance properties of multi-dimensional words
Authors: Valérie Berthé, Robert Tijdeman
Venue: Theoretical Computer Science (2002)

A word u is called 1-balanced if for any two factors v and w of u of equal length, we have 1|v|i|w|i1 for each letter i, where |v|i denotes the number of occurrences of i in the factor v. The aim of this paper is to extend the notion of balance to multi-dimensional words. We first characterize all 1-balanced words on &Zn. In particular, we prove they are fully periodic for n>1. We then give a quantitative measure of non-balancedness for some words on &Z2 with irrational density, including two-dimensional Sturmian words.
Strategy Is Destiny: How Strategy-Making Shapes a Company's Future
Authors: Robert A. Burgelman
Venue:  (2001)

:How did a pioneering company in the semiconductor industry not only survive but thrive in the face of the explosive change and upheavals that forced it to transform itself twice in the course of its thirty-year history? The answer lies in the quality of its strategy-making process, contends leading strategic management scholar Robert A. Burgelman in this extraordinary book based on an exhaustive twelve-year study he conducted inside Intel Corporation. Granted the opportunity to track Intel's strategy-making through his close teaching collaboration with its chairman, Andy Grove, at Stanford Business School since 1988, Burgelman has written a definitive and far-reaching account of how highly educated top managers groped their way through strategic conundrums. His account of the evolution of key events in Intel's history is illustrated with extensive quotes from its cofounder Gordon Moore, Andy Grove, current CEO Craig Barrett, and dozens of other Intel executives. His study allows these leaders to speak for themselves in scores of highly rendered executive portraits. Using thoroughly tested conceptual tools, Burgelman first documents the key role played by mid-level managers in transforming Intel from a memory company into a microprocessor company during the late 1970s and early 1980s, which led to the heartbreaking decision to abandon the business on which the company had been founded in 1968. He then makes readers eyewitnesses to the complex set of complementary strategic thrusts orchestrated by Andy Grove to make Intel capi- talize on the extraordinary opportunities associated with the phenomenal growth of the PC industry during the late 1980s and the 1990s. He reconstructs Grove's resolution of the struggle between two competing micro- processor architectures within Intel that caused civil war to erupt, and he shows how Intel's superbly run strategy-making process in the core business, paradoxically, made it difficult for internal entrepreneurs to extend the company's strategic reach. This allows him to link the strategic leadership challenges, faced today by Craig Barrett, to Intel's illustrious past and to provide suggestions for how these challenges can be met. At once a history of strategy-making at Intel as well as a strategy-making field manual that any high-technology manager will need to consult frequently, Strategy Is Destiny truly describes strategy-in-action as the way of life of senior executives in the corporation of the future.
Approximation Schemes for Infinite Linear Programs
Authors: Onésimo Hernández-Lerma, Jean B. Lasserre
Venue: SIAM Journal on Optimization (1998)

This paper presents approximation schemes for an infinite linear program. In particular, it is shown that, under suitable assumptions, the program's optimum value can be approximated by the values of finite-dimensional linear programs, and that, in addition, every accumulation point of a sequence of optimal solutions for the approximating programs is an optimal solution for the original problem.
Active Rules in Database Systems, 1st edition
Authors: Norman W. Paton, F. Schneider, D. Gries
Venue:  (1998)

:Active rules provide a new and important method for developing database applications, and the subject is seeing an increasing amount of attention from commercial database companies. This book provides a timely survey of the field from the point of view of some of the subject's most active researchers. Database researchers and developers will find this book provides a valuable overview of the design and use of active database systems.
50 Fast Digital Photo Techniques with Cdrom
Authors: Gregory Georges
Venue:  (2001)

:These techniques are designed to allow readers with minimal image editing skills to be successful in creating professional quality prints. Provides info on everyday subjects such as old cars, barns, people portraits, pets, sea and landscapes, etc. Includes 32 pages of full color.
Internet World's Guide to Maintaining and Updating Dynamic Web Sites
Authors: Jeannie Novak, Pete Markiewicz
Venue:  (1997)

:The key to having a dynamic Web site is ongoing maintenance and regular updating. This book/Web site package arms you with the tools and techniques for achieving both these ends quickly, easily, and inexpensively. Jeannie Novak and Pete Markiewicz identify the key maintenance issues and offer you solid solutions for basic and advanced problems - from analyzing broken hyperlinks and HTML compatibility, to server overloads and search-and-replace programs for detecting obsolescence. They explore important updating issues and the latest updating technologies such as ActiveX, HTML, Java, and Shockwave. And, with the help of examples and case studies, they fill you in on proven methods for making your site as dynamic as possible.
Estimation with Applications to Tracking and Navigation
Authors: Yaakov Bar-Shalom, Xiao-Rong Li
Venue:  (2001)

:"Estimation with Applications to Tracking and Navigation treats the estimation of various quantities from inherently inaccurate remote observations. It explains state estimator design using a balanced combination of linear systems, probability, and statistics." "The authors provide a review of the necessary background mathematical techniques and offer an overview of the basic concepts in estimation. They then provide detailed treatments of all the major issues in estimation with a focus on applying these techniques to real systems." "Suitable for graduate engineering students and engineers working in remote sensors and tracking, Estimation with Applications to Tracking and Navigation provides expert coverage of this important area."--BOOK JACKET.
Automating access to computing services
Authors: Morris Weinstock-Blair
Venue: Proceedings of the 30th annual ACM SIGUCCS conference on User services (2002)

When computer services were more limited in scope and users, providing those services could be handled manually by a minimum of staff. Over the years computer access has gone from a few researchers using a mainframe to nearly the entire University community using e-mail, computer labs, modem pools, and the World Wide Web. In addition, new initiatives have created on-line access to course scheduling, benefits revisions, and other critical operations. With this increase in the need for access to centrally provided computer services, the task could have become daunting. Without hiring additional staff, our Information Technology Services Accounts Office now provides access to 120,000 users. In addition, we can provide specifically requested access to certain services based on class registration or any aspect of a user's affiliation with the University.At Penn State, we've created an Oracle database system - Central Account Coordination Tracking of User Services or CACTUS - to provide and remove services based on official University student and employee data. Without hiring additional staff, our Information Technology Services Accounts Office now provides access to 120,000 users. In addition, we can provide specifically requested access to certain services based on class registration or any aspect of a user's affiliation with the University.Best of all, the structure of CACTUS allows us to look toward the future. We expect to further automate special requests so that manual entry will be a thing of the past. Also, we are now in a position to be able to expand our services to even more users. Our future plans are to extend some degree of services to potential applicants of the University, alumni, and anyone else who may wish to connect with Penn State electronically.
Dave Baum's Definitive Guide to Lego Mindstorms, 1st edition
Authors: Dave Baum
Venue:  (1999)

:The author of this book is the developer of a custom programming language called NQC (Not Quite C). NQC has become widely popular among sophisticated LEGO MINDSTORMS users and is compatible with MAC or PC. Unlike other books on the market, this book focuses specifically on construction techniques and the step-by-step process of building and programming robots. Baum takes the reader through the entire process of building and programming MINDSTORMS( robots using both LEGO'S RCX code and his own code (NQC). The book includes high quality graphics and over 14 sample robots to build.
VisualBasic® .NET For Dummies®
Authors: Wallace Wang, Wally Wang
Venue:  (2001)

:Dive into object-oriented programming and other VB .NET features Create Basic programs with Microsoft's new .NET framework The pain-free way to get up to speed on the new Visual Basic .NET Do you want to write Windows programs but don't know where to start? Relax! From creating menus and writing code to working with loops, subrouting, and object-oriented techniques, this friendly guide is just what you need to tap the power of Visual Basic .NET. The Dummies Way Explanations in plain English "Get in, get out" information Icons and other navigational aids Tear-out cheat sheet Top ten lists A dash of humor and fun Get smart! *Find listings of all our books*Create your own personalized book with Hungry Minds a la Carte*Sign up for daily eTips.
Assumptions in relational database theory
Authors: Paolo Atzeni, D. Stott Parker,  Jr.
Venue: Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems (1982)

Many results in relational database theory on the structure of dependencies, query languages, and databases in general have now been established. However, neither (a) the reliance of these results on various assumptions, nor (b) the desirability or reasonableness of these assumptions themselves have been closely examined. These assumptions are nontrivial: examples include the universal relation assumption and the lossless join assumption.The purpose of the present paper is to clarify many of the existing assumptions, and point out weaknesses. This is desirable both to harden the statements of previous results, and to evaluate recent suggestions that certain assumptions (such as the acyclic JD assumption) may be useful for modeling "real world" databases. Specifically, studies are made of assumptions made for (1) universal relations, (2) functional dependency inference, and (3) decomposition theory. We show that:&bull; Some assumptions (such as uniqueness of relationships among attributes) can be more powerful than they appear;&bull; common treatment of FDs is sometimes inappropriate, and for example FD inferences such as {A &rarr; B, B &rarr; C} &verbar;= A &rarr; C can be incorrect;&bull; the 'decomposition' approach to design may be hard to justify in real terms; and&bull; Acyclic JDs may have drawbacks in eliminating ambiguity in queries and in modeling real enterprises.It is hoped that this exposition will help clarify some confusing issues in this field, and will lead to a better understanding of which assumptions are reasonable and useful in modeling the "real world".
Mastering XHTML
Authors: Ed Tittel, Deborah Ray
Venue:  (2001)

:Base Your Next Web Site on XHTML Newly revised and updated, Mastering XHTML is a complete guide to the markup language that is leading the world of Web development from HTML to XML. You know the dangers of being left behind in this field, and this book ensures that you aren't, teaching you step by step how to convert existing HTML sites to XHTML and how to build new sites using this specification. It's a great way to hone your current skills and acquire new ones. Coverage includes: The basics of XHTML XHTML structure and form Accommodating different browsers Linking XHTML documents Placing images Displaying data and controlling layout with tables and frames Converting HTML to XHTML Saving time and effort with Cascading Style Sheets Including JavaScript in your XHTML pages Using data-collection forms Adding multimedia effects to your Web pages Developing a coherent Web site The XHTML document life cycle Publishing your XHTML documents Validating your XHTML, and why you should
Secrets of a Super Hacker
Authors: The Knightmare
Venue:  (1994)

:"Secrets of a Super Hacker" is an extraordinary manual on the methods of hacking. It covers brute force attacks, social engineering and reverse social engineering, spoofing, superuser abuser, screen stealing, data delivery, stair stepping, and more. The Super Hacker reveals all his secrets: Trojan horses, viruses, worms, trap doors, and dummy accounts. No system can withstand the assaults of The Knightmare. And no person concerned with computer security should miss this amazing manual of mayhem.
Formal Semantics for VHDL
Authors: Carlos Delgado Kloos
Venue:  (1995)

:It is recognized that formal design and verification methods are an important requirement for the attainment of high quality system designs. The field has evolved enormously during the last few years, resulting in the fact that formal design and verification methods are nowadays supported by several commercially- and academically-based tools. Having different tools and users generating and reading the same language requires that the same semantics is assigned by them to all constructs and elements of the language. The current IEEE standard VHDL language reference manual (LRM) tries to define VHDL as well as possible in a descriptive way, explaining the semantics in English. But rigor and clarity is very hard to maintain in a semantics defined in this way, and that has already given rise to many misconceptions and contradictory interpretations. Formal Semantics for VHDL is the first book that puts forward a cohesive set of semantics for the VHDL language. The chapters describe several semantics each based on a different underlying formalism: two of them use Petri nets as target language, and two of them higher order logic. Two use functional concepts, and finally another uses the concept of evolving algebras. Formal Semantics for VHDL is essential reading for researchers in Formal Methods and can be used as a text for an advanced course on the subject.
Operating, Testing, and Preventive Maintenance of Electrical Power Apparatus
Authors: Charles I. Hubert
Venue:  (2002)

:This comprehensive book gives learners a strong foundation for an understanding of the behavior, operation, and testing of electric power apparatus under normal, overload, and fault conditions. It provides up-to-date methods for preventative maintenance, presents logical methods by which the more common troubles may be identified and localized, and recommends emergency repairs that will keep the equipment in operation until it can be scheduled out of service. Also included are outlines of inspection programs that will help ensure safe, efficient, economical, and dependable operation. For electric motor mechanics; power plant operators in electric utility plants; technicians in marine repair facilities, airports, drilling rigs, and manufacturing plants; marine engineers aboard ships; and technical representative for insurance underwriters. 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
The Even-Odd Split Levinson Algorithm for Toeplitz Systems
Authors: A. Melman
Venue: SIAM Journal on Matrix Analysis and Applications (2001)

We derive an algorithm for real symmetric Toeplitz systems with an arbitrary right-hand side, which differs from both the Levinson and the so-called "split Levinson" algorithms. While exploiting ideas from the split Levinson approach, it also takes advantage of the even-odd properties of Toeplitz matrices. For a system of order n, our algorithm achieves a complexity of $\frac{5}{2}n^2 + {\cal O}(n)$ flops on a sequential machine, compared to $3n^2 + {\cal O}(n)$ flops for the split Levinson algorithm and $4n^2 + {\cal O}(n)$ flops for the classical Levinson algorithm.
On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation
Authors: Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde
Venue: Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation (2002)

We present the first formal proof that partial evaluation of a quadratic string matcher can yield the precise behaviour of Knuth, Morris, and Pratt's linear string matcher.Obtaining a KMP-like string matcher is a canonical example of partial evaluation: starting from the naive, quadratic program checking whether a pattern occurs in a text, one ensures that backtracking can be performed at partial-evaluation time (a binding-time shift that yields a staged string matcher); specializing the resulting staged program yields residual programs that do not back up on the text, a la KMP. We are not aware, however, of any formal proof that partial evaluation of a staged string matcher precisely yields the KMP string matcher, or in fact any other specific string matcher.In this article, we present a staged string matcher and we formally prove that it performs the same sequence of comparisons between pattern and text as the KMP string matcher. To this end, we operationally specify each of the programming languages in which the matchers are written, and we formalize each sequence of comparisons with a trace semantics. We also state the (mild) conditions under which specializing the staged string matcher with respect to a pattern string provably yields a specialized string matcher whose size is proportional to the length of this pattern string and whose time complexity is proportional to the length of the text string. Finally, we show how tabulating one of the functions in this staged string matcher gives rise to the 'next' table of the original KMP algorithm.The method scales for obtaining other linear string matchers, be they known or new.
The Revolutionary Guide to QBASIC
Authors: Vladimir Dyakonov
Venue:  (1994)

:This guide features a range of advanced graphics and sound programming. Also included is a full guide to the QBasic language and all the information you need to make your QBasic programs run faster.