ppxscal/embedding_network huggingface dataset:
A Classification of Noncircular Attribute Grammars Based on the Look-Ahead Behavior
Authors: Wuu Yang
Venue: IEEE Transactions on Software Engineering (2002)

We propose a family of static evaluators for subclasses of the well-defined (i.e., noncircular) attribute grammars. These evaluators augment the evaluator for the absolutely noncircular attribute grammars with look-ahead behaviors. Because this family covers exactly the set of all well-defined attribute grammars, well-defined attribute grammars may be classified into a hierarchy, called the $NC$ hierarchy, according to their evaluators in the family. The location of a noncircular attribute grammar in the $NC$ hierarchy is an intrinsic property of the grammar. The $NC$ hierarchy confirms a result of Riis and Skyum, which says that all well-defined attribute grammars allow a (static) pure multivisit evaluator by actually constructing such an evaluator. We also show that, for any finite $m$, an $NC(m)$ attribute grammar can be transformed to an equivalent $NC(0)$ grammar.
Microsoft SQL Server 2000 System Administration with Cdrom and Book
Authors: Microsoft Corporation
Venue:  (2001)

:Competency-based learning for the academic classroom. Developed for academic courses, MICROSOFT&reg; SQL SERVER 2000 SYSTEM ADMINISTRATION helps students build the skills they need on the job and for MCP Exam 70-228an elective on the Windows&reg; 2000 MCSE track. The textbook delivers Microsoft courseware adaptable for either a full 16-week semester or a 6-week, 8-week, or 10-week course. The book is filled with competency-based practice exercises that students complete on their own, while the companion project manual features additional skill-building activities ideal for your classrooms computer lab. Along with the textbook and project manual, students get a Student CD-ROM containing study aids, simulation video clips that demonstrate common procedures, an electronic version of the textbook, and detailed information on how to begin a career in Information Technology. Plus, they get a 120-day evaluation version of SQL Server 2000 Enterprise Edition.
Teach Yourself Microsoft Office 97, 1st edition
Authors: Brian Underdahl, Swasy
Venue:  (1998)

:This easy-to-use guide shows readers how to get the most out of the world's most popular productivity suite. Over 600 visuals show the way to publishing exciting Web and Intranet pages with the click of a mouse, enhanced with the latest Office 97 Web publishing wizards.
Internet Based Learning: A Framework for Higher Education and Business
Authors: Deanie French, Charles Hale, Charles Johnson, Gerald Farr
Venue:  (1999)

:This book is for every teacher or trainerwhose computer skills may be limitedwho wants to understand the Internet educationally, and use it in his or her courses. As institutional pressures mount to integrate the Internet into teaching, this book provides a framework and a hands-on introduction to whats involved, whether its adapting materials and teaching styles for the Web, or designing a virtual course. This book provides:an introduction to the key educational concepts needed to adapt teaching methods and materials to the medium of the Internet an introduction to both basic and advanced Internet skills-from using e-mail to collaborative conferencing a framework for harnessing the Internet to achieve educational goals, and successfully exploiting its resources, features and applications to promote effective learning The framework starts from the premise that teachers should progressively apply Internet technology as their skills and confidence develop. It develops the concept of augmented teaching stylessupplementing traditional teaching with Intenet based options; demonstrates how to use modules as the building blocks for Web-based learning; and shows how to use the Internet to deliver individualized learning, by enhancing personal communication between teacher and student, and addressing the diversity of learning styles. The book abounds with inspiring and thought-provoking examples of Internet course materials developed by a wide variety of teachers and trainers, including modules and forms created by the authors who have extensive experience in delivering Internet-based courses. A glossary of terms and directory of Internet sites and resources complete the book, which is also supported by a related Web site.
Official NetScape Developer's Guide to Appfoundry Tools, 11th edition
Authors: John R. Vacca
Venue:  (1997)

