Results 71 to 80 of about 4,442,858 (282)
Closed‐Loop Solid‐State Synthesis Planning for Materials Discovery With Large Language Models
Advanced Materials, EarlyView.Leveraging literature data, we build a large‐language‐model‐driven workflow that extracts synthesis steps from 4407 papers, retrieves similar precedents, and generates candidate solid‐state synthesis recipes. The system benchmarks against ground‐truth and then operates in a closed loop with experiments to synthesize oxy‐selenide electrolyte materials ...
Dong Won Jeon +9 more
wiley +1 more source
Computational Natural Deduction [PDF]
, 1991 The formalization of the notion of a logically sound argument as a natural deduction proof offers the prospect of a computer program capable of constructing such arguments for conclusions of interest.
Keronen, Seppo R.
core +1 more source
Advanced Materials Interfaces, EarlyView.Due to enhanced charge transfer and carrier mobility on the surface, the SnTCPP NPs‐Nb2C Schottky heterojunctions demonstrate exceptional sunlight‐driven catalytic activity toward tetracycline antibiotics and ofloxacin degradation, achieving a removal efficiency of up to 99.9% within 60 min of irradiation, both in model wastewater and natural water ...
Juanxuan Guo +5 more
wiley +1 more source
Advanced Materials Interfaces, EarlyView.This work critically reviews MXenes as highly effective multifunctional nanomaterials for the adsorption of radio‐contaminants, demonstrating a remarkable adsorption capacity of up to 1376.75 mg/g and cyclic stability of 2–8 cycles, with complexation, electrostatic interactions, and the numerical strength of MXene active sites playing a key operational
Stephen Sunday Emmanuel +1 more
wiley +1 more source
A Simpler formulation of natural deduction calculus for linear-time temporal logic [PDF]
, 2007 The paper continues our studies of natural deduction calculus for the propositional linear-time temporal logic PLTL. We present a new formulation of natural deduction calculus for PLTL. The system is shown to be sound and complete.
Bolotov, A., Grigoriev, O., Shangin, V.
core
Hyper Natural Deduction for Gödel Logic—A natural deduction system for parallel reasoning [PDF]
, 2018 We introduce a system of Hyper Natural Deduction for Gödel Logic as an extension of Gentzen’s system of Natural Deduction. A deduction in this system consists of a finite set of derivations which uses the typical rules of Natural Deduction, plus ...
Arnold Beckmann
core +1 more source
Dental Microwear Texture Analysis on Radular Teeth
Advanced Materials Interfaces, EarlyView.3D microwear textures reveal how gastropod radular teeth respond to controlled abrasive contact. Distinct surface signatures distinguish regular abrasion from fracture‐dominated material removal, showing how mineralized coatings, fibrous cores, and substrate properties jointly shape wear and failure in a biological scraping interface.
Wencke Krings +2 more
wiley +1 more source
Light Logics and the Call-by-Value Lambda Calculus [PDF]
Logical Methods in Computer Science, 2008 The so-called light logics have been introduced as logical systems enjoying quite remarkable normalization properties. Designing a type assignment system for pure lambda calculus from these logics, however, is problematic.
Paolo Coppola +2 more
doaj +1 more source
Towards Generalised Proof Search for Natural Deduction Systems for logics I⟨a;b⟩ [PDF]
, 2016 We continue our investigation of the proof searching procedures developed for natural deduction calculus for classical and a variety of non-classical logics.
Bolotov, A., Shangin, V.
core
Advanced Robotics Research, EarlyView.Visual teach‐and‐repeat (VTR) navigation allows robots to learn and follow routes without building a full metric map. We show that navigation accuracy for VTR can be improved by integrating a topological map with error‐drift correction based on stereo vision.
Fuhai Ling, Ze Huang, Tony J. Prescott
wiley +1 more source