Discrete Tracy--Widom operators. [PDF]
Integrable operators arise in random matrix theory, where they describe the asymptotic eigenvalue distribution of large self-adjoint random matrices from the generalized unitary ensembles.
McCafferty, Andrew, Blower, Gordon
core +4 more sources
A New Discrete Mycorrhiza Optimization Nature-Inspired Algorithm
This paper presents the discrete version of the Mycorrhiza Tree Optimization Algorithm (MTOA), using the Lotka–Volterra Discrete Equation System (LVDES) formed by the Predator–Prey, Cooperative and Competitive Models.
Hector Carreon-Ortiz +2 more
doaj +1 more source
The extremal graphs with respect to their nullity
The nullity of a graph G, denoted by η ( G ) $\eta(G)$ , is the multiplicity of the eigenvalue zero of its adjacency matrix. In this paper, we determine all graphs with η ( G ) = n ( G ) − 2 m ( G ) − c ( G ) $\eta(G)=n(G) - 2m(G) -c(G)$ , where c ( G ) =
Sa Rula, An Chang, Yirong Zheng
doaj +1 more source
Generalised verification of the observer property in discrete event systems [PDF]
The observer property is an important condition to be satisfied by abstractions of Discrete Event Systems (DES) models. This paper presents a generalised version of a previous algorithm which tests if an abstraction of a DES obtained through natural ...
Pena, Patricia N. +4 more
core +1 more source
Conflict-preserving abstraction of discrete event systems using annotated automata [PDF]
This paper proposes to enhance compositional verification of the nonblocking property of discrete event systems by introducing annotated automata. Annotations store nondeterministic branching information, which would otherwise be stored in extra states ...
Malik, Robi, Ware, Simon
core +1 more source
Bicyclic graphs with maximum sum of the two largest Laplacian eigenvalues
Let G be a simple connected graph and S 2 ( G ) $S_{2}(G)$ be the sum of the two largest Laplacian eigenvalues of G. In this paper, we determine the bicyclic graph with maximum S 2 ( G ) $S_{2}(G)$ among all bicyclic graphs of order n, which confirms the
Yirong Zheng +3 more
doaj +1 more source
Discrete element method to simulate continuous material by using the cohesive beam model [PDF]
The mechanical behavior of materials is usually simulated by the continuous mechanics approach. However, simulation of non-continuous phenomena like multi fracturing is not well adapted to a continuous description.
Jean-luc Charles +8 more
core +1 more source
Lagrange Dual Method for Sparsity Constrained Optimization
In this paper, we investigate the l0 quasi-norm constrained optimization problem in the Lagrange dual framework and show that the strong duality property holds.
Wenxing Zhu +3 more
doaj +1 more source
Discrete exterior geometry approach to structure-preserving discretization of distributed-parameter port-Hamiltonian systems [PDF]
This paper addresses the issue of structure-preserving discretization of open distributed-parameter systems with Hamiltonian dynamics. Employing the formalism of discrete exterior calculus, we introduce a simplicial Dirac structure as a discrete analogue
Seslija, Marko, +11 more
core +3 more sources
Discrete Element Method, a Tool to Investigate Complex Material Behaviour in Material Forming [PDF]
Discrete Model is based on the description of the physical state (velocity, position, temperature, magnetic moment, electric potential ..) of a large number of discrete elements that form the media to be studied.
M. G. Lee +11 more
core +1 more source

