Results 41 to 50 of about 12,472 (260)

Formalizing Convex Hull Algorithms [PDF]

, 2001
We study the development of formally proved algorithms for computational geometry. The result of this work is a formal description of the basic principles that make convex hull algorithms work and two programs that implement convex hull computation and have been automatically obtained from formally verified mathematical proofs.
Pichardie, David, Bertot, Yves
openaire   +1 more source

Gait Analysis of Pak Biawak: A Necrobot Lizard Built using the Skeleton of an Asian Water Monitor (Varanus Salvator)

Advanced Robotics Research, EarlyView.
Pak Biawak, a necrobot, embodies an unusual fusion of biology and robotics. Designed to repurpose natural structures after death, it challenges conventional boundaries between nature and engineering. Its movements are precise yet unsettling, raising questions about sustainability, ethics, and the untapped potential of biointegrated machines.
Leo Foulds, Donan Satria Yudha, Parvez Alam   +2 more
wiley   +1 more source

Dynamic Convex Hulls under Window-Sliding Updates

Computing in Geometry and Topology
We consider the problem of dynamically maintaining the convex hull of a set S of points in the plane under the following special sequence of insertions and deletions (called window-sliding updates): insert a point to the right of all points of S and ...
Haitao Wang
doaj   +1 more source

New Serial and Parallel Algorithms for Finding Convex Hull Based on Clusters, Domains and Directions from Single to Multitude

Journal of Algorithms & Computational Technology, 2009
An Isomorphic Fundamental Theorem of the Convex Hull Construction is given and proved. A representative serial algorithm convex hull with half-dividing and recurrence is commented as compared example.
Zhou Qihai
doaj   +1 more source

Convex-hull based two-phase algorithm to solve capacitated vehicle routing problem [PDF]

Iranian Journal of Numerical Analysis and Optimization
The goal of this paper is to present a two-phase convex hull-based algorithm for the capacitated vehicle routing problem $(CVRP)$, consisting of clustering and routing phases.
M. Afsharirad, A. Hashemi Borzabadi
doaj   +1 more source

Parameter Identification of Bivariate Fractal Interpolation Surfaces by Using Convex Hulls

Mathematics, 2023
The scope of this article is to identify the parameters of bivariate fractal interpolation surfaces by using convex hulls as bounding volumes of appropriately chosen data points so that the resulting fractal (graph of) function provides a closer fit ...
Vasileios Drakopoulos, Dimitrios Matthes, Dimitrios Sgourdos, Nallapu Vijender   +3 more
doaj   +1 more source

Phase Diagrams and Piezoelectric Properties of Wurtzite Al1−x−yScxGdyN Heterostructural Alloys

Advanced Science, EarlyView.
This study demonstrates ferroelectricity and piezoelectric properties improvement of quaternary wurtzite Al1−x−yScxGdyN${\rm Al}_{1-x-y}{\rm Sc}_x{\rm Gd}_y{\rm N}$ films, guided by density functional theory calculations. Wurtzite Al1−x−yScxGdyN${\rm Al}_{1-x-y}{\rm Sc}_x{\rm Gd}_y{\rm N}$ films have a high optical bandgap, enhanced piezoelectric ...
Julia L. Martin, Cheng‐Wei Lee, Nate S.P. Bernstein, Thi Nguyen, Ande Bryan, Eli Cooper, John S. Mangum, Sage R. Bauers, Andriy Zakutayev, Keisuke Yazawa, Prashun Gorai, Rebecca W. Smaha   +11 more
wiley   +1 more source

mRMR-Tri-ConcaveHull Detector for Floating Small Targets in Sea Clutter

IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing, 2023
For the feature-based detector of small targets in sea clutter, on the one hand, the three-dimensional convex hull-based detector deviates from the distribution of sea clutter vectors in the feature space and only combines the information of low ...
Yanling Shi, Yuefeng Hu
doaj   +1 more source

Sustainable Materials Design With Multi‐Modal Artificial Intelligence

Advanced Science, EarlyView.
Critical mineral scarcity, high embodied carbon, and persistent pollution from materials processing intensify the need for sustainable materials design. This review frames the problem as multi‐objective optimization under heterogeneous, high‐dimensional evidence and highlights multi‐modal AI as an enabling pathway.
Tianyi Xu, Tianshuo Wei, Yan Ge, Bo Peng, Yue Li, Maolin Wang, Peng Wen, Chao Yang, Ye Wei   +8 more
wiley   +1 more source

A categorical approach to abstract convex spaces and interval spaces

Open Mathematics, 2019
In this paper, we establish the axiomatic conditions of hull operators and introduce the category of interval spaces. We also investigate their relations with convex spaces from a categorical sense.
Wang Bing, Li Qing-Hua, Xiu Zhen-Yu
doaj   +1 more source