English
Related papers

Related papers: An algebraic approach to project schedule developm…

200 papers

Asynchronous programming has appeared as a programming style that overcomes undesired properties of concurrent programming. Typically in asynchronous models of programming, methods are posted into a post list for latter execution. The order…

Programming Languages · Computer Science 2015-01-06 Mohamed A. El-Zawawy

We study the class of idempotent-generated pseudo-composition algebras, which is a subclass of the family of axial algebras. More specifically, we utilise the group-algebra correspondence, natural to the axial framework in order to study…

Group Theory · Mathematics 2024-05-28 Vsevolod A. Afanasev

A semi-projective representation is a homomorphism of a finite group into the group of semi-projective transformations of a finite dimensional vector space over a field. Schur's concept of a representation group for projective…

Group Theory · Mathematics 2023-05-05 Massimiliano Alessandro , Christian Gleissner , Julia Kotonski

Event-driven architecture has been widely adopted in the software industry, emerging as an alternative to modular development to support rapid adaptations of constantly evolving systems. However, little is known about the effects of…

Software Engineering · Computer Science 2023-08-11 Luan Lazzari , Kleinner Farias

While almost all existing works which optimally solve just-in-time scheduling problems propose dedicated algorithmic approaches, we propose in this work mixed integer formulations. We consider a single machine scheduling problem that aims…

Data Structures and Algorithms · Computer Science 2021-02-15 Anne-Elisabeth Falq , Pierre Fouilhoux , Safia Kedad-Sidhoum

We study special idempotents (as described by Bushnell and Kutzko) and split idempotents in the context of module and derived categories for idempotented algebras. We then characterize these concepts for path algebras of quivers.

Representation Theory · Mathematics 2018-06-15 Arnab Mitra , Rishi Vyas

Project scheduling in manufacturing environments often requires flexibility in terms of the selection and the exact length of alternative production activities. Moreover, the simultaneous scheduling of multiple lots is mandatory in many…

Artificial Intelligence · Computer Science 2020-10-26 Viktoria A. Hauder , Andreas Beham , Sebastian Raggl , Sophie N. Parragh , Michael Affenzeller

It is well-known that by adding integrality constraints to the semidefinite programming (SDP) relaxation of the max-cut problem, the resulting integer semidefinite program is an exact formulation of the problem. In this paper we show…

Optimization and Control · Mathematics 2023-11-09 Frank de Meijer , Renata Sotirov

Discontinuity with respect to data perturbations is common in algebraic computation where solutions are often highly sensitive. Such problems can be modeled as solving systems of equations at given data parameters. By appending auxiliary…

Numerical Analysis · Mathematics 2021-02-17 Zhonggang Zeng

In the talk at the workshop my aim was to demonstrate the usefulness of graph techniques for tackling problems that have been studied predominantly as problems on the term level: increasing sharing in functional programs, and addressing…

Logic in Computer Science · Computer Science 2019-02-07 Clemens Grabmayer

We extend the conforming virtual element method to the numerical resolution of eigenvalue problems with potential terms on a polytopal mesh. An important application is that of the Schrodinger equation with a pseudopotential term. This…

Numerical Analysis · Mathematics 2018-04-04 Ondrej Certik , Francesca Gardini , Gianmarco Manzini , Giuseppe Vacca

We consider a decision-making problem to evaluate absolute ratings of alternatives from the results of their pairwise comparisons according to two criteria, subject to constraints on the ratings. We formulate the problem as a bi-objective…

Optimization and Control · Mathematics 2021-02-08 Nikolai Krivulin

Integer programs for resource-constrained project scheduling problems are notoriously hard to solve due to their weak linear relaxations. Several papers have proposed reformulating project scheduling problems via Dantzig-Wolfe decomposition…

Optimization and Control · Mathematics 2025-01-09 Maximilian Kolter , Martin Grunow , Rainer Kolisch

We deal with equations over free semilattice of infinite rank and prove that any infinite consistent system of equations is equivalent to its finite subsystem. Moreover, we describe irreducible algebraic sets and solve some algorithmic…

Algebraic Geometry · Mathematics 2014-01-14 Artem N. Shevlyakov

Recent algorithmic advances in algebraic automata theory drew attention to semigroupoids (semicategories). These are mathematical descriptions of typed computational processes, but they have not been studied systematically in the context of…

Formal Languages and Automata Theory · Computer Science 2025-09-30 Attila Egri-Nagy , Chrystopher L. Nehaniv

Multigrid methods are well suited to large massively parallel computer architectures because they are mathematically optimal and display excellent parallelization properties. Since current architecture trends are favoring regular compute…

Numerical Analysis · Mathematics 2022-05-31 Victor A. Paludetto Magri , Robert D. Falgout , Ulrike M. Yang

A framework is developed for applying accelerated methods to general hyperbolic programming, including linear, second-order cone, and semidefinite programming as special cases. The approach replaces a hyperbolic program with a convex…

Optimization and Control · Mathematics 2017-05-30 James Renegar

In this paper, we provide a new scheme for approximating the weakly efficient solution set for a class of vector optimization problems with rational objectives over a feasible set defined by finitely many polynomial inequalities. More…

Optimization and Control · Mathematics 2022-05-26 Feng Guo , Liguo Jiao

Project and task scheduling under uncertainty remains a fundamental challenge in program and project management, where accurate estimation of task durations and dependencies is critical for delivering complex, multi project systems. The…

Machine Learning · Computer Science 2025-05-09 Azgar Ali Noor Ahamed

The problem of deciding whether CSP instances admit solutions has been deeply studied in the literature, and several structural tractability results have been derived so far. However, constraint satisfaction comes in practice as a…

Artificial Intelligence · Computer Science 2013-07-19 Gianluigi Greco , Francesco Scarcello