5510 search results - page 845 / 1102 » Mathematics |
117
click to vote
AMC
2007
15 years 6 months ago
2007
The existence of positive heteroclinic solutions is proven for a class of scalar population models with one discrete delay. Traveling wave solutions for scalar delayed reaction-di...
163
click to vote
AMCS
2010
15 years 6 months ago
2010
satisfactory network connectivity have dominated this line of research and abstracted away from the mathematical description of the physical processes underlying the observed pheno...
149
click to vote
APAL
2010
15 years 6 months ago
2010
A logic-enriched type theory (LTT) is a type theory extended with a primitive mechanism for forming and proving propositions. We construct two LTTs, named LTT0 and LTT 0, which we...
177
click to vote
APAL
2010
15 years 6 months ago
2010
Locatedness is one of the fundamental notions in constructive mathematics. The existence of a positivity predicate on a locale, i.e. the locale being overt, or open, has proved to ...
159
click to vote
AROBOTS
2007
15 years 6 months ago
2007
The process of protein crystallization is explained using the theory of robotics, particularly path planning of mobile robots. Path planning is a procedure which specifies motion ...