ppxscal/embedding_network huggingface dataset:
Convergence Properties of a Regularization Scheme for Mathematical Programs with Complementarity Constraints
Authors: Stefan Scholtes
Venue: SIAM Journal on Optimization (2000)

We study the convergence behavior of a sequence of stationary points of a parametric NLP which regularizes a mathematical program with equilibrium constraints (MPEC) in the form of complementarity conditions. Accumulation points are feasible points of the MPEC; they are C-stationary if the MPEC linear independence constraint qualification holds; they are M-stationary if, in addition, an approaching subsequence satisfies second order necessary conditions, and they are B-stationary if, in addition, an upper level strict complementarity condition holds. These results complement recent results of Fukushima and Pang [Convergence of a smoothing continuation method for mathematical programs with equilibrium constraints, in Ill-posed Variational Problems and Regularization Techniques, Springer-Verlag, New York, 1999]. We further show that every local minimizer of the MPEC which satisfies the linear independence, upper level strict complementarity, and a second order optimality condition can be embedded into a locally unique piecewise smooth curve of local minimizers of the parametric NLP.
Road Ahead
Authors: Bill Gates, Nathan Myhrvold
Venue:  (1999)

:What is the information highway? How will the new technology change our lives? Do I have to learn to use a computer? Will my job become obsolete? Welcome to The Road Ahead. We have all been bombarded by the seemingly endless hype about the information highway and the coming age of technology. Now, Bill Gates - who built Microsoft into one of the most successful companies in the world - gives us his vision of what the future holds for us. The Road Ahead is his bird's-eye view of the undiscovered territory on the information highway - an authoritative, thought-provoking, and very readable travel guide for the journey. In this optimistic and refreshingly realistic book, Gates looks ahead to show how the emerging technologies of the digital age will transform all our lives. As he says, we are on the brink of a new revolution, and crossing a technology threshold that will forever change the way we buy, work, learn, and communicate with each other.
Object of Java: The Bluej Edition
Authors: David D. Riley
Venue:  (2002)

:The Object of Java fully embraces the object-oriented paradigm by taking an "objects-centric" approach to presenting problem solving and programming. This book focuses on the skills and discipline of software engineering that are needed for good programming. Since specifications are critical for conveying code behavior in the object-oriented model, discussions of method preconditions and postconditions, and class invariants are used consistently to document examples and to define example classes. The Unified Modeling Language (UML) is used as the specification language. The book also uses the notion of patterns to identify numerous expressions, instructions, algorithms and designs that serve to pattern program segments. This book is designed for those who are programming with the BlueJ IDE. Readers begin with four complete chapters focusing on objects, classes and methods. The presentation of primitive data occurs in Chapter 5, ensuring the necessary prior exposure to object declaration, object instantiation, assignment, method calling, parameter passage, class diagrams and object diagrams. In order to accommodate this placement of topics, control structures are covered later than in other books. The book also emphasizes the importance of testing with special sections devoted to ensure that readers develop basic debugging skills, and knowledge of simple path testing and black-box testing. This book is designed for readers without prior programming experience, and is also appropriate for those with knowledge of other languages who are looking for a true object-oriented introduction to Java.
Making It Personal: How to Profit from Personalization without Invading Privacy
Authors: Bruce Kasanoff
Venue:  (2002)

:"Everything we do and everywhere we go leaves a trail; the difference now is that it's all being recorded, analyzed, and disseminated by powerful technologies and sophisticated processing systems. The potential of these systems is enormous. Gathering data on behaviors and preferences allows businesses to enhance customer relationships, distribute knowledge and expertise around the world, and negotiate more effectively with suppliers, distributors, and partners. Meanwhile, the medical, educational, governmental, and non-profit communities are using them to provide more effective services to their constituents." In Making It Personal, business and technology expert Bruce Kasanoff explores the impact of these "personalization" technologies, and how to apply them without crossing that line. In fascinating detail, he describes initiatives underway that sound like science fiction - from biometric facial recognition sensors to employee behavior monitoring programs to geospatial vehicle-tracking devices. Illustrating these increasingly common practices with examples drawn from all types of organizations, Kasanoff considers the commercial, cultural, and legal implications, as individuals and businesses become increasingly interconnected. The result is not only a compelling and thought-provoking narrative, but also a practical framework from which to assess the opportunities and threats posed by personalization - and how you and your organization will respond.
Extending the smodels system
Authors: Ilkka Niemelä, Patrik Simons
Venue: Logic-based artificial intelligence (2000)

