ppxscal/embedding_network huggingface dataset:
Characterization of ultrathin gate dielectrics formed by in-situ steam generation with Nitrogen postprocessing
Authors: A. Karamcheti, V. H. C. Watt, H. N. Al-Shareef, T. Y. Luo, M. D. Jackson, H. R. Huff
Venue: Journal of Electronic Materials (2002)

We examined ultrathin films produced by in-situ steam generation (ISSG), ISSG with NO anneal, ISSG with remote plasma nitridation (RPN), and rapid thermal oxidation (RTO). Capacitance-voltage measurements performed on these films indicated an equivalent oxide thickness (EOT) in the range of 1.6-2.5 nm. The nitrogen postprocessing made it possible to achieve thinner EOTs while keeping the leakage current density below 10-2 A/cm2 at Vg = -1.5 V. Total x-ray fluorescence (TXRF) analysis on the films yielded a transition metal concentration less than 5 × 1010 atoms/cm2. Atomic force microscopy (AFM) measurements yielded microroughness values of 0.18-0.2 nm, which were conformal to the starting material surface microroughness. High-resolution transmission electron microscopy (HRTEM) images showed physical thicknesses ranging from 2.0-3.0 nm, which were used, in conjunction with the EOTs, to calculate effective dielectric constants for the films. Low energy (500 eV) secondary ion mass spectrometry (SIMS) measurements performed on the ISSG + NO and ISSG + RPN films showed sharply different [N] profiles.
A coalgebraic equational approach to specifying observational structures
Authors: Corina Cĩrstea
Venue: Theoretical Computer Science (2002)

A coalgebraic, equational approach to the specification of observational structures allowing for a choice in the result type of observations is presented. Observers whose result type is structured as a coproduct of basic types are considered, and notions of covariable, coterm and coequation, dual to the algebraic notions of variable, term and equation are used to specify the associated structures. A sound and complete deduction calculus for reasoning about observational structures is then formulated. Finally, the approach is extended in order to account for the availability of a fixed data universe in the specification of such structures.
Security Management: An Introduction, 1st edition
Authors: P. J. Ortmeier
Venue:  (2001)

:Highly practical in approach and easy to read and follow, this book provides a comprehensive overview of the multi- faceted, global, and interdisciplinary field of security. It features numerous examples and case situations specific to security management, identifies over twenty specific security applications, and examines the issues encountered within those areas. It includes a security management audit worksheet. The Context for Security. Legal Aspects of Security Management. Risk Assessment and Planning. Physical Security. Personnel Security. Information Protection. Investigations, Intelligence Operations and Reporting. Specific Security Applications: Part I. Specific Security Applications: Part II. Security Management: The Future. For Security Managers. 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
Typer: an editor for the online composition of text
Authors: Richard P. Sonderegger,  Jr.
Venue: ACM SIGGRAPH Computer Graphics (1976)

After experiments with more traditional editors, TYPER, an editor designed specifically for the online composition and editing of text, was developed. TYPER uses the 20 lines of a CRT terminal screen to implement a window onto the writer's text that can be moved at will. All normal typewriter functions are available plus special functions for the easy insertion, deletion, and modification of text. A non-destructive cursor can be moved about the screen and acts as a pointer to the text. Any printable character typed is immediately placed in the text at the position indicated by the cursor and the change is reflected on the screen. Insertion and deletion of text is accomplished with simple keystrokes. After an insertion or deletion, any extra space between words and space at the end of short lines is filled by "closing" the text. Successive words are placed so that they are separated by one space and extra space at the end of a line is filled with words from the succeeding line.Response to TYPER has been excellent. Non-programmers and even those with no computer experience learn its use quickly and are loath to go back to typewriters after using it. In addition, programmers are using it to edit their program code.
Microsoft FrontPage X/2002: Illustrated Complete
Authors: Jessica Evans, Ann Barron, Chet Lyskawa
Venue:  (2001)