:These pages guide readers through the complete development process for creating Netscape ONE (Open Network Environment) applications. The book contains Netscape AppFoundry database and network applications and development tools built on Netscape ONE. Providing a collection of reusable applications, it also includes sample code and application development examples.
Microsoft Sharepoint Portal Server: Building Knowledge Sharing Applications
Authors: Emer McKenna, Kevin Laahs, Don Vickers
Venue:  (2001)

:-Explains Microsoft's strategy for knowledge sharing and its foundation on the Microsoft SharePoint Technologies-Details how to build enhanced collaborative applications with SharePoint Portal Server 2001-Shows SharePoint Portal Server 2001 as a tool enabling a rigorous and comprehensive knowledge management strategyUse Microsoft SharePoint Portal Server 2001 as a foundation for building knowledge sharing applications. This book details how IT professionals can plan, design and implement web based solutions using Microsoft's Intranet Portal. Written by experts from Compaq, the world's prime integrator of Exchange systems and Microsoft's Partner of the Year, the book illustrates how easy it is to create sophisticated knowledge based applications using SharePoint Portal Server. It provides an excellent overview of the built-in features and functionality of SharePoint Portal Server, and describes how a Portal coordinator can easily customize the product to fit their business needs.About the Author: Principal Technical Consultant in Compaq Global Services' Applied Microsoft Technologies Group Emer McKenna, Senior Technical Consultant, Applied Microsoft Technologies Group, Compaq GlobalServices. Don Vickers, Technical Director, Applied Microsoft Technologies Group, Compaq GlobalServices
Limitations of the MOS Resistive Circuit in MOSFET-C Implementation: Bandwidth, Noise, Offset and Non-Linearity
Authors: Juan. I. Osa, Alfonso Carlosena
Venue: Analog Integrated Circuits and Signal Processing (2001)

Significant departures between predicted behaviour and actual performance are observed in opamp based structures containing the so-called MOS Resistive Circuit. In this paper we demonstrate that the usual description of this cell by a simple model of two tunable resistors is not adequate enough to properly describe the MRC operation. A more complete, still simple model is proposed and shown to work by means of some examples. The model is used to characterise and predict the effects that the limited gain and offset of the opamp induces in the MRC operation, increasing the distortion, the expected noise and the output DC offset, and reducing the bandwidth of the system. Finally we give some design guidelines for the optimum application of the MRC.
Soft Computing and Its Applications
Authors: R. A. Aliev, Rafik A. Aliev
Venue:  (2001)

:The concept of soft computing is still in its initial stages of crystallization. Presently available books on soft computing are merely collections of chapters or articles about different aspects of the field. This book is the first to provide a systematic account of the major concepts and methodologies of soft computing, presenting a unified framework that makes the subject more accessible to students and practitioners. Particularly worthy of note is the inclusion of a wealth of information about neuro-fuzzy, neuro-genetic, fuzzy-genetic and neuro-fuzzy-genetic systems, with many illuminating applications and examples.
The Scorpion King: Sword of Osiris Official Strategy Guide
Authors: Tim Bogenn
Venue:  (2002)

:BradyGames The Scorpion King: Sword of Osiris Official Strategy Guide provides a complete walkthrough of the levels in the game. Strategic maps help gamers navigate successfully through levels. Comprehensive coverage of gruesome enemies, powerful weapons, and critical items.
System Presentation -- CARIBOO: An induction based proof tool for termination with strategies
Authors: Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
Venue: Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming (2002)

