Results 21 to 30 of about 945,610 (300)
Frontiers in Bioengineering and Biotechnology, 2020 Differential expressions of genes are widely evaluated for the diagnosis and prognosis correlations with diseases. But limited studies investigate how transcriptional regulations are quantitatively altered in diseases.
Meiyu Duan +8 more
doaj +1 more source
Satisfiability checking and symbolic computation [PDF]
ACM Communications in Computer Algebra, 2017 Symbolic Computation and Satisfiability Checking are viewed as individual research areas, but they share common interests in the development, implementation and application of decision procedures for arithmetic theories. Despite these commonalities, the two communities are currently only weakly connected.
Erika Ábrahám +14 more
openaire +7 more sources
GroupFound: An effective approach to detect suspicious accounts in online social networks
International Journal of Distributed Sensor Networks, 2017 Online social networks are an important part of people’s life and also become the platform where spammers use suspicious accounts to spread malicious URLs.
Bo Feng +4 more
doaj +1 more source
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 +8 more
doaj +1 more source
Fairchild Symbol Computer [PDF]
IEEE Annals of the History of Computing, 2008 Under the leadership of Gordon Moore, Fairchild Semiconductor embarked on the design of a high-level time-sharing computer, Symbol IIR. In the mid-1960s, the falling costs of semiconductors made hardware seem like the logical design choice to replace common software functions. Symbol embodied that design, but to what effect?
openaire +2 more sources
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 +3 more
doaj +1 more source
Computability in Symbolic Dynamics [PDF]
, 2016 We give an overview of the interplay between computability and symbolic dynamics.
openaire +3 more sources
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 +6 more
openaire +5 more sources
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 +3 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 +3 more
doaj +1 more source