Results 91 to 100 of about 129,892 (308)

Critical Thinking and Informal Logic: Neuropsychological Perspectives

Informal Logic, 2011
This article challenges the common view that improvements in critical thinking are best pursued by investigations in informal logic. From the perspective of research in psychology and neuroscience, hu-man inference is a process that is multimodal ...
Paul Thagard
doaj   +1 more source

Fuzzy logic decision fusion in a multimodal biometric system [PDF]

Interspeech 2004, 2004
This paper presents a multi-biometric verification system that combines speaker verification, fingerprint verification with face identification. Their respective equal error rates (EER) are 4.3%, 5.1% and the range of (5.1% to 11.5%) for matched conditions in facial image capture. Fusion of the three by majority voting gave a relative improvement of 48%
Helen Meng, Y. S. Moon, Bin Ma, Yeung Yam, Chun Wai Lau   +4 more
openaire   +2 more sources

From Lab to Life: Self‐Powered Sweat Sensors and Their Future in Personal Health Monitoring

Advanced Science, EarlyView.
This review focuses on recent advances in self‐powered sweat sensors in personal health monitoring, including sweat sensors, energy harvesters, energy management, and their applications. It analyzes the difficulties and challenges in the research field of self‐powered sweat sensors and looks into the future direction of self‐powered sweat sensors from ...
Nan Gao, Guodong Xu, Gang Chang, Yuxiang Wu   +3 more
wiley   +1 more source

Integrative Multi‐Omics and Routine Blood Analysis Using Deep Learning: Cost‐Effective Early Prediction of Chronic Disease Risks

Advanced Science, EarlyView.
Omicsformer, a deep learning model, integrates multi‐omics and routine blood data to accurately predict risks for nine chronic diseases, including cancer and cardiovascular conditions. Validated using large scale clinical data, it reveals early risk trajectories, advancing personalized medicine and offering a cost‐effective, community‐based solution ...
Zhibin Dong, Pei Li, Yi Jiang, Zhihan Wang, Shihui Fu, Hebin Che, Meng Liu, Xiaojing Zhao, Chunlei Liu, Chenghui Zhao, Qin Zhong, Chongyou Rao, Siwei Wang, Suyuan Liu, Dayu Hu, Dongjin Wang, Juntao Gao, Kai Guo, Xinwang Liu, En Zhu, Kunlun He   +20 more
wiley   +1 more source

Too much information: Why CDCL solvers need to forget learned clauses.

PLoS ONE, 2022
Conflict-driven clause learning (CDCL) is a remarkably successful paradigm for solving the satisfiability problem of propositional logic. Instead of a simple depth-first backtracking approach, this kind of solver learns the reason behind occurring ...
Tom Krüger, Jan-Hendrik Lorenz, Florian Wörz   +2 more
doaj   +1 more source

Formalization, Mechanization and Automation of G\"odel's Proof of God's Existence

, 2017
G\"odel's ontological proof has been analysed for the first-time with an unprecedent degree of detail and formality with the help of higher-order theorem provers. The following has been done (and in this order): A detailed natural deduction proof.
Benzmüller, Christoph, Paleo, Bruno Woltzenlogel   +1 more
core   +1 more source

On staying grounded and avoiding Quixotic dead ends [PDF]

, 2016
The 15 articles in this special issue on The Representation of Concepts illustrate the rich variety of theoretical positions and supporting research that characterize the area.
A Caramazza, A Martin, A Martin, A Paivio, AK Engel, AR Damasio, BZ Mahon, BZ Mahon, C Wong, CD Wilson-Mendenhall, D Caligiore, D Casasanto, D Kemmerer, D Kemmerer, D Legrand, DL Drane, DL Drane, E Akpinar, E Machery, E Rosch, EE Smith, EK Papies, F Huettig, F Pulvermüller, F Pulvermüller, F Pulvermüller, F Pulvermüller, F Schrodt, GL Murphy, J Henrich, J Santiago, JA Fodor, JA Hampton, JK O’Regan, JL McClelland, JR Binder, JR Searle, K Grill-Spector, K McRae, K McRae, K Meyer, K Patterson, L Connell, L Connell, L Doren Van, L Talmy, LAM Lebois, Lawrence W. Barsalou, LW Barsalou, LW Barsalou, LW Barsalou, LW Barsalou, LW Barsalou, LW Barsalou, LW Barsalou, LW Barsalou, LW Barsalou, LW Barsalou, LW Barsalou, LW Barsalou, M Andrews, M Kiefer, M Kiefer, MA Lambon Ralph, MJ Farah, MJ Yates, MK Tanenhaus, ML Anderson, MM Louwerse, MM Louwerse, N Chomsky, PJ Schwanenflugel, RA Zwaan, RA Zwaan, RL Buckner, RM Braga, RW Langacker, S Harnad, SW Allen, TK Landauer, TT Rogers, V Walsh, WK Simmons, WK Simmons, WR Glaser, X Wang, ZW Pylyshyn   +86 more
core   +2 more sources

Machine Learning‐Enabled Drug‐Induced Toxicity Prediction

Advanced Science, EarlyView.
Unexpected toxicity accounts for 30% of drug development failures. This review highlights ML innovations in predicting drug‐induced toxicity, emphasizing comparative analyses, interpretable algorithms, and multi‐source data integration. It categorizes toxicity types, summarizes ML models, and organizes key databases, offering strategies to address ...
Changsen Bai, Lianlian Wu, Ruijiang Li, Yang Cao, Song He, Xiaochen Bo   +5 more
wiley   +1 more source

Implementation of a holistic digital twin solution for design prototyping and virtual commissioning

IET Collaborative Intelligent Manufacturing, Volume 4, Issue 4, Page 326-335, December 2022., 2022
Abstract Industry 4.0 has ushered in a new era of digital manufacturing and in this context, digital twins are considered as the next wave of simulation technologies. The development and commissioning of Cyber Physical Systems (CPS) is taking advantage of these technologies to improve product quality while reducing costs and time to market.
Miriam Ugarte Querejeta, Miren Illarramendi Rezabal, Gorka Unamuno, Jose Luis Bellanco, Eneko Ugalde, Antonio Valor Valor   +5 more
wiley   +1 more source

A Hybrid Method for the Modelling and Optimisation of Constrained Search Problems

Foundations of Management, 2014
The paper presents a concept and the outline of the implementation of a hybrid approach to modelling and solving constrained problems. Two environments of mathematical programming (in particular, integer programming) and declarative programming (in ...
Sitek Pawel, Wikarek Jaroslaw
doaj   +1 more source