Results 41 to 50 of about 59,882 (275)

A Modern Syllogistic Method in Intuitionistic Fuzzy Logic with Realistic Tautology

The Scientific World Journal, 2015
The Modern Syllogistic Method (MSM) of propositional logic ferrets out from a set of premises all that can be concluded from it in the most compact form.
Ali Muhammad Rushdi, Mohamed Zarouan, Taleb Mansour Alshehri, Muhammad Ali Rushdi   +3 more
doaj   +1 more source

Predicting and Comparing the Subjective Health Experience of Older Cancer Survivors and Non‐Cancer Survivors: A Modeling Approach

Aging and Cancer, EarlyView.
This study underscores the significant influence of frailty and vitality on the subjective health experience of older cancer survivors with acceptance and control emerging as salient mediators. These findings affirm the conceptual and empirical robustness of the model highlighting its potential utility in shaping future interventions for older cancer ...
Damien S. E. Broekharst, Sjaak Bloem, Eline J. Mertens, Nathascha Hanzen, Michel van Agthoven   +4 more
wiley   +1 more source

Current Tracking Adaptive Control of Brushless DC Motors

International Journal of Adaptive Control and Signal Processing, EarlyView.
In this paper, the current tracking for Brushless Direct Current motors is approached considering uncertainty in the parameters of the motor's model. An adaptive control scheme to compensate electrical parameters uncertainty is proposed without requiring any knowledge of the mechanical parameters.
Fernanda Ramos‐García, Axel Coronado‐Andrade, Gerardo Espinosa‐Pérez, Luis Alvarez‐Icaza   +3 more
wiley   +1 more source

Learning relational dynamics of stochastic domains for planning [PDF]

, 2015
Probabilistic planners are very flexible tools that can provide good solutions for difficult tasks. However, they rely on a model of the domain, which may be costly to either hand code or automatically learn for complex tasks.
Alenyà Ribas, Guillem, Inoue, Katsumi, Martínez Martínez, David, Ribeiro, Tony, Torras, Carme   +4 more
core   +1 more source

Organic Electrochemical Transistors for Neuromorphic Devices and Applications

Advanced Materials, EarlyView.
Organic electrochemical transistors are emerging as promising platforms for neuromorphic devices that emulate neuronal and synaptic activities and can seamlessly integrate with biological systems. This review focuses on resultant organic artificial neurons, synapses, and integrated devices, with an emphasis on their ability to perform neuromorphic ...
Kexin Xiang, Jiajun Song, Hong Liu, Junxin Chen, Feng Yan   +4 more
wiley   +1 more source

Fixed-point elimination in the intuitionistic propositional calculus

, 2016
It is a consequence of existing literature that least and greatest fixed-points of monotone polynomials on Heyting algebras-that is, the algebraic models of the Intuitionistic Propositional Calculus-always exist, even when these algebras are not complete
A Arnold, A Bauer, A Kock, Albert Visser, AM Pitts, D Kozen, F Dau, G D’Agostino, G D’Agostino, G Gentzen, G Kelly, JRB Cockett, L Alberucci, L Alberucci, N Bertrand, P Clairambault, S Frittella, S Ghilardi, S Ghilardi, SI Mardaev, SI Mardaev, W Ruitenburg   +21 more
core   +2 more sources

Transforming Numerical Feature Models into Propositional Formulas and the Universal Variability Language

Journal of Systems and Software, 2023
Munoz, Pinto and Fuentes work is supported by the European Union’s H2020 research and innovation programme under grant agreement DAEMON 101017109, by the projects co-financed by FEDER, Spain funds LEIA UMA18-FEDERJA-15, IRIS PID2021- 122812OB-I00 (MCI/AEI), and the PRE2019-087496 grant from the Ministerio de Ciencia e Innovación.
Munoz, Daniel-Jesus, Pinto, Mónica, Fuentes, Lidia, Batory, Don   +3 more
openaire   +3 more sources

Roadmap to Precision 3D Printing of Cellulose: Rheology‐Guided Formulation, Fidelity Assessment, and Application Horizons

Advanced Materials Technologies, EarlyView.
This critical review presents a comprehensive roadmap for the precision 3D printing of cellulose. Quantitative correlations link ink formulation and rheological properties to print fidelity and final material performance. This framework guides the development of advanced functional materials, from biomedical scaffolds to electromagnetic shielding ...
Majed Amini, Hadi Hosseini, Seyyed Alireza Hashemi, Mohammad Arjmand   +3 more
wiley   +1 more source

Initiation Kinetics of Latent Olefin Metathesis Precatalysts

Advanced Synthesis &Catalysis, EarlyView.
Ready, set, go: Initiation of several latent olefin metathesis precatalysts was measured both by light and heat activation. Sulfur‐chelated ruthenium precatalysts were initiated more efficiently when thermally activated, while the precatalysts with phosphite ligands were more responsive to photochemical stimulation. The initiation results were compared
Nadir Rosenblat, Anna Vaisman, Yugang Bai, N. Gabriel Lemcoff   +3 more
wiley   +1 more source

The model checking problem for intuitionistic propositional logic with one variable is AC1-complete [PDF]

, 2011
We show that the model checking problem for intuitionistic propositional logic with one variable is complete for logspace-uniform AC1. As basic tool we use the connection between intuitionistic logic and Heyting algebra, and investigate its complexity ...
Mundhenk, Martin, Weiss, Felix
core