Sciweavers

2086 search results - page 7 / 418
» Mathematical Theory Exploration
Sort
View
GECCO
2007
Springer
148views Optimization» more  GECCO 2007»
14 years 2 months ago
Exploring the behavior of building blocks for multi-objective variation operator design using predator-prey dynamics
In this paper, we utilize a predator-prey model in order to identify characteristics of single-objective variation operators in the multi-objective problem domain. In detail, we a...
Christian Grimme, Joachim Lepping, Alexander Papas...
BSL
2002
113views more  BSL 2002»
13 years 8 months ago
Types in logic and mathematics before 1940
Abstract. In this article, we study the prehistory of type theory up to 1910 and its development between Russell and Whitehead's Principia Mathematica ([71], 1910
Fairouz Kamareddine, Twan Laan, Rob Nederpelt
VISAPP
2010
13 years 6 months ago
Inverse Problems in Imaging and Computer Vision - From Regularization Theory to Bayesian Inference
phies are also mentioned and a common mathematical abstraction for all these inverses problems will be presented. By focusing on a simple linear forward model, first a synthetic an...
Ali Mohammad-Djafari
IIE
2006
130views more  IIE 2006»
13 years 8 months ago
Animation Tools of CAS for Dynamic Exploration of Mathematics
Abstract. The scope of the paper is animation facilities of computer algebra systems (CAS). Animation offers opportunities for visualization of complex mathematical concepts, provi...
Joana Lipeikiene, Antanas Lipeika
MKM
2005
Springer
14 years 2 months ago
An Exploration in the Space of Mathematical Knowledge
Abstract. Although knowledge is a central topic for MKM there is little explicit discussion on what ‘knowledge’ might actually be. There are specific intuitions about form and...
Andrea Kohlhase, Michael Kohlhase