1410 search results - page 188 / 282 » Proving theorems by reuse |
134
click to vote
MOC
2000
15 years 5 months ago
2000
The mortar finite element is an example of a non-conforming method which can be used to decompose and re-compose a domain into subdomains without requiring compatibility between th...
156
click to vote
CORR
1998
Springer
15 years 5 months ago
1998
Springer
An important characteristic of many logics for Arti cial Intelligence is their nonmonotonicity. This means that adding a formula to the premises can invalidate some of the consequ...
127
click to vote
DM
1998
15 years 5 months ago
1998
Let β(G), Γ(G) and IR(G) be the independence number, the upper domination number and the upper irredundance number, respectively. A graph G is called Γperfect if β(H) = Γ(H),...
155
click to vote
INFORMATICALT
1998
15 years 5 months ago
1998
We discuss an age-sex-structured population dynamics deterministic model taking into account random mating of sexes, females’ pregnancy and its dispersal in whole space. This mod...
163
click to vote
JCT
2002
15 years 5 months ago
2002
In [1], the author generalized Ehrhart's idea ([2]) of counting lattice points in dilated rational polytopes: Given a rational polytope, that is, a polytope with rational vert...