Results 41 to 50 of about 2,597 (173)
SciLitMiner: An Intelligent System for Scientific Literature Mining and Knowledge Discovery
Advanced Intelligent Systems, EarlyView.SciLitMiner is an intelligent system that federately ingests scientific literature, filters it using advanced information retrieval methods, and applies retrieval‐augmented generation tailored to scientific domains. Demonstrated on creep deformation in γ‐TiAl alloys, SciLitMiner provides a controlled workflow for systematic knowledge discovery and ...
Vipul Gupta +3 more
wiley +1 more source
An Alternative Natural Deduction for the Intuitionistic Propositional Logic [PDF]
, 2016 A natural deduction system NI, for the full propositional intuitionistic logic, is proposed. The operational rules of NI are obtained by the translation from Gentzen’s calculus LJ and the normalization is proved, via translations from sequent calculus ...
Ilić, Mirjana
core +1 more source
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 +6 more
wiley +1 more source
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
The ubiquity of conservative translations
, 2012 We study the notion of conservative translation between logics introduced by Feitosa and D'Ottaviano. We show that classical propositional logic (CPC) is universal in the sense that every finitary consequence relation over a countable set of formulas can
da Silva +8 more
core +1 more source
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 +2 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
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 +2 more
core +1 more source
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
Tool support for reasoning in display calculi [PDF]
, 2016 We present a tool for reasoning in and about propositional sequent calculi. One aim is to support reasoning in calculi that contain a hundred rules or more, so that even relatively small pen and paper derivations become tedious and error prone.
Balco, Samuel +4 more
core +2 more sources