Sciweavers

2 search results - page 1 / 1
» Realizability algebras II : new models of ZF DC
Sort
View
47
Voted
CORR
2010
Springer
41views Education» more  CORR 2010»
14 years 10 months ago
Realizability algebras II : new models of ZF + DC
Jean-Louis Krivine
ISCAS
2006
IEEE
105views Hardware» more  ISCAS 2006»
15 years 4 months ago
A new Spice-oriented frequency-domain optimization technique
— There are many kinds of optimization techniques for designing high-performance RF circuits. In this paper, we propose a new frequency-domain Spice-oriented optimization algorit...
Masayoshi Oda, Yoshihiro Yamagami, Yoshifumi Nishi...