Results 51 to 60 of about 273,321 (221)
Theory of the beta-type Organic Superconductivity under Uniaxial Compression
We study theoretically the shift of the superconducting transition temperature (Tc) under uniaxial compression in beta-type organic superconductors, beta-(BEDT-TTF)2I3 and beta-(BDA-TTP)2X[X=SbF6,AsF6], in order to clarify the electron correlation, the ...
Beckmann D. +33 more
core +1 more source
What Do Large Language Models Know About Materials?
If large language models (LLMs) are to be used inside the material discovery and engineering process, they must be benchmarked for the accurateness of intrinsic material knowledge. The current work introduces 1) a reasoning process through the processing–structure–property–performance chain and 2) a tool for benchmarking knowledge of LLMs concerning ...
Adrian Ehrenhofer +2 more
wiley +1 more source
This paper presents a case study on the application of simultaneous inversion (SI) technique and well log analysis to accurately seismic-geomechanical characterization of Asmari formation in an Iranian oil field.
Ahsan Leisi, Navid Shad Manaman
doaj +1 more source
Graded refractive index (GRI) structures are prepared from the layer‐by‐layer spray coating of the mesoporous SiO2 nanoparticles, showing high solar transparency and thermal emissivity. Under outdoor conditions, after 50 days, the GRI‐coated photovoltaics show on average 6.65 ± 1.48 °C lower than that of the non‐coated references, maintaining 80.9 ± 8 ...
Heesuk Jung +14 more
wiley +1 more source
DECONVOLUTION-TYPE IMAGING CONDITION EFFECTS ON SHOT-PROFILE MIGRATION AMPLITUDES
Amplitude preservation in Pre-Stack Depth Migration (PSDM) processes that use wave field extrapolation must be ensured - first, in the operators used to continue the wavefield in time or depth, and second, in the imaging condition used to estimate the ...
Flor A Vivas-Mejía +3 more
doaj
This research explores a comprehensive examination of gate underlap incorporated strained channel Cylindrical Gate All Around Nanowire FET having enriched performances above the requirement of the 2 nm technology node of IRDS 2025.
Rasmita Barik +2 more
doaj +1 more source
Verification of Java Bytecode using Analysis and Transformation of Logic Programs
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including termination, bounds on resource consumption, etc.
C. Vaucheret +9 more
core +1 more source
In this study, the unique role of the unusual lone‐pair‐π conjugation mechanism in poly(1,4‐anthraquinone) (P14AQ) is explored as an organic electrode material. Unlike traditional π‐π interactions, P14AQ's conjugation involves lone pairs of oxygen atoms interacting with the π cloud of adjacent units, enabling stable charge transport even with minimal π‐
Xiaotong Zhang, Piotr de Silva
wiley +1 more source
PBTTT‐OR‐R, a C14‐alkoxy/alkyl‐PBTTT polymer derivative, is of substantial interest for optoelectronics due to its specific fullerene intercalation behavior and enhanced charge‐transfer absorption. Comparing this polymer with (S) and without (O) homocoupling defects reveals that PBTTT‐OR‐R(O) forms stable co‐crystals with PC61BM, while PBTTT‐OR‐R(S ...
Zhen Liu +14 more
wiley +1 more source
Deadlock detection of Java Bytecode
This paper presents a technique for deadlock detection of Java programs. The technique uses typing rules for extracting infinite-state abstract models of the dependencies among the components of the Java intermediate language -- the Java bytecode. Models
AE Flores-Montoya +5 more
core +1 more source

