ppxscal/embedding_network huggingface dataset:
Duality in Reverse Convex Optimization
Authors: B. Lemaire
Venue: SIAM Journal on Optimization (1998)

A duality theorem for the general problem of minimizing an extended real-valued convex function on a locally convex linear space under a reverse convex constraint is considered. In the particular case of the distance to a reverse convex subset in a normed linear space, we recover as a corollary a duality theorem due to C. Franchetti and I. Singer [Boll. Un. Mat. Ital. B (5), 17 (1980), pp. 33--43] similar to the one known for the distance to a convex subset. The general theorem also contains the duality principle of Toland--Singer for D. C. optimization.
Integrity protection for code-on-demand mobile agents in e-commerce
Authors: Tianhan Wang, Sheng-Uei Guan, Tai Khoon Chan
Venue: Journal of Systems and Software (2002)

The mobile agent paradigm has been proposed as a promising solution to facilitate distributed computing over open and heterogeneous networks. Mobility, autonomy, and intelligence are identified as key features of mobile agent systems and enabling characteristics for the next-generation smart electronic commerce on the Internet. However, security-related issues, especially integrity protection in mobile agent technology, still hinder the widespread use of software agents: from the agent's perspective, mobile agent integrity should be protected against attacks from malicious hosts and other agents. In this paper, we present Code-on-Demand (CoD) mobile agents and a corresponding agent integrity protection scheme. Compared to the traditional assumption that mobile agents consist of invariant code parts, we propose the use of dynamically upgradeable agent code, in which new agent function modules can be added and redundant ones can be deleted at runtime. This approach will reduce the weight of agent programs, equip mobile agents with more flexibility, enhance code privacy and help the recoverability of agents after attack. In order to meet the security challenges for agent integrity protection, we propose agent code change authorization protocols and a double integrity verification scheme. Finally, we discuss the Java implementation of CoD mobile agents and integrity protection.
An ebXML infrastructure implementation through UDDI registries and RosettaNet PIPs
Authors: Asuman Dogac, Yusuf Tambag, Pinar Pembecioglu, Sait Pektas, Gokce Laleci, Gokhan Kurt, Serkan Toprak, Yildiray Kabak
Venue: Proceedings of the 2002 ACM SIGMOD international conference on Management of data (2002)

Today's Internet based businesses need a level of interoperability which will allow trading partners to seamlessly and dynamically come together and do business without ad hoc and proprietary integrations. Such a level of interoperability involves being able to find potential business partners, discovering their services and business processes, and conducting business "on the fly". This process of dynamic interoperation is only possible through standard B2B frameworks. Indeed a number of B2B electronic commerce standard frameworks have emerged recently. Although most of these standards are overlapping and competing, each with its own strenghts and weeknesses, a closer investigation reveals that they can be used in a manner to complement one another.In this paper we describe such an implementation where an ebXML infrastructure is developed by exploiting the Universal Description, Discovery and Integration (UDDI) registries and RosettaNet Partner Interface Processes (PIPs). ebXML is an ambitious effort and produced detailed specifications of an infrastructure both for B2B and B2C e-commerce. However a public ebXML compliant registry/repository mechanism is not available yet. On the other hand, UDDI's approach to developing a registry has been a lot simpler and public registries are available. In ebXML, trading parties collaborate by agreeing on the same business process with complementary roles. Therefore there is a need for standardized business processes. In this respect, exploiting the already developed expertise through RosettaNet PIPs becomes indispensable. We show how to create and use ebXML "Binary Collaborations" based on RosettaNet PIPs and provide a GUI tool to allow users to graphically build their ebXML business processes by combining RosettaNet PIPs. In ebXML, trading parties reveal essential information about themselves through Collaboration Protocol Profiles (CPPs). To conduct business, an agreement between parties is necessary and this is expressed
Management Information Systems, 3rd edition
Authors: David M. Kroenke, Richard Hatch
Venue:  (1993)

