ppxscal/embedding_network huggingface dataset:
A survey of distributed information management approaches for virtual enterprise infrastructures
Authors: César Garita, Hamideh Afsarmanesh, L. O. Hertzberger
Venue: Managing virtual web organizations in the 21st century: issues and challenges (2002)

The support of real collaborative virtual enterprise (VE) scenarios sets forward particularly interesting challenges in terms of distributed information management, regarding the proper sharing and exchange of information among preexisting autonomous enterprises. In order to address these challenges, it is necessary to achieve a comprehensive analysis of advanced information management approaches that can be applied in VE platforms. In this context, this chapter provides a representative survey of several VE-related information management standards, technologies, and existing approaches that can be applied to support future VE infrastructures.
The MSOM Society Student Paper Competition: Extended Abstracts of 2000 Winners
Authors: Jérémie Gallien, Serguei Netessine, Maher Lahmar, Hakan Ergan, Sergei V. Savin, Michael J. Fry
Venue: Manufacturing Service Operations Management (2000)

Each year the Manufacturing and Service Operations Management (MSOM) Society of INFORMS conducts a student paper competition. In Volume 2, Issue 2 ofM&SOM, we published the extended abstracts of the 1999 winners in the hopes that this could become an annual event. Our hopes have become a reality.Sridhar Seshadri and Ravi Anupindi, New York University, cochaired the 2000 competition. The judges for the final round were Garrett van Ryzin, Columbia University; Yehuda Bassok, University of Southern California; and Michael Pinedo, New York University.The first-prize winner received $400, while second prize received $200. Prizes were awarded at the INFORMS meeting in San Antonio, Texas in November 2000. All finalists received a $50.00 discount coupon redeemable at an "e-tailer."The winners and their faculty mentors were:First Prize JÃ©rÃ©mie Gallien, Massachusetts Institute of TechnologyFaculty Mentor: Lawrence M. Wein, MIT"Design and Analysis of a Smart Market for Industrial Procurement"Second Prize Serguei Netessine, University of RochesterFaculty Mentors: Gregory Dobson and Robert A. Shumsky, University of Rochester"Flexible Service Capacity: Optimal Investment and the Impact of Demand Correlation"M&SOM would like to congratulate the winners as well as all five finalists. The extended abstracts of these papers follow.
Probabilistic Reliable Dissemination in Large-Scale Systems
Authors: Anne-Marie Kermarrec, Laurent Massoulié, Ayalvadi J. Ganesh
Venue: IEEE Transactions on Parallel and Distributed Systems (2003)

The growth of the Internet raises new challenges for the design of distributed systems and applications. In the context of group communication protocols, gossip-based schemes have attracted interest as they are scalable, easy to deploy, and resilient to network and process failures. However, traditional gossip-based protocols have two major drawbacks: 1) They rely on each peer having knowledge of the global membership and 2) being oblivious to the network topology, they can impose a high load on network links when applied to wide-area settings. In this paper, we provide a theoretical analysis of gossip-based protocols which relates their reliability to key system parameters (system size, failure rates, and number of gossip targets). The results provide guidelines for the design of practical protocols. In particular, they show how reliability can be maintained while alleviating drawback 1) by providing each peer with only a small subset of the total membership information and drawback 2) by organizing members into a hierarchical structure that reflects their proximity according to some network-related metric. We validate the analytical results by simulations and verify that the hierarchical gossip protocol considerably reduces the load on the network compared to the original, nonhierarchical protocol.
Coordinating Production and Delivery Under a (z, Z)-Type Vendor-Managed Inventory Contract
Authors: Michael J. Fry, Roman Kapuscinski, Tava Lennon Olsen
Venue: Manufacturing Service Operations Management (2001)

This paper models a type of vendor-managed inventory (VMI) agreement that occurs in practice called a (z, Z) contract. We investigate the savings due to better coordination of production and delivery facilitated by such an agreement. The optimal behavior of both the supplier and the retailer are characterized. The optimal replenishment and production policies for a supplier are found to be up-to policies, which are shown to be easily computed by decoupling the periods when the supplier outsources from those when the supplier does not outsource. A simple application of the newsvendor relation is used to define the retailer's optimal policy. Numerical analysis is conducted to compare the performance of a single supplier and a single retailer operating under a (z, Z) VMI contract with the performance of those operating under traditional retailer-managed inventory (RMI) with information sharing. Our results verify some observations made in industry about VMI and show that the (z, Z) type of VMI agreement performs significantly better than RMI in many settings, but can perform worse in others.
Full-Rank Tilings of $\mathbbF^8_\!2$ Do Not Exist
Authors: Ari Trachtenberg, Alexander Vardy
Venue: SIAM Journal on Discrete Mathematics (2003)