:Part of the Illustrated series, this text offers a visual, flexible was to build Microsoft FrontPage 2002 skills.
Information and Coding Theory, 1st edition
Authors: Gareth A. Jones, J. M. Jones
Venue:  (2000)

:Information theory and coding theory are two related aspects of the same problem: how to transmit information efficiently and accurately. This book provides a clear introduction to both subjects, emphasising the relationship and links between the two. The first part, concentrating on information theory, covers uniquely decodable and instantaneous codes, Huffman coding, entropy, information channels and Shannon's Fundamental Theorem. The second part, on coding theory, uses linear algebra to construct examples of error-correcting codes, such as the Hamming, Hadamard, Golay and Reed-Muller codes. The authors highlight carefully explained proofs and worked examples throughout and exercises with solutions are provided to consolidate understanding of the main concepts and techniques. Assuming only some basic probability theory and linear algebra, together with a little calculus, this book is aimed at second and third year undergraduate students in mathematics, electronics and computer science.
On aggregation issues in spatial data management
Authors: M. Indulska, M. E. Orlowska
Venue: Proceedings of the 13th Australasian database conference - Volume 5 (2002)

Large amounts of information can be overwhelming and costly process, especially when transmitting data over a network. A typical modern Geographical Information System (GIS) brings all types of data together based on the geographic component of the data and provides simple point-and-click query capabilities well as complex analysis tools. Querying a Geographical Information System, however, can be prohibitively expensive due to the large amounts of data which may need to be processed. Since the use of GIS technology has grown dramatically in the past few years, there is now a need more than ever, to provide users with the fastest and least expensive query capabilities, especially since an approximated 80% of data stored in corporate databases has a geographical component. However, not every application requires the same, high quality data for its processing. In this paper we address the issues of reducing the cost and response time of GIS queries by pre-aggregating data by compromising the data accuracy and precision. We present computational issues in generation of multi-level resolutions of spatial data and show that the problem of finding the best approximation for the given region and a real value function on this region, under a predictable error, in general is NP-complete.
Patterns in the Sand: Computers, Complexity, and Everyday Life, 1st edition
Authors: Terry Bossomaier, David Green
Venue:  (1998)

:Until recently, science has made progress by breaking large systems down into smaller and simpler parts, studying and explaining how these parts operate, and putting them back together again. Although this "reductionist" approach works amazingly well when we study the atom or the function of a single gene, it hits a brick wall when it comes to vastly complex systems like the brain, or the weather, or the ecosphere. Such systems are just too complicated to yield their secrets to the reductionist approach. The new science of complexity, one of the twentieth century's greatest contributions to our comprehension of nature, is concerned with treating vastly complicated systems, like the biosphere or the Internet, as holistic systems. Patterns in the Sand discusses this new scientific paradigm that treats life as a natural computation, and shows how this approach translates into ways of dealing with complexity in real life. Using such everyday phenomena as illustrations, Bossomaier and Green take us from the most basic function of the simple Turing computer through the vast interrelationships of the earth's biota right up to the search for life on other planets, while providing a new understanding of the complicated, complex, world around us.
DeBugging Visual Basic: Troubleshooting for Programmers
Authors: David G. Jung, Jeff Kent
Venue:  (2000)

:Debugging Visual Basic is packed with concise explanations, examples, and real-world solutions that will have you writing clean code in no time! You'll find all the information you need to stamp out common and little-known bugs using the compiler, error-handling statements, Win32 APIs, ActiveX Data Object, user interface design, and self-registering COM objects. In addition, you will find discussions on best practices for every stage of a successful product release, such as joint application development sessions, code reviews, and testing and defect tracking. The appendix will have you fully up-to-date on some of the latest third-party debugging and application deployment tools for Visual Basic. Use the knowledge and insight in this handbook to prevent every programmer's worst nightmare - downtime, lost revenue, and unhappy clients.
Administering SQL Server 7
Authors: Divya Chaturvedi, Paritosh Pathak
Venue:  (1999)

