ppxscal/embedding_network huggingface dataset:
Automatic Model Transformations Using Extended UML Object Diagrams in Modeling Environments
Authors: D. Milicev
Venue: IEEE Transactions on Software Engineering (2002)

One of the most important features of modeling tools is generation of output. The output may be documentation, source code, net list, or any other presentation of the system being constructed. The process of output generation may be considered as automatic creation of a target model from a model in the source modeling domain. This translation does not need to be accomplished in a single step. Instead, a tool may generate multiple intermediate models as other views to the system. These models may be used either as better descriptions of the system, or as a descent down the abstraction levels of the user-defined model, gradually leading to the desired implementation. If the modeling domains have their metamodels defined in terms of object-oriented concepts, the models consist of instances of the abstractions from the metamodels and links between them. A new technique for specifying the mapping between different modeling domains is proposed in the paper. It uses UML object diagrams that show the instances and links of the target model that should be created during automatic translations. The diagrams are extended with the proposed concepts of conditional, repetitive, parameterized, and polymorphic model creation, implemented by the standard UML extensibility mechanisms. Several examples from different engineering domains are provided, illustrating the applicability and benefits of the approach. The first experimental results show that the specifications may lead to better reuse and shorter production time when developing customized output generators.
Minimal Blocking Sets in Projective Spaces of Square Order
Authors: Martin Bokler
Venue: Designs, Codes and Cryptography (2001)

In this paper minimal m-blocking sets of cardinality at most \theta_{m}+\theta_{m-1}\sqrt{q} in projective spaces PG(n,q) of square order q, q\geq 16, are characterized to be (t, 2(m-t-1))-cones for some t with \max\{-1,2m-n-1\}\leq t \leq m-1. In particular we will find the smallest m-blocking sets that generate the whole space PG(n,q) for 2m\geq n \geq m.
Outlook 98 Made Easy - the Basics and Beyond, 1st edition
Authors: Carole B. Matthews, Martin S. Matthews
Venue:  (1998)

:Outlook is the messaging client for Exchange Server,which has sold more than 7. 2 million sets since it shipped in 1996also bundled with Microsoft Office,which has installed base of 23 million. A valuable reference for Outlook,a program that allows a project team to organize,integrate and manage email,calendars,tasks,contacts,documents,and schedules,all from within the same interface. Outlines the latest updates,including more intuitive usability features,improved performance,and support for the Internet standards SMTP/POP3,IMAP4,and LDAP. Learn Outlook 98 the Made Easy Way! Best-selling authors Carole Matthews and Martin Matthews bring more than 30 years of computer consulting and training experience to this lively,real-world tutorial: Learn how to easily create and manage Outlook contact databases,scheduling calendars,task lists,journals,and notes. Exchange information between Office and Outlook using Mail Merge and Other tasks. Quickly organize your tasks,calendar,e-mail,and contacts by grouping,filtering,and sorting. Use real-life examples to learn new ways to use Outlook. Automate Outlook forms with VB Script. Customize the desktop interface with new shortcuts,forms,and views. Work with Outlook in an Exchange,Internet/intranet only,or stand-alone environment. Use Microsoft and third-party add-ons to extend Outlook's capabilities. Take advantage of Outlook's Remote Access features. Effective information management is the key to a successful workday - and Outlook 98 and this book are just what you need. With a unique blend of real-world tutorial,expert advice,illustrations,in-depth explanations,and an extensive index,Outlook 98 Made Easy offerstime-saving solutions on every page. . . and a huge payoff in your daily productivity! Jump-start your Outlook 98 skills with the book that gives you more for your money. for the price of a to master basic skills quickly and move ahead to take full advantage of Outlook 98. Brief,no-nonsense chapters focus on real-life solutions rather than features lists. Practical "putting It to Work" sections,how-to steps,and detailed explanations make each Made Easy book a complete learning system that provides an easy-to-use tutorial and skill-building reference. Invest your time and money wisely-start learning the Made Easy way today.
Teach Yourself the Internet and World Wide Web Visually, 2nd edition
Authors: Ruth Maran, Paul Whitehead, Kelleigh Wing
Venue:  (1999)

