8 search results - page 1 / 2 » A Generic Approach to Electronic Structure Calculations in N... |
CSE
2008
IEEE
13 years 5 months ago
2008
IEEE
CPHYSICS
2008
13 years 5 months ago
2008
The relation between atomistic structure, architecture, molecular weight and material properties is a basic concern of modern soft material science. This by now goes far beyond st...
MKM
2007
Springer
13 years 11 months ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
DATE
2003
IEEE
13 years 10 months ago
2003
IEEE
The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software stru...
ASAP
2005
IEEE
13 years 10 months ago
2005
IEEE
In this paper we introduce a design methodology that allows the system/circuit designer to build reliable systems out of unreliable nano-scale components. The central point of our...