Results 141 to 150 of about 51,397 (286)

Automated theorem proving in support of computer algebra: symbolic definite integration as a case study

open access: yesInternational Symposium on Symbolic and Algebraic Computation, 1999
A. Adams   +3 more
semanticscholar   +1 more source

How to Match Cognitive Model Predictions With EEG Data

open access: yesTopics in Cognitive Science, EarlyView.
Abstract Reliably identifying relevant brain areas implicated by the simulated activity from cognitive models is still an unsolved problem for cognitive modeling, particularly when matching model output with human electroencephalography (EEG) data. We propose a new method involving postprocessing of ACT‐R module activity and clustered EEG component ...
Kai Preuss   +3 more
wiley   +1 more source

On computing local monodromy and the numerical local irreducible decomposition

open access: yesTransactions of the London Mathematical Society, Volume 13, Issue 1, December 2026.
Abstract Similarly to the global case, the local structure of a holomorphic subvariety at a given point is described by its local irreducible decomposition. Geometrically, the key requirement for obtaining a local irreducible decomposition is to compute the local monodromy action of a generic linear projection at the given point, which is always well ...
Parker B. Edwards   +1 more
wiley   +1 more source

Frequency‐dependent contraction rates for the Bayesian method to the inverse source problem

open access: yesTransactions of the London Mathematical Society, Volume 13, Issue 1, December 2026.
Abstract This paper addresses an inverse source problem for acoustic waves in a range of frequencies. Our study has two main goals. First, although the problem is severely ill‐posed with a logarithmic stability estimate, we demonstrate, through careful analysis of the forward map's singular values, that increasing the frequency range enhances stability,
Pu‐Zhao Kow, Jenn‐Nan Wang
wiley   +1 more source

Home - About - Disclaimer - Privacy