:The online world is such a visual place, what better way to learn about it than visually? That's just what you can do with Teach Yourself the Internet and World Wide Web Visually, 2nd Edition. Full of educational illustrations and concise, practical information, this book helps you get connected and stay connected. Educate yourself on modems and high-speed connections, Web browsers, and high-tech video, sound and plug-in's that are integral tools for many Web sites. Full-color graphics, an easy-to-follow page layout and concise explanations make Teach Yourself the Internet and World Wide Web Visually, 2nd Edition an indispensable tool for anyone wanting to explore the Internet for use in their own lives.
Learning organizational knowledge: an evolutionary proposal for requirements engineering
Authors: Carmen Maidantchik, Mariano Montoni, Gleison Santos
Venue: Proceedings of the 14th international conference on Software engineering and knowledge engineering (2002)

The rapid deployment of high quality commercial technology often results in organizational reengineering. These changes reflect in different software engineering aspects, as the increase of software complexity. Within heterogeneous environments, due to the variety of users classes and their geographical distribution, a common understanding of the domain knowledge can be a hard task and would lead to a high uncertainty of the knowledge of real needs. User centered design methods along with knowledge engineering techniques proved to be suitable in such cases. This paper describes an evolutionary proposal for requirements engineering of a system to support the management of telecommunication networks. The proposal enhanced and speeded the software development, achieving a better acceptance of the system since the software group managed to efficiently acquire the organizational knowledge.
Illustrator "X" for Dummies
Authors: Ted Alspach, Barbara Obermeier
Venue:  (2001)

:Get the scoop on new visual effects and Web tools Features nifty time-saving tricks that help you produce designs faster The pain-free way to create brilliant graphics  no experience required! Illustrator 10 is packed with tools for creating brilliant graphics, but all those palettes, menu items, and techniques can seem overwhelming. Relax! With two friendly experts at your side, you'll be able to transform your creative ideas into sophisticated graphics for use on the Web, in print, or in dynamic media projects  in no time! 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.
Dynamic and self-stabilizing distributed matching
Authors: Subhendu Chattopadhyay, Lisa Higham, Karen Seyffarth
Venue: Proceedings of the twenty-first annual symposium on Principles of distributed computing (2002)

Finding a maximal or maximum matching in a graph is a well-understood problem for which efficient sequential algorithms exist. Applications of matchings in distributed settings make it desirable to find self-stabilizing asynchronous distributed solutions to these problems. We first present a self-stabilizing algorithm for finding a maximal matching in a general anonymous network under read/write atomicity with linear round complexity. This is followed by a self-stabilizing algorithm, with quadratic time complexity, for finding a maximum matching in a bipartite network under composite atomicity. These results represent significant progress in the area of distributed algorithms for matchings.
Review of Dynamic Logic (Foundations of Computing): authors of book: D. Harel, D. Kozen and J. Tiuryn
Authors: Riccardo Pucella
Venue: ACM SIGACT News (2001)

