1582 search results - page 113 / 317 » Mathematical Tools for Physics |
ICSE
1994
IEEE-ACM
14 years 29 days ago
1994
IEEE-ACM
We apply mathematical concept analysis to the problem of infering configuration structures from existing source code. Concept analysis has been developed by German mathematicians ...
ACSD
2001
IEEE
14 years 16 days ago
2001
IEEE
We describe a framework where formal models can be rigorously defined and compared, and their interconnections can be unambiguously specified. We use trace algebra and trace struc...
BIRTHDAY
2008
Springer
13 years 11 months ago
2008
Springer
One of the surprising developments in the area of program verification is how ideas introduced originally by logicians in the 1950s ended up yielding by 2003 an industrial-standard...
EUSFLAT
2007
13 years 10 months ago
2007
In spite of its successes as a tool in the field of engineering, fuzzy set theory has yet to achieve the universal footing that probability theory has across the various fields ...
ALIFE
2005
13 years 8 months ago
2005
This review presents a review of prevalent results within research pertaining to emergent cooperation in biologically inspired artificial social systems. Results reviewed maintain ...