Results 11 to 20 of about 2,208 (163)

On expandability of models of arithmetic and set theory to models of weak second-order theories [PDF]

, 1984
Matt Kaufmann
semanticscholar   +2 more sources

UNDEFINABLE CLASSES AND DEFINABLE ELEMENTS IN MODELS OF SET THEORY AND ARITHMETIC [PDF]

, 1988
A. Enayat
semanticscholar   +3 more sources

Unidirectional Tape‐Based Composites from Hemp and Pineapple Leaf Fiber: Mechanical Performance in Conventional and Bio‐Based Matrices

Advanced Engineering Materials, EarlyView.
The study investigates novel semi‐finished products made of unidirectionally arranged hemp or pineapple leaf fiber‐reinforced composites produced from different matrices. The materials are analyzed in terms of their mechanical and interfacial properties and void content.
Nina Graupner, Raja Bade, Valentin Ackermann, Roja M. Baumann, Corvin Bischoff, Jona F. Ebeling, Oskar Glenz, Marlo Groh, Jonathan Groth, Finja Hiller, Tom Hirschmüller, Felix Menke, Syntcha Ngantchou Lecdou, Mika Ohler, Daniel Rafii Vardiny, Darius Richter, Dario Röper, Henrik Schumacher, Theresa Stein, Benjamin Vorbeck, Elisabeth Wermter, Kay Kölzig, Jörg Müssig   +22 more
wiley   +1 more source

Bimetallic Nanoparticles as Cocatalysts for Photocatalytic Hydrogen Production

Advanced Functional Materials, EarlyView.
Recent developments have introduced bimetallic nanoparticles as effective cocatalysts for photocatalytic systems. This review explores the rapidly expanding research on bimetallic cocatalysts for photocatalytic production of hydrogen, emphasizing the creation of carrier‐selective contacts, localized surface plasmon resonance effects, methodologies for ...
Yufen Chen, Asier Agrelo‐Lestón, Ignasi Burgués‐Ceballos, Jordi Llorca, Lluís Soler   +4 more
wiley   +1 more source

Photo‐Switching Thermal and Lithium‐Ion Conductivity in Azobenzene Polymers

Advanced Functional Materials, EarlyView.
Light‐responsive azobenzene polymers control thermal and ionic transport simultaneously through structural transitions. UV illumination disrupts π–π stacking, converting crystalline trans states to amorphous cis configurations. Thermal conductivity drops from 0.45 to 0.15 W·m−1·K−1 while Li+ diffusivity increases 100 fold. This dual transport switching
Jaeuk Sung, Jungwoo Shin, Qiujie Zhao, Minjee Kang, Christopher Evans, Cecilia Leal, Paul V. Braun, David G. Cahill   +7 more
wiley   +1 more source

Emergent Freestanding Complex Oxide Membranes for Multifunctional Applications

Advanced Materials, EarlyView.
This review surveys freestanding oxide membranes and covers fabrication and three pathways for studies and devices: strain‐free and strained membranes, and van der Waals‐integrated heterostructures. We show how coupled oxide responses map onto these routes and cross‐couple to expand behaviors.
Baowen Li, Yanran Liu, Jinjin Liu, Josephine Si Yu See, Kaijian Xing, Dong‐Chen Qi, Xiao Renshaw Wang   +6 more
wiley   +1 more source

Anti‐Slip Material‐Based Strategies and Approaches

Advanced Materials Technologies, EarlyView.
This review highlights the principle mechanisms of slipping at the microscale, linking contact mechanics with a friction behavior model for surface interfaces. Main strategies to develop anti‐slip properties to the surfaces are discussed alongside standardized testing approaches.
Sogand Abbaspoor‐Zanjani, Carlo Antonini, Teresa Gatti, Mengjiao Wang   +3 more
wiley   +1 more source

Hardware acceleration of number theoretic transform for zk‐SNARK

Engineering Reports, EarlyView., 2023
An FPGA‐based hardware accelerator with a multi‐level pipeline is designed to support the large‐bitwidth and large‐scale NTT tasks in zk‐SNARK. It can be flexibly scaled to different scales of FPGAs and has been equipped in the heterogeneous acceleration system with the help of HLS and OpenCL.
Haixu Zhao, Dong Ding, Feng Wang, Pengcheng Hua, Ning Wang, Qin Wu, Zhilei Chai   +6 more
wiley   +1 more source

Tunable Applicator for Microneedle‐Based Medical Devices

Advanced Materials Technologies, EarlyView.
This paper presents a simple, low‐cost tunable applicator (TAPP) for microneedle array patches that uses a material‐agnostic controlled‐fracture mechanism to ensure reliable skin penetration and uniform array engagement. The scalable, modular design is compatible with injection molding and 3D printing, can be integrated directly into patches, and is ...
Dan Ilyn, Jihyun (Luna) Hwang, Ian A. Coates, Jacob Dobson, Andy H. Hung, Netra U. Kamat, John R. Tumbleston, Maria T. Dulay, Gunilla B. Jacobson, Joseph M. DeSimone   +9 more
wiley   +1 more source

Microbial Contribution to Soiling and Its Impact on Photovoltaic Module Soiling in Arid Zones of the Atacama Desert

Advanced Sustainable Systems, EarlyView.
Microorganisms colonizing photovoltaic surfaces in the Atacama desert form biofilms that enhance particle adhesion and reduce energy yield. This study identifies UV‐resistant bacteria and carotenoid‐producing strains that interfere with PV performance.
Douglas Olivares, Ricardo Ortíz, Luis Rojas‐Araya, María Teresa Mata, Felipe Galleguillos, Jaime Llanos, Carlos Portillo, Valentina Escobar, Aitor Marzo   +8 more
wiley   +1 more source