:Written by expert authors who truly know SQL Server (together, they have 14 years of SQL Server experience) and who've designed and implemented some of the largest SQL database systems in the United States, this book leads you through installation and provides a hands-on guide to system administration tasks.
Relational Database: Writings, 1989-1991, 1st edition
Authors: C. J. Date
Venue:  (1992)

:Relational Database: Selected Writings and Relational Database Writings 1985-1989, were published in 1986 and 1990, respectively. Like its predecessor this book presents a collection of papers - many of them previously unpublished - on various aspects of relational technology. Features Contains recent published papers on the relational model by the best-selling author in the field. Several papers previously unpublished. Hugh Darwen (the contributing author) will be familiar to readers of the previous book under his pen name Andrew Warden. Here he contributes papers as a well-known columnist in his own right. The third part of the book includes a very careful review and analysis of Codd¹s relational model (Versions 1 and 2).
Using Microsoft PowerPoint
Authors: Gregory A. Crawford, Huijie J. Chen, Gary W. White, Lisa R. Stimatz
Venue:  (1998)

:If you want to create professional-looking PowerPoint slides, overhead transparencies, and printouts, but don't have the time to take a class, this how-to is for you. Written specifically for librarians, this guide pays extra attention to those features which are particularly useful in libraries, such as creating reports for staff, board members, tenure committees, and classes, or developing information kiosks with continuous-loop information on library hours or special announcements.
Understanding Human Sexuality, 7th edition
Authors: Janet Shibley Hyde, John D. Delamater
Venue:  (2000)

:Understanding Human Sexuality has always been a leader in the field,from the first edition in 1970 through the fifth edition in 1994. It is the "classic" that new books try to beat. It combines a readable,engaging style that appeals to students from diverse backgrounds,with exceptionally careful scholarship. Most human sexuality courses,especially those in psychologcial and social materials,as well as information about sexual health. This text is broad-based and comprehensive to meet this need. The book has always given solid coverage to the social sciences. Its multidisciplinary character has been strengthened with the addition of John DeLamater,a social psychologist and Professor of Sociology,as a co-author.
The Designer's Guide to VHDL, 2nd edition
Authors: Peter J. Ashenden
Venue:  (2001)

:The Designer's Guide to VHDL is both a comprehensive manual for the language and an authoritative reference on its use in hardware design at all levels, from the system level to the gate level. Using the IEEE standard for VHDL, the author presents the entire description language and builds a modeling methodology based on successful software engineering techniques. Requiring only a minimal background in programming, this is an excellent tutorial for anyone in computer architecture, digital systems engineering, or CAD. The book is organized so that it can be either read cover-to-cover for a comprehensive tutorial or kept deskside as a reference to the language. Each chapter introduces a number of related concepts or language facilities and illustrates each one with examples. Scattered throughout the book are four case studies, which bring together preceding material in the form of extended worked examples. All of the examples and case studies, complete with test drivers for running the VHDL code, are available via the World Wide Web. In addition, each chapter is followed by a set of related exercises.
Human Services Online: A New Arena for Service Delivery
Authors: Gary Holden
Venue:  (2000)

:Human Services Online: A New Arena for Service Delivery provides guidelines and specific suggestions for agencies considering developing online services. The book examines model programs and their effectiveness so that other agencies can replicate them in their own areas, describes cutting-edge online services that today's human services students will need to be aware of as they enter the job market, and provides information for agencies that will enhance their ability to solicit volunteers and contributions on the Internet. FINALLY! A BOOK THAT IS 100% FOCUSED ON COMPUTER NETWORKING IN THE HUMAN SERVICES! Here is the first detailed look inside the front door of network-driven agencies, providers, and services. I recommend this collection to practitioners, administrators, scholars, students, planners, and, yes, consumers of human services. (Tom Hanna, Director, The Child Abuse Prevention Network, Ithaca, New York)
Transforming a help desk from average to excellent
Authors: Alison Cruess
Venue: Proceedings of the 30th annual ACM SIGUCCS conference on User services (2002)

