A model of second-order arithmetic satisfying AC but not DC Sy-David Friedman, Victoria Gitman, and Vladimir Kanovei Vol. 19, No. 01 The Ramsey theory of the universal homogeneous triangle-free graph Natasha Dobrinen Vol. 20, No. 02 ...
Subscribe to this journal Receive 12 print issues and online access $259.00 per year only $21.58 per issue Learn more Buy this article Purchase on SpringerLink Instant access to full article PDF Buy now Prices may be subject to local taxes which are calculated during checkoutAdditional...
Towards an early software estimation using log-linear regression and a multilayer perceptron model 2013, Journal of Systems and Software Citation Excerpt : References (Ahmed et al., 2005; Papatheocharous et al., 2010) used fuzzy logic and fuzzy decision tree, respectively for software effort esti...
Article CAS PubMed Google Scholar Aron, A. T. et al. In vivo bioluminescence imaging of labile iron accumulation in a murine model of Acinetobacter baumannii infection. Proc. Natl Acad. Sci. USA 114, 12669–12674 (2017). Article CAS PubMed PubMed Central Google Scholar Bruemmer, K. J...
This article takes off from Johan van Benthem's ruminations on the interface between logic and cognitive science in his position paper "Logic and reasoning... R Verbrugge,R Verbrugge,R Verbrugge - 《Journal of Philosophical Logic》 被引量: 98发表: 2009年 A theory and a computational model of...
Article metricsAbstract In this paper, we offer a review of type-3 fuzzy logic systems and their applications in control. The main objective of this work is to observe and analyze in detail the applications in the control area using type-3 fuzzy logic systems. In this case, we review their...
(2022). Decidability Preservation and Complexity Bounds for Combined Logics. Mathematics, 10(19), 3481. https://doi.org/10.3390/math10193481 Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here. clear ...
- Workflow Service Plan: Workflows run in single-tenant Azure Logic Apps and use the Standard model for billing. - App Service Environment V3: Workflows run in single-tenant Azure Logic Apps and use an App Service Environment plan for billing. - Hybrid (Preview): Workflows run on premises...
To lessen the sensitivity of different kernels in SVMs classification and improve SVMs generalization ability, this paper proposes a fuzzy fusion model to combine multiple SVMs classifiers. To better handle uncertainties existing in real classification data and in the membership functions (MFs) in the ...
A Kripke model is a triple where is a Kripke frame and is a valuation function from to the powerset . Definition 2.2 Given a Kripke frame , the unary operation is defined by setting(3) for each , where . The dual of the operation is defined by(4)◇ where is the complement operation...