Results 121 to 130 of about 391,233 (284)
Coding in the Partial Order of Enumerable Sets
, 1998 We develop methods for coding with first-order formulas into the partial order E of enumerable sets under inclusion. First we use them to reprove and generalize the (unpublished) result of the first author that the elementary theory of E has the same ...
Nies, André, Harrington, Leo
core +1 more source
Advanced Engineering Materials, EarlyView.Low‐voltage FIB‐SEM tomography combined with a image preprocessing pipeline improves phase contrast and enables reliable machine‐learning segmentation of conductive networks in lithium‐ion battery electrodes. Structural descriptors are extracted from segmented images, done semimanually and automated, and compared.
Lisa Beran +6 more
wiley +1 more source
From Sazonov's Non-Dcpo Natural Domains to Closed Directed-Lub Partial Orders
CoRR, 2016 Normann proved that the domains of the game model of PCF (the domains of sequential functionals) need not be dcpos. Sazonov has defined natural domains for a theory of such incomplete domains. This paper further develops that theory. It defines lub-rules that infer natural lubs from existing natural lubs, and lub-rule classes that describe axiom ...
openaire +2 more sources
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
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
Some applications of matching theorems
, 2010 PhDThis thesis contains the results of two investigations. The rst concerns the 1- factorizability of regular graphs of high degree. Chetwynd and Hilton proved in 1989 that all regular graphs of order 2n and degree 2n where > 1 2 ( p 7 1) 0 ...
Vaughan, Emil Richard
core
Experimental Characterization of Mycelium‐Based Composites Under Multiple Loading Conditions
Advanced Engineering Materials, EarlyView.This study examines the mechanical response of mycelium‐based composites under compression, shear, and tension using mechanical testing and imaging methods. The comparison between unpressed and hot‐pressed specimens shows that hot pressing is associated with higher compression and shear stiffnesses.
Shaghayegh Elahi +5 more
wiley +1 more source
Gongye shui chuliIn order to solve the problem of high concentration of free ammonia(FA) inhibiting ammonia oxidizing bacteria and causing high concentration of ammonia nitrogen wastewater to be unable biologically treated, natural zeolite was used to alleviate the ...
CHEN Xu +5 more
doaj +1 more source
, 2008 The use of phytoplankton as a quality indicator has been adopted by the European Water Frame Directive issued in 2000 (WFD 2000/60CE), which has widen the connotation of biological survey by shifting the attention from an anthropocentric view of natural ...
R. Brüggemann, E. Garofalo, P. Annoni
core
Advanced Engineering Materials, EarlyView.This article presents an experimental and numerical modal investigation of composite sandwich structures using surfboards as model systems. By comparing different core materials and reinforcement strategies, the study demonstrates how local stiffeners influence vibrational response and introduce characteristic modal features, highlighting modal ...
Brett Connellan +4 more
wiley +1 more source