1101 search results - page 122 / 221 » Forcing in proof theory |
81
Voted
DCG
2010
15 years 23 days 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...
91
Voted
ALIFE
1998
15 years 11 days 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...
ICRA
2010
IEEE
14 years 11 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...
ICCAD
2006
IEEE
15 years 9 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...
115
Voted
BIRTHDAY
2007
Springer
15 years 6 months 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...