We describe Cariboo, the implementation of an inductive process recently proposed to prove termination of rewriting under strategies on ground term algebras. The method is based on an abstraction mechanism, introducing variables that represent ground terms in normal form, and on narrowing, schematizing reductions on ground terms. It applies in particular to non-terminating systems which are terminating with innermost or local strategies. The narrowing process, well known to easily diverge, is controlled by using appropriate abstraction constraints. The abstraction mechanism lies on satisfiability of ordering constraints. Thanks to the power of induction, these ordering constraints are often simple and automatically solved by our system. Otherwise, they can be treated by the user or any external automatic solver. On many examples, Cariboo even enables to succeed without considering any constraint at all ; the process is then completely automatic. Cariboo offers a graphical view of the proof process. It is implemented in ELAN, a rule based programming environment, and so can be used for proving termination of ELAN programs.
HTML: Complete Concepts and Techniques, 1st edition
Authors: Gary B. Shelly, Thomas J. Cashman, Denise M. Woods
Venue:  (1999)

:Part of the highly successful Shelly Cashman series, this text offers a clear, step-by-step, screen-by-screen approach to learning HTML.
Point defects generated by direct-wafer bonding of silicon
Authors: L. D&#x00F3;zsa B. Szentp&#x00E1;li D. Pasquariello, K. Hjort
Venue: Journal of Electronic Materials (2002)

High-purity float zone (FZ) silicon p- and n-type wafers were directly bonded hydrophobically at 700°C and 1050°C. Electrical I-V and capacitance-voltage (C-V) characterization was performed on p-n junctions of 2-mm square chips cut out from properly bonded areas of the wafers. The point defects were investigated by Deep Level Transient Spectroscopy (DLTS). As expected, annealing at 700°C resulted in high void density, while at 1050°C void-free bonded structures were formed. The I-V characteristics were dominated by recombination at the bonded interface and by the resistance of the n-type wafer. The point defects identified by DLTS are divacancy, vacancy-phosphor, and vacancy-oxygen complexes. These defects explain qualitatively the observed characteristics of the samples.
OSF/Motif Programmer's Guide: Revision 1.2 (for OSF/Motif Release 1.2, 1st edition
Authors: Ptr Review, Open Software Foundation
Venue:  (1992)

:Programmers creating applications with the various components of the Motif environment will benefit from this manual's coverage of widgets, gadgets, and conventions. The three sections of the book cover the toolkit, the window manager, and the user interface language (UIL).
Max Payne Official Strategy Guide
Authors: Bart G. Farkas
Venue:  (2001)

:BradyGames Max Payne Official Strategy Guide for PlayStation 2 provides detailed strategies for the main chapters and multiple levels of the game. Comprehensive walkthrough including in-depth coverage of weapons and enemies. Secrets and cheats revealed to uncover mysteries for scenarios in the game. Tips on maximizing the benefits of "bullet time".
Constraint Qualifications and Necessary Optimality Conditions for Optimization Problems with Variational Inequality Constraints
Authors: J. J. Ye
Venue: SIAM Journal on Optimization (1999)

A very general optimization problem with a variational inequality constraint, inequality constraints, and an abstract constraint are studied. Fritz John type and Kuhn--Tucker type necessary optimality conditions involving Mordukhovich coderivatives are derived. Several constraint qualifications for the Kuhn--Tucker type necessary optimality conditions involving Mordukhovich coderivatives are introduced and their relationships are studied. Applications to bilevel programming problems are also given.
1998 6th International Workshop on Quality of Service
Authors: Institute of Electrical and Electronics Engineers
Venue:  (1998)

:IWQoS '98 is the sixth in a series of workshops aimed at providing an international forum for the exchange of information on quality of service (QoS) research in distributed and Internet systems.
MCSE Training Kit -- Premium Edition: Microsoft Windows 2000 Server (Exam 70-215)
Authors: Robert Sheldon
Venue:  (2001)

