Results 41 to 50 of about 3,086 (177)

Fixpointed Idempotent Uninorm (Based) Logics

Mathematics, 2019
Idempotent uninorms are simply defined by fixpointed negations. These uninorms, called here fixpointed idempotent uninorms, have been extensively studied because of their simplicity, whereas logics characterizing such uninorms have not.
Eunsuk Yang
doaj   +1 more source

LP, K3, and FDE as Substructural Logics [PDF]

, 2017
Building on recent work, I present sequent systems for the non-classical logics LP, K3, and FDE with two main virtues. First, derivations closely resemble those in standard Gentzen-style systems.
Shapiro, Lionel
core  

Leveraging Artificial Intelligence and Large Language Models for Cancer Immunotherapy

Advanced Science, EarlyView.
Cancer immunotherapy faces challenges in predicting treatment responses and understanding resistance mechanisms. Artificial intelligence (AI) and machine learning (ML) offer powerful solutions for cancer immunotherapy in patient stratification, biomarker discovery, treatment strategy optimization, and foundation model development.
Xinchao Wu, Mengtao Sun, Lusheng Li, Jieqiong Wang, Shibiao Wan   +4 more
wiley   +1 more source

A Substructural Modal Logic of Utility

Journal of Logic and Computation, 2017
Abstract We introduce a substructural modal logic of utility that can be used to reason aboutoptimality with respect to properties of states. Our notion of state is quite general, and is able to represent resource allocation problems in distributed systems.
Pym, D, Anderson, G
openaire   +2 more sources

An Abstract Approach to Consequence Relations

, 2019
We generalise the Blok-J\'onsson account of structural consequence relations, later developed by Galatos, Tsinakis and other authors, in such a way as to naturally accommodate multiset consequence.
Cintula, Petr, Férez, José Gil, Moraschini, Tommaso, Paoli, Francesco   +3 more
core   +1 more source

Decoding Spatial Heterogeneity and Multi‐Omics Regulation with Hierarchical Graph Learning

Advanced Science, EarlyView.
ABSTRACT Recent advances in spatial multi‐omics technologies have enabled the simultaneous profiling of multiple molecular layers within the same tissue slice, providing unprecedented opportunities to investigate tissue spatial organization. However, most existing computational methods identify spatial domains in a purely data‐driven manner, rarely ...
Jiazhou Chen, Jiahui Xie, Yi Liao, Junyu Li, Longqi Liu, Xin Gao, Hongmin Cai   +6 more
wiley   +1 more source

Meeting strength in substructural logics [PDF]

Studia Logica, 1995
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

Classical BI: Its Semantics and Proof Theory [PDF]

, 2009
We present Classical BI (CBI), a new addition to the family of bunched logics which originates in O'Hearn and Pym's logic of bunched implications BI.
Alasdair Urquhart, Cristiano Calcagno, D. Galmiche, D. Mery, and D. Pym, D.J. Foulis and M.K. Bennett, David Pym, Peter O'Hearn, and Hongse, Greg Restall, Harold Schellinx, James Brotherston, Matthew Collinson, David Pym, and Edmund, Michael Dunn, Nick Benton, Nuel D. {Belnap, Jr., Peter W. O'Hearn and David J. Pym, Rajeev Goré, Richard Routley and Valerie Routley, Robert K. Meyer and Richard Routley, Robert K. Meyer and Richard Routley, Samson Abramsky   +17 more
core   +5 more sources

Toward Predictable Nanomedicine: Current Forecasting Frameworks for Nanoparticle–Biology Interactions

Advanced Intelligent Discovery, EarlyView.
Predictive models successfully screen nanoparticles for toxicity and cellular uptake. Yet, complex biological dynamics and sparse, nonstandardized data limit their accuracy. The field urgently needs integrated artificial intelligence/machine learning, systems biology, and open‐access data protocols to bridge the gap between materials science and safe ...
Mariya L. Ivanova, Michael Nicholls, Nicola Russo, Gueorgui Mihaylov, Konstantin Nikolic   +4 more
wiley   +1 more source

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