2165 search results - page 67 / 433 » cases 2005 |
108
click to vote
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
Today’s software does not come with meaningful guarantees. This position paper explores why this is the case, suggests societal and technical impediments to more dependable softw...
106
Voted
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
A case study of usability of dial-a-ride bus systems is reported. We conduct a social simulation to compare efficiencies of the dial-a-ride bus systems, one of possible multiagent...
120
click to vote
APPML
2006
15 years 3 months ago
2006
For when the Sylvester matrix equation has a unique solution, this work provides a closed form solution, which is expressed as a polynomial of known matrices. In the case of non-u...
126
click to vote
ACS
2005
15 years 3 months ago
2005
We study internal structures in the category of algebras for an operad, and show that these themselves admit an operadic description. The main case of interest is where the operad...
113
click to vote
AMC
2005
15 years 3 months ago
2005
In this paper we study a free boundary problem modeling the growth of tumors. The model uses the conventional ideas of nutrient diffusion and consumption by the cells. We consider...