:For IT professionals studying for core MCSE Exam 70-215, this Premium Edition MCSE Training Kit with 4 companion CDs offers the ultimate, from-the-source preparation! This all-in-one package includes in-depth self-paced training in both book and electronic formats, along with a CD-based assessment tool and other valuable resources. The heart of the kit is the official Microsoft study guide for Exam 70-215, Installing, Configuring, and Administering Microsoft Windows 2000 Server, an integrated system of self-paced lessons and skill-building practice exercises. For students who want to learn by doing, MCSE eLearning on CD-ROM delivers in-depth exam preparation entirely through a state-of-the-art, simulated Windows 2000 environment. The Readiness Review electronic assessment tool plus companion text provides multiple-use, no-risk test-taking practice. And the kit's Premium Edition CD features the Microsoft Encyclopedia of Networking and the Microsoft Resource Kits for Windows 2000 Professional and Windows 2000 Server in e-book form; sample reference materials from Microsoft TechNet; plus a 120-day evaluation version of the Windows 2000 Server operating system-for training anytime, anywhere! 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
NBA Showtime NBA on NBC
Authors: Brady Games, Brady Publishing
Venue:  (1999)

From the Book:In the beginning It began with NBA Jam. Nearly a decade ago, Midway revolutionized the way we play basketball in videogame form by creating the fast-paced, two-on-two, no-fouled version of professional hoops. What made the game sweet was the combination of licensed NBA players with the digitized animation of over-the-top monster dunks. Midway followed up NBA Jam a few years later with NBA Hangtime adding new elements such as the Alley-Oop, Double Dunk, and the Create-a-Player mode. The recipe was complete with tons more hidden cheats and secrets tucked deep within the game. NBA Showtime is Midway's way of bringing back the fun and intensity of the original NBA Jam and NBA Hangtime, but this time in total, stunning 3D. The new polygonal engine gives the original gameplay new life, because now the camera can swing in close to grab the insane action, just like they do on television This guide will show you all that NBA Showtime has to offer. You'll learn all the cheats and hidden secrets that will help YOU sink the threes, make those monster jams, and win with style. Get ready for the tip off, it's Showtime! Special thanks to: The NBA Showtime Design Team, the Midway Home Entertainment Team and the team from Avalanche. We would also like to thank Erin Shems, Laura Capehart, Paula Block, Ira Kalina, Diane Barton, Michael Levine, Brian Lowe, Zach Wood and Jason Barnes from Midway; Lisa Lockhart from The Licensing Group, and Michael Levine from the NBA.
Designing and Coding Reusable C++, 1st edition
Authors: Martin D. Carroll, Margaret A. Ellis
Venue:  (1995)

:By using examples extensively Designing and Coding Reusable C++ presents the tradeoffs of various techniques for writing reusable C++ code. It presents advantages and disadvantages of alternatives, allowing designers and programmers to make informed decisions. Novices and experienced professionals alike will improve the ability to produce reusable C++.
Place, media and activity
Authors: Matthew Chalmers
Venue: ACM SIGGROUP Bulletin (2001)

The workshop's call for participation points out the changes in work and society related to the development of new technologies, forms of work and patterns of activity. The traditional notion of workplace is challenged by the convergence and intercommunication of technological devices, as are our approaches to design and theory. I'd like to argue that this is only problematic because the traditional view is rather reductionist and simplistic. I'd like to explore a different notion of what place is, and hence workplace. This builds on and extends the discussion of space and place in CSCW by Harrison and Dourish, taking an approach based on post-structuralist semiology that takes fuller account of the interdependence of media in human activity than older HCI and CSCW People's activity continually combines and cuts across different media, interweaving those media and building up the patterns of association and use that make meaning. How people act and work is determined by the full combination of media that they can use, and hence a narrow focus on space as the paramount determinant of activity underrates the influence of other media. 'Place' is not solely determined by the physical medium of space. A person's work or activity may be influenced by the configuration of space around them and the interactions that space affords, but also by books, telephones, hypermedia, 3D computer graphics and so forth. Recent technological developments heighten or highlight a phenomenon already familiar through analysis of the effect of older media such as written text, maps and cinema. This stance is now being explored in the city project, which focuses on a treatment of the city that deliberately blurs the boundaries between physical and digital spaces. By combining mobile computers, hypermedia and virtual environments in one system, and allowing each person using each medium or combination of media to interact with people using every other medium, our system is both driven by our theoretical approach and driving the development of theory.
The Computational Complexity to Evaluate Representations of General Linear Groups
Authors: Peter Bürgisser
Venue: SIAM Journal on Computing (2000)