Educational institutions face the challenge of providing technical support to faculty, staff, and students for diversified systems and expanded services. The campus help desk has become the "hub" of support with the many "spokes" of user services centered on it. The help desk directs the communication between services and teams, unifies the support to faculty, staff, and students of centralized and decentralized systems, and manages change so its impact is transparent as possible to users.There are six common challenges that most campus help desks face. They are: 1) Creation of an internal Service Agreement, 2) Coordination of centralized and decentralized support, 3) Limited resources, 4) Change management, 5) Acquisition of timely feedback, and 6) Collaboration among teams. Developing workable and creative solutions to these challenges will turn an average help desk into one of excellence.
A Method of Cumulative Sums in the Problem of Detection of Traffic Changes in Computer Networks
Authors: V. V. Mazalov, D. N. Zhuravlev
Venue: Programming and Computing Software (2002)

The problem of tastest finding the moments when the exponential parameter of the Pareto distribution is changed is solved by applying the method of cumulative sums. Analytical expressions for basic characteristics of the method&mdash;the average time of delay of the determination of the change-point and the average time between two &ldquo;incorrect determinations&rdquo;&mdash;are derived. An algorithm of detection of variations in the traffic in a computer network is developed.
Is ISSTA research relevant to industrial users? panel - ISSTA 2002: empowering the developer to be a tester too!
Authors: Vincent Encontre
Venue: ACM SIGSOFT Software Engineering Notes (2002)

In this paper - scoped for the panel discussion at ISSTA 2002 - we are discussing some techniques to ease the adoption of testing techniques by the developers, by extending the debugging activity. We also briefly discuss a longer term vision where the same paradigm applies but at model level, when coding will be achieved using visual notations such as UML.
Replacing an explicit loop by the "each" operator
Authors: Samir Lipovaca, Joseph Burchfield
Venue: ACM SIGAPL APL Quote Quad (2000)

A method of replacing an explicit loop by the "each" operator was studied. The repetitive, computational part of the loop was extracted into a function FOO. Then, the function was applied to each value of the loop counter vector C (FOO "each" C). Since array operations are optimized on most APL systems, this replacement should produce a most reasonable loop, assuming that in the function FOO array operations were used as much as possible. Two examples of performance measurements showed that this, generally, did not lead to smaller execution time. In one example the "each" operator was faster than an explicit loop while in another the opposite was true.
Automated protocol verification in linear logic
Authors: Marco Bozzano, Giorgio Delzanno
Venue: Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming (2002)

In this paper we investigate the applicability of a <i>bottom-up evaluation strategy</i> for a first order fragment of linear logic [7] for the purposes of automated validation of <i>authentication protocols</i>. Following [11], we use <i>multi-conclusion</i> clauses to represent the behaviour of agents in a protocol session, and we adopt the <i>Dolev-Yao</i> intruder model and related message and cryptographic assumptions. Also, we use universal quantification to provide a logical and clean way to express creation of <i>nonces</i>. Our approach is well suited to verify properties which can be specified by means of <i>minimality conditions</i>. Unlike traditional approaches based on model-checking, we can reason about <i>parametric</i>, <i>infinite-state</i> systems, thus we do not pose any limitation on the number of parallel runs of a given protocol. Furthermore, our approach can be used both to find attacks and to prove correctness of protocols. We present some preliminary experiments which we have carried out using the above approach. In particular, we analyze the <i>ffgg</i> protocol introduced by Millen [30]. This protocol is a challenging case study in that it is free from <i>sequential attacks</i>, whereas it suffers from <i>parallel attacks</i> that occur only when at least two sessions are run in parallel.
Name scope control in APL defined functions
Authors: G. M. Seeds, A. Arpin, M. LaBarre
Venue: ACM SIGAPL APL Quote Quad (1978)

