Results 51 to 60 of about 255 (160)

Generalized quantification as substructural logic [PDF]

Journal of Symbolic Logic, 1996
AbstractWe show how sequent calculi for some generalized quantifiers can be obtained by generalizing the Herbrand approach to ordinary first order proof theory. Typical of the Herbrand approach, as compared to plain sequent calculus, is increased control over relations of dependence between variables.
Alechina, N.A., van Lambalgen, M.
openaire   +2 more sources

Mapping Patient Complexity to Educational Needs: Proof‐of‐Concept for a Data‐Driven Framework

Journal of Dental Education, EarlyView.
ABSTRACT Purpose: This study aimed to determine whether routinely collected clinical data from a university dental clinic could be translated into a coherent framework for organizing competency‐based clinical training. By examining patterns of patient complexity, the study sought to generate an evidence‐informed set of educational care lines to guide ...
Francesca Zotti, Rozendo Luiz Corso, Bruna Orlandin, Leandro Corso, Thiago Oliveira Gamba   +4 more
wiley   +1 more source

AI‐Driven Synthesis in Medicinal Chemistry: Integrating Large Language Models, Robotic Automation, and Sustainability Metrics to Accelerate Drug Discovery

Medicinal Research Reviews, EarlyView.
ABSTRACT Artificial intelligence (AI) is transforming synthetic chemistry from task‐specific predictors into integrated platforms that unify retrosynthesis, reaction optimization, and closed‐loop robotic automation. This review highlights how AI‐assisted planning and robotic execution shorten cycle times, reduce step counts, and improve route ...
Amit Gangwal, Antonio Lavecchia
wiley   +1 more source

Semi-Substructural Logics à la Lambek with Symmetry

Bulletin of the Section of Logic
This work studies the proof theory and ternary relational semantics of left (right) skew monoidal closed categories and skew monoidal bi-closed categories, both symmetric and non-symmetric, from the perspective of non-associative Lambek calculus ...
Cheng-Syuan Wan
doaj   +1 more source

Artificial Intelligence‐Driven Natural Product Drug Discovery: From Computational Genome Mining to Clinical Translation

Medicinal Research Reviews, EarlyView.
ABSTRACT Natural products (NPs) have historically yielded numerous therapeutic agents, yet their integration into modern drug discovery has been constrained by chemical complexity, low abundance, laborious dereplication, and limited target annotation.
Antonio Lavecchia
wiley   +1 more source

Artificial intelligence empowers targeted protein degradation: Core technological innovations, multi‐scenario applications, and translational prospects

Smart Molecules, EarlyView.
AI is transforming TPD by improving the design, prediction, and optimization of degraders such as PROTACs, molecular glues, and LYTACs. This review summarizes key AI‐driven advances, highlights applications across drug discovery stages, and discusses remaining challenges and future directions for accelerating the development of therapies against ...
Shuanglin Qin, Rui Peng, Guangshuai Zhang, Si Yan, Jin Xiao, Zishu Liu, Ziyu Tan, Qingqing Xie, Shangjie Li, Wei Luo, Xiaohe Xiao   +10 more
wiley   +1 more source

Deploying Soft Operations Research Techniques in Hybrid Modelling: The Role of Qualitative System Dynamics in Sustainability Analysis

Systems Research and Behavioral Science, EarlyView.
ABSTRACT Organisations increasingly need modelling approaches that can support sustainable development decisions across economic, environmental and social dimensions. The triple bottom line (TBL) perspective provides a useful basis for such analysis, but it also introduces modelling challenges because the relevant dimensions are often interdependent ...
Masoud Fakhimi, Navonil Mustafee, Lampros Stergioulas   +2 more
wiley   +1 more source

Identification of Influencing Factors on Proenvironmental Behaviour and Construction of a Causal Loop Diagram

Systems Research and Behavioral Science, EarlyView.
ABSTRACT This study addresses the limitations of reductionist approaches to citizens' proenvironmental behaviour (PEB) by adopting a systems thinking perspective. Using qualitative system dynamics, it develops a causal loop diagram for proenvironmental behaviour (CLD‐PEB) that conceptualizes PEB as a dynamic system generated through interacting ...
Doyeon Ko, Sun‐Jin Yun, Tae‐Hoon Moon   +2 more
wiley   +1 more source

Bi[IrBi6I12], Ag3[IrBi6I12], and BixCu3–3x[IrBi6I12]: Rock‐Salt Superstructures Based on Heavy‐Atom Clusters

Zeitschrift für anorganische und allgemeine Chemie, EarlyView.
New iridium‐containing bismuth subiodides based on cuboctahedral [IrBi6I12]3− clusters adopt chain‐like or rock‐salt‐related structure variants depending on the counter‐cations. Ag3[IrBi6I12] combines silver mobility at room temperature with long‐range ordering at low temperature, while DFT calculations reveal semiconducting behavior.
Noah Elsner, Vitaliy Romaka, Thomas Doert, Michael Ruck   +3 more
wiley   +1 more source

‘The Bethune College Sensation’: Gender, Archive and Radical Passivity

Gender &History, EarlyView.
ABSTRACT This article explores the student protests at Bethune College, Calcutta, on 3 February 1928, against the Simon Commission, a British parliamentary delegation that excluded Indian representation. On this day, female students staged a quiet but radical act of defiance by refusing to attend classes, sign apologies or vacate their hostel, despite ...
Meghmala Bhattacharya
wiley   +1 more source