Narrow Results

The emergence of decentralized finance (DeFi) allows arbitrageurs to obtain risk-free income from price gaps of cryptocurrency tokens in many global markets. Several automated arbitrage techniques have been invented to profit from single or multiple platforms, including Centralized and Decentralized Exchange (CEX and DEX), triangular, and DEX-Fait. This paper proposes the arbitrage strategy of cross-cryptocurrency exchanges (ASCEX), a novel automated arbitrage strategy for CEX-DEX platforms, to maximize profit and loss (PNL) using a token route searching algorithm. Based on feature comparison, ASCEX outperforms the existing trading strategies available. Our actual trade experiment shows that ASCEX can generate up to 0.95% monthly risk-free profit compared to 0.34% trading on DEX alone.

In this work, we consider term rewriting from a functional point of view. A rewrite rule is a function that can be applied to a term using an explicit application function. From this starting point, we show how to build more elaborated functions, describing first rewrite derivations, then sets of derivations. These functions, that we call strategies, can themselves be defined by rewrite rules and the construction can be iterated leading to higher-order strategies. Furthermore, the application function is itself defined using rewriting in the same spirit. We present this calculus and study its properties. Its implementation in the language is used to motivate and exemplify the whole approach. The expressiveness of is illustrated by examples of polymorphic functions and strategies.

In the beginning (the early 1960s), the long-term goal of automated reasoning (although the field at the time was not known by that name) was the design and implementation of a program whose use would lead to "real" and significant contributions to mathematics by offering sufficient power for the discovery of proofs. The realization of that goal appeared to be at least six decades in the future. However, with amazement and satisfaction, we can report that fewer than four decades were required. In this article, we present evidence for this claim, thanks to W. McCune's program OTTER. Our focus is on various landmarks, or milestones, of two types. One type concerns the formulation of new strategies and methodologies whose use greatly enhances the power of a reasoning program. A second type focuses on actual contributions to mathematics and (although not initially envisioned) to logic. We give examples of each type of milestone, and, perhaps of equal importance, demonstrate that advances are far more likely to occur if the two classes are closely intertwined. We draw heavily on material presented in great detail in the new book Automated Reasoning and the Discovery of Missing and Elegant Proofs, published by Rinton Press.

This study explores the use of rough-set methods for marketing decision support systems in the retail business. A tutorial presentation of Rough Set Data Analysis (RSDA) in the context of knowledge discovery from time series databases is given. We show how an RSDA model can be used to develop a marketing decision support system which can capture the complex relationships between marketing factors, such as advertising and promotion, and the total impact on sales levels in order to find influential advertising strategies. This information is used by the business manager to make faster and better strategy decisions for the business to survive in the rapidly changing and competitive environments. The data set used for RSDA application example contains weekly investments in different media categories: TV, radio, cinema, morning press, evening press, popular press, special interest press, and outdoor posters; for seven makes of cars in the Swedish market.

Over the last few decades, Corporate Social Responsibility (CSR) disclosures become a powerful driver of overall stakeholders’ development while the relationship between CSR and its performance has provided conflicting results due to the most used intersecting circle representation of assessment of CSR. This study fills an important gap by analyzing the framework of CSR assessment practices on identification of five criteria and 17 indicators encompassing the strategies of accountability, transparency and compliance of CSR. To achieve the goal of CSR, the strategies have been defined in connection with different literatures and quaternary survey for criteria selection, where the criteria are expressed in a fuzzy horizon. This multi-criteria decision-making (MCDM) model has been solved using a fuzzy analytical networking process and balanced scorecard (BSC) method to develop selection strategy and criteria for implementation of CSR. The paper’s outcomes help administrators of corporate sectors, particularly in developing countries, to follow sustainable actions as CSR providers effectively and to gain a significant reasonable advantage. The findings exposed the CSR assessment structure and interrelationships among BSC perspectives/criteria and indicators on which managers are needed to emphasize to get optimum CSR performance. In this study, the most important strategy and criteria to perform optimum CSR level are as follows: “accountability of CSR project” is the best strategy; “Project team work, incentives, Environmental resources, Communication for motivation, Reporting initiative of stockholders, CSR project with stockholder capital, Strategic governance, Mission sustainability, political role, Human resources”, respectively, are criteria.