In the 1960s, as programming languages were being used to write larger programs, those programs became harder to understand, and people began to worry about issues such as correctness, that is, determining whether a program computed what it was supposed to compute. As a consequence, researchers started to look into the pragmatics of programming, leading among others to a criticism of the GOTO statement [2] and the development of structured programming by Knuth and Wirth. These greatly helped writing programs that were easier to understand, but the issue of showing program correct remained. Undoubtedly helped by the fact that programs had a cleaner structure, researchers began investigating formal approaches to proving programs correct, or, in general, proving that programs satisfied properties of interest. Most approaches involved deriving the proof of a property as one was writing the program, taking advantage of the structured way these programs were written [3, 8]. These approaches were formalized, leading to the total or partial correctness assertions of Hoare [10] or the weakest-precondition calculus of Dijkstra [3]. Essentially, the logic of Hoare dealt with assertions {A}P{B} around a program P, indicating that if A were true, executing program P would result in B being true. Inference rules indicated how to transform assertions about programs into assertions about larger programs. For instance, if {A}P1{B} and {B}P2{C} were true, then one could infer that {A}P1;P2{B} was true, with the intuitive reading of P1; P2 as the sequential composition of P1 and P2. Many more formal systems along such lines were devised, and they collectively acquired the name logics of programs, or program logics.In a 1976 landmark paper, Pratt recognized that many such program logics could best be understood as modal logics, by essentially associating with every program a modal operator [13]. His idea was developed and refined by Fischer and Ladner [6] and others, culminating into a particular form of program logic called Dynamic Logic. Basically, the recognition of the relationship between program logic and modal logic allowed researchers to make use of the vast array of results on modal logics.The book "Dynamic Logic", by Harel, Kozen, and Tiuryn, offers a self-contained introduction to the subject. The earlier treatments on the subject are either dated, such as the survey by Harel [9] giving the state of the field in 1984, or study Dynamic Logic as a non-trivial extension of modal logic [7]. The latter approach is much more abstract and technically involved. In this review, I hope to give a taste for the subject by looking at its simplest incarnation, the propositional variant of Dynamic Logic, called PDL. (The book describes both the propositional and the first-order variants.) Following which, I will return to the structure of the book, and some personal opinions.
Inside ASP.NET, 1st edition
Authors: Scott Worley, Ken Cox
Venue:  (2001)

:Inside ASP.NET is a comprehensive guide to ASP.NET development using Microsoft's .NET development framework. This book presents information on the .NET framework that is of specific interest to Internet and intranet developers, and is split into the following sections: Introducing ASP.NET Core ASP.NET ASP.NET and Data Access Advanced Technologies Advanced Web Forms Putting It All Together Each chapter tackles a specific area of ASP.NET development, first by giving a detailed overview, then presenting a series of code examples and walk-throughs that illustrate various applications of ASP.NET.
Virtual enterprise modeling and support infrastructures: applying multi-agent system approaches
Authors: Lui M. Camarinha-Matos, Hamideh Afsarmanesh
Venue: Mutli-agents systems and applications (2001)

Virtual enterprises paradigm represents an important application field for multi-agent approaches, both in terms of modeling and infrastructure development. This article summarizes the main challenges in this field and describes several current Multi-Agent System application phases of the virtual enterprise life cycle. Several open challenges in this area are also introduced.
Data Structures and Program Design in Pascal, 2nd edition
Authors: Larry R. Nyhoff, Sanford Lee
Venue:  (1991)

: Designed for those with an introductory knowledge of programming and problem solving in Pascal, this book uses discussions, examples, exercises, complete programs, and sample runs to expose users to more advanced techniques. Covers topics such as software development; data structures and abstract data types; strings; stacks; queues; algorithms and recursion; lists; other linked structures; binary trees; sorting; sorting and searching files; trees; graphs and digraphs; object-and oriented programming.
Comment on an Existence Result for a Noncoercive Nonconvex Variational Problem
Authors: Erik J. Balder
Venue: SIAM Journal on Control and Optimization (2001)

An essential improvement is given of a recent existence result of Crasta [G. Crasta, SIAM J. Control Optim., 38 (1999), pp. 237--253] for a nonconvex, noncoercive variational problem whose integrand does not depend on the state variable. This is shown to follow by the methods based on Fatou's lemma in several dimensions of [E. J. Balder, J. Math. Anal. Appl., 101 (1984), pp. 527--539]. The associated Euler--Lagrange inclusions follow from well-known optimality conditions for such problems [V. M. Alekseev, V. M. Tichimirov, and S. V. Fomin, Optimal Control, Consultants Bureau, New York, 1987; V. I. Arkin and V. L. Levin, Uspekhi Mat. Nauk, 27 (1972), pp. 21--77].
AutoCAD in 3 Dimensions Using AutoCAD 2002, 1st edition
Authors: Stephen J. Ethier, Christine A. Ethier
Venue:  (2002)

