Results 111 to 120 of about 23,486 (260)
Yet another proof of Goedel's completeness theorem for first-order classical logic
, 2009 A Henkin-style proof of completeness of first-order classical logic is given with respect to a very small set (notably missing cut rule) of Genzten deduction rules for intuitionistic sequents. Insisting on sparing on derivation rules, satisfiability theorem is seen to need weaker assumptions than completeness theorem, the missing request being exactly ...
openaire +2 more sources
Emerging Materials and Future Strategies for Solid Oxide Electrochemical Cells
Advanced Energy Materials, EarlyView.Solid oxide electrochemical cells operate under strongly coupled electrochemical and thermodynamic conditions, where performance is constrained by interactions among crystal structure, defect chemistry, and interfacial evolution. This review, based on a structure‐defect‐property‐durability framework, reveals the roles of lattice symmetry and defect ...
Qiuchun Lu +4 more
wiley +1 more source
Agribusiness, EarlyView.ABSTRACT Innovation is essential for competitiveness in agribusiness facing dynamic environments. This study examines how market orientation, marketing, relational, and social capabilities influence innovation performance. Using data from 751 Spanish firms and a multi‐method approach that integrates Structural Equation Modeling (PLS‐SEM), Necessary ...
Beatriz Corchuelo Martínez‐Azúa +1 more
wiley +1 more source
AI in chemical engineering: From promise to practice
AIChE Journal, EarlyView.Abstract Artificial intelligence (AI) in chemical engineering has moved from promise to practice: physics‐aware (gray‐box) models are gaining traction, reinforcement learning complements model predictive control (MPC), and generative AI powers documentation, digitization, and safety workflows.
Jia Wei Chew +4 more
wiley +1 more source
Bajo Palabra, 2016 En este artículo proponemos una revisión a fondo de los argumentos ontológicos clásicos: de Anselmo, Descartes, Spinoza y Leibniz. En la introducción se precisa la noción de argumento ontológico y señalamos la importante distinción que hacemos en lógica ...
M. Manzano, M.C. Moreno
doaj
CFD modeling and sensitivity‐guided design of silicon filament CVD reactors
AIChE Journal, EarlyView.Abstract Filament‐based chemical vapor deposition (CVD) for silicon (Si) coatings is often treated as an adaptation of planar deposition. But this overlooks fundamental shifts in transport phenomena and reaction kinetics. In filament CVD, the filament acts as a substrate, heat source, and flow disruptor simultaneously. In this work, we ask: What really
G. P. Gakis +8 more
wiley +1 more source
S5 is a paraconsistent logic and so is first-order classical logic
Логические исследования, 2002 We present and discuss the fact that the well-known modal logic S5 and classical first-order logic are paraconsistent logics.
openaire +1 more source
Asking the 5 W's for designing next‐generation bioprocessing
AIChE Journal, EarlyView.Abstract Biotechnology is expanding beyond traditional, centralized fermentation and toward next‐generation bioprocessing paradigms that emphasize flexible deployment outside the laboratory with application‐specific performance. However, many bioprocesses fail to translate beyond proof‐of‐concept into industrially viable systems because early design ...
Sangdo Yook +4 more
wiley +1 more source
Large Language Model in Materials Science: Roles, Challenges, and Strategic Outlook
Advanced Intelligent Discovery, EarlyView.Large language models (LLMs) are reshaping materials science. Acting as Oracle, Surrogate, Quant, and Arbiter, they now extract knowledge, predict properties, gauge risk, and steer decisions within a traceable loop. Overcoming data heterogeneity, hallucinations, and poor interpretability demands domain‐adapted models, cross‐modal data standards, and ...
Jinglan Zhang +4 more
wiley +1 more source
Evolution of Physical Intelligence Across Scales
Advanced Intelligent Discovery, EarlyView.By following the evolution of physical intelligence across scales, this article shows how intelligence arises from materials, structures, physical interactions, and collectives. It establishes physical intelligence as the evolutionary foundation upon which embodied intelligence is built.
Ke Liu +7 more
wiley +1 more source