:This text is about business,business people,organizations,and how to develop and use Information Systems effectively to meet the goals of those organizations. Building on students' experience and knowledge base from personal MIS to workgroup MIS to enterprise MIS,this text stresses the important role of Information Systems in satisfying business objectives. Realistic examples,minicases,case applications,and thought-provoking review material with projects promote active learning.
A PL/CV precis
Authors: Robert L. Constable, Scott D. Johnson
Venue: Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1979)

PL/CV is a new formal system which mixes commands and assertions. It includes axioms and rules for a theory of programming over integers and characters. Since arguments in the theory can be checked by the PL/CV Proof Checker, the system offers an approach to mechanical program verification. The Proof Checker is efficient enough for classroom use. Early experience with PL/CV indicates that it nicely supports formal verification of elementary arguments. Continued work should enable the formalization of non-elementary reasoning as well.
On (q^2 + q + 2, q + 2)-arcs in the Projective Plane {\rm PG}(2, q)
Authors: Simeon Ball, Ray Hill, Ivan Landjev, Harold Ward
Venue: Designs, Codes and Cryptography (2001)

A (k,n)-arc in {\rm PG}(2,q) is usually defined to be a set \mathcal{K} of k points in the plane such that some line meets \mathcal{K} in n points but such that no line meets \mathcal{K} in more than n points. There is an extensive literature on the topic of (k,n)-arcs. Here we keep the same definition but allow \mathcal{K} to be a multiset, that is, permit \mathcal{K} to contain multiple points. The case k=q^2+q+2 is of interest because it is the first value of k for which a (k,n)-arc must be a multiset. The problem of classifying (q^2+q+2,q+2)-arcs is of importance in coding theory, since it is equivalent to classifying 3-dimensional q-ary error-correcting codes of length q^2+q+2 and minimum distance q^2. Indeed, it was the coding theory problem which provided the initial motivation for our study. It turns out that such arcs are surprisingly rich in geometric structure. Here we construct several families of (q^2+q+2,q+2)-arcs as well as obtain some bounds and non-existence results. A complete classification of such arcs seems to be a difficult problem.
Platinum Edition Using XHTML, XML, and Java 2
Authors: Eric Ladd, Andrew H. Watt, Mike Morgan
Venue:  (2000)

:Platinum Edition XHTML, XML and Java 2 is separated into several sections, each of which focuses on a specific technology, including XHTML, XML, JavaScript, Dynamic HTML, CGI programming with Perl, Server-side Programming with ASP, ColdFusion and PHP, and Java 2. Throughout the book, the authors focus on the features and benefits of each technology, giving readers a well-rounded education in current web development tools and techniques. In addition, the authors demonstrate the value of combining various technologies (such as Java and XML) for more powerful web solutions. All the code and working applications developed in the book will be available for download from Que's web site at www.mcp.com/que Completely updated and revised with the latest information about the newest web technologies including XHTML, Java 2 and XML.
Direct addressed caches for reduced power consumption
Authors: Emmett Witchel, Sam Larsen, C. Scott Ananian, Krste Asanović
Venue: Proceedings of the 34th annual ACM/IEEE international symposium on Microarchitecture (2001)

A direct addressed cache is a hardware-software design for an energy-efficient microprocessor data cache. Direct addressing allows software to access cache data without a hardware cache tag check. These tag-unchecked loads and stores save the energy of a tag check when the compiler can guarantee an access will be to the same line as an earlier access. We have added support for tag-unchecked loads and stores to C and Java compilers. For Mediabench C programs, the compiler eliminates 16-76% of data cache tag accesses, with half of the benchmarks avoiding over 40% of the data tag checks. For SPECjvm98 Java programs, the compiler eliminates 18-63% of data cache tag checks. These tag check reductions translate into data cache energy savings of 9-40%, and overall processor and cache energy savings of 2-8%.
Analyzing NOVELL Networks
Authors: Carl Malamud
Venue:  (1996)

:This detailed architectural overview provides a solid understanding of the working of NetWare software and the underlying technology upon which NetWare is built. It gives a strong foundation and a solid framework to choose the right network options for your particular needs.
A theoretical model of social influence for increasing the utility of collaborative virtual environments
Authors: Jim Blascovich
Venue: Proceedings of the 4th international conference on Collaborative virtual environments (2002)

