Results 21 to 30 of about 979 (179)
Formalizing the Face Lattice of Polyhedra [PDF]
Logical Methods in Computer Science, 2022 Faces play a central role in the combinatorial and computational aspects of polyhedra. In this paper, we present the first formalization of faces of polyhedra in the proof assistant Coq.
Xavier Allamigeon +2 more
doaj +1 more source
Finite element formulations for 3D convex polyhedra in nonlinear continuum mechanics
Computer Assisted Methods in Engineering and Science, 2017 In this paper, we present finite element formulations for general three-dimensional convex polyhedra for use in a common finite element framework that are well suited, e.g., for modeling complex granular materials and for mesh refinements.
Markus Kraus, Paul Steinmann
doaj +1 more source
Mathematics, 2023 In this paper, the design of a dynamic output feedback controller for a networked control system with dual-channel data packet loss and special discrete-time delay is studied, in which the data packet loss is described by the Markov process.
Fan Zhang, Mingang Hua, Mengyu Gao
doaj +1 more source
C*-convexity and C*-Polyhedron
, 2023 A polyhedron in a Banach space is a family of points $\mathcal{X}$ such that for every $x\in \mathcal{X}$, there is a closed convex set $C$ such that $a\notin C$ and $\mathcal{X}\setminus\{x\}\subset C$. In this article, we consider the notion of C*-convexity and introduce the notion of a C*-polyhedron, which is a noncommutative version of the notion ...
openaire +2 more sources
Steinitz theorems for simple orthogonal polyhedra
Journal of Computational Geometry, 2014 We define a simple orthogonal polyhedron to be a three-dimensional polyhedron with the topology of a sphere in which three mutually-perpendicular edges meet at each vertex.By analogy to Steinitz's theorem characterizing the graphs of convex polyhedra, we
David Eppstein, Elena Mumford
doaj +1 more source
Metabolic Pathway Analysis in the Presence of Biological Constraints
Computation, 2021 Metabolic pathway analysis is a key method to study a metabolism in its steady state, and the concept of elementary fluxes (EFs) plays a major role in the analysis of a network in terms of non-decomposable pathways.
Philippe Dague
doaj +1 more source
Horoballs in simplices and Minkowski spaces
International Journal of Mathematics and Mathematical Sciences, 2006 We obtain precise descriptions of all horoballs for Hilbert's geometry on simplices and for normed finite-dimensional vector spaces with norm given by some polyhedron.
A. Karlsson, V. Metz, G. A. Noskov
doaj +1 more source
The Stop Operator Related to a Convex Polyhedron
Journal of Differential Equations, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Desch, Wolfgang, Turi, Janos
openaire +1 more source
Minimum d-convex partition of a multidimensional polyhedron with holes [PDF]
Computer Science Journal of Moldova, 2008 In a normed space Rn over the field of real numbers R, which is an α-space [36, 39], one derives the formula expressing the minimum number of d-convex pieces into which a geometric n-dimensional polyhedron with holes can be partitioned.
Ion Băţ
doaj
Generative Models for Crystalline Materials
Advanced Materials, EarlyView.Generative machine learning models are increasingly used in crystalline materials design. This review outlines major generative approaches and assesses their strengths and limitations. It also examines how generative models can be adapted to practical applications, discusses key experimental considerations for evaluating generated structures, and ...
Houssam Metni +15 more
wiley +1 more source