1101 search results - page 122 / 221 » Forcing in proof theory |
126
click to vote
DCG
2010
15 years 5 months ago
2010
Abstract. Recently a curvature theory for polyhedral surfaces has been established which associates with each face a mean curvature value computed from areas and mixed areas of tha...
149
click to vote
ALIFE
1998
15 years 5 months ago
1998
The origin of multicellular organisms and the mechanism of development in cell societies are studied by choosing a model with intracellular biochemical dynamics allowing for oscill...
151
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
— This paper presents a novel approach based on Jacobi shape theory and geometric reduction for formation control of autonomous underwater vehicles (AUVs). We consider a three de...
139
click to vote
ICCAD
2006
IEEE
16 years 2 months ago
2006
IEEE
— Negative Bias Temperature Instability (NBTI) in PMOS transistors has become a significant reliability concern in present day digital circuit design. With continued scaling, th...
192
click to vote
BIRTHDAY
2007
Springer
16 years 3 min ago
2007
Springer
Showing termination of the Battle of Hercules and Hydra is a challenge. We present the battle both as a rewrite system and as an arithmetic while program, provide proofs of their t...