The expressiveness of MTL with counting [PDF]
It is well known that MTL with integer endpoints is unable to express all of monadic first-order logic of order and metric (FO(<,+1)). Indeed, MTL is unable to express the counting modalities $C_n$ that assert a properties holds $n$ times in the next time interval. We show that MTL with the counting modalities, MTL+C, is expressively complete for FO(<,+
arxiv
This work presents a high‐throughput computational screening of organic molecular crystals for piezoelectric applications. Using DFT calculations, the study identifies key organic materials with significant piezoelectric responses and introduces CrystalDFT, a comprehensive database for scalable analysis, providing a data‐driven foundation for future ...
Shubham Vishnoi+4 more
wiley +2 more sources
Supramolecular architectures in luminescent Zn(II) and Cd(II) complexes containing imidazole derivatives: Crystal structures, vibrational and thermal properties, Hirshfeld surface analysis and electrostatic potentials [PDF]
Alejandro Di Santo+5 more
openalex +1 more source
Bis(N′-{(E)-[(2E)-1,3-diphenylprop-2-en-1-ylidene]amino}-N-ethylcarbamimidothioato-κ2N′,S)zinc(II): crystal structure and Hirshfeld surface analysis [PDF]
Ming Yueh Tan+4 more
openalex +1 more source
Ferroelectric polymers for energy storage and conversion are suffering from severe energy losses despite their highly electroactive functions. Here an organic–inorganic hybrid—perfluorinated polyhedral oligomeric silsesquioxane (F‐POSS) is synthesized to markedly suppress losses in ferroelectric polymers for achieving efficient energy storage and ...
Li Li+9 more
wiley +1 more source
Crystal structure and Hirshfeld surface analysis of the new cyclodiphosphazane [EtNP(S)NMe2]2 [PDF]
Chokri Issaoui+3 more
openalex +1 more source
This new non‐centrosymmetric compound, characterized by several techniques, emits a yellow‐orange light whose coordinates in the CIE are very close to those of white light. In this compound, the values of the optical band and the fundamental band indicate the suitability of the studied material for optoelectronic applications. ABSTRACT A novel compound,
Sarra Bougossa+3 more
wiley +1 more source
The crystallization of the compound 5α‐bromo‐6β,19‐epoxy‐androstan‐3β,17β‐diol diacetate (1) from saturated solutions of acetone and DMSO yielded two isostructural solvates (Forms II and III, respectively). Using microcrystalline samples of the solvates and solid‐state NMR, through the 2H Quadrupolar Spin‐echo pulse sequence, it was determined the ...
Josué Vazquez‐Chavez+4 more
wiley +1 more source
[N′-(4-Decyloxy-2-oxidobenzylidene)-3-hydroxy-2-naphthohydrazidato-κ3N,O,O′]dimethyltin(IV): crystal structure and Hirshfeld surface analysis [PDF]
Siti Nadiah Binti Mohd Rosely+5 more
openalex +1 more source
Hirshfeld Surface Analysis for Investigation of Intermolecular Interaction of Molecular Crystals
Shintaro Suda+3 more
semanticscholar +1 more source