:Designed to provide readers with the information and practice they need to compete in a competitive job market, AutoCAD in 3 Dimensions Using AutoCAD 2002 blends theory and practical applications in a hands-on, lab- and exercise-intensive look at all the important concepts needed to draw in true 3D. Based on AutoCAD 2002, it explores the theory behind 3D modeling, how to prepare for 3D construction, the various kinds of 3D construction, and how to effectively enhance and present 3D models. Theory Behind 3D Modeling; Applications; Display of 3D Models for Construction; Working in 3D Space; 2-1/2D Extrusion; Wireframe; Creation of a Shell; Elaborate Surfaces; Concepts Behind Solid Modeling; Composite Solids: Creation and Modification; Solid Display and Inquiry; Advanced Solid Editing; Three-Dimensional Libraries; 3D Parametric Design; Display of 3D Models for Presentation; Plotting; Rendering; Architectural Project: Residential Dwelling; Architectural Project: Commercial Building; Mechanical Project: Solid Modeling; Mechanical Project: Solid Modeling; Structural Project; Civil Project.
Learn Word 2002, 1st edition
Authors: John M. Preston, Robert Ferrett, Sally Preston
Venue:  (2001)

: No experience needed. . . Jump right into Microsoft® Office XP Get started NOW! Prepare for Microsoft® Office XP Certification! Highly visual, step-by-step instruction makes LEARNing Office XP easy! Each step has an accompanying screen so each task is illustrated for you to follow. Cautions, Quick Tips, and In-Depths show you where the pitfalls are and how to avoid them. 4 different levels of exercises in each chapter provide the ultimate practice experience. www.prenhall.com/preston Your on-line resource for learning Office XP  Interactive Study Guides!  Data Files!  On-line Exercises!
FreeHand 10 f/x & Design
Authors: Ron Rockwell
Venue:  (2001)

:This book showcases the FreeHand drawing techniques that can be used to draw creative and inspiring illustrations. FreeHand 10 f/x and Design teaches how to trace scanned images for use in printable or Web-ready illustrations. It shows how to construct an object from drawings, sketches or actual objects into three-dimensional renderings, how to effectively integrate your illustrations with Flash, plus much more. Real-world projects are provided throughout this book demonstrating intermediate to advanced FreeHand tools strengthening print and Web-based graphic techniques. The CD-ROM includes demo versions of FreeHand 10 and Flash 5, a library of electronic symbols used in electronic schematic drawings, plus a gallery of other photos for use when trying out these techniques.
The Official Blender 2.0 Guide
Authors: Sven Wouters, Carsten Wartmann
Venue:  (2001)

:This book is intended as a travel guide, an atlas to the Blender World. Everything you need to bring your creative ideas to fruition is inside. Developed originally as an in-house tool for a leading European animation studio, Blender is capable of creating broadcast-quality videos and has been used in hundreds of professional productions for major corporations. Find out how you can use the Blender software to create professional 3D graphics packages at a fraction of the cost and size of comparable products. Explore Blender's versatile animation system, contemporary modeling principles, advanced rendering tools, deformation tools, inverse kinematics, and post-production editor. Soon you'll be creating commercials and other broadcast-quality content, as well as multimedia and 3D game content. CD includes full version of Blender V2.03.
On the Global Convergence of the BFGS Method for Nonconvex Unconstrained Optimization Problems
Authors: Dong-Hui Li, Masao Fukushima
Venue: SIAM Journal on Optimization (2000)

This paper is concerned with the open problem of whether the BFGS method with inexact line search converges globally when applied to nonconvex unconstrained optimization problems. We propose a cautious BFGS update and prove that the method with either a Wolfe-type or an Armijo-type line search converges globally if the function to be minimized has Lipschitz continuous gradients.
How to Find Almost Anything on the Internet
Authors: Ted Pedersen, Francis Moss
Venue:  (2000)

