ppxscal/embedding_network huggingface dataset:
Multiplier Rules Under Mixed Assumptions of Differentiability and Lipschitz Continuity
Authors: Jane J. Ye
Venue: SIAM Journal on Control and Optimization (2000)

In this paper we study nonlinear programming problems with equality, inequality, and abstract constraints where some of the functions are Fréchet differentiable at the optimal solution, some of the functions are Lipschitz near the optimal solution, and the abstract constraint set may be nonconvex. We derive Fritz John type and Karush--Kuhn--Tucker (KKT) type first order necessary optimality conditions for the above problem where Fréchet derivatives are used for the differentiable functions and subdifferentials are used for the Lipschitz continuous functions. Constraint qualifications for the KKT type first order necessary optimality conditions to hold include the generalized Mangasarian--Fromovitz constraint qualification, the no nonzero abnormal multiplier constraint qualification, the metric regularity of the constraint region, and the calmness constraint qualification.
Angle of repose: an interdisciplinary lively application project
Authors: Stuart Boersma, Michele Hluchy
Venue: PRIMUS: problems, resources, and issues in mathematics undergraduate studies (2002)

A mathematician and a geologist team up to write an interesting interdisciplinary statistics application. While primarily focusing on whether piles of debris composed of different grain sizes have different angles of repose, the project quickly blossomed into a lively study of experimental design and sensitivity analysis. The project, as well as its merits, are briefly explained.
A Linear Algorithm for Finding the Invariant Edges of an Edge-Weighted Graph
Authors: F. M. Malvestuto, M. Mezzini
Venue: SIAM Journal on Computing (2002)

Given an edge-weighted graph where all weights are nonnegative reals, an edge reweighting is an assignment of nonnegative reals to edges such that, for each vertex, the sums of given and new weights assigned to the edges incident on the vertex do coincide. An edge is then said to be invariant if its weight is the same for any edge reweighting. We show that the set of invariant edges of an arbitrary edge-weighted graph can be determined in time linear in the size of the underlying graph. Moreover, an application to the security of statistical data is discussed.
Further Reducing the Redundancy of a Notation Over a Minimally Redundant Digit Set
Authors: Marc Daumas, David W. Matula
Venue: Journal of VLSI Signal Processing Systems (2002)

Redundant notations are used implicitly or explicitly in many digital designs. They have been studied in details and a general framework is known to reduce the redundancy of a notation down to the minimally redundant digit set. We present here an operator to further reduce the redundancy of such a representation. It does not reduce the number of allowed digits since removing one digit to a minimally redundant digit set is a conversion to a non redundant digit set and this is an expensive operation. Our operator introduces some correlation between the digits to reduce the number of possible redundant notations for any represented number. This reduction is visible in small useful operators like the elimination of leading zeros. We also present a key application with a CMOS Booth recoded multiplier. Our multiplier is able to accept both a redundant or a non redundant input with very little modifications and almost no penalty in time or space compared to state-of-the-art non redundant multipliers.
Concept extraction and association from cancer literature
Authors: Yueyu Fu, Travis Bauer, Javed Mostafa, Mathew Palakal, Snehasis Mukhopadhyay
Venue: Proceedings of the 4th international workshop on Web information and data management (2002)

There is a large and growing body of web accessible biomedical literature. As this body of electronic literature grows, so does the possibility that document analysis techniques can be used to automatically extract useful biomedical information from them, particularly in the discovery of key concepts dealing with genes, proteins, drugs, and diseases and associations among these concepts. VCGS (Vocabulary Cluster Generating System) was designed to automatically extract and determine associations among tokens from a subset of biomedical literature namely cancer. Such information has notable potential to automate database construction in biomedicine, instead of relying on experts' analysis. This paper reports on the mechanisms for automatically generating clusters of tokens. A formal evaluation of the system, based on a subset of 5338 Pubmed titles and abstracts, has been conducted against the Swiss-Prot database in which the associations among concepts are entered by experts by hand.
Neuromorphic Systems: Engineering Silicon from Neurobiology
Authors: Leslie S. Smith, Alister Hamilton
Venue:  (1998)

