549 search results - page 80 / 110 » Using Formal Concept Analysis in Mathematical Discovery |
146
click to vote
CAD
1999
Springer
15 years 3 months ago
1999
Springer
This paper is concerned with the mathematics and formal specification of "set-like" operations for the mixed dimension cellular objects of the Djinn Application Programm...
150
click to vote
SCFBM
2008
15 years 3 months ago
2008
Modern life sciences research increasingly relies on computational solutions, from large scale data analyses to theoretical modeling. Within the theoretical models Boolean network...
139
click to vote
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
Methods to assess and ensure system usability are becoming increasingly important as market edge becomes less dependent on function and more dependent on ease of use, and as recog...
154
click to vote
SAFECOMP
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...
119
click to vote
CERA
2010
2010
A Framework of Describing and Managing Engineering Analysis Modeling Knowledge for Design Validation
15 years 4 months ago
Engineering design is validated by engineering analysis. In the process for predicting the physical behavior of the design, the design components, physical mechanisms, etc. are id...