8,115 Hits in 6.9 sec

Knowledge extraction, modeling and formalization: EEG case study [article]

Dmitry Morozov, Mario Lezoche, Hervé Panetto
2018 arXiv   pre-print
Insipired from this work our research inherits their model and designs an experiment for mining electroencephalographic recordings for patterns of sleep spindles.  ...  Formal Concept Analysis (FCA) is a well-established method for data analysis which finds many applications in data mining.  ...  Which puts under the question the applicability of traditional training and classification model for this case.  ... 
arXiv:1809.09955v1 fatcat:mhindvmz2rg5jfi6xlkcjgmx74

Evaluation of Interpretability for Deep Learning algorithms in EEG Emotion Recognition: A case study in Autism [article]

Juan Manuel Mayor-Torres, Sara Medina-DeVilliers, Tessa Clarkson, Matthew D. Lerner, Giuseppe Riccardi
2022 arXiv   pre-print
This study is the first to consolidate a more transparent feature-relevance calculation for a successful EEG-based facial emotion recognition using a within-subject-trained CNN in typically-developed and  ...  Therefore, in this study we propose the evaluation of a Convolutional Neural Network (CNN) for electroencephalography (EEG)-based facial emotion recognition decoding complemented with a novel RemOve-And-Retrain  ...  collaboration in the construction and evaluation of all the Explainable Artificial Intelligence (XAI) methods included in this study, and for their effort in the instruction and evaluation of the iNNvestigate  ... 
arXiv:2111.13208v3 fatcat:22dsxkde25fhhggoczbbh6wude

Extracting temporal signatures for comprehending systems biology models

Naren Sundaravaradan, K.S.M. Tozammel Hossain, Vandana Sreedharan, Douglas J. Slotta, John Paul C. Vergara, Lenwood S. Heath, Naren Ramakrishnan
2010 Proceedings of the 16th ACM SIGKDD international conference on Knowledge discovery and data mining - KDD '10  
Systems biology has made massive strides in recent years, with capabilities to model complex systems including cell division, stress response, energy metabolism, and signaling pathways.  ...  We propose five new feaure selection strategies for rank-order space and assess their selective superiorities.  ...  Acknowledgments This work is supported in part by US NSF grants CCF-0937133, CNS-0615181, ITR-0428344, and the Institute for Critical Technology and Applied Science (ICTAS), Virginia Tech.  ... 
doi:10.1145/1835804.1835863 dblp:conf/kdd/SundaravaradanHSSVHR10 fatcat:c6n7gw7c4naetafgbxaumhlayq

Case Study of Ecstatic Meditation: fMRI and EEG Evidence of Self-Stimulating a Reward System

Michael R. Hagerty, Julian Isaacs, Leigh Brasington, Larry Shupe, Eberhard E. Fetz, Steven C. Cramer
2013 Neural Plasticity  
The fMRI and EEG results from an experienced meditator show changes in brain activity in 11 regions shown to be associated with the subjective reports, and these changes occur promptly after jhana is entered  ...  We test three mechanisms by which the subject might stimulate his own reward system by external means and reject all three.  ...  This case study provides guidelines for larger studies on jhana meditation in several areas.  ... 
doi:10.1155/2013/653572 pmid:23738149 pmcid:PMC3659471 fatcat:nmpaalanoncxtjhckvmproktqi

Semantic interoperability of large systems through a formal method: Relational Concept Analysis

Mickaël Wajnberg, Mario Lezoche, Alexandre Blondin-Massé, Petko Valchev, Hervé Panetto, Louise Tyvaert
2018 IFAC-PapersOnLine  
Various problems could arise and let the interoperation difficult or impossible. One of those problems could be the presence of implicit knowledge in the systems models.  ...  This kind of problems can be faced through knowledge formalisation strategies. The Formal Concept Analysis (FCA) is a mathematical tool to represent the information in a structured and complete way.  ...  A spindle can be studied through EEG and f-MRI.  ... 
doi:10.1016/j.ifacol.2018.08.330 fatcat:vozuaudwejbjpgg7i5ih4qjsgq

Modelling meaning composition from formalism to mechanism