:Neuromorphic systems are implementations in silicon of sensory and neural systems whose architecture and design are based on neurobiology. This growing area proffers exciting possibilities, such as sensory systems that can compete with human senses and pattern recognition systems that can run in real time. The area is at the intersection of neurophysiology, computer science and electrical engineering.This book brings together recent developments in Europe and the US, so that researchers in both academia and industry can find out about the state of the art. As well as elementary material on what neuromorphic systems are and why they are growing in importance, the book contains details of current work. Them are articles on aspects of implementing sensory neuromorphic systems, as well as articles on neuromorphic hardware.
Analyzing a web-based system's performance measures at multiple time scales
Authors: Virgilio Almeida, Martin Arlitt, Jerry Rolia
Venue: ACM SIGMETRICS Performance Evaluation Review (2002)

Web and e-commerce workloads are known to vary significantly from hour to hour, day to day, and week to week. The causes of these fluctuations are changes in the number of users visiting a site and the mix of services they require. Since the workloads are known to vary over time, one should not simply choose an arbitrary time interval and consider it as a reference for performance evaluation. We conclude that times scales are of great importance for operational analysis, particularly for systems with bursty loads. Service level agreements must certainly take into account measurement time scales. Similarly input parameters for predictive models are sensitive to time scale. Ultimately, a time scale should be chosen for service level requirements that best expresses the needs of end-users and the price the owner of a site is willing to pay for QoS.
Partitioning the Boolean lattice into chains of large minimum size
Authors: Tim Hsu, Mark J. Logan, Shahriar Shahriari, Christopher Towse
Venue: Journal of Combinatorial Theory Series A (2002)

