English
Related papers

Related papers: Partial order alignment by adjacencies and breakpo…

200 papers

It is shown how piecewise differentiable functions $F: \mathbb R^n \mapsto \mathbb R^m $ that are defined by evaluation programs can be approximated locally by a piecewise linear model based on a pair of sample points $\check x$ and $\hat…

Numerical Analysis · Mathematics 2017-08-14 Andreas Griewank , Tom Streubel , Lutz Lehmann , Manuel Radons , Richard Hasenfelder

An algebraic linear ordering is a component of the initial solution of a first-order recursion scheme over the continuous categorical algebra of countable linear orderings equipped with the sum operation and the constant 1. Due to a general…

Formal Languages and Automata Theory · Computer Science 2010-02-10 Stephen L. Bloom , Zoltan Esik

We use the method of monotone iterations to obtain fixed point and coupled fixed point results for mixed monotone operators in the setting of partially ordered sets, with no additional assumptions on the partial order and with no…

General Topology · Mathematics 2013-08-23 Mircea-Dan Rus

In the development of operational semantics of concurrent systems, a key decision concerns the adoption of a suitable notion of execution model, which basically amounts to choosing a class of partial orders according to which events are…

Formal Languages and Automata Theory · Computer Science 2024-07-19 Maciej Koutny , Lukasz Mikulski

Many discrete optimization problems amount to selecting a feasible set of edges of least weight. We consider in this paper the context of spatial graphs where the positions of the vertices are uncertain and belong to known uncertainty sets.…

Data Structures and Algorithms · Computer Science 2022-09-27 Marin Bougeret , Jérémy Omer , Michael Poss

Solutions to multi-objective optimization problems can generally not be compared or ordered, due to the lack of orderability of the single objectives. Furthermore, decision-makers are often made to believe that scaled objectives can be…

Optimization and Control · Mathematics 2022-05-31 Sebastian Hönel , Welf Löwe

Reconfigurable interaction induces another dimension of nondeterminism in concurrent systems which makes it hard to reason about the different choices of the system from a global perspective. Namely, (1) choices that correspond to…

Logic in Computer Science · Computer Science 2021-08-02 Yehia Abd Alrahman , Mauricio Martel , Nir Piterman

In the graph balancing problem the goal is to orient a weighted undirected graph to minimize the maximum weighted in-degree. This special case of makespan minimization is NP-hard to approximate to a factor better than 3/2 even when there…

Data Structures and Algorithms · Computer Science 2016-09-13 Deeparnab Chakrabarty , Kirankumar Shiragur

In higher education, data is collected that indicate the term(s) that a course is taken and when it is passed. Often, study plans propose a suggested course order to students. Study planners can adjust these based on detected deviations…

Computers and Society · Computer Science 2024-10-23 Christian Rennert , Mahsa Pourbafrani , Wil van der Aalst

The quality of consequences in a decision making problem under (severe) uncertainty must often be compared among different targets (goals, objectives) simultaneously. In addition, the evaluations of a consequence's performance under the…

Artificial Intelligence · Computer Science 2022-12-15 Christoph Jansen , Georg Schollmeyer , Thomas Augustin

Listing triangles is a fundamental graph problem with many applications, and large graphs require fast algorithms. Vertex ordering allows the orientation of edges from lower to higher vertex indices, and state-of-the-art triangle listing…

Data Structures and Algorithms · Computer Science 2022-11-03 Fabrice Lécuyer , Louis Jachiet , Clémence Magnien , Lionel Tabourier

We revisit the well-known problem of sorting under partial information: sort a finite set given the outcomes of comparisons between some pairs of elements. The input is a partially ordered set P, and solving the problem amounts to…

Data Structures and Algorithms · Computer Science 2013-01-22 Jean Cardinal , Samuel Fiorini , Gwenaël Joret , Raphaël Jungers , J. Ian Munro

A preferential arrangement of a finite set is an ordered partition. Associated with each such ordered partition is a chain of subsets or blocks endowed with a linear order. The chain may be split into sections by the introduction of a…

Combinatorics · Mathematics 2015-04-07 S. Nkonkobe , V. Murali

Partial linear models have been widely used as flexible method for modelling linear components in conjunction with non-parametric ones. Despite the presence of the non-parametric part, the linear, parametric part can under certain…

Statistics Theory · Mathematics 2013-07-04 Patric Müller , Sara van de Geer

An adaptive regularization algorithm using high-order models is proposed for partially separable convexly constrained nonlinear optimization problems whose objective function contains non-Lipschitzian $\ell_q$-norm regularization terms for…

Optimization and Control · Mathematics 2021-05-31 Xiaojun Chen , Philippe Toint , Hong Wang

An archetypal problem discussed in computer science is the problem of searching for a given number in a given set of numbers. Other than sequential search, the classic solution is to sort the list of numbers and then apply binary search.…

Computational Complexity · Computer Science 2015-03-20 Philon Nguyen

In the Strip Packing problem, we are given a vertical strip of fixed width and unbounded height, along with a set of axis-parallel rectangles. The task is to place all rectangles within the strip, without overlaps, while minimizing the…

Data Structures and Algorithms · Computer Science 2025-12-19 Stefan Hougardy , Bart Zondervan

Stanley's inequalities for partially ordered sets establish important log-concavity relations for sequences of linear extensions counts. Their extremals however, i.e., the equality cases of these inequalities, were until now poorly…

Combinatorics · Mathematics 2023-12-01 Zhao Yu Ma , Yair Shenfeld

The problem of reconstructing a sequence of independent and identically distributed symbols from a set of equal size, consecutive, fragments, as well as a dependent reference sequence, is considered. First, in the regime in which the…

Information Theory · Computer Science 2023-07-20 Nir Weinberger , Ilan Shomorony

Classically, a mainstream approach for solving a convex-concave min-max problem is to instead solve the variational inequality problem arising from its first-order optimality conditions. Is it possible to solve min-max problems faster by…

Optimization and Control · Mathematics 2025-11-06 Henry Shugart , Jason M. Altschuler