搜索结果: 1-7 共查到“计算机科学技术基础学科 Methods”相关记录7条 . 查询时间(0.223 秒)
A Generalized Method for Integrating Rule-based Knowledge into Inductive Methods Through Virtual Sample Creation
Rule based learning hybrid learning virtual sample virtual example
2015/7/22
Hybrid learning methods use theoretical knowledge of a domain and a set of classified examples to develop a method for classification. Methods that use domain knowledge have been shown to perform bett...
Comparative Analysis of Computational Methods for Limit-Cycle Oscillations
Comparative Analysis Computational Methods Limit-Cycle Oscillations
2015/7/2
Various methods are explored in the computation of time-periodic solutions for autonomous systems. The purpose of the work is to illuminate the capabilities and limitations of methods, including a new...
On the Design of Methods to Estimate Network Characteristics
Complex Networks Fisher information Frontier Sampling
2014/12/18
Social and computer networks permeate our lives. Large networks, such as the Internet, the World Wide Web (WWW), AND wireless smartphones, have indisputable economic and social importance. These netwo...
Using Formal Methods to Verify Transactional Abstract Concurrency Control
Transactional Memory Formal Verification SAT
2014/12/18
Concurrent application design and implementation is more important than ever in today's multi-core processor world. Transactional Memory (TM) Concurrent application design and implementation is more i...
A Non-Linear Eigensolver-Based Alternative to Traditional Self-Consistent Electronic Structure Calculation Methods
density functional theory electronic structure eigenvalue self consistent field FEAST
2014/12/8
This thesis presents a means of enhancing the iterative calculation techniques used in electronic structure calculations, particularly Kohn-Sham DFT. Based on the subspace iteration method of the FEAS...
Meshless methods belong to one of the most progressively developed part of Computational Mechanics, which is increasingly used in many fields of engineering and sciences. Each day, the number of new r...
Logical Methods in Computer Science（LMCS）
Logical Methods in Computer Science LMCS theoretical computer science 计算机理论
2008/1/15
Logical Methods in Computer Science is a fully refereed, open access, free, electronic journal. It welcomes papers on theoretical and practical areas in computer science involving logical methods, tak...