Let 2[n] denote the Boolean lattice of order n, that is, the poset of subsets of {1, ..., n} ordered by inclusion. Recall that 2[n] may be partitioned into what we call the canonical symmetric chain decomposition (due to de Bruijn, Tengbergen, and Kruyswijk), or CSCD. Motivated by a question of Füredi, we show that there exists a function d(n) ∼ ½√n such that for any n ≥ 0, 2[n] may be partitioned into (n/[n/2]) chains of size at least d(n). (For comparison, a positive answer to Füredi's question would imply that the same result holds for some d(n) ∼ √π/2 √n) More precisely, we first show that for 0 ≤ j ≤ n, the union of the lowest j + 1 elements from each of the chains in the CSCD of 2[n] forms a poset Tj(n) with the normalized matching property and log-concave rank numbers. We then use our results on Tj(n) to show that the nodes in the CSCD chains of size less than 2d(n) may be repartitioned into chains of large minimum size, as desired.
Just for Fun: The Story of an Accidental Revolutionary
Authors: Linus Torvalds, David Diamond
Venue:  (2001)

:Ten years ago, college student Linus Torvalds retreated to his own computer to write code. He quips, "I couldn't afford software that I liked, so I wrote my own operating system." Not only did he write the operating system, he gave it away and invited other software engineers to improve it.The rest is history. Today, Torvalds has become the key figure in the open source software movement. The powerful operating system he wrote, Linux, has grown into a major force in the computer industry, while its voluntary development model has made Linux the world's largest collaborative project. Hundreds of the world's best engineers contribute to the improvement of Linux. Over 12 million machines, including many of the servers that power the World Wide Web, now run on Linux, as do the top-of-the-line offerings from such hardware giants as IBM and Compaq.Just for Fun chronicles Torvalds's amazing lifefrom his eccentric childhood in Finland, to his gangly, geeky teenage years when his greatest joy was writing programs on his grandfather's VIC-20 computer, to his rise to world-wide fame with Linux. Brimming with Torvalds's candid observations and opinions, this is a must-read for anyone who wants to know where high tech and business are going in the future.
Java 2 for Dummies with Cdrom
Authors: Barry Burd, Maria P. Canton
Venue:  (2001)

:The fun and easy way to build your first Java applet or application Jbuilder trial version and more on CD-ROM Get up to speed on object-oriented programming techniques Write Web-savvy Java programs  no experience required! Java 2 is packed with tools for creating "run anywhere" applets and applications. But how do you get the hang of all those object-oriented concepts and techniques? Relax! With Barry Burd at your side, you'll be programming graphical interfaces, user interactions, database access, and more  in no time! all this on the bonus CD-ROM *Jbuilder Personal, JdataConnect Standard Edition, and Kawa trial versions *Sample applets and applications from the book, with source code *Shareware versions of FileQuest, PasteLister, and NetCaptor IBM WebSphere Studio evaluation version and more Get Smart! *Find listings of all our books. *Create your own personalized book with Hungry Minds a la carte. *Sign up for daily eTips.
MCSE Test Success: Windows 95
Authors: Sybex, Vfx Technologies
Venue:  (1998)

:Worried about upgrading to a new version of Windows? Don't be. This friendly, easy-to-use book walks you through every step of the upgrade. With this book as your guide, moving to Windows 98 is quick, easy, and painless.
Student employee web portal
Authors: Tony D. Lovgren
Venue: Proceedings of the 30th annual ACM SIGUCCS conference on User services (2002)

ISU's Technical Support team includes the following areas: Help Desk, Front Desk, Desktop Support, Computer Labs and Computer Operations. Some of our facilities and personnel are at the ISU Centers in Idaho Falls, Twin Falls and Boise - each ranging from 45 to 220 miles from the Pocatello campus.These teams combined, employ over 75 student employees at any given time.Due to the size of our team and the geographic distances between our team members, we simply needed a one stop shop web site or portal for our team members. The primary objectives include: <ol>increase communication amongst all team members, especially between the teamsquick and easy access to all knowledge sourcesintegrated access to all support toolsAdministrative functions such as scheduling, timesheets, and coverage requests.</ol>
CoreldrawTM 10: The Official Guide
Authors: Steve Bain, Anthony Celeste, Michael Cervantes, Nick Wilkinson
Venue:  (2000)

From the Book:Foreword With the availability of CorelDRAW 10 Graphics Suite, it's now possible for illustrators, designers, and professional artists everywhere to add a new dimension of creative power to their work. Backed by a decade of award-winning creative power, CorelDRAW 10 delivers vector illustration, layout, bitmap creation, image-editing, painting, and animation software all in one package. The enhanced interface, improved customization features, professional output capabilities, and support for text in multiple languages simplify the design process-whether you're creating for print or the Web. Included in the robust new Toolset is Corel R.A.V.E ', a powerful new animation application that allows you to create live effects over time, generate a time line of edited work, create roll-over graphics, and output images to Macromedia Flash SWF format. And, whether you're an illustrator, designer, engineer, or architectural professional, this CorelDRAW 10 reference delivers expert guidance for mastering a variety of illustration techniques-plus all the support information you'll need to operate every facet of CorelDRAW with confidence. You can learn to produce beautiful graphic images that can be used in print and on the Web. Create in bitmap and vector workspaces. Discover new and refined tools to produce awesome artwork more quickly than ever. Learn from award-winning artist Steve Bain through tutorials designed to help you master universal graphics and illustration skills that will be useful for years to come. In the same way that CorelDRAW 9 provides a powerful solution to enhance your creative productivity, so, too, does this book, CorelDRAW 9: The Official Guide. Foster Coburn and Pete McCormick are Corel-certified instructors who travel the country to teach CorelDRAW and provide hands-on training in an entertaining and informative manner. This book is their personal version of a CorelDRAW training seminar and will lead you to mastery of the software, complete with sample files from the book's exercises on the CD. Let the authors introduce you to the power of CorelDRAW as they explain the tools, features and techniques that make CorelDRAW such a great product. This book is a result of powerful collaboration between Corel and Osbome/McGraw-Hill, and many months of hard work from the authors and writers as well as the product team at Corel. Together, these two teams have worked to make certain that professional designers have the tools they need to explore the depths of their creative imagination. Congratulations to all for producing such fine work! Derek J. Burney President and CEO, Corel Corporation Ottawa, Ontario December 2000
Error Estimates in Sobolev Spaces for Moving Least Square Approximations
Authors: María G. Armentano
Venue: SIAM Journal on Numerical Analysis (2001)

The aim of this paper is to obtain error estimates for moving least square (MLS) approximations in ${\Bbb R}^N$. We prove that, under appropriate hypotheses on the weight function and the distribution of points, the method produces optimal order error estimates in $L^\infty$ and L2 for the approximations of the function and its first derivatives. These estimates are important in the analysis of Galerkin approximations based on the MLS method. In particular, our results provide error estimates, optimal in order and regularity, for second order coercive problems.
Preparing the information technology workforce for the new millennium
Authors: Janet L. Bailey, Greg Stefaniak
Venue: ACM SIGCPR Computer Personnel (2002)

In an era when information technology (IT) is an integral part of society, many organizations are finding it difficult to hire adequate numbers of information technology personnel. Computer systems have permeated virtually every facet of organizations, creating a demand for individuals with IT skills at every level. The situation is complicated by the fact that finding personnel with the appropriate skills mix is even more problematic. As we move into the new millennium, IT roles are shifting at a rapidly increasing pace. Technical skills alone are not sufficient for success in the IT profession --- soft skills like communication, problem solving, and teamwork are increasingly important. Recognizing that no curriculum can provide all training needed by every employee in every position, the issue then becomes to identify which specific sets of knowledge, skills, and abilities (KSAs) are most important to IT organizations. This paper presents the findings of an initial case study undertaken to identify the necessary KSAs that can be used in the development of academic and industry training programs. The focus of this paper is on the findings for soft skill KSAs.
Organize and Manage Your Personal Finances
Authors: Diane Bledsoe
Venue:  (2003)

:Teaching PC users the benefits of managing their finances, this book focuses on using Quicken and Microsoft Money to gain greater financial freedom and organization. The creation of an account and of the user interfaces of both applications are addressed in detail. Once they have become familiar with basic setup, users are moved through the applications' categories, learning how to complete transactions, set up budgets, and run reports. Intermediate and advanced topics include working with investments and online banking, monitoring growth, and managing taxes with both Quicken and TurboTax.Author Biography: Diane Bledsoe helps people get more from technology as a member of the Gateway Training Organization. She lives in Poway, California. 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
Optimality Conditions for the Minimization of a Quadratic with Two Quadratic Constraints
Authors: Ji-Ming Peng, Ya-xiang Yuan
Venue: SIAM Journal on Optimization (1997)

The trust region method has been proven to be very successful in both unconstrained and constrained optimization. It requires the global minimum of a general quadratic function subject to ellipsoid constraints. In this paper, we generalize the trust region subproblem by allowing two general quadratic constraints. Conditions and properties of its solution are discussed.
Electric Power Applications of Fuzzy Systems, 1st edition
Authors: Mohammed E. El-Hawary
Venue:  (1998)

:This book offers an introduction to applications of fuzzy system theory to selected areas of electric power engineering. It presents theoretical background material from a practical point of view and then explores a number of applications of fuzzy systems. Most recently, there has been a tremendous surge in research and application articles on this subject. Until now though, there have been no books that put together a practical guide to the fundamentals and applications aspects. ELECTRIC POWER APPLICATIONS OF FUZZY SYSTEMS presents, under one cover, original contributions by authors who have pioneered in the application of fuzzy system theory to the electric power engineering field. Each chapter contains both an introduction to and a state-of-the-art review of each application area.Sponsored by:IEEE Power Engineering Society.
Microsoft Excel 2000 Introductory Concepts and Techniques, 1st edition
Authors: Gary B. Shelly, Thomas J. Cashman, James S. Quasney
Venue:  (1999)

:The Learn By Series is a revolutionary new computer-based training course developed for use with the best-selling Shelly Cashman Series Office 2000 applications textbooks, or as a stand-alone learning tool. This unique, highly interactive computer-based training will ensure that students learn introductory Microsoft Excel 2000 skills within a safe and robust simulation of the software.
Does Information Technology Make Us Smarter?: If So, How; If Not, Why Not?
Authors: Mark Cashman
Venue: ACM SIGCHI Bulletin (1995)

A recent book review in SIGCHI Bulletin, on "Things That Make Us Smart" stimulated my thought on this subject. Are we smarter as a result of information technologies? If we are, how is that working? If not, why isn't it working?
Combining an improvement to PARMA trailing with trailing analysis
Authors: Tom Schrijvers, Bart Demoen
Venue: Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming (2002)

Trailing of bindings in the PARMA variable representation is expensive in time and space. Two schemes are presented that lower its cost: the first is a technique that halves the space cost of trailing in PARMA. It can be used with conditional and unconditional trailing. It is illustrated and evaluated in the context of dProlog and in the Mercury backend of HAL. The second scheme combines a variant of a previously developed trailing analysis with the first technique. Empirical evidence shows the usefulness of these schemes and that the combination is more effective than each scheme apart.
Advances in Randomized Parallel Computing
Authors: Sanguthevar Rajasekaran
Venue:  (1999)

:The technique of randomization has become very prevalent since it offers superior performance and simplicity. Numerous researchers work in this area of vital importance. Parallel computing is also very important since one can get excellent speedups using parallel computers. This book combines these two domains. It provides a summary of the state-of-the-art results and techniques in the area of randomized parallel computing.. "This is a reference book for researchers, educators, and students. It can also be used as a text for an advanced graduate course on randomized computing, parallel computing, or distributed computing.
Global E-Commerce Strategies for Small Businesses
Authors: Eduardo Da Costa
Venue:  (2001)

:Small companies account for a surprising one-third of U.S. exports, and their market share is growing. The Internet has played a major role in helping these companies develop an increasingly powerful international presence. Global E-Commerce Strategies for Small Businesses describes the export opportunities e-commerce holds for small-to-medium size enterprises (SMEs) all over the world. The book is organized in two parts. The first uses examples and case studies of small exporting companies from six countries to show how SMEs and new entrepreneurs are not only successful but also often responsible for job creation, innovation, and economic growth in their regions. It also examines common obstacles to exports such as local and international laws, cultural differences, trade barriers, taxation, and transport infrastructure. The second part covers the steps in setting up a global business: researching business opportunities, identifying and reach out to customers, building and keeping an online image, closing the deal, and maintaining customer support. Written in a casual, accessible style, the book offers an overview of the tools and services available to help smaller companies flourish in the global marketplace.
A 0.5-Approximation Algorithm for MAX DICUT with Given Sizes of Parts
Authors: Alexander Ageev, Refael Hassin, Maxim Sviridenko
Venue: SIAM Journal on Discrete Mathematics (2001)

Given a directed graph $G$ and an arc weight function $w: E(G)\rightarrow\mathbb{R}_+$, the maximum directed cut problem ({\sc max dicut}) is that of finding a directed cut $\delta (X)$ with maximum total weight. In this paper we consider a version of {\sc max dicut}---{\sc max dicut} with given sizes of parts or {\sc max dicut with gsp}---whose instance is that of {\sc max dicut} plus a positive integer $p$, and it is required to find a directed cut $\delta (X)$ having maximum weight over all cuts $\delta (X)$ with $|X|=p$. Our main result is a $0.5$-approximation algorithm for solving the problem. The algorithm is based on a tricky application of the pipage rounding technique developed in some earlier papers by two of the authors and a remarkable structural property of basic solutions to a linear relaxation. The property is that each component of any basic solution is an element of a set $\{0,\delta,1/2,1-\delta,1 \}$, where $\delta$ is a constant that satisfies $0