Results 31 to 40 of about 2,358 (145)

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

Cis‐ and Trans‐Regulatory Factors Independently Shape Phenotypic Heterogeneity of Retinitis Pigmentosa

Advanced Science, EarlyView.
A zebrafish model carrying an identical human RHO S334X allele reveals two independent genetic layers shaping retinitis pigmentosa (RP) severity: a protective 3‐bp cis‐regulatory insertion that attenuates transgene expression, and a dominant trans‐acting modifier that restores a severe phenotype.
Cong Cui, Kotone Nakagawa, Takumi Tateno, Ayaka Dan, Dexin Meng, Yoshihiro Omori, Soma Tomihara, Suzuri Okamoto, Shigeru Sato, Motokazu Tsujikawa   +9 more
wiley   +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  

Uniqueness Typing for Resource Management in Message-Passing Concurrency [PDF]

, 2009
We view channels as the main form of resources in a message-passing programming paradigm. These channels need to be carefully managed in settings where resources are scarce.
Adrian Francalanza, Amal Ahmed, Dana Harrington, Dave Clarke, David Teller, David Walker, Edsko de Vries, Edsko de Vries, Edsko de Vries, Erik Barendsen, Francois Pottier, Frederick Smith, Ian Mackie, Jeffrey S. Foster, Joe Armstrong, John Boyland, Kohei Honda, Manuel F"ahndrich, Martin Odersky, Matthew Hennessy, Mário Florido, Naoki Kobayashi, Naoki Kobayashi, Naoki Kobayashi, P. M. Achten, Philip Wadler, Philip Wadler, Richard Bornat, Robin Milner   +28 more
core   +5 more sources

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

Logics for modelling collective attitudes [PDF]

, 2017
We introduce a number of logics to reason about collective propositional attitudes that are defined by means of the majority rule. It is well known that majoritarian aggregation is subject to irrationality, as the results in social ...
Porello, Daniele
core   +2 more sources

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

Complexity of Nonassociative Lambek Calculus with Classical and Intuitionistic Logic

Bulletin of the Section of Logic
The Nonassociative Lambek Calculus (NL) represents a logic devoid of the structural rules of exchange, weakening, and contraction, and it does not presume the associativity of its connectives. Its finitary consequence relation is decidable in polynomial
Paweł Płaczek
doaj   +1 more source