Results 21 to 30 of about 54,610 (362)

The Octahedron Abstract Domain [PDF]

Science of Computer Programming, 2004
An interesting area in static analysis is the study of numeric properties. Complex properties can be analyzed using abstract interpretation, provided that an adequate abstract domain is defined. Each domain can represent and manipulate a family of properties, providing a different trade-off between the precision and complexity of the analysis.
Clarisó Viladrosa, Robert, Cortadella, Jordi   +1 more
openaire   +2 more sources

On the volume of a spherical octahedron with symmetries [PDF]

Journal of Mathematical Sciences, 2009
In the present paper, closed integral formulas for the volumes of spherical octahedra and hexahedra having nontrivial symmetries are established. Trigonometrical identities involving lengths of edges and dihedral angles (the sine-tangent rules) are obtained. This gives the possibility of expressing the lengths in terms of angles.
Nikolay Abrosimov, Mauricio Godoy Molina, Alexander Mednykh   +2 more
openalex   +3 more sources

Landscapes of the Octahedron [PDF]

The landscapes of a polyhedron are subsets of its nets one must consider to identify all shortest paths. Landscapes of cubes and tetrahedra have been used to identify coordinate based formulas for the lengths of the shortest paths between points on these surfaces. We extend these results to develop formulas for the lengths of the shortest paths between
Emiko Saso, Houston Schuerger, Xin Shi
openalex   +3 more sources

Atomic Insights into Ti Doping on the Stability Enhancement of Truncated Octahedron LiMn2O4 Nanoparticles

Nanomaterials, 2021
Ti-doped truncated octahedron LiTixMn2-xO4 nanocomposites were synthesized through a facile hydrothermal treatment and calcination process. By using spherical aberration-corrected scanning transmission electron microscopy (Cs-STEM), the effects of Ti ...
Wangqiong Xu, Hongkai Li, Yonghui Zheng, W. Lei, Zhenguo Wang, Yan Cheng, R. Qi, Hui-Qi Peng, Hechun Lin, F. Yue, Rong Huang   +10 more
semanticscholar   +1 more source

The microstrain-accompanied structural phase transition from h-MoO3 to α-MoO3 investigated by in situ X-ray diffraction

Beilstein Journal of Nanotechnology, 2023
In situ X-ray diffraction indicates that the structural phase transition from h-MoO3 to α-MoO3 is a first-order transition with a phase transition temperature range of 378.5–443.1 °C.
Zeqian Zhang, Honglong Shi, Boxiang Zhuang, Minting Luo, Zhenfei Hu   +4 more
doaj   +1 more source

Synthesis, Structure, and Electronic Properties of [Cr₆@Sn₈Sb₈(en)₂]^3-: A Cr₆ Octahedron Encapsulated in a Zintl-Ion Ligand. [PDF]

J Am Chem Soc
Chen WX, Manley A, Li ZS, McGrady JE, Sun ZM.   +4 more
europepmc   +2 more sources

A Novel Decision-Making Process in the Environment of Generalized Version of Fuzzy Sets for the Selection of Energy Source

Advances in Mathematical Physics, 2022
In this study, we focus our attention on a kind of generalized fuzzy set. This generalized fuzzy set is known as neutrosophic octahedron sets (NOSs). NOSs are a combination of neutrosophic, intuitionistic fuzzy, and octahedron sets that provide a better ...
Joseph David Madasi, Salma Khan, Nasreen Kausar, Dragan Pamucar, Gezahagne Mulat Addis, Muhammad Gulistan   +5 more
doaj   +1 more source

Magnetotactic Coccus Strain SHHC-1 Affiliated to Alphaproteobacteria Forms Octahedral Magnetite Magnetosomes

Frontiers in Microbiology, 2017
Magnetotactic bacteria (MTB) are morphologically and phylogenetically diverse prokaryotes. They can form intracellular chain-assembled magnetite (Fe3O4) or greigite (Fe3S4) nanocrystals each enveloped by a lipid bilayer membrane called a magnetosome ...
Heng Zhang, Heng Zhang, Heng Zhang, Heng Zhang, Nicolas Menguy, Nicolas Menguy, Fuxian Wang, Fuxian Wang, Fuxian Wang, Karim Benzerara, Eric Leroy, Peiyu Liu, Peiyu Liu, Peiyu Liu, Wenqi Liu, Wenqi Liu, Wenqi Liu, Chunli Wang, Yongxin Pan, Yongxin Pan, Zhibao Chen, Jinhua Li, Jinhua Li, Jinhua Li   +23 more
doaj   +1 more source

A transformable anisotropic 3D penta-mode metamaterial

Materials & Design, 2023
Penta-mode metamaterials, composed by solids but behaving as liquid, have great potential in manipulating acoustic wave in fluids. Most work concentrates on 2D penta-mode metamaterial consisting of classic honeycomb lattice and their acoustic ...
Zhibo Wei, Zhou Hu, Rui Zhu, Yan Chen, Gengkai Hu   +4 more
doaj   +1 more source

On Computation of Degree-Based Entropy of Planar Octahedron Networks

Journal of Function Spaces, 2022
Chemical graph theory is the combination of mathematical graph theory and chemistry. To analyze the biocompatibility of the compounds, topological indices are used in the research of QSAR/QSPR studies.
Tian-Le Sun, Haidar Ali, Bilal Ali, Usman Ali, Jia-Bao Liu, Parvez Ali   +5 more
doaj   +1 more source