English
Related papers

Related papers: Problem Structures in the Theory and Practice of S…

200 papers

The paper presents complexity results and performance guaranties for a family of approximation algorithms for an optimisation problem arising in software testing and manufacturing. The problem is formulated as a partitioning of a set where…

Data Structures and Algorithms · Computer Science 2022-12-13 Yakov Zinder , Bertrand M. T. Lin , Joanna Berlińska

As David Berlinski writes (1997), the existence and nature of mathematics is a more compelling and far deeper problem than any of the problems raised by mathematics itself. Here we analyze the essence of mathematics making the main emphasis…

History and Overview · Mathematics 2017-09-21 Mark Burgin

The current investigations on hyper-heuristics design have sprung up in two different flavours: heuristics that choose heuristics and heuristics that generate heuristics. In the latter, the goal is to develop a problem-domain independent…

Artificial Intelligence · Computer Science 2010-06-10 German Terrazas , Dario Landa-Silva , Natalio Krasnogor

In this survey we consider polynomial optimization problems, asking to minimize a polynomial function over a compact semialgebraic set, defined by polynomial inequalities. This models a great variety of (in general, nonlinear nonconvex)…

Optimization and Control · Mathematics 2025-01-16 Monique Laurent , Lucas Slot

We discuss a structural approach to subset-sum problems in additive combinatorics. The core of this approach are Freiman-type structural theorems, many of which will be presented through the paper. These results have applications in various…

Combinatorics · Mathematics 2008-04-22 Van Vu

Planning is a notoriously difficult computational problem of high worst-case complexity. Researchers have been investing significant efforts to develop heuristics or restrictions to make planning practically feasible. Case-based planning is…

Artificial Intelligence · Computer Science 2013-07-18 Ronald de Haan , Anna Roubíčková , Stefan Szeider

Mappings to structured output spaces (strings, trees, partitions, etc.) are typically learned using extensions of classification algorithms to simple graphical structures (eg., linear chains) in which search and parameter estimation can be…

Machine Learning · Computer Science 2009-07-07 Hal Daumé , Daniel Marcu

Emergence and causality are two fundamental concepts for understanding complex systems. They are interconnected. On one hand, emergence refers to the phenomenon where macroscopic properties cannot be solely attributed to the cause of…

Physics and Society · Physics 2024-02-27 Bing Yuan , Zhang Jiang , Aobo Lyu , Jiayun Wu , Zhipeng Wang , Mingzhe Yang , Kaiwei Liu , Muyun Mou , Peng Cui

Fractional calculus is a generalization of classical theories of integration and differentiation to arbitrary order (i.e., real or complex numbers). In the last two decades, this new mathematical modeling approach has been widely used to…

Logic in Computer Science · Computer Science 2016-08-10 Umair Siddique , Osman Hasan , Sofiène Tahar

Graph-based representations of images have recently acquired an important role for classification purposes within the context of machine learning approaches. The underlying idea is to consider that relevant information of an image is…

Machine Learning · Computer Science 2011-06-07 Alejandro Chinea , Elka Korutcheva

Inverse problems arise in a variety of imaging applications including computed tomography, non-destructive testing, and remote sensing. The characteristic features of inverse problems are the non-uniqueness and instability of their…

Numerical Analysis · Mathematics 2020-06-09 Markus Haltmeier , Linh V. Nguyen

In certain real-world optimization scenarios, practitioners are not interested in solving multiple problems but rather in finding the best solution to a single, specific problem. When the computational budget is large relative to the cost…

Machine Learning · Computer Science 2026-02-10 Judith Echevarrieta , Etor Arza , Aritz Pérez , Josu Ceberio

Structural analysis is a method for verifying equation-oriented models in the design of industrial systems. Existing structural analysis methods need flattening of the hierarchical models into an equation system for analysis. However, the…

Other Computer Science · Computer Science 2021-10-28 Chao Wang , Li Wan , Tifan Xiong , Yuanlong Xie , Shuting Wang , Jianwan Ding , Liping Chen

As Physics did in previous centuries, there is currently a common dream of extracting generic laws of nature in economics, sociology, neuroscience, by focalising the description of phenomena to a minimal set of variables and parameters,…

Physics and Society · Physics 2016-10-14 Fatihcan M. Atay , Sven Banisch , Philippe Blanchard , Bruno Cessac , Eckehard Olbrich

The aim of this work is to develop general optimization methods for finite difference schemes used to approximate linear differential equations. The specific case of the transport equation is exposed. In particular, the minimization of the…

Analysis of PDEs · Mathematics 2007-05-23 Claire David , Pierre Sagaut

Document Summarization is the procedure of generating a meaningful and concise summary of a given document with the inclusion of relevant and topic-important points. There are two approaches: one is picking up the most relevant statements…

Computation and Language · Computer Science 2023-01-19 Siddhant Porwal , Laxmi Bewoor , Vivek Deshpande

The paper addresses a new class of combinatorial problems which consist in restructuring of solutions (as structures) in combinatorial optimization. Two main features of the restructuring process are examined: (i) a cost of the…

Data Structures and Algorithms · Computer Science 2011-02-10 Mark Sh. Levin

The feasibility-seeking approach provides a systematic scheme to manage and solve complex constraints for continuous problems, and we explore it for the floorplanning problems with increasingly heterogeneous constraints. The classic…

Optimization and Control · Mathematics 2023-04-17 Shan Yu , Yair Censor , Ming Jiang , Guojie Luo

Projections onto sets are used in a wide variety of methods in optimization theory but not every method that uses projections really belongs to the class of projection methods as we mean it here. Here projection methods are iterative…

Optimization and Control · Mathematics 2014-09-08 Yair Censor , Andrzej Cegielski

In order to work with mathematical content in computer systems, it is necessary to represent it in formal languages. Ideally, these are supported by tools that verify the correctness of the content, allow computing with it, and produce…

Logic in Computer Science · Computer Science 2020-05-27 Cezary Kaliszyk , Florian Rabe
‹ Prev 1 8 9 10 Next ›