Results 61 to 70 of about 719,735 (175)
TeDDy: Templated decision diagram library
SoftwareXDiscrete functions are an integral part of numerous areas of research in mathematics and computer science. Efficient processing of such functions in a computer requires an appropriate representation.
Michal Mrena +2 more
doaj +1 more source
Adjacent transformations in permutations [PDF]
Discrete Mathematics & Theoretical Computer Science, 2011 We continue a study of the equivalence class induced on $S_n$ when one is permitted to replace a consecutive set of elements in a permutation with the same elements in a different order.
Adeline Pierrot +2 more
doaj +1 more source
Trichotomy for Integer Linear Systems Based on Their Sign Patterns [PDF]
, 2012 In this paper, we consider solving the integer linear systems, i.e., given a matrix A in R^{m*n}, a vector b in R^m, and a positive integer d, to compute an integer vector x in D^n such that Ax 1. This, for example, includes the existing results that
Kimura, Kei, Makino, Kazuhisa
core +2 more sources
Fractional order control: A bibliometric analysis (2000–2022)
Results in Control and OptimizationFractional order control is one of the most important enablers of advanced closed loop industrial automation systems. This paper presents a detailed bibliometric study of fractional order control related research published during the past two decades ...
Pritesh Shah +3 more
doaj +1 more source
Kronecker coefficients: the tensor square conjecture and unimodality [PDF]
Discrete Mathematics & Theoretical Computer Science, 2014 We consider two aspects of Kronecker coefficients in the directions of representation theory and combinatorics. We consider a conjecture of Jan Saxl stating that the tensor square of the $S_n$-irreducible representation indexed by the staircase partition
Igor Pak, Greta Panova, Ernesto Vallejo
doaj +1 more source
Structure determination of the (3sqrt{3}x3sqrt{3}) reconstructed alpha-Al_2O_3(0001)
, 2002 Grazing-incidence X-ray diffraction data are combined with energy-minimization calculations to analyse the atomic structure of the Al-rich (3sqrt{3} x 3sqrt{3})R 30 deg reconstructed surface of sapphire alpha-Al_2O_3(0001).
Barth +19 more
core +1 more source
Dynamics of the Picking transformation on integer partitions [PDF]
Discrete Mathematics & Theoretical Computer Science, 2003 This paper studies a conservative transformation defined on families of finite sets. It consists in removing one element from each set and adding a new set composed of the removed elements.
Thi Ha Duong Phan, Eric Thierry
doaj +1 more source
Integer polyhedra for program analysis [PDF]
, 2009 Polyhedra are widely used in model checking and abstract interpretation. Polyhedral analysis is effective when the relationships between variables are linear, but suffers from imprecision when it is necessary to take into account the integrality of the ...
A. Barvinok +19 more
core +2 more sources
Algorithms for computing the double cut and join distance on both gene order and intergenic sizes
Algorithms for Molecular Biology, 2017 Background Combinatorial works on genome rearrangements have so far ignored the influence of intergene sizes, i.e. the number of nucleotides between consecutive genes, although it was recently shown decisive for the accuracy of inference methods (Biller ...
Guillaume Fertin +2 more
doaj +1 more source
Sorting probability for large Young diagrams
Discrete Analysis, 2021 Sorting probability for large Young diagrams, Discrete Analysis 2021:24, 57 pp. Let $P=(X,\leq_P)$ be a finite partially ordered set (or _poset_, for short). A _linear extension_ $L$ of $P$ is a total ordering $\leq_L$ on $X$ such that for every $x,y\in
Swee Hong Chan, Igor Pak, Greta Panova
doaj +1 more source