An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems

2011 ◽  
Author(s):  
Hidenao Iwane ◽  
Hitoshi Yanami ◽  
Hirokazu Anai
Keyword(s):  
Optimization Problems ◽  
Cylindrical Algebraic Decomposition ◽  
Effective Implementation

scholarly journals Greedy algorithms in Datalog

2001 ◽  
Vol 1 (4) ◽  
pp. 381-407 ◽  
Author(s):  
SERGIO GRECO ◽  
CARLO ZANIOLO
Keyword(s):  
Optimization Problems ◽  
Greedy Algorithms ◽  
Design Of Algorithms ◽  
Effective Implementation ◽  
Implementation Techniques ◽  
Research Challenge ◽  
Storage Structures ◽  
Selection Of ◽  
Stable Models

In the design of algorithms, the greedy paradigm provides a powerful tool for solving efficiently classical computational problems, within the framework of procedural languages. However, expressing these algorithms within the declarative framework of logic-based languages has proven a difficult research challenge. In this paper, we extend the framework of Datalog-like languages to obtain simple declarative formulations for such problems, and propose effective implementation techniques to ensure computational complexities comparable to those of procedural formulations. These advances are achieved through the use of the choice construct, extended with preference annotations to effect the selection of alternative stable-models and nondeterministic fixpoints. We show that, with suitable storage structures, the differential fixpoint computation of our programs matches the complexity of procedural algorithms in classical search and optimization problems.

The Relevance of Energy Service Contracts in the Budget Sphere

2018 ◽  
pp. 64-68
Author(s):  
George V. Boos ◽  
Elena Yu. Matveeva
Keyword(s):  
Public Sector ◽  
Institutional Development ◽  
The Public ◽  
Debt Burden ◽  
Comprehensive Plan ◽  
Effective Implementation ◽  
Service Contracts ◽  
The Face ◽  
Energy Service ◽  
The Russian Federation

The problematic aspects related to the implementation of energy saving policy in the budget sphere are examined in the article. The factors hindering the mass and effective implementation of energysaving measures are highlighted in the article. Among these factors, there is the technical complexity of energysaving projects, the presence of innovative and investment risks, problems with the financial provision of costs in the face of increasing debt burden in most public budgets. The article concludes that in these circumstances only the energy service contract is a tool that allows implementing energy­saving measures without the first participation of budgetary funds in financing and allows transferring the risks of making technically inefficient decisions directly to the investor. In the article, the authors substantiate the importance of the institutional development of energy services directly in the public sector and analyze the measures of the comprehensive plan to improve the energy efficiency of the economy of the Russian Federation aimed at expanding the scope of energy service contracts in the public sector.

Comparison of Meta-heuristic Algorithms on Benchmark Functions

2019 ◽  
Vol 2 (3) ◽  
pp. 508-517
Author(s):  
FerdaNur Arıcı ◽  
Ersin Kaya
Keyword(s):  
Heuristic Algorithms ◽  
Optimization Problems ◽  
Search Algorithm ◽  
Optimization Algorithms ◽  
Gravitational Search Algorithm ◽  
Differential Evolution Algorithm ◽  
Population Based ◽  
Time Interval ◽  
Bee Colony ◽  
Different Characteristics

Optimization is a process to search the most suitable solution for a problem within an acceptable time interval. The algorithms that solve the optimization problems are called as optimization algorithms. In the literature, there are many optimization algorithms with different characteristics. The optimization algorithms can exhibit different behaviors depending on the size, characteristics and complexity of the optimization problem. In this study, six well-known population based optimization algorithms (artificial algae algorithm - AAA, artificial bee colony algorithm - ABC, differential evolution algorithm - DE, genetic algorithm - GA, gravitational search algorithm - GSA and particle swarm optimization - PSO) were used. These six algorithms were performed on the CEC’17 test functions. According to the experimental results, the algorithms were compared and performances of the algorithms were evaluated.

“Collective Redress” in European Competition Law

2016 ◽  
Vol 14 (4) ◽  
pp. 388-414
Author(s):  
Alexandra P. Mikroulea
Keyword(s):  
Hybrid System ◽  
Competition Law ◽  
Mixed System ◽  
Basic Question ◽  
Effective Implementation ◽  
The United Kingdom ◽  
Collective Redress ◽  
Opt Out ◽  
Private Autonomy ◽  
European Competition Law

AbstractOpt-in or opt-out? That is the basic question to be answered. The decision to promote actions of “opt-in” type as opposed to those of the “opt-out” type, for the sake of private autonomy, does not ensure the effective application of european competition law. On the contrary, it may decrease the application’s intensity and effectiveness. Recent reforms among European state members such as in the United Kingdom, Belgium, the Netherlands, Denmark and Norway are powerful indications that the opt-out principle may result in the effective implementation of competition law. There is no doubt that a mixed system (hybrid system), providing the court with the power to decide in favour of either the opt-in or the opt-out system, will result in better implementation of competition law. At the present time there are two pending cases in England (Dorothy Gibson and Mastercard) for which the decision on opt-out or opt-in are highly anticipated. Should the court decide, in one or both of the cases, on an opt-out approach, this will bring a momentous reevaluation of the entire collective redress concept.

Sign in / Sign up

Export Citation Format

Share Document