Virtual Elements on polyhedra with a curved face
Bulletin of Mathematical Sciences, 2023 We revisit classical Virtual Element approximations on polygonal and polyhedral decompositions. We also recall the treatment proposed for dealing with decompositions into polygons with curved edges.
Franco Brezzi, L. Donatella Marini
doaj +1 more source
State-Space Region-Invariance of Discrete-Time Control Systems
IEEE Access, 2023 In the paper, the so-called region-invariance properties of discrete-time control systems are considered. An already known notion of positivity of control systems has been generalized (using a kind of geometric insight instead of a pure algebraic ...
Wiktor Malesza, Michal Slawomir Wiraszka
doaj +1 more source
Motion generation of a planar 3R serial chain based on conformal geometric algebra with applications to planar linkages [PDF]
Mechanical Sciences, 2022 A planar three-revolute (3R) serial chain is an important part of many mechanisms. The classical approach in motion generation of a planar 3R serial chain is to construct closed-loop equations based on complex numbers, which yields a large-scale ...
L. Wang +7 more
doaj +1 more source
Deforming $||.||_{1}$ into $||.||_{\infty}$ via Polyhedral Norms: A Pedestrian Approach
SIAM Review, 2022 Motivated by the sparsity that appears in various relevant applications, polyhedral norms are thoroughly investigated, novel expressions of the unit balls associated with them are provided, and all the facets and vertices of these balls are determined. A similar treatment is given to the corresponding dual norms.
Gaudioso, Manlio +1 more
openaire +3 more sources
Polyhedral Analysis using Parametric Objectives [PDF]
, 2012 The abstract domain of polyhedra lies at the heart of many program analysis techniques. However, its operations can be expensive, precluding their application to polyhedra that involve many variables.
A. Miné +21 more
core +3 more sources
Editing Watertight Manifold Polyhedra using Face Shifts with Automatic Topological Updates and Edge Flips [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information SciencesIn the context of urban 3D mapping, the 3D modelling step is a crucial operation, which can be very error prone, particularly when high fidelity and accuracy are required. While automatic reconstruction tools are way faster and less expensive than manual
F. Geniet, M. Brédif, B. Vallet
doaj +1 more source
Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We present an approach to constrained Horn clause (CHC) verification combining three techniques: abstract interpretation over a domain of convex polyhedra, specialisation of the constraints in CHCs using abstract interpretation of query-answer ...
Bishoksan Kafle, John P. Gallagher
doaj +1 more source
A Polyhedral Approach for a Constrained Matching Problem [PDF]
Discrete & Computational Geometry, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hefner, A., Kleinschmidt, P.
openaire +1 more source
Ergodic Control and Polyhedral Approaches to PageRank Optimization [PDF]
IEEE Transactions on Automatic Control, 2013 We study a general class of PageRank optimization problems which consist in finding an optimal outlink strategy for a web site subject to design constraints. We consider both a continuous problem, in which one can choose the intensity of a link, and a discrete one, in which in each page, there are obligatory links, facultative links and forbidden links.
Fercoq, Olivier +3 more
openaire +3 more sources
LMGC90: a Contact Dynamics open source code for the simulation of granular asteroid with realistic regolith shapes. Application to the accretion process [PDF]
EPJ Web of Conferences, 2021 Granular asteroids are naturally occurring gravitational aggregates (rubble piles) bound together by gravitational forces. For this reason, it is reasonable to use the theoretical concepts and numerical tools developed for granular media to study them ...
Sánchez Paul +3 more
doaj +1 more source