The notion of LOCAL versus GLOBAL scope for names used inside defined functions has always been a source of problems in teaching and using APL, largely because it is an incomplete concept. An expanded concept is discussed in this paper, along with a proposal for implementation, which exhaustively specifies all possible scopes.
Stochastic roadmap simulation: an efficient representation and algorithm for analyzing molecular motion
Authors: Mehmet Serkan Apaydin, Douglas L. Brutlag, Carlos Guestrin, David Hsu, Jean-Claude Latombe
Venue: Proceedings of the sixth annual international conference on Computational biology (2002)

Classic techniques for simulating molecular motion, such as the Monte Carlo and molecular dynamics methods, generate individual motion pathways one at a time and spend most of their time trying to escape from the local minima of the energy landscape of a molecule. Their high computational cost prevents them from being used to analyze many pathways. We introduce Stochustic Roadmap Sirrrcllation (SRS), a new approach for exploring the kinetics of molecular motion by simultaneously examining multiple pathways encoded compactly in a graph, called a roadmap. A roadmap is computed by sampling a molecule's conformation space at random. The computation does not suffer from the localminima problem encountered with existing methods. Each path in the roadmap represents a potential motion pathway and is associated with a probability indicating the likelihood that the molecule follows this pathway. By viewing the roadmap as a Markov chain, we can efficiently compute kinetic properties of molecular motion over the entire molecular energy landscape. We also prove that, in the limit, SRS converges to the same distribution as Monte Carlo simulation. To test the effectiveness of our approach, we apply it to the computation of the transmission coefficients for protein folding, an important order parameter that measures the "kinetic distance" of a protein's conformation to its native state Our computational studies show that SRS obtains more accurate results and achieves several orders- of- magnitude reduction in computation time, compared with Monte Carlo simulatio.
Proceedings of the 5th ACM international workshop on Wireless mobile multimedia
Venue: International Workshop on Wireless Mobile Multimedia (2002)

Welcome to WoWMoM 2002, the Fifth ACM International Workshop on Wireless Mobile Multimedia, as we move to the era of wireless data services that opens up a lot of challenging research issues and business opportunities.When Marco Conti (CNR, Pisa, Italy) and Dipankar Raychaudhuri (WINLAB/Rutgers Univ.) accepted to serve as TPC Co-Chairs, I was confident about the technical quality of the workshop program. With the help of an excellent array of international TPC members, they have done an outstanding job of attracting highest quality submissions worldwide and selecting the very best ones for presentation at the workshop. This is significant given that the WoWMoM 2002 submission deadline was not extended and passed well before MobiCom decisions were made. You would agree with me that the workshop proceedings that you're holding speaks for itself. In addition, Dipankar has organized a technical panel on a timely and controversial topic. Please join me in acknowledging the dedication and hard work of the TPC Chairs and their team. They truly deserve our heartfelt thanks.
Microsoft Excel 2000 with Cdrom, 1st edition
Authors: Alan R. Neibauer
Venue:  (1999)

:Now Excel 2000 users can take the classroom home with self-paced lessons and dynamic software that tutors them toward mastery One Step at a Time. The interactive tutorial software not only coaches users through the book, but also enables them to search for information about completing a task or performing a function.
An Engineer's Guide to MATLAB, 1st edition
Authors: Edward B. Magrab, Shapour Azarm
Venue:  (2000)

:Features Emphasizes engineering subjects of practical importance, each of which is introduced by a concise summary of the applicable theoretical results. Over 200 worked examples from a very wide range of engineering topics illustrate the various ways to use MATLAB and illustrate important engineering principles and their extensions. Numerous illustrations of the Controls, Simulink, Statistics, Optimization and PDE (Partial Differential Equation) toolboxes, including detailed instructions on how to use Simulink to solve control systems and pdetool to solve problems in solid mechanics, fluid mechanics, aerodynamics and heat transfer. The chapters applying MATLAB to various engineering subjects were written by experts in their fields. Over 175 challenging exercises covering a wide range of engineering topics. Extensively classrooms-tested at the sophomore level through the first year graduate level.