搜索结果: 1-5 共查到“计算机软件 s K-functional”相关记录5条 . 查询时间(0.125 秒)
FL is the result of an eort to design a practical functional programming language based on Backus FP This paper provides an introduction to and critique of the FL language The language eort is analy...
We initiate the formal study of functional encryption by giving precise definitions of the concept and its security. Roughly speaking, functional encryption supports restricted secret keys that enable...
Computational All-Electron Time-Dependent Density Functional Theory in Real Space and Real-Time: Applications to Molecules and Nanostructures
Pure sciences Applied sciences Nanotubes Quantum simulations Tddft Diagonalizations Eigenvalue solver
2014/11/7
Nowadays, for nanoelectronic devices, inter-atomic interactions and quantum effects are becoming increasingly important. For time dependent problem, such as high frequency electronics responses, or op...
Aspects of Text Mining From Computational Semiotics to Systemic Functional Hypertexts
Text Mining Computational Semiotics Systemic Functional Hypertexts
2009/12/9
The significance of natural language texts as the prime information structure for the management and dissemination of knowledge in organisations is still increasing. Making relevant documents availabl...
Towards the Proper Integration of Extra-Functional Requirements
Proper Integration Extra-Functional Requirements
2009/12/7
In spite of the many achievements in software engineering, proper treatment of extra-functional requirements (also known as non-functional requirements) within the software development process is stil...