Results 51 to 60 of about 137 (130)
Conuclear images of substructural logics [PDF]
Mathematical Logic Quarterly, 2016 Our work proposes to study the conuclear image of a substructural logic and in particular to investigate the relationship between a substructural logic and its conuclear image. We analyze some axioms familiar to substructural logics and we check if they: (a) are preserved under conuclear images, (b) never hold in a conuclear image, or (c) are ...
openaire +2 more sources
Machine Learning for Synthetic Organic Chemistry: Methods, Applications, and Best Practices
Angewandte Chemie Novit, Volume 2, Issue 3, September 2026.Artificial intelligence (AI) and machine learning (ML) are increasingly reshaping experimental chemistry. This review maps the challenges of synthetic organic chemistry to modern digital tools that can help address them. While focusing on the practical application of ML tools in real‐world laboratory settings, we outline prerequisites, emerging ...
Niklas Hölter +3 more
wiley +1 more source
25th Workshop on Logic, Language, Information and Computation: WoLLIC 2018. [PDF]
J Logic Lang Inf, 2022 Moss L, de Queiroz R.
europepmc +1 more source
High‐Temperature Alloys in Aeroengines: Damage and Fracture Insights From Micromechanical Modeling
cMat, Volume 3, Issue 3, September 2026.ABSTRACT High‐temperature alloys are the cornerstone of aeroengine hot‐section components, where extreme thermomechanical conditions give rise to intricate damage and fracture behaviors that critically limit the structural integrity of whole aeroengines.
Zixu Guo +8 more
wiley +1 more source
Macromolecular Materials and Engineering, Volume 311, Issue 9, September 2026.AI is reshaping the design and modeling of organic electrochemical energy materials, from redox‐active molecules to polymer electrolytes. Progress across data‐driven prediction, machine‐learning interatomic potentials, generative models, and agentic workflows is assessed, while persistent challenges in data quality, polymer representation, validation ...
Zhan‐Yun Zhang +7 more
wiley +1 more source
Smart Design: Integrating Artificial Intelligence and Gene Editing for Advanced mRNA Therapeutics
MedComm – Biomaterials and Applications, Volume 5, Issue 3, September 2026.The challenges of mRNA therapy and the application of artificial intelligence and gene editing in the field of mRNA drugs. ABSTRACT Artificial intelligence (AI) and gene editing are increasingly being applied to the design and evaluation of mRNA therapeutics.
Haixing Shi +11 more
wiley +1 more source
Logics and admissible rules of constructive set theories. [PDF]
Philos Trans A Math Phys Eng Sci, 2023 Iemhoff R, Passmann R.
europepmc +1 more source
Resource-Driven Substructural Defeasible Logic [PDF]
, 2018 Linear Logic and Defeasible Logic have been adopted to formalise different features relevant to agents: consumption of resources, and reasoning with exceptions. We propose a framework to combine sub-structural features, corresponding to the consumption of resources, with defeasibility aspects, and we discuss the design choices for the framework.
Francesco Olivieri +4 more
openaire +2 more sources
WIREs Computational Molecular Science, Volume 16, Issue 5, September/October 2026.Protein deep learning is moving from single structure prediction toward bound complex modeling and conformational ensemble generation. An architectural perspective shows how symmetry, evolutionary information, generative sampling, and energetic grounding shape performance and generalization.
Daniele Angioletti +3 more
wiley +1 more source
A Logical Modeling of Severe Ignorance. [PDF]
J Philos Logic, 2023 Bonzio S +3 more
europepmc +1 more source