Results 31 to 40 of about 14,483 (309)

06271 Executive Summary - Challenges in Symbolic Computation Software [PDF]

, 2006
Symbolic computation software allows mathematicians, scientists, engineers, or educators to deal with elaborate calculations using a computer. The applications range from introducing the experimental method in fields of pure mathematics to practical ...
Decker, Wolfram, Watt, Stephen M., Dewar, Mike, Kaltofen, Erich   +3 more
core   +1 more source

MuscNet, a Weighted Voting Model of Multi-Source Connectivity Networks to Predict Mild Cognitive Impairment Using Resting-State Functional MRI

IEEE Access, 2020
The neurological disorder mild cognitive impairment (MCI) demonstrates minor impacts on the patient's daily activities and may be ignored as the status of normal aging.
Jialiang Li, Zhaomin Yao, Meiyu Duan, Shuai Liu, Fei Li, Haiyang Zhu, Zhiqiang Xia, Lan Huang, Fengfeng Zhou   +8 more
doaj   +1 more source

The unpolarized and polarized single-mass three-loop heavy flavor operator matrix elements A gg,Q and ∆A gg,Q

Journal of High Energy Physics, 2022
We calculate the gluonic massive operator matrix elements in the unpolarized and polarized cases, A gg,Q (x, μ 2) and ∆A gg,Q (x, μ 2), at three-loop order for a single mass.
J. Ablinger, A. Behring, J. Blümlein, A. De Freitas, A. Goedicke, A. von Manteuffel, C. Schneider, K. Schönwald   +7 more
doaj   +1 more source

06271 Abstracts Collection – Challenges in Symbolic Computation Software [PDF]

, 2006
From 02.07.06 to 07.07.06, the Dagstuhl Seminar 06271 ``Challenges in Symbolic Computation Software'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl.
Decker, Wolfram, Watt, Stephen M., Dewar, Mike, Kaltofen, Erich   +3 more
core   +1 more source

Constrained Consistency Modeling for Attributed Network Embedding

IEEE Access, 2019
Network embedding has emerged as a fundamental approach to network analysis tasks. Its main purpose is to learn a suitable mapping function to convert nodes in networks into a low-dimensional representations.
Xuan Zang, Bo Yang, Shuang Yang, Hechang Chen   +3 more
doaj   +1 more source

Proving and Computing: Applying Automated Reasoning to the Verification of Symbolic Computation Systems [PDF]

, 2014
The application of automated reasoning to the formal verification of symbolic computation systems is motivated by the need of ensuring the correctness of the results computed by the system, beyond the classical approach of testing. Formal verification
Ruiz Reina, José Luis, José–Luis Ruiz–Reina   +1 more
core   +1 more source

The OCS-SVM: An Objective-Cost-Sensitive SVM With Sample-Based Misclassification Cost Invariance

IEEE Access, 2019
Studies on the traditional support vector machine (SVM) implicitly assume that the costs of different types of mistakes are the same and minimize the error rate.
Shuang Yu, Xiongfei Li, Xiaoli Zhang, Hancheng Wang   +3 more
doaj   +1 more source

Programming and symbolic computation in Maude

Journal of Logical and Algebraic Methods in Programming, 2020
Journal of Logical and Algebraic Methods in Programming ...
Francisco Durán 0001, Steven Eker, Santiago Escobar 0001, Narciso Martí-Oliet, José Meseguer 0001, Rubén Rubio, Carolyn L. Talcott   +6 more
openaire   +5 more sources

A Novel Histogram Region Merging Based Multithreshold Segmentation Algorithm for MR Brain Images

International Journal of Biomedical Imaging, 2017
Multithreshold segmentation algorithm is time-consuming, and the time complexity will increase exponentially with the increase of thresholds. In order to reduce the time complexity, a novel multithreshold segmentation algorithm is proposed in this paper.
Siyan Liu, Xuanjing Shen, Yuncong Feng, Haipeng Chen   +3 more
doaj   +1 more source

Symbolic computation for evaluation of measurement uncertainty

, 2007
In recent years, with the rapid development of symbolic computation, the integration of symbolic and numeric methods is increasingly applied in various applications.
Wei, P, Jones, BE, Mohd Rizal Salleh, Peng Wei, Barry Jones, Qing Ping Yang, Yang, QP, Salleh, MR   +7 more
core   +1 more source