In this paper, a theoretical model is proposed to account for the incorporation of critical social influence effects appropriate to the design and implementation of collaborative virtual environments. The proposed social influence threshold model provides a framework for both substantive basic and applied research, as well as a way of determining functional specifications for implementing behavioral realism within collaborative virtual environments and testing the social interactive functionality of them.
Army Men World War: Prima's Official Strategy Guide
Authors: Jason Young, Matthew Brady
Venue:  (2000)

:Army Men World War is the sequel to the best-selling Army Men 3D game from 3DO. In Army Men World War, you lead the Green Army in a vicious battle against your Tan nemesis. Carefully guide your troops through a barrage of enemy fire in over 25 missions covering 6 different terrains. All new weapons are at your disposal: blast away with the howitzer, shred plastic with the .50 caliber twin machine gun, or quietly spear the enemy with your razor-sharp bayonet. Never before has a playroom war reached this size and scale. With the help of Army Men World War: Prima's Official Strategy Guide, you'll have everything you need to turn the Tan Army into a smoldering puddle of plastic. Inside you'll find detailed walkthroughs for all levels, mission maps; weapon, vehicle and troop strategies, sure-fire multiplayer strategies and much more!
The Beginner's Guide to Mathematica Rg, Version 4, 4th edition
Authors: Jerry Glynn, Theodore Gray
Venue:  (1999)

:This is a new edition of the successful book The Beginner's Guide to Mathematica. It teaches the basics of Mathematica's powerful new Version 4, including chapters on its new high speed numerics, statistics and data analysis, and image processing. It also includes chapters on the interactive system for typesetting equations, on using style sheets, defining functions, creating graphs and notebooks, and on applying useful problem-solving techniques. Many concepts are illustrated with real life examples written in the authors' engaging dialog style.
Distributed computing research issues in grid computing
Authors: Henri Casanova
Venue: ACM SIGACT News (2002)

Ensembles of distributed, heterogeneous resources, or Computational Grids, have emerged as popular platforms for deploying large-scale and resource-intensive applications. Large collaborative efforts are currently underway to provide the necessary software infrastructure. Grid computing raises challenging issues in many areas of computer science, and especially in the area of distributed computing, as Computational Grids cover increasingly large networks and span many organizations. In this paper we briefly motivate Grid computing and introduce its basic concepts. We then highlight a number of distributed computing research questions, and discuss both the relevance and the short-comings of previous research results when applied to Grid computing. We choose to focus on issues concerning the dissemination and retrieval of information and data on Computational Grid platforms. We feel that these issues are particularly critical at this time, and as we can point to preliminary ideas, work, and results in the Grid community and the distributed computing community. This paper is of interest to distributing computing researchers because Grid computing provides new challenges that need to be addressed, as well as actual platforms for experimentation and research.
Invitation to Discrete Mathematics
Authors: Jiri Matousek, Jaroslav Nesetril
Venue:  (1998)

:Invitation to Discrete Mathematics is at once an introduction and a thoroughly comprehensive textbook for courses in combinatorics and graph theory. A lively and entertaining style is combined with rigorous mathematics, and the many illustrations. examples and exercises make the book particularly accessible and user-friendly.
Java in a Nutshell,Fourth Edition, 4th edition
Venue:  (2002)

:This bestselling book is an essential quick reference for all Java programmers. It contains an accelerated introduction to the Java language and its key APIs, so seasoned programmers can start writing Java code right away. This book also includes O'Reilly's trusted quick-reference material for all the classes in the essential Java packages, including java.lang, java.io, java.beans, java.math, java.net, java.text, and java.util. This reference covers many the new classes in Java 1.4, including the NIO, logging, and XML functionality. Once you've learned Java, you'll keep this book next to your keyboard for handy reference while you program. This book is part of the multi-volume set of quick references that every Java programmer will want. It is an essential companion to Java Foundation Classes in a Nutshell, which covers the graphics, printing, and GUI APIs in the Java 2 platform, including Swing, AWT, and Java 2D. A third volume, Java Enterprise in a Nutshell, focuses on the Java Enterprise APIs and is of interest to programmers working on server-side or enterprise Java applications. A fourth volume, J2ME in a Nutshell, covers the new Java 2 Micro Edition APIs and explores its use in limited-resource devices.
Mainstream Multimedia; Applying Multimedia in Business, 1st edition
Authors: Roger L. Fetterman, Satish A. Gupta
Venue:  (1993)