The Smodels system is one of the state-of-the-art implementations of stable model computation for normal logic programs. In order to enable more realistic applications, the basic modeling language of normal programs has been extended with new constructs including cardinality and weight constraints and corresponding implementation techniques have been developed. This paper summarizes the extensions that have been included in the system, demonstrates their use, provides basic application methodology, illustrates the current level of performance of the system, and compares it to state-of-the-art satisfiability checkers.
Secure calling contexts for stack inspection
Authors: Frédéric Besson, Thomas de Grenier de Latour, Thomas Jensen
Venue: Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming (2002)

Stack inspection is a mechanism for programming secure applications by which a method can obtain information from the call stack about the code that (directly or indirectly) invoked it. This mechanism plays a fundamental role in the security architecture of Java and the .NET Common Language Runtime. A central problem with stack inspection is to determine to what extent the <i>local</i> checks inserted into the code are sufficient to guarantee that a <i>global</i> security property is enforced. In this paper, we present a technique for inferring a <i>secure calling context</i> for a method. By a secure calling context we mean a pre-condition on the call stack sufficient for guaranteeing that execution of the method will not violate a given global property. This is particularly useful for annotating library code in order to avoid having to re-analyse libraries for every new application. The technique is a constraint based static program analysis implemented via fixed point iteration over an abstract domain of linear temporal logic properties.
PERL: A Beginner's Guide
Authors: R. Allen Wyke, Donald B. Thomas
Venue:  (2000)

:Essential skills for first-time programmers! Perl: A Beginner's Guide will teach you the fundamentals of Perl programming. It covers Perl capabilities and syntax,accessing databases,working with modules,CGI programming,debugging and much more. This beginner's guide is designed for easy learning&#58 Modules: Each programming concept is divided into logical modules (chapters),ideal for linear learning Goals: Each module opens with the specific programming skills you'll have by the end of the module Ask the Experts: Q&A sections throughout 1-Minute Drills: Quick self-assessment sections to check your progress Annotated Syntax: Example code annotated with commentary that points to the particular technique illustrated Projects: Coding exercises contained in each module that build on one another,from simple to complex Mastery Checks: End-of-module reviews that test proficiency using multiple-choice,fill-in-the-blank,and simple coding questions Essential Skills for First-Time Programmers!Learn the basics of Perl programming from the tutorials and examples in this easy-to-follow resource. Perl: A Beginner's Guide covers fundamentals,such as general syntax and semantics,control structures,subroutines,and regular expressions. The book explains how to use Perl modules,access databases,write CGI programs,and debug code. The examples throughout the book walk you through real-world programming tasks. To speed your progress,the source code for all projects is available free online. Start programming in Perl right away with this self-paced,step-by-step learning solution. This Beginner's Guide is Designed for Easy Learning:Modules -Each programming concept is divided into logical modules (chapters),ideal for individualized learningGoals - Each module opens with the specific programming skills you'll have by the end of the moduleAsk the Experts - Q&A sections throughout are filled with extra information and interesting commentary1-Minute Drills - Quick self-assessment sections to check your progressAnnotated Syntax - Example code annotated with commentary that points to the particular technique illustratedProjects - Coding exercises contained in each module show how to apply what you are learningMastery Checks - End-of-module reviews that test your knowledge using short-answer,multiple-choice,fill-in-the-blank,and simple coding questions
Monopoly Tycoon
Authors: Joe Grant Bell
Venue:  (2001)

