Results 61 to 70 of about 3,345 (227)

A cognitive view of relevant implication [PDF]

, 2015
Relevant logics provide an alternative to classical implication that is capable of accounting for the relationship between the antecedent and the consequence of a valid implication.
Masolo, Claudio, Porello, Daniele
core  

A recovery operator for non-transitive approaches [PDF]

, 2018
In some recent articles, Cobreros, Egré, Ripley, & van Rooij have defended the idea that abandoning transitivity may lead to a solution to the trouble caused by semantic paradoxes.
Barrio, Eduardo Alejandro, Pailos, Federico Matias, Szmuc, Damián Enrique   +2 more
core   +1 more source

Phase Separation of Nucleic Acids: Mechanisms, Properties, and Applications

Angewandte Chemie International Edition, EarlyView.
Recent discoveries have shown that single‐stranded long‐chain nucleic acids can undergo temperature‐induced phase separation, enabling formation of micrometer‐sized condensates. This Minireview discusses the current mechanistic understanding of this phenomenon, highlights strategies for controlling the physical and chemical properties of these ...
Weixiang Chen, Johann Fritzen, Andreas Walther   +2 more
wiley   +1 more source

A Van Benthem Characterization Result for Distribution-Free Logics

Logics
This article contributes to recent results in the model theory of distribution-free logics (which include a Goldblatt-Thomason theorem and a development of their Sahlqvist theory) by lifting van Benthem’s characterization result for modal logic to the ...
Chrysafis Hartonas
doaj   +1 more source

Studying the Outcomes and Mechanisms of Carbocationic Rearrangements Using Algorithm‐Augmented Experimentation

ChemistryEurope, EarlyView.
HopCat, a hybrid algorithm combining rule‐based transformations with quantum‐informed kinetics, can be applied to acid‐catalyzed terpenoid rearrangements. In synergy with human chemists and nuclear magnetic resonance analysis, it facilitates product assignment, candidate selection, and reconstruction of complex mechanistic pathways.
Louis P. J.‐L. Gadina, Sebastian Baś, Ahmad Makkawi, Yasemin Bilgi‐Gadina, Tomasz Klucznik, Wiktor Beker, Bartosz A. Grzybowski   +6 more
wiley   +1 more source

When Structural Principles Hold Merely Locally [PDF]

, 2017
In substructural logics, structural principles may hold in some fragments of a consequence relation without holding globally. I look at this phenomenon in my preferred substructural logic, in which Weakening and Cut fail but which is supra-intuitionistic.
Hlobil, Ulf
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

Network medicine and systems pharmacology approaches to predicting adverse drug effects

British Journal of Pharmacology, EarlyView.
Identifying and understanding the relationships between drug intake and adverse effects that can occur due to inadvertent molecular interactions between drugs and targets is a difficult task, especially considering the numerous variables that can influence the onset of such events.
Alessio Funari, Giulia Fiscon, Paola Paci   +2 more
wiley   +1 more source

Singly generated quasivarieties and residuated structures [PDF]

, 2019
A quasivariety K of algebras has the joint embedding property (JEP) iff it is generated by a single algebra A. It is structurally complete iff the free countably generated algebra in K can serve as A.
Anderson A. R., Bergman C., Chang C. C., Citkin A. I., Citkin A. I., Dywan Z., Esakia L. L., Esakia L. L., Galatos N., Gorbunov V. A., Jónsson B., Kuznetsov A. V., Magari R., Maltsev A. I., Maltsev A. I., Maltsev A. I., Minari P., Pogorzelski W. A., Pogorzelski W. A., Prucnal T., Rybakov V. V., Wroński A., Wroński A., Wroński A., Łoś J., Łoś J.   +25 more
core   +2 more sources

Artificial intelligence streamlines scientific discovery of drug–target interactions

British Journal of Pharmacology, EarlyView.
Abstract Drug discovery is a complicated process through which new therapeutics are identified to prevent and treat specific diseases. Identification of drug–target interactions (DTIs) stands as a pivotal aspect within the realm of drug discovery and development. The traditional process of drug discovery, especially identification of DTIs, is marked by
Yuxin Yang, Feixiong Cheng
wiley   +1 more source