Results 61 to 70 of about 224 (217)
The four uniform completions of a unital archimedean vector lattice [PDF]
In the category \(\mathbf{V}\) of unital archimedean vector lattices, four notions of uniform completeness obtain. In all cases completeness requires the convergence of uniformly Cauchy sequences; the completions are distinguished by the manner in which ...
Ball, R. N., Hager, A. W.
core +1 more source
A Wyler-type approach to categorical topology [PDF]
, 1989 Bibliography: pages 74-77.Chapter 0 contains a summary of well-known terminology which will subsequently be used in the thesis. In Chapter 1 we begin by describing how topological categories may be viewed as categories of models corresponding to theories
Vajner, Václav
core
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
p-adic vertex operator algebras. [PDF]
Res Number Theory, 2023 Franc C, Mason G.
europepmc +1 more source
Aggregation Functionals on Complete Lattices
Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2011), 2011 The aim of this paper is to introduce some classes of aggregation functionals when the evaluation scale is a complete lattice. Two different types of aggregation functionals are introduced and investigated. We consider a target-based approach that has been studied in Decision Theory and we focus on the equivalence between a utility-based approach and ...
openaire +4 more sources
Substructurality and residuation in logic and algebra [PDF]
, 2015 A very and natural way of introducing a logic is by using a sequent calculus, or Gentzen system. These systems are determined by specifying a set of axioms and a set of rules. Axioms are then starting points from which we can derive new consequences by
Gil Ferez, Josè, GIL FEREZ, JOSE'
core
Precipitation Simulations of the O‐Phase in Ti2AlNb Alloys Processed by Laser Powder Bed Fusion
Advanced Engineering Materials, EarlyView.Simulated and experimental evolution of the O‐phase volume fraction during postprocessing of a Ti‐21Al‐25Nb (at.%) alloy processed by laser powder bed fusion. With results of sensitivity to input parameters from a thorough and quantified analysis, the interfacial energy matrix/precipitate is the most relevant input parameter for the simulation of the O‐
Silvana Tumminello +7 more
wiley +1 more source
The Birkhoff Completion of Finite Lattices
We introduce the Birkhoff completion as the smallest distributive lattice in which a given finite lattice can be embedded as semi-lattice. We discuss its relationship to implicational theories, in particular to R. Wille's simply-implicational theories. By an example, we show how the Birkhoff completion can be used as a tool for ordinal data science.
Mohammad Abdulla +2 more
openaire +2 more sources
A Dislocation Perspective on Strength and Toughness in Ceramics
Advanced Engineering Materials, EarlyView.Dislocations in ceramics enjoy a long but yet under‐appreciated history. The three research waves for dislocations in ceramics highlight the topic evolution over the last 90 years. This review focuses on the impact of dislocation on strength and toughness in ceramics.
Xufei Fang
wiley +1 more source
Comparison of Triply Periodic Minimal Surface Energy Absorbers Under Uniaxial Compressive Loading
Advanced Engineering Materials, EarlyView.This study investigates LCD 3D printed Triply Periodic Minimal Surface (TPMS) structures as mechanical energy absorbers. By comparing various base designs and layered combinations under uniaxial compression, it identifies that a Diamond‐Gyroid sandwich structure offers superior performance.
Sergej Grednev +2 more
wiley +1 more source