Results 101 to 110 of about 18,279 (288)
A Remark on Lattice Models of Second-Order Intuitionistic Propositional Logic (Theory and Applications of Proof and Computation) [PDF]
, 2022 We summarize a topological representation of the completely distributive algebraic lattices. This together with the discussion in [KF19] gives a definition of lattice models from an abstract viewpoint, with respect to which the completeness of the basic ...
Fujita, Ken-etsu, Kurata, Toshihiko
core
Advanced Engineering Materials, EarlyView.A distinct semi‐confined inner‐tube chemical vapor deposition geometry enables reproducible, large‐area growth of phase‐pure 2D β′‐In2Se3 from InI + Se precursors. Engineering local vapor transport and optimizing precursor delivery and temperature–time conditions yield uniform continuous films.
Dasun P. W. Guruge +8 more
wiley +1 more source
Extensions of fuzzy connectives on ACDL [PDF]
, 2019 summary:The main goal of this paper is to construct fuzzy connectives on algebraic completely distributive lattice(ACDL) by means of extending fuzzy connectives on the set of completely join-prime elements or on the set of completely meet-prime elements,
Liu, Hui, Zhao, Bin
core +1 more source
Advanced Engineering Materials, EarlyView.Composite Ti–6Al–4V–epoxy lattice structures are additively manufactured and epoxy infiltrated for cyclic loading. At low lattice volume fractions, hybridization produces synergistic gains in stiffness and energy dissipation. At higher volume fractions, synergy diminishes, although composites still exceed metallic lattices in specific energy ...
Joey Tallon +3 more
wiley +1 more source
Sheffer operation in relational systems. [PDF]
Soft comput, 2022 Chajda I, Länger H.
europepmc +1 more source
Advanced Engineering Materials, EarlyView.This review highlights advances in lightweight, lead‐free polymer nanocomposites for diagnostic X‐ray shielding. By linking filler chemistry, dispersion, architecture, and photon interaction mechanisms, it establishes structure–performance relationships guiding material design.
Aklilu G. Messele +2 more
wiley +1 more source
Ensuring the boundedness of the core of games with restricted cooperation [PDF]
The core of a cooperative game on a set of players N is one of the most popular concept of solution. When cooperation is restricted (feasible coalitions form a subcollection F of 2N), the core may become unbounded, which makes it usage questionable in ...
Michel Grabisch
core
elements in the lattice of overcommutative semigroup varieties, Matematicheskie Zametki
, 2020 -The distributive, codistributive, standard, costandard, and neutral elements of the lattice of overcommutative varieties of semigroups are completely ...
B M Vernikov
core
, 2009 A prime algebraic lattice can be characterised as isomorphic to the downwards-closed subsets, ordered by inclusion, of its complete primes. It is easily seen that the downwards-closed subsets of a partial order form a completely distributive algebraic ...
Glynn Winskel, Winskel, Glynn
core +1 more source
Influence of Geometric Design on Mechanical Performance of Auxetic Metastructure
Advanced Engineering Materials, EarlyView.Strategic geometric reinforcement transforms auxetic performance. This study evaluates 3D‐printed arrowhead metastructures, revealing that a modified design with local ring reinforcement suppresses premature failure to achieve superior energy absorption and structural efficiency.
Muhammad Gulzari +3 more
wiley +1 more source