:If you've ever played the classic Monopoly board game and found yourself stranded helplessly before a stretch of hotels on Board Walk and Park Place, while owning only shoddy green houses on Baltic and Mediterranean, you know why you need this strategy guide. Your favorite board game has grown up, and Monopoly City: Prima's Official Strategy Guide is ready to help you take revenge on those childhood memories of hopeless board game poverty or recapture those feelings of sweet entrepreneurial success. -You want every railroad? -Need strategies for smart hotel construction? -Tips on when a risk means sudden success versus instant devastation? Choose Prima and the only choice you'll still need help with is Horse, Shoe, or Top Hat!
Product Triangular Systems with Shift
Authors: Carla D. Moravitz Martin, Charles F. Van Loan
Venue: SIAM Journal on Matrix Analysis and Applications (2002)

Systems of the form $(R^{(1)}\cdots R^{(p)}-\lambda I)x=b$, where each R(i) is an n-by-n upper triangular matrix, can be solved in O(pn3) flops if the matrix of coefficients is explicitly formed. We develop a new method for this system that circumvents the explicit product and requires only O(pn2) flops to execute. The error bounds for the new algorithm are essentially the same as the error bounds for the explicit method. The new algorithm extends readily to the situation when R(1) is upper quasi-triangular.
Degradation mechanism of Ag-Epoxy conductive adhesive/Sn-Pb plating interface by heat exposure
Authors: M. Yamashita, K. Suganuma
Venue: Journal of Electronic Materials (2002)

The compatibility between Ag fillers and Sn-Pb plating at elevated temperature was examined by mechanical test, electrical test, and microstructure observation. The degradation at 150°C is caused by the preferential diffusion of Sn from the plating layer into Ag in the conductive adhesive. By this diffusion, Ag-Sn intermetallic compounds formed in the Ag fillers adjacent to the plating layer, and many large Kirkendall voids are formed in the Sn-Pb plating layer. Furthermore, an interfacial debonding occurred between the conductive adhesive, and the Sn-Pb plating layer is also observed near the free surface after heat exposure.
The Fundamentals of Engineering Drawing: With an Introduction to Interactive Computer Graphics for Design and Production, 11th edition
Authors: Warren Jacob Luzadder
Venue:  (1992)

:This new edition highlihgts the intergration of computer graphics with conventional drawing. For mechanical and civil engineers, and all those interested in the fundamentals of engineering drawing.
Using Microsoft Office 2000, 1st edition
Authors: Ed Bott
Venue:  (1999)

:All-star author Ed Bott (PC Computing senior editor) understands business users and how they want to be productive without becoming hard core computer geeks. In this book, you'll quickly find all of the information you need to be productive in Word, Excel, PowerPoint, Publisher, and Outlook, without extra information that you won't use. With this you'll easily create professional documents in Word, build powerful Excel spreadsheets, prepare killer PowerPoint presentations, and get your time and email organized with Outlook. Tame pesky Office 2000 features like the Office Assistant and clipboard to make Office 2000 applications work quickly and efficiently for you See how to detect and avoid dangerous and destructive macro viruses that destroy your data and waste your time Step up to the new features of Office 2000 that will be the most useful for you including better web publishing in all Office applications
MCSD Fast Track: 4-in-1 Bundle
Authors: Lyle A. Bryant, Thomas Moore, Kent Sharkey, Brian Matsik
Venue:  (1999)

:Microsoft has recently revamped its MCSD program. In order to obtain their MCSD, candidates are required to pass four exams-three core exams and one elective exam. All of the core exams are new tests as are many of the electives. Microsoft is putting a huge push behind increasing the number of MCSDs worldwide, and will be putting a significant marketing effort behind the MCSD program. Given the increased importance of the MCSD program to Microsoft's certification strategy, the popularity of the new VB 6 exams, and the increasing interest in the MCSD program, the MCSD arena will be attracting new exam candidates over the next year. In addition to attracting new exam candidates, existing MCSDs will also be updating their certifications to cover the newly released exams. Candidates are in need of complete, concise, inexpensive study guides to fully prepare them to pass the MCSD exams. This book is the answer.
Learning with Kernels: Support Vector Machines, Regularization, Optimization, and Beyond
Authors: Bernhard Scholkopf, Alexander J. Smola
Venue:  (2001)

