Results 181 to 190 of about 734,348 (361)
Improved upper and lower bounds for modal logics of programs
Moshe Y. Vardi, L. Stockmeyer
semanticscholar +1 more source
Upper and lower bounds in relator spaces.
Summary: An ordered pair \(X({\mathcal N}) = (X,{\mathcal N})\) consisting of a nonvoid set \(X\) and a nonvoid family \({\mathcal N}\) of binary relations on \(X\) is called a relator space. Relator spaces are straightforward generalizations not only of uniform spaces, but also of ordered sets. Therefore, in a relator space we can naturally define not
openaire +2 more sources
In this study, the interplay of dipolar dynamics and ionic charge transport in MOF compounds is investigated. Synthesizing the novel structure CFA‐25 with integrated freely rotating dipolar groups, local and macroscopic effects, including interactions with Cs cations are explored.
Ralph Freund +6 more
wiley +1 more source
This work presents an overview of the PTC‐VMD system for water‐hydrogen co‐generation. a) Illustration of the hydrogel‐based PTC membrane and the co‐generation of water and hydrogen. b) Structure of the PTC‐VMD system and the functions of each component layer.
Jiawei Sun +7 more
wiley +1 more source
The ultraselective H2S detection of the ZIF‐L/SnS2 heterostructure is demonstrated. The introduction of 2‐dimensional (2D) breathable ZIF‐L results in a substantial increase in H2S selectivity attributable to the molecular sieving effect, which impedes the permeation of gases with large kinetic diameters and high polarity.
Soo Min Lee +7 more
wiley +1 more source
Thermally Induced Gelling Systems Based on Patchy Polymeric Micelles
A novel strategy to design thermally induced gelling systems with tunable material properties is reported. Polymeric mixed‐shell micelles displaying multiple thermosensitive patchy domains formed hydrogels by assembling into well‐entangled worm‐like network structures upon heating to body temperature. The patchy micelle design significantly affects the
Binru Han +9 more
wiley +1 more source
Ultrahigh Piezoelectricity in Truss‐Based Ferroelectric Ceramics Metamaterials
By leveraging the unique combination of polarization direction and loading state, ultrahigh piezoelectricity is achieved through careful tuning of the relative density and scaling ratio in truss‐based ferroelectric metamaterials. This approach enables the simultaneous realization of extremely high piezoelectric constants and ultralow dielectric ...
Jiahao Shi +6 more
wiley +1 more source
Lower and upper bounds for attacks on authentication protocols [PDF]
Scott D. Stoller
openalex +1 more source
Lower and Upper Bounds for Positive Bases of Skein Algebras [PDF]
Thang T. Q. Lê +2 more
openalex +1 more source
Structurally Colored Physically Unclonable Functions with Ultra‐Rich and Stable Encoding Capacity
This study reports a design strategy for generating bright‐field resolvable physically unclonable functions with extremely rich encoding capacity coupled with outstanding thermal and chemical stability. The optical response emerges from thickness‐dependent structural color formation in ZnO features, which are fabricated by physical vapor deposition ...
Abidin Esidir +8 more
wiley +1 more source