:Have you ever sat down at your computer, all revved up to surf the Net for something, and then not been able to find what you were looking for? Ever typed a specific phrase like "Star Wars" into a search engine, and gotten tons of links for "stars" and "wars," but only one or two for the movie? If you're like most people online these days, this probably sounds familiar! How to Find Almost Anything on the Internet can help. It contains info on all the big search engines (from AltaVista to Yahoo! and more), what they are, how they work, which ones are easiest to use, and how to get the best results out of them. You'll also learn the secrets to wording your search. And the book is written in plain and simple language, so you don't have to be an Internet wiz before you read it. (But you will be afterwards!) So whether you're doing research for a homework assignment, or trying to find a specific baseball stat, you will find what you are looking for every time you search online. There's all kinds of cool stuff out there somewhere on the Internet, if only you know how and where to look!
O'Leary Series: Microsoft Access 2000 Introductory Edition, 1 edition
Authors: Timothy J. O'Leary, Linda O'Leary
Venue:  (1999)

The O'Leary Series is the true step-by-step way to develop computer application skills. The new design emphasizes the step-by-step visual approach with screen captures for every concept introduced throughout the text.. Table of contentsAccess 2000 Tutorial 1: Creating a Database Tutorial 2: Modifying a Table and Creating a Form Tutorial 3: Filtering, Querying Tables and Creating a Simple Report Working Together 1: Linking an Access Table to a Word Document Tutorial 4: Enhancing Tables, Using Advanced Queries and Creating a Custom Form Tutorial 5: Creating Custom Reports and Mailing Labels Tutorial 6: Access 2000 and the Web Working Together 2: Importing, Exporting and Mail Merge
Quick Course in Microsoft Word 2000
Venue:  (2000)

:Microsoft Word 2000 was designed to be the easiest way to create common Web, e-mail, and print documents around the world. Microsoft Word is the application of choice for creating print documents. Word 2000 embraces HTML as a first-class file format and extends Word's industry-leading ease of use to the Web and e-mail. Word 2000 also extends the ease of use to international users, making it easy to create multilingual documents. The key focus for Word 2000 includes four main goals: Enable Web-centered document creation. The Web has great potential to improve user productivity through better communication and enhanced collaboration. Seamlessly support rich e-mail creation. Word 2000 is tightly integrated with the Microsoft OutlookT 2000 messaging and collaboration client, allowing users to create and edit all of their e-mail with Word. Take ease of use to the next level. New levels of intelligence enable Word 2000 to become personalized based on usage patterns, making it easier than ever to create business documents. Provide support for international users. Word 2000 provides a single code base for all worldwide users, making it as easy to handle multiple languages in Word (except Thai, Vietnamese, and Indian) as it is to handle one. Hot New Features: Click 'n' Type. Within Microsoft Word 2000, users can move the cursor anywhere on a page, click, and start typing. Print Zoom. Microsoft Word 2000 lets users scale pages of documents at print time. This is useful for multinational companies that use different paper sizes.
Discrete Mathematics with Applications, 1st edition
Authors: Harold F. Mattson
Venue:  (1993)

:Applauded by reviewers for its inviting, conversational style and outstanding coverage of logic and inductions, it introduces students to the topics and language of discrete mathematics and prepares them for future work in mathematics and/or computer science. Mattson develops students' mathematical thinking and overall maturity through careful presentation and development of proofs, numerous detailed examples and corresponding exercises and applications that allow students to make concrete use of the theory presented. Exercises are varied, ranging from simple problems to challenging extensions of the topics introduced.
Higher Order Triangular Finite Elements with Mass Lumping for the Wave Equation
Authors: G. Cohen, P. Joly, J. E. Roberts, N. Tordjman
Venue: SIAM Journal on Numerical Analysis (2000)

In this article, we construct new higher order finite element spaces for the approximation of the two-dimensional (2D) wave equation. These elements lead to explicit methods after time discretization through the use of appropriate quadrature formulas which permit mass lumping. These formulas are constructed explicitly. Error estimates are provided for the corresponding semidiscrete problem. Finally, higher order finite difference time discretizations are proposed and various numerical results are shown.
Service differentiation using a multi-level RED mechanism
Authors: James Aweya, Michel Ouellette, Delfin Y. Montuno
Venue: International Journal of Network Management (2002)

This paper describes a multi-level active queue management scheme that combines packet classification and random early detection (RED) capabilities to provide differentiated performance characteristics for different classes of service. The proposed RED scheme uses a simple control-theoretic algorithm to randomly discard packets with a load-dependent probability when a buffer in a router gets congested.