English
Related papers

Related papers: Developing solution algorithm for LR-type fully in…

200 papers

This paper presents the first study of the complexity of the optimization problem for integer linear-exponential programs which extend classical integer linear programs with the exponential function $x \mapsto 2^x$ and the remainder…

Logic in Computer Science · Computer Science 2025-10-17 S Hitarth , Alessio Mansutti , Guruprerana Shabadi

This paper primarily presents two methods of ranking aggregated fuzzy numbers from intervals using the Interval Agreement Approach (IAA). The two proposed ranking methods within this study contain the combination and application of…

Artificial Intelligence · Computer Science 2020-12-07 Justin Kane Gunn , Hadi Akbarzadeh Khorshidi , Uwe Aickelin

In this paper, linear systems with a crisp real coefficient matrix and with a vector of fuzzy triangular numbers on the right-hand side are studied. A new method, which is based on the geometric representations of linear transformations, is…

Numerical Analysis · Computer Science 2011-11-03 N. Gasilov , Şahin Emrah Amrahov , A. Golayoglu Fatullayev , H. I. Karakas , O. Akin

Differentiable systems in this paper means systems of equations that are described by differentiable real functions in real matrix variables. This paper proposes algorithms for finding minimal rank solutions to such systems over (arbitrary…

Optimization and Control · Mathematics 2017-05-30 Thanh Hieu Le

In this paper, bi-level linear programming problem with multiple objectives at each level in intuitionistic fuzzy environment is studied and solved.

Optimization and Control · Mathematics 2015-12-08 Shashi Aggarwal , Chavi Gupta

In this paper, systems of linear differential equations with crisp real coefficients and with initial condition described by a vector of fuzzy numbers are studied. A new method based on the geometric representations of linear…

Numerical Analysis · Computer Science 2011-11-03 N. Gasilov , Sh. G. Amrahov , A. Golayoglu Fatullayev

Aiming at the group decision - making problem with multi - objective attributes, this study proposes a group decision - making system that integrates fuzzy inference and Bayesian network. A fuzzy rule base is constructed by combining…

Artificial Intelligence · Computer Science 2025-05-01 Shui-jin Rong , Wei Guo , Da-qing Zhang

The superiority and inferiority ranking (SIR) method is a generation of the well-known PROMETHEE method, which can be more efficient to deal with multi-criterion decision making (MCDM) problem. Intuitionistic fuzzy sets (IFSs), as an…

Artificial Intelligence · Computer Science 2011-07-07 Junyi Chai , James N. K. Liu

In this work, we present a modeling framework for minimax mixed 0-1 fuzzy linear problems. It is based on extending the usual rewriting of crisp minimax problems via auxiliary variables to model the maximum of a finite set of fuzzy linear…

Optimization and Control · Mathematics 2018-02-21 Manuel Arana-Jiménez , Víctor Blanco

Neuro-symbolic integration aims at harnessing the power of symbolic knowledge representation combined with the learning capabilities of deep neural networks. In particular, Logic Tensor Networks (LTNs) allow to incorporate background…

Computer Vision and Pattern Recognition · Computer Science 2023-08-01 Francesco Manigrasso , Lia Morra , Fabrizio Lamberti

This paper discusses a class of uncertain optimization problems, in which unknown parameters are modeled by fuzzy intervals. The membership functions of the fuzzy intervals are interpreted as possibility distributions for the values of the…

Data Structures and Algorithms · Computer Science 2020-09-15 Adam Kasperski , Pawel Zielinski

Several deep learning (DL) approaches have been proposed to deal with image classification tasks. However, despite their effectiveness, they lack interpretability, as they are unable to explain or justify their results. To address the…

Computer Vision and Pattern Recognition · Computer Science 2025-04-07 Georgia Sovatzidi , Michael D. Vasilakakis , Dimitris K. Iakovidis

ETP is NP Hard combinatorial optimization problem. It has received tremendous research attention during the past few years given its wide use in universities. In this Paper, we develop three mathematical models for NSOU, Kolkata, India…

Artificial Intelligence · Computer Science 2013-07-09 Arindam Chaudhuri , Kajal De

The AI community is increasingly focused on merging logic with deep learning to create Neuro-Symbolic (NeSy) paradigms and assist neural approaches with symbolic knowledge. A significant trend in the literature involves integrating axioms…

Artificial Intelligence · Computer Science 2023-06-27 Samy Badreddine , Luciano Serafini , Michael Spranger

Consider a linear programming problem with n primal and m dual variables paired with n dual and m primal slack variables respectively, and aggregately denote these variables and slack variables as a vector z of length 2(n+m). Unlike…

Optimization and Control · Mathematics 2026-05-20 Wei Jing-Yuan

The scope of this work is the constraint-based synthesis of termination arguments for the restricted class of programs called linear lasso programs. A termination argument consists of a ranking function as well as a set of supporting…

Logic in Computer Science · Computer Science 2014-01-22 Jan Leike

This paper examines the nonconvex quadratically constrained quadratic programming (QCQP) problems using an iterative method. One of the existing approaches for solving nonconvex QCQP problems relaxes the rank one constraint on the unknown…

Optimization and Control · Mathematics 2016-09-12 Chuangchuang Sun , Ran Dai

Identifying control-friendly models of nonlinear systems remains one of the major challenges at the intersection of system identification and control. The Linear Parameter-Varying (LPV) framework offers a promising solution, but existing…

Systems and Control · Electrical Eng. & Systems 2026-05-13 Roel Drenth , Jan H. Hoekstra , Maarten Schoukens , Roland Tóth

Information Retrieval-based Fault Localization (IRFL) techniques aim to identify source files containing the root causes of reported failures. While existing techniques excel in ranking source files, challenges persist in bug report…

Software Engineering · Computer Science 2024-12-06 Shuai Shao , Tingting Yu

In case of decision making problems, classification of pattern is a complex and crucial task. Pattern classification using multilayer perceptron (MLP) trained with back propagation learning becomes much complex with increase in number of…

Neural and Evolutionary Computing · Computer Science 2016-01-15 Tirtharaj Dash , H. S. Behera