:A noted industry consultant and a multimedia executive offer the first and only comprehensive examination of the industry and its future in the world of business. The authors explore the dynamics of the market in terms of technology push and marketing pull, and the dramatic transition of desktop devices from personal computer to personal communicator.
Experiment scheduling in faster-than-real-time simulation
Authors: Dimosthenis Anagnostopoulos
Venue: Proceedings of the sixteenth workshop on Parallel and distributed simulation (2002)

Faster-than-real-time simulation (FRTS) can be used for performance evaluation of systems behavior in real time, providing significant capabilities for studying systems with a time-varying behavior. FRTS enables model validation through comparing simulation results with the corresponding system observations. However, experimentation proves to be rather demanding, as both delivering output results and ensuring their reliability must be accomplished within a predetermined time frame. Output analysis of system observations and model results and relevant timing issues are discussed. A method is introduced that determines whether it is possible to execute the "optimal" faster-than-real-time experiment, in which case multiple replications are scheduled for execution, or a compromise has to be made between the ability to predict for the long future and the degree of reliability achieved for predictions. FRTS experimental are also presented to support the effectiveness of the proposed method.
Visual C++ Power Toolkit: Cutting-Edge Tools and Techniques for Programmers, 1st edition
Authors: Nancy Nicolaisen, Jamie Nye
Venue:  (1994)

:A single pre-written Custom Control can save a programmer weeks of struggle. This reference describes the best OLE Custom Controls--reviewing each control's purpose, relative value, drawbacks, limitations, cost, and source. CD contains high-powered custom controls and utilities for developers, including client and server applications; picture class libraries; examples of source code; and an array of tools. 500 illus.
Metal and Flesh: The Evolution of Man: Technology Takes Over
Authors: Ollivier Dyens
Venue:  (2001)

:For more than 3,000 years, humans have explored uncharted geographic and spiritual realms. Present-day explorers face new territories born from the coupling of living tissue and metal, strange lifeforms that are intelligent but unconscious, neither completely alive nor dead. Our bodies are now made of machines, images, and information. We are becoming cultural bodies in a world inhabited by cyborgs, clones, genetically modified animals, and innumerable species of human/information symbionts. Ollivier Dyens's Metal and Flesh is about two closely related phenomena: the technologically induced transformation of our perceptions of the world and the emergence of a cultural biology. Culture, according to Dyens, is taking control of the biosphere. Focusing on the twentieth century--which will be remembered as the century in which the living body was blurred, molded, and transformed by technology and culture--Dyens ruminates on the undeniable and irreversible human/machine entanglement that is changing the very nature of our lives.
Application of Pseudoinverse and Projective Matrices to Studying Control, Observation, and Identification Problems
Authors: N. F. Kirichenko, N. P. Lepekha
Venue: Cybernetics and Systems Analysis (2002)

The method of perturbation of pseudoinverse matrices, developed earlier by the authors based on splitting matrices, is extended to projective matrices for their further application to identification, nonlinear regressive analysis, function approximation, and prediction problems.
Introducing Microsft Windows 98, 2nd edition
Authors: Russell Borland, John Ross
Venue:  (1998)

:Microsoft Windows 98 is the newest version of the world's most popular operating system-and this book shows you how to use it to extend, expand, improve, and simplify just about everything you do with your PC! With its straightforward style and logical format, Introducing Microsoft Windows 98, Second Edition is just right for ambitious beginners, moderately experienced users, upgraders from Windows 95, and even for professionals looking to upgrade their entire organizations. Experience Level: Beginner/ Intermediate
Building .NET Applications for Mobile Devices
Authors: Andy Wigley, Peter Roxburgh
Venue:  (2002)