We describe a fast algorithm to evaluate irreducible matrix representations of complex general linear groups ${\rm GL}_{m}$ with respect to a symmetry adapted basis (Gelfand--Tsetlin basis). This is complemented by a lower bound, which shows that our algorithm is optimal up to a factor $m^2$ with regard to nonscalar complexity. Our algorithm can be used for the fast evaluation of special functions: for instance, we obtain an $O(\ell\log\ell)$ algorithm to evaluate all associated Legendre functions of degree $\ell$. As a further application we obtain an algorithm to evaluate immanants, which is faster than previous algorithms due to Hartmann and Barvinok.
Process Algebra with Timing
Authors: J. C. M. Baeten, C. A. Middelburg, K. Middelburg
Venue:  (2002)

:Timing issues are of growing importance for the conceptualization and design of computer-based systems. Timing may simply be essential for the correct behaviour of a system, e.g. of a controller. Even if timing is not essential for the correct behaviour of a system, there may be good reasons to introduce it in such a way that suitable timing becomes relevant for the correct behaviour of a complex system. This book is unique in presenting four algebraic theories about processes, each dealing with timing from a different point of view, in a coherent and systematic way. The timing of actions is either relative or absolute and the underlying time scale is either discrete or continuous. All presented theories are extensions of the algebra of communicating processes. The book is essential reading for researchers and advanced students interested in timing issues in the context of the design and analysis of concurrent and communicating processes.
Photorealistic Rendering Techniques
Authors: G. Sakas, P. Shirley
Venue:  (2001)

:This book presents the most recent advances and trends in the field of computer generated photo-realistic rendering. It contains 28 selected international contributions presented at the Fifth Eurographics Workshop on Rendering, held in Darmstadt, Germany, in June 1994. After more than 20 years of development, rendering of realistic images remains an interesting and challenging field. The book covers a wide spectrum of topics including not only the "classics" such as radiosity, ray tracing, meshing and sampling, Monte Carlo, and viewing solutions, but also new areas of increasing interest, such as participating media, dynamic solutions and walkthroughs, and wavelets.
A framework for estimating and minimizing energy dissipation of embedded HW/SW systems
Authors: Yanbing Li, Jörg Henkel
Venue: Readings in hardware/software co-design (2001)

Embedded system design is one of the most challenging tasks in VLSI CAD because of the vast amount of system parameters to fix and the great variety of constraints to meet. In this paper we focus on the constraint of low energy dissipation, an indispensable peculiarity of embedded mobile computing systems. We present the first comprehensive framework that simultaneously evaluates the tradeoffs of energy dissipations of software and hardware such as caches and main memory. Unlike previous work in low power research which focused only on software or hardware, our framework optimizes system parameters to minimize energy dissipation of the overall system. The trade-off between system performance and energy dissipation is also explored. Experimental results show that our Avalanche framework can drastically reduce system energy dissipation.
Microsoft Office 2000 8-in1, 1st edition
Authors: Joe Habraken
Venue:  (1999)

:This book offers integrated support to all the core components of Microsoft Office 2000 Professional, Standard, Small Business, and Premium Editions and Windows 95, 98, or NT 4. The reader will quickly be able to learn the main applications of Office 2000 by using the eight manageable sections of the book. In addition, a Windows section includes coverage of the integrated Internet Explorer 4 component in Windows 98 and Internet Explorer 5 from Office 2000. Clear coverage of the basic and intermediate features in the 7 core components (Word, Excel, PowerPoint, Access, Outlook, FrontPage, Publisher) plus coverage of Windows with Internet Explorer 5 Step by step lesson oriented approach that is not found in other large books Coverage of all of Office 2000's new web publishing features in each application