We show that there are no full-rank tilings of $\mathbb{F}^8_{\kern -1pt 2}$, using a carefully designed exhaustive search. This solves an open problem posed in [T. Etzion and A. Vardy, SIAM J. Discrete Math., 11 (1998), pp. 205--233]. This also implies that a full-rank perfect binary code of length 15 with a kernel of dimension 7 does not exist.
A Decomposition Approach to the Inventory Routing Problem with Satellite Facilities
Authors: Jonathan F. Bard, Liu Huang, Patrick Jaillet, Moshe Dror
Venue: Transportation Science (1998)

This paper presents a comprehensive decomposition scheme for solving the inventory routing problem in which a central supplier must restock a subset of customers on an intermittent basis. In this setting, the customer demand is not known with certainty and routing decisions taken over the short run might conflict with the long-run goal of minimizing annual operating costs. A unique aspect of the short-run subproblem is the presence of satellite facilities where vehicles can be reloaded and customer deliveries continued until the closing time is reached. Three heuristics have been developed to solve the vehicle routing problem with satellite facilities (randomized Clarke-Wright, GRASP, modified sweep). After the daily tours are derived, a parametric analysis is conducted to investigate the tradeoff between distance and annual costs. This leads to the development of the efficient frontier from which the decision maker is free to choose the most attractive alternative. The proposed procedures are tested on data sets generated from field experience with a national liquid propane distributor.
Counting handovers in a cellular mobile communication network: equilibrium renewal process approach
Authors: Ramón M. Rodríguez-Dagnino, Hideaki Takagi
Venue: Performance Evaluation (2003)

Knowing the number of handovers that a user makes during a call session is particularly important in cellular mobile communication networks in order to make appropriate dimensioning of virtual circuits for wireless cells. In this paper, we study the probability distributions and statistical moments for the number of handovers per call for a variety of combinations of the call holding time (CHT) and cell residence time (CRT) distributions. Based on the formulation in terms of equilibrium renewal processes, we obtain analytical expressions for the probability mass functions and moments of the handover number distribution. Numerical examples are provided that show a heavy-tail in the handover number distribution when the CHT has heavy-tall.
People Skills Change Management Tools--Ideal State Analysis
Authors: Robert E. Levasseur
Venue: Interfaces (2002)

This is the second in a series of articles about some of the most effective models, methods, and processes of the OD trade. OD stands for organization development, a discipline that offers much to the OR/MS practitioner determined to help clients solve real-world problems. Because it is based on a systemic view of organizations, OD includes the whole universe of fuzzy people issues that increasingly determine the success or failure of efforts to implement otherwise flawless technical solutions.
How economics can help to guide decision making in flood risk management
Authors: N. Gendreau, F. Grelot, B. Guillaume, M. P. Guichon
Venue: Development and application of computer techniques to environmental studies (2002)

In general, in many countries, public decisions about flood management are essentially based on administrative and technical criteria. Scientific hydrological knowledge allows for a good description of flooding phenomena (intensity, frequency, extension of the flood...). The stakes' determination gives an estimation of priorities (physical interactions between hazard and vulnerable elements, financial estimation of potential damages...). The simulation of scenarios helps the determination of structural and non-structural measures (protections such as dikes, town planning rules...). However, none of these methods take into account the opinion of the citizens concerned or of the river users at the basin scale.As a result, solutions are not always accepted very well by the population. Some friction usually appears and sometimes the decision process can be completely stopped. Citizens may feel unrepresented and the decision makers can find themselves isolated in their responsibility.Economic theory proposes methods and tools that can help the decision making process. Some economic methods can take into account population opinions, but need to be adapted to the specific consideration of flood management, such as the notion of flood risk and the spatial distribution of flood water. The contingent valuation method provides a very attractive concept but its main problem lies in the variable to estimate. How is it possible to express a monetary value for a better protection, or for less floods ?To encourage better integration between popular opinion and flood risk management, this paper proposes some adaptations of an economic model already available. It presents some results of a survey on a French flood prone area and concludes with recommendations.
Near optimality of the sinc approximation
Authors: Masaaki Sugihara
Venue: Mathematics of Computation (2003)

Near optimality of the sinc approximation is established in a variety of spaces of functions analytic in a strip region about the real axis, each space being characterized by the decay rate of their elements (functions) in the neighborhood of the infinity.
Designing a neural network via gradient flow
Authors: Nicoletta Del Buono
Venue: Second international workshop on Intelligent systems design and application (2002)

The problem of designing a neural network possessing prescribed stable equilibria is a fundamental task for network designers. This problem can be viewed as an inverse eigenvalue problem and solved by using a gradient flow approach. Working with discretization of continuous-time systems could produce new algorithms to solve the problem and could allow the possibility of constructing adaptive schemes faster than algebraic approaches.
Proceedings of the 35th annual ACM/IEEE international symposium on Microarchitecture
Venue: International Symposium on Microarchitecture (2002)