Learn how to build applications that are always available-anytime, anyplace, on any device. Thanks to Moore's Law and advances in wireless technology, the next generation of the Web will be readily accessible from mobile hardware such as Pocket PCs and other PDAs, mobile phones, and smart phones. Discover how to take advantage of the explosion in mobile computing with this detailed programming guide. It shows how to use Microsoft® ASP.NET, Microsoft Visual Studio® .NET, and the Mobile Internet Toolkit to create compelling Web applications that can dynamically display the same page-with properly formatted content-on the broadest array of mobile devices. You'll find out exactly how to use Microsoft Mobile Information Server and how to provide mobile e-mail access.
Programming Visual Interdev 6.0: Develop a New Generation of Three Tier Transactional Web Solution, 1st edition
Authors: Nicholas D. Evans, Ken Miller, Ken Spencer
Venue:  (1999)

:Build, debug, and deploy Web-based applications faster than ever before with Programming Microsoft Visual InterDev 6.0. This essential resource takes you under the hood of the version 6.0 development environment, explaining how to capitalize on integrated functionality with Microsoft Internet Information Server (IIS) 4.0, Microsoft Transaction Server (MTS), and other business-tier services to architect a powerful new class of transactional Web solutions.
Maximum Principle Preserving Schemes for Interface Problems with Discontinuous Coefficients
Authors: Zhilin Li, Kazufumi Ito
Venue: SIAM Journal on Scientific Computing (2001)

New finite difference methods using Cartesian grids are developed for elliptic interface problems with variable discontinuous coefficients, singular sources, and nonsmooth or even discontinuous solutions. The new finite difference schemes are constructed to satisfy the sign property of the discrete maximum principle using quadratic optimization techniques. The methods are shown to converge under certain conditions using comparison functions. The coefficient matrix of the resulting linear system of equations is an M-matrix and is coupled with a multigrid solver. Numerical examples are also provided to show the efficiency of the proposed methods.
Internet: Searching the Internet
Authors: Brian Cooper
Venue:  (2000)

:World-renowned for its digital expertise, Dorling Kindersley shares its know-how in a series of user-friendly visual guides to all the computer skills you'll ever need. Master state-of-the-art computer skills quickly and confidently with the Essential Computers series. These clear and concise step-by-step visual guides are designed to help beginners acquire all the techniques necessary to use today's information technology, from word processing to desktop publishing to setting up e-commerce and researching on the Internet. Searching the Internet helps you master the basic skills needed to find information on the Internet, and includes: Getting Organized, Using Internet Explorer, Searching from the Address Box, Using Advanced Help Pages, Exploring Search Indexes, Understanding Search Engines, Using Popular Search Providers, Including Yahoo and Lycos, Exploring Specialized Search Providers, and Searching for News and People. Author Biography: Brian Cooper has worked for 12 years as a writer and editor for a wide range of organizations specializing in IT-related work. He has produced software manuals, user guides, and CD-ROMs for financial software providers and scientific research organizations. He also has practical experience as a network administrator and website manager.
You Know You're Surfing the Net Too Much When . . .
Authors: Aviv M. Ilan, David Ilan
Venue:  (1998)

:The authors of" You Know You're Drinking Too Much Coffee When . ". return with an interactive collection of over 100 hilarious one-liners about what happens when you're just too well-connected.
Finite Element Approximation of a Degenerate Allen--Cahn/Cahn--Hilliard System
Authors: John W. Barrett, James F. Blowey
Venue: SIAM Journal on Numerical Analysis (2001)

We consider a fully practical finite element approximation of an Allen--Cahn/Cahn--Hilliard system with a degenerate mobility and a logarithmic free energy. This system arises in the modeling of phase separation and ordering in binary alloys. In addition to showing well-posedness and stability bounds for our approximation, we prove convergence in one space dimension. Finally, some numerical experiments are presented.
Towards a Practical Volumetric Cutting Plane Method for Convex Programming
Authors: Kurt M. Anstreicher
Venue: SIAM Journal on Optimization (1998)

We consider the volumetric cutting plane method for finding a point in a convex set ${\cal C}\subset\Re^n$ that is characterized by a separation oracle. We prove polynomiality of the algorithm with each added cut placed directly through the current point and show that this "central cut" version of the method can be implemented using no more than 25n constraints at any time.