Andrea E. Martin, Giosuè Baggio
2019 Philosophical Transactions of the Royal Society of London. Biological Sciences  
However, it has not yet resulted in mechanistic models of semantic composition: how, then, are the constituents of thoughts and sentences put and held together?  ...  Formal theories in philosophy and linguistics explain this fact by assuming that language and thought are compositional: systems of representations that separate a variable (or role) from its values (fillers  ...  The contributions in this set also showcase the richness of EEG data, and assert the need to harness multiple signal domains in EEG to study semantic processes, including lexical semantic activation and  ... 
doi:10.1098/rstb.2019.0298 pmid:31840588 fatcat:dxhm6xxp3be53eelfwqqhhf674

Process algebraic modelling of attentional capture and human electrophysiology in interactive systems

Li Su, Howard Bowman, Philip Barnard, Brad Wyble
2008 Formal Aspects of Computing  
We also thank Patrick Craston, Srivas Chennu and Dell Green for their contribution to the collection and analysis of the EEG data.  ...  the original author(s) and source are credited.  ...  The method in our model overcomes this limitation by directly extracting noise from human EEG.  ... 
doi:10.1007/s00165-008-0094-3 fatcat:lyktlm7dinflfhgsqcqyazl5jm

Cognitive architectures combine formal and heuristic approaches

Cleotilde Gonzalez, Christian Lebiere
2013 Behavioral and Brain Sciences  
They provide simple and natural explanations of these phenomena based on general cognitive processes such as memory retrieval, similarity-based partial matching, and associative learning.  ...  Cognitive architectures combine probabilistic mechanisms with symbolic knowledge-based representations (e.g., heuristics) to address effects that motivate QP.  ...  ACKNOWLEDGMENTS We are grateful to Diederik Aerts, Harald Atmanspacher, Thomas Filk, James Hampton, Mike Oaksford, Steven Sloman, Jennifer Trueblood, and Christoph Weidemann for their helpful comments.  ... 
doi:10.1017/s0140525x12002956 pmid:23673033 fatcat:hgomfp7fzrctxjhwq7vhsfcioq

Inter-subject pattern analysis for multivariate group analysis of functional neuroimaging. A unifying formalization [article]

Qi WANG, Thierry Artieres, Sylvain Takerkart
2020 bioRxiv   pre-print
, making the case for the interest of the transductive and the multi-source components of our formalization The second set of experiments quantitatively shows that, even after such transformation, it is  ...  We assess the relevance of our framework by performing model comparisons, where one brain decoding model exploits our formalization while others do not.  ...  in fMRI, EEG or MEG cognitive neuroscience studies [7] , will necessitate to embed our ISPA formalization within a multi-site learning framework, therefore adding an extra level of hierarchy in the framework  ... 
doi:10.1101/2020.08.28.272153 fatcat:nb7rjiaognh47jf7iboqbhdctq

Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks

Li Su, Howard Bowman, Philip Barnard
2008 Electronical Notes in Theoretical Computer Science  
A strength of formal methods is that they are abstract and thus, the resulting specifications of the operator are general purpose, ensuring that our findings are broadly applicable.  ...  Previous research has developed a formal methods-based (cognitive-level) model of the Interacting Cognitive Subsystems central engine, with which we have simulated attentional capture in the context of  ...  Hence, we could extend our formal model to produce feedback in a similar fashion as EEG signals and use them to investigate the feasibility of such interfaces.  ... 
doi:10.1016/j.entcs.2008.03.109 fatcat:vczlmnbsgbfk7m65tobtt3ilma

Formalized Quantum Stochastic Processes and Hidden Quantum Models with Applications to Neuron Ion Channel Kinetics [article]

Alan Paris, George Atia, Azadeh Vosoughi, Stephen Berman
2018 arXiv   pre-print
Using the simplest quantum channel model consistent with neuronal membrane voltage-clamp experiments, activation eigenenergies are calculated for the Hodgkin-Huxley K+ and Na+ ion channels.  ...  A new class of formal latent-variable stochastic processes called hidden quantum models (HQM's) is defined in order to clarify the theoretical foundations of ion channel signal processing.  ...  Neuronal Noise Because of its power and ubiquity in all neural recordings, from the individual channel level up to cortical electroencephalograms (EEG), the study of neuronal noise continues to be a major  ... 
arXiv:1511.00057v2 fatcat:j3bsssn76zf55o7ixkugi7pn5a

Event-related potentials to tones show differences between children with multiple risk factors for dyslexia and control children before the onset of formal reading instruction

Jarmo A. Hämäläinen, Kaisa Lohvansuu, Leena Ervast, Paavo H.T. Leppänen
2015 International Journal of Psychophysiology  
The present study examined 37 children between the ages of 5 and 6, 11 of which had multiple risk factors for developing reading problems.  ...  In addition to the most prevalent and studied risk factor, phonological processing, also auditory discrimination problems have been found in children and adults with reading difficulties.  ...  extraction processes (Karhu et al., 1997; Näätänen & Picton, 1987; Ceponiene et al., 2001) .  ... 
doi:10.1016/j.ijpsycho.2014.04.004 pmid:24746550 fatcat:4f52frx2xzagppyjazttqugz3m

The interaction of cartoonist's gender and formal features of cartoons

Andrea C Samson, Oswald Huber
2007 Humor: An International Journal of Humor Research  
AbstractThe present study investigates gender differences in the use of formal features of cartoons, like the amount of text, the number of panels, or the application of color.  ...  For the analysis, 300 cartoons (150 each by female and male cartoonists) were selected randomly from the works of 1519 cartoonists. Twenty-one formal features were analyzed.  ...  In this study, we focus on formal style and investigate whether cartoons drawn by female and by male cartoonists di¤er in their formal features.  ... 
doi:10.1515/humor.2007.001 fatcat:6wjmcvno4ffk3otxqjcqzcj2re

Limitations of the Dirac formalism as a descriptive framework for cognition

Artem Kaznatcheev, Thomas R. Shultz
2013 Behavioral and Brain Sciences  
AbstractWe highlight methodological and theoretical limitations of the authors' Dirac formalism and suggest the von Neumann open systems approach as a resolution.  ...  , and similarity judgments to phenomena in learning and development.  ...  ACKNOWLEDGMENTS We are grateful to Diederik Aerts, Harald Atmanspacher, Thomas Filk, James Hampton, Mike Oaksford, Steven Sloman, Jennifer Trueblood, and Christoph Weidemann for their helpful comments.  ... 
doi:10.1017/s0140525x12003007 pmid:23673038 fatcat:sppqlwbkhfewrptnjsepz2ehna

A social learning formalism for learners trying to figure out what a teacher wants them to do

Thomas Cederborg, Pierre-Yves Oudeyer
2014 Paladyn: Journal of Behavioral Robotics  
We introduce a formalism to address this challenge, which allows us to consider various strands of previous research as different related facets of a single generalized problem.  ...  These sources all provide (partially and ambiguously) information about what the teacher wants the learner to do, and all need to be interpreted concurrently.  ...  This research was partially funded by Region Aquitaine and ERC Grant EXPLORERS 240007.  ... 
doi:10.2478/pjbr-2014-0005 fatcat:7ibcqr4umbeublk6b7qlfvlooy
« Previous Showing results 1 — 15 out of 8,115 results