On behalf of the MICRO organizing committee, we are very pleased to welcome you to Istanbul, Turkey, for the 35th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-35). Istanbul is a jewel of a city, combining the magnificent historical treasures of past civilizations with the life of a modem metropolis.Over the years, MICRO has proved itself to be the premier technical forum on microarchitecture, and this year is no exception: MICRO-35 will feature outstanding keynote speeches by Tilak Agerwala (Vice President, Systems, IBM Research) and by Justin R. Rattner (Intel Fellow and Director, Microprocessor Research, Intel Labs). The MICRO-35 technical program, as usual, will be of very high quality. This year, we had 150 papers submitted (another record for MICRO), out of which 36 were accepted. MICRO-35 includes six tutorials on exciting topics of current interest: asynchronous and partially asynchronous microprocessor design, thermal management in microprocessors, compilation for the Itanium, network processors, and microarchitecture simulation tools. There will also be four cutting-edge workshops on the topics of EPIC architectures and compilers, media and stream processors, multithreading, and application-specific processors.We have encouraged students to attend MICRO-35 and to submit papers. We created a new Student Advocate position this year with the goal of ensuring that we are providing the right opportunities for the students who will become the next generation of researchers in our field. We are very grateful to Haldun Hadimioglu for serving in this position. We will be offering many travel grants for students and junior faculty, thanks to the generous support MICRO-35 has received this year. There will also be best student paper and best student presentation awards in MICRO-35's technical program. The ACM and IEEE have graciously agreed to provide free memberships to the award-winning student authors.
Encoding transition systems in sequent calculus
Authors: Raymond McDowell, Dale Miller, Catuscia Palamidessi
Venue: Theoretical Computer Science (2003)

Intuitionistic and linear logics can be used to specify the operational semantics of transition systems in various ways. We consider here two encodings: one uses linear logic and maps states of the transition system into formulas, and the other uses intuitionistic logic and maps states into terms. In both cases, it is possible to relate transition paths to proofs in sequent calculus. In neither encoding, however, does it seem possible to capture properties, such as simulation and bisimulation, that need to consider all possible transitions or all possible computation paths. We consider augmenting both intuitionistic and linear logics with a proof theoretical treatment of definitions. In both cases, this addition allows proving various judgments concerning simulation and bisimulation (especially for noetherian transition systems). We also explore the use of infinite proofs to reason about infinite sequences of transitions. Finally, combining definitions and induction into sequent calculus proofs makes it possible to reason more richly about properties of transition systems completely within the formal setting of sequent calculus.
Applying information-retrieval methods to software reuse: a case study
Authors: Eric J. Stierna, Neil C. Rowe
Venue: Information Processing and Management: an International Journal (2003)

Reuse of existing software for new purposes is a key aspect of efficient software engineering. But finding opportunities for reuse can be difficult when building a large software system with pieces of a large previous system. Our approach is to match formal written "requirements" used to define the new software against requirements used to define the old software; requirement pairs with words in common suggest software-reuse opportunities. We explored two matching methodologies that use information-retrieval techniques. We tested our methods by comparing two US military systems, the Aviation Mission Planning System and the Joint Mission Planning System. Our second tool reduced the time to find 50% of the matching requirements by 99.4% compared to manual matching.
Teach analysis through writing
Authors: Dennis S. Martin
Venue: Journal of Computing Sciences in Colleges (2003)

Our students can be made comfortable designing, implementing, and testing a viable project once it is well understood but the investigation and analysis phases are much more intimidating. While the techniques are being studied, structured practice helps comprehension and better prepares a student for the first attempt on a real project. The author describes using a writing intensive approach to help students understand the needs, problems, and some techniques of investigation and analysis.
Using Simulation to Design an Automated Underground System for Transporting Freight Around Schiphol Airport
Authors: M. C. van der Heijden, A. van Harten, M. J. R. Ebben, Y. A. Saanen, E. C. Valentin, A. Verbraeck
Venue: Interfaces (2002)

To avoid road congestion, we are developing a highly automated underground transport system using automatic guided vehicles (AGVs) around Schiphol Airport. It is unique in its scale, incorporating 16 to 25 km tubes connecting five to 20 terminals, and it includes 200 to 400 AGVs to transport an estimated 3.5 million tons of cargo in 2020 with different ordering priorities. According to the current plans, the system will run from 2006 on. Since 1997, we have used object-oriented simulations to plan the dimensions of the system (number of AGVs, terminal sizes) and to design the layout (network, terminals). We showed that an investment reduction of plus or minus 20 percent is feasible using periodically switched one-way tube sections. We developed a variety of logistics optimization algorithms and heuristics, including allocating AGVs between terminals, scheduling terminals, and controlling traffic. We used simulation control structures to test prototype AGVs on a test site. Performing distributed simulations with a mixture of simulated and real objects, we could reduce the risks of the new technology.
An Empirical Investigation of the Effect of Market Orientation and Entrepreneurship Orientation Alignment on Product Innovation
Authors: Kwaku Atuahene-Gima, Anthony Ko
Venue: Organization Science (2001)

This article develops a concept of an alignment between market and entrepreneurship orientations and reports the results of a study designed to investigate its effect on a firm's product innovation. A sample of 181 firms was classified into four categories labeled as market/entrepreneurship orientation (ME), entrepreneurship orientation (EO), market-oriented (MO), and conservative (CO) firms. One-way ANOVA and planned contrast tests (PCT) were used to identify whether or not specific product innovation decisions, activities, and performance vary across the groups. The results indicate that these groups of firms significantly differ with respect to both subjective and objective measures of new product performance, and with product innovation strategies and activities pertaining to timing of market entry, product quality, marketing synergy, proficiency of market launch, and management support for innovation. Further, the findings suggest that these groups of firms are not significantly different with respect to perceived environmental hostility and intensity of market competition. This finding suggests that the groups of firms are robust across environments and that the findings presented in this study are not an artifact of environmental variation. Managerial and research implications of the results are discussed.
Relevance Feedback and Learning in Content-Based Image Search
Authors: Hongjiang Zhang, Zheng Chen, Mingjing Li, Zhong Su
Venue: World Wide Web (2003)

A major bottleneck in content-based image retrieval (CBIR) systems or search engines is the large gap between low-level image features used to index images and high-level semantic contents of images. One solution to this bottleneck is to apply relevance feedback to refine the query or similarity measures in image search process. In this paper, we first address the key issues involved in relevance feedback of CBIR systems and present a brief overview of a set of commonly used relevance feedback algorithms. Almost all of the previously proposed methods fall well into such framework. We present a framework of relevance feedback and semantic learning in CBIR. In this framework, low-level features and keyword annotations are integrated in image retrieval and in feedback processes to improve the retrieval performance. We have also extended framework to a content-based web image search engine in which hosting web pages are used to collect relevant annotations for images and users' feedback logs are used to refine annotations. A prototype system has developed to evaluate our proposed schemes, and our experimental results indicated that our approach outperforms traditional CBIR system and relevance feedback approaches.
Extracting information from heterogeneous information sources using ontologically specified target views
Authors: Joachim Biskup, David W. Embley
Venue: Information Systems (2003)

Being deluged by exploding volumes of structured and unstructured data contained in databases, data warehouses, and the global Internet, people have an increasing need for critical information that is expertly extracted and integrated in personalized views. Allowing for the collective efforts of many data and knowledge workers, we offer in this paper a framework for addressing the issues involved. In our proposed framework we assume that a target view is specified ontologically and independently of any of the sources, and we model both the target and all the sources in the same modeling language. Then, for a given target and source we generate a target-to-source mapping, that has the necessary properties to enable us to load target facts from source facts. The mapping generator raises specific issues for a user's consideration, but is endowed with defaults to allow it to run to completion with or without user input. The framework is based on a formal foundation, and we are able to prove that when a source has a valid interpretation, the generated mapping produces a valid interpretation for the part of the target loaded from the source.
Developing web-based experiments
Authors: Charles B. Pheatt, Jorge L. Ballester
Venue: Journal of Computing Sciences in Colleges (2003)

The focus of this article is to describe the implementation and design considerations of an experimental setting that is available on the World Wide Web. This resource allows instructors to incorporate an experimentation component into courses without the difficulties of acquiring equipment, setting up equipment or creating a laboratory environment. Students with access to the Internet can easily conduct experiments as well as gather data from previously conducted experiments and use this data for investigation and analysis.
COBOL and Visual Basic on .NET: A Guide for the Reformed Mainframe Programmer
Authors: Chris L. Richardson
Venue:  (2003)

:About the AuthorChris L. Richardson is a Senior Software Engineer on a .NET Web development project at a Fortune 500 company. Before making the transition to Windows and Web programming, he held senior programmer/analyst positions on the mainframe platform. For the majority of his 20+ years in the Information Technology field, he has developed using COBOL, CICS, and DB2. Chris proudly reminds people of his mainframe background and jokingly refers to himself as a reformed mainframe programmer. He divides his leisure time between entrepreneurial endeavors (such as his recent startup: California-based eClectic Software Solutions) and studying for his next Microsoft Certification exam.