Innovation is widely recognized as a major driver of long-term corporate growth. Successful innovators who manage to dominate new markets enjoy Schumpeterian rents for their inventions. How then can a firm dominate a new market? Two streams of literature have proposed opposite answers to this question.

The First Mover approach indicates that by setting up a strong differentiation strategy, companies are supposed to create a new area where profits abound. This approach is supported especially by Kim and Mauborgne (2004) who coined the term Blue Ocean to describe it.

The Fast Second approach, defended by Markides and Geroski (2005), contends, on the contrary, that companies should not try to become pioneers, but should target the newly created market in second position, and colonize it.

But neither Blue Ocean nor Fast Second are able to convincingly explain successful market domination. Our study of 24 innovation cases suggests that innovation which leads to market domination is instead achieved by using four kinds of breakthroughs, separately of simultaneously.

Active network provides a programmable interface to the user where users dynamically inject services into the intermediate nodes. This paper discussed the issue, which in the tradition network management exists, and has analyzed the active network management system structure and the management mechanism. The paper propose a mobile agent management mechanism based on active network, and analyze this network management system structure, and study emphasis on the system structure, the management mechanism, the management strategy.

The term automated reasoning (first introduced in 1980) accurately describes the objective of the field, the automation of logical reasoning. This article introduces scientists to the field and then briefly describes the papers found in this special issue.

When given a set of properties or conditions (say, three) that are claimed to be equivalent, the claim can be verified by supplying what we call a circle of proofs. In the case in point, one proves the second property or condition from the first, the third from the second, and the first from the third. If the proof that 1 implies 2 does not rely on 3, then we say that the proof is pure with respect to 3, or simply say the proof is pure. If one can renumber the three properties or conditions in such a way that one can find a circle of three pure proofs—technically, each proof pure with respect to the condition that is neither the hypothesis nor the conclusion—then we say that a circle of pure proofs has been found. Here we study the specific question of the existence of a circle of pure proofs for the thirteen shortest single axioms for equivalential calculus, subject to the requirement that condensed detachment be used as the rule of inference. For an indication of the difficulty of answering the question, we note that a single application of condensed detachment to the (shortest single) axiom known as P4 (also known as U M) with itself yields the (shortest single) axiom P5 (also known as X G F), and two applications of condensed detachment beginning with P5 as hypothesis yields P4. Therefore, except for P5, one cannot find a pure proof of any of the twelve shortest single axioms when using P4 as hypothesis or axiom, for the first application of condensed detachment must focus on two copies of P4, which results in the deduction of P5, forcing P5 to be present in all proofs that use P4 as the only axiom. Further, the close proximity in the proof sense of P4 when using as the only axiom P5 threatens to make impossible the discovery of a circle of pure proofs for the entire set of thirteen shortest single axioms. Perhaps more important than our study of pure proofs, and of a more general nature, we also present the methodology used to answer the cited specific question, a methodology that relies on various strategies and features offered by W. McCune's automated reasoning program OTTER The strategies and features of OTTER we discuss here offer researchers the needed power to answer deep questions and solve difficult problems. We close this article (in the last two sections) with some challenges and some topics for research and (in the Appendix) with a sample input file and some proofs for study.

As technologies become more open and easily applied, they will be used extensively as they promise competitive advantage through more efficient and effective management of supply chain processes. At the same time, however, they represent a potential trap for organizations thinking that they will supplant the need for effective strategy formulation, appropriate management of resources, or effective change and knowledge management systems. The management of the supply chain will be facilitated by more sophisticated technologies, but the organizations that are likely to benefit most will still be those able to choose, implement, and manage technologies appropriate to the requirements of their trading partner networks. A set of propositions and a framework explaining the nature of these relationships is presented.

Three issues on the evolution of software under Internet (SUI), including sense of changes, decision and the execution of evolution, were focused and discussed. And a process-aware framework was proposed to support the implementation of such evolution. In it, the business process model of software can be reedited or changed as required by using a visualized design tool, BPDesigner. And then the updated business process model and its changes can be automatically propagated to process engine. The latter can call the analyzer for changes, an analysis program, to evaluate the scale and status of the changes and, according to the result of evaluation, select the evolving strategy. After that, activity instance scheduler together with change locators can be called to cooperatively implement the process-oriented evolution of SUI by operating the caching sequence of activity and service instances.