Results 111 to 120 of about 1,156,029 (304)

Generalized Strong Preservation by Abstract Interpretation

, 2006
Standard abstract model checking relies on abstract Kripke structures which approximate concrete models by gluing together indistinguishable states, namely by a partition of the concrete state space.
Ranzato, Francesco, Tapparo, Francesco
core   +4 more sources

Mechanical properties of aeolian sand cemented via microbially induced calcite precipitation (MICP)

Scientific Reports
The cementation of desert aeolian sand is a key method to control land desertification and dust storms, so an economical, green and durable process to reach the binding between sand grains needs to be searched. The method based on the microbially induced
Gang Li, Yi-jia Zhang, Xue-qing Hua, Jia Liu, Xing Liu   +4 more
doaj   +1 more source

Highly Anisotropic Quasi‐Direct Organic Metal Halide Hybrids: A Platform for Polarization‐Sensitive Optoelectronics

Advanced Materials Technologies, EarlyView.
One‐dimensional C4N2H14PbBr4 is shown to have a quasi‐direct electronic band structure and strongly anisotropic transport with polarized broadband emission. A GW/Bethe–Salpeter excited‐state force formalism, supported by polarized Raman and temperature‐dependent photoluminescence, identifies low–frequency Pb–Br phonons that drive ultrafast exciton self‐
Rijan Karkee, Rafael R. Del Grande, Yeonjoo Lee, Jinkyoung Yoo, Azza Ben‐Akacha, Biwu Ma, Michael T. Pettes, David A. Strubbe   +7 more
wiley   +1 more source

Magnetic Textiles: A Review of Materials, Fabrication, Properties, and Applications

Advanced Materials Technologies, EarlyView.
Magnetic textiles (M‐textiles) are emerging as a programmable materials platform that merges magnetic matter with hierarchical textile structures. This article consolidates magnetic material classes, textile architectures, and fabrication and magnetization strategies, revealing structure–property–function relationships that govern magneto‐mechanical ...
Li Ke, Moses Kumi, Xiaoming Tao, Junhong Pu   +3 more
wiley   +1 more source

Analytical Formulation and Optimization of the Initial Morphology of Double-Layer Cable Truss Flexible Photovoltaic Supports

Buildings
With the rapid development of the photovoltaic industry, flexible photovoltaic supports are increasingly widely used. Parameters such as the deflection, span, and cross-sectional dimensions of cables are important factors affecting their mechanical and ...
Zenghui Di, Fei Wang, Hualong Yu, Xiang Dai, Bin Luo, Xin Liu   +5 more
doaj   +1 more source

Additive‐Manufactured, Multifunctional Bioreactor Technology for Dynamic Culture of 3D Bioprinted Tissue Models

Advanced Materials Technologies, EarlyView.
We introduce an additively manufactured bioreactor with a perfusion flow system and integrated temperature and pH sensors for skeletal muscle tissue biofabrication. The bioreactor's performance was evaluated by assessing the viability, spreading of the myoblast cells in a printed scaffold, and contraction of the isolated murine musculi interossei ...
Lys Sprenger, Johann Schorzmann, Hsuan‐Heng Lu, Muhammad Osama, Julian Bauer, Michael Haug, Oliver Friedrich, Aldo R. Boccaccini, Frank Döpper, Sahar Salehi   +9 more
wiley   +1 more source

Experimental Study of the Effectiveness of Strengthening Reinforced Concrete Slabs with Thermally Prestressed Reinforcement

CivilEng
Conventional strengthening measures for existing structures are usually not effective for the self-weight, which accounts for around 70% of the total load in reinforced concrete structures.
Yannik Schwarz, David Sanio, Peter Mark
doaj   +1 more source

The Evolution of Laser‐Induced Damage Patterns in Polymer Stabilized Liquid Crystals: Insights From Morphological Characterization and Thermo‐Driven Simulations

Advanced Optical Materials, EarlyView.
A dual‐domain PSLC architecture enables direct comparison of alignment‐dependent laser damage within a single device. Crack‐like and seal‐like morphologies emerge under different damage conditions, and their evolution is interpreted through quantitative image analysis and heat‐driven simulations.
Dengcheng Chen, Zoey S. Davidson, Brian P. Radka, Selim Elhadj, Liang‐Chy Chien   +4 more
wiley   +1 more source

Strength prediction and durability performance of concrete containing coal bottom ash as supplementary cementitious material under aggressive environment [PDF]

, 2019
Strength prediction and durability of concrete under aggressive environment requires serious attention for all kind of significant concrete structures.
Ali, Sajjad
core  

Flexural Performance of Cross-Laminated Bamboo (CLB) Slabs and CFRP Grid Composite CLB Slabs

Advances in Civil Engineering, 2019
In order to accord well with the requirements of sustainable development and green construction, a cross-laminated bamboo composed of an odd number of orthogonally oriented layers of bamboo scrimber is proposed in this paper.
Qingfang Lv, Weiyang Wang, Ye Liu
doaj   +1 more source