:In the 1990s, a new type of learning algorithm was developed, based on results from statistical learning theory: the Support Vector Machine (SVM). This gave rise to a new class of theoretically elegant learning machines that use a central concept of SVMs-kernels--for a number of learning tasks. Kernel machines provide a modular framework that can be adapted to different tasks and domains by the choice of the kernel function and the base algorithm. They are replacing neural networks in a variety of fields, including engineering, information retrieval, and bioinformatics. Learning with Kernels provides an introduction to SVMs and related kernel methods. Although the book begins with the basics, it also includes the latest research. It provides all of the concepts necessary to enable a reader equipped with some basic mathematical knowledge to enter the world of machine learning using theoretically well-founded yet easy-to-use kernel algorithms and to understand and apply the powerful algorithms that have been developed over the last few years.
An Invitation to Computer Science: C++ Version, 2nd edition
Authors: G. Michael Schneider, Judith Gersting, Sara Baase
Venue:  (1999)

:Now updated to include the most recent developments in Web and network technology, this best-selling introduction to computer science provides a breadth-first overview of the full range of topics in this dynamic discipline: algorithms, hardware design, computer organization, system software, language models, programming, compilation, theory of computation, applications, networks, artificial intelligence, and the impact of computers on society. The authors present these topics in the context of a big picture, - six-layer hierarchy of abstractions - starting with the algorithmic foundations of computer science, and working upward from low-level hardware concepts through virtual machine environments, languages, software, and applications programs to the social issues raised by computer technology. Each layer in the hierarchy builds on ideas and concepts presented earlier. An accompanying lab manual provides exploratory lab experiences tied to the text material. The Second Edition features the use of C++ for teaching the basics of programming, with a C++ compiler provided with the accompanying lab manual. This compiler includes a graphics library that students use to create shapes and images as part of a new section in Chapter 7 on "Graphical Programming."
Generators of $H_1(\Gamma_{h},\mathbbZ)$ for Triangulated Surfaces: Construction and Classification
Authors: R. Hiptmair, J. Ostrowski
Venue: SIAM Journal on Computing (2002)

We consider a bounded Lipschitz-polyhedron $\Omega\subset\mathbb{R}^3$ of general topology equipped with a tetrahedral triangulation that induces a mesh $\Gamma_h$ of the surface $\partial\Omega$. We seek a maximal set of surface edge cycles that are independent in $H_1(\Gamma_h,\mathbb{Z})$ and bounding with respect to the exterior of $\Omega$.We present an algorithm for constructing suitable 1-cycles in $\Gamma_h$: First, representatives of a basis of the homology group $H_1(\Gamma_h,\mathbb{Z})$ are constructed, merely using the combinatorial description of the surface mesh $\Gamma_h$. Then, a duality pairing based on linking numbers is used to determine those combinations that are bounding with respect to $\mathbb{R}^3\setminus\Omega$. This is the key to circumventing a triangulation of the exterior region $\mathbb{R}^3\setminus\Omega$ in the computations. For shape-regular, quasi-uniform families of meshes, the asymptotic complexity of the algorithm is shown to be O(N2), where N is the number of edges of $\Gamma_h$.The scheme provides an essential preprocessing step for all boundary element methods for eddy current simulation, which rely on discrete divergence-free vectorfields and their description through stream functions.
NetWare 5 24Seven, 1st edition
Authors: John Hales, Nestor Reyes
Venue:  (1999)

:NetWare 5 experts Hales and Reyes deliver the advanced coverage that will enable you to get the most out of your NetWare network. Coverage includes: avoiding common design pitfalls when planning your NetWare 5 environment installing new servers, and upgrading from previous versions of NetWare migrating from IPX/SPX to TCP/IP, and understanding how DHCP and DNS work on NetWare servers maintaining and optimizing your NetWare server making NetWare 5 coexist with NT using ZENworks to implement centralized desktop management, ease software distribution, and maximize performance; managing your cabling, file systems, and resources; troubleshooting your NetWare 5 environment accessing resources through remote dial-up services and virtual private networks understanding ConsoleOne and ConsoleOne Web Edition and their relationship to NetWare Administrator
Visual Basic 5 Developer's Handbook
Authors: Evangelos Petroutsos, Kevin Hough
Venue:  (1998)

:Here's high-end, hard-core programming for the experienced Visual Basic programmer. This top-level book focuses on the most significant advances in VB version 5.0, including the hottest Internet additions. There's coverage of OLE programming, Visual Basic Script, and interoperability with other Microsoft products. The book is packed with reusable, professional-quality code, which readers are free to include in their own applications. The code is provided both in the book and on the companion CD. The CD also includes add-ons, utilities, and other professional third-party VB programming aids.
Javascript Bible, Third Edition with CD Rom, 3rd edition
Authors: Danny Goodman
Venue:  (1998)

:Create Web Pages That Think! Whether you're a novice Web author wondering what JavaScript can do for you or a seasoned HTML scripter anxious to exploit JavaScript's evolving functionality, this authoritative, all-in-one resource -- by the most experienced computer scripting author in the industry -- lets you create pages so inviting, users will spend more time at your Web site and come back for more! For Cool Web Pages, Master Today's Hottest Scripting Language! Get up to speed FAST with "crash courses" on programming fundamentals and object-oriented basics Key into the lessons you need with clearly labeled beginning, intermediate, and advanced terminology Implement JavaScript into your site with step-by-step how-to's Learn from ready-to-run JavaScript and HTML examples Apply expert script debugging and design tips Get ongoing support at IDG Books Worldwide and Danny Goodman's Web sites
A+ Certification Theory and Study Guide with Cdrom, 1st edition
Authors: New Riders Development Group Staff
Venue:  (1998)

:A+ Certification Training Guide provides users with all the information needed to pass the A+ Certification exams. Written by expert trainers, this book contains all the insider strategies users need to successfully become A+-certified. This study guide contains hundreds of test questions, lists, tables, notes, tips, and tricks to completely prepare users for the exams.A+ Certification is a testing program that certifies the competency of service technicians in the computer industryThe number of candidates taking the exam increased from 20,000 to 40,000 (projected end of 1997)Study from hundreds of test questions, and practice taking the exam on the TestPrep test engine on the CD-ROM 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
Beyond familiar shores: faculty teaching with technology
Authors: JoAnn C. Ullery
Venue: Proceedings of the 30th annual ACM SIGUCCS conference on User services (2002)

The integration of technology in classrooms has had a positive impact on student achievement. But an investment of time is necessary to move technology from a part-time tool to an active tool, fully integrated into the curriculum. Also, in order to provide technology in the classroom, educators must receive professional staff training on how to effectively use technology. This paper discusses web use as a professional source of development and curriculum materials, and how to integrate technology into classrooms to promote learning.This session will Chart a Bold New Course with suggestions for collaborative learning and group problem solving in the classroom, "just-in-time" learning, and how educators can become facilitators and coaches to students.
Experiences in VILLA: a mixed reality space to support group activities
Authors: Shin-ichi Hanaki, Suriyon Tansuriyavong, Masayoshi Endo
Venue: Proceedings of the 4th international conference on Collaborative virtual environments (2002)

We developed a mixed-reality space named VILLA in order to support communications for group activities. VILLA is realized as a web home page. Locations of group members in the real world are reflected in its layout as face icons that suggest activities of people in the real world. The VILLA system provides voice chat capabilities using Internet. Since 1996 several versions were developed and operated. Based on operational experiences, we present VILLA usage examples, function evaluation, and side effects.