A heuristic method for bi-decomposition of partial Boolean functions
The problem of decomposition of a Boolean function is to represent a given Boolean function in the form of a superposition of some Boolean functions whose number of arguments are less than the number of given function.
Yu. V. Pottosin
doaj +1 more source
Hydrological characterization of the Usumacinta River Basin towards the preservation of environmental services [PDF]
The Usumacinta basin is characterized by aboundance of natural and scenic resources. It also houses a vast biodiversity (wich also means invaluable genetic resources). Its river is the longest in Mexico (main channel length of 927 km).
F.-O. Tapia-Silva+2 more
doaj +1 more source
The standard form of a representation-finite algebra
. - The importance of covering techniques for the investigation of the representations of finite-dimensional algebras is well-known since [RI 1] and [BG]. When the algebra A admits only finitely many isomorphism classes of indecomposable representations,
O. Bretscher, P. Gabriel
semanticscholar +1 more source
Abstract Integrated dynamic scheduling (IDS) and economic nonlinear model predictive control (eNMPC) enable economic operation of chemical plants subject to volatile energy prices. Herein, we combine the two concepts into an integrated two‐layer scheme. Therein, IDS performs “long‐horizon” scheduling on a day‐ahead (DA) market and eNMPC “short‐horizon”
Jan C. Schulze+3 more
wiley +1 more source
High‐order multigrid strategies for hybrid high‐order discretizations of elliptic equations
Abstract This study compares various multigrid strategies for the fast solution of elliptic equations discretized by the hybrid high‐order method. Combinations of h$$ h $$‐, p$$ p $$‐, and hp$$ hp $$‐coarsening strategies are considered, combined with diverse intergrid transfer operators.
Daniele A. Di Pietro+3 more
wiley +1 more source
Territorial planning of transport network with landslide susceptibility mapping. Case study: Timiş-Cerna corridor, Romania [PDF]
In this paper we present the importance of landslide susceptibility mapping for territorial planning applications on local and regional transportation networks.
Beniamin Stoica-Fuchs
doaj
A Thread Algebra with Multi-Level Strategic Interleaving
In a previous paper we developed an algebraic theory about threads and a form of concurrency where some deterministic interleaving strategy determines how threads that exist concurrently are interleaved.
J. Bergstra, K. Middelburg
semanticscholar +1 more source
Generalized optimization framework for synthesis of thermally coupled distillation columns
Abstract In this article, a generalized optimization framework is proposed for the synthesis of thermally coupled distillation systems within an equation‐oriented environment. The proposed framework consists of three components: an efficient superstructure representation, a novel mathematical formulation, and the associated solution algorithm ...
Chao Liu, Yingjie Ma, Jie Li
wiley +1 more source
Efficient formulation of a two‐noded geometrically exact curved beam element
Abstract The article extends the formulation of a 2D geometrically exact beam element proposed by Jirásek et al. (2021) to curved elastic beams. This formulation is based on equilibrium equations in their integrated form, combined with the kinematic relations and sectional equations that link the internal forces to sectional deformation variables.
Martin Horák+2 more
wiley +1 more source
On the dimension of the minimal vertex cover semigroup ring of an unmixed bipartite graph
In a paper in 2008, Herzog, Hibi and Ohsugi introduced and studied the semigroup ring associated to the set of minimal vertex covers of an unmixed bipartite graph.
Cristina Bertone, Vincenzo Micale
doaj