Results 111 to 120 of about 961,827 (257)
Inverse Design of Nanoparticulate Materials
Inverse design shifts nanomaterial development from empirical trial‐and‐error to predictive model‐driven strategies. It can rely on knowledge‐based, data‐based, or hybrid process and property functions. This perspective article provides a practical framework for applying inverse design based on instructive examples. It discusses which modeling approach
Nabi Etienne Traoré +5 more
wiley +1 more source
Phase‐Engineered MoS2 Quantum Monolayer Catalysts
A new type of catalyst model—phase‐engineered MoS2 quantum‐monolayer catalyst (∼0.8 nm thick, < 6 nm in the lateral size; switchable freely among metallic 1T, semiconducting 2H, and a hybrid phase of metallic‐semiconducting 1T‐2H)—is reported. It can efficiently and stably drive photochemical H2, syngas and ammonia synthesis as a catalyst or co ...
Ruijie Yang +12 more
wiley +1 more source
Chalcogen substitution emerges as a powerful strategy for designing high‐performance OMIECs. In aliphatic–glycol side chain diketopyrrolopyrrole polymers, biselenophene incorporation promotes a planar, polarizable, and doping‐tolerant quinoidal framework, enabling PDPP‐4EG‐Se2 to combine high hole mobility, large µC*, enhanced operational stability ...
Shinbee Oh +9 more
wiley +1 more source
Transaction Logic Programming (or, A Logic of Procedural and Declarative Knowledge)
An extension of predicate logic, called Transaction Logic, is proposed, which accounts in a clean and declarative fashion for the phenomenon of state changes in logic programs and databases.
Michael Kifer, Anthony J. Bonner
core
Approaches to procedural adequacy in logic programming using connection graphs
Kowalski's connection graph method provides a representation for logic programs which allows for the incorporation of better procedural control techniques than standard logic programming languages.
Moens, Theodore Warren Bernelot
core +1 more source
Algorithm-based automated decision-making (ADM) in criminal trials primarily serves as an evidentiary supplement and an analytical aid to the judicial process.
Hongqiang He, Yifan Wang
doaj +1 more source
Analyzing students’ errors and misconceptions in proof construction in abstract algebra course
This study aimed to identify and describe the types of errors and misconceptions made by students in the process of constructing proofs. Using a qualitative approach with a case study design, the subjects were fifth-semester students enrolled in the ...
Ridwan Ridwan, Haeruddin Haeruddin
doaj +1 more source
The PTL–CL interface plays a decisive role in PEMWE performance by governing electron conduction, water supply, oxygen removal, catalyst utilization, and interfacial stability. This review summarizes interface‐related resistance sources, characterization methods, and engineering strategies, highlighting rational PTL–CL interface design for low‐cost ...
Aobo Wan, Zhengkai Tu
wiley +1 more source
Compliance safety vs front-line safety: Understanding the disconnect in aircraft maintenance
The aircraft maintenance industry is governed by highly regulated safety systems that emphasize procedural compliance, documentation and audit conformity.
Florin Necula
doaj +1 more source
Recent Advances of Slip Sensors for Smart Robotics
This review summarizes recent progress in robotic slip sensors across mechanical, electrical, thermal, optical, magnetic, and acoustic mechanisms, offering a comprehensive reference for the selection of slip sensors in robotic applications. In addition, current challenges and emerging trends are identified to advance the development of robust, adaptive,
Xingyu Zhang +8 more
wiley +1 more source

