10916 search results - page 109 / 2184 » On Constructive Connectives and Systems |
121
click to vote
ISCAS
2007
IEEE
16 years 22 days ago
2007
IEEE
Abstract— This paper studies a system of parallelconnected dc/dc converters under master-slave current sharing and proportional-integral (PI) PWM control. Two distinct types of b...
200
click to vote
FROCOS
2005
Springer
15 years 12 months ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
142
click to vote
IJBC
2006
15 years 6 months ago
2006
We study the dynamical behaviour of the collective field of chaotic systems on small world lattices. Coupled neuronal systems as well as coupled logistic maps are investigated. We...
137
click to vote
JCAM
2010
15 years 1 months ago
2010
Abstract. We investigate the properties of extremal point systems on the real line consisting of two interlaced sets of points solving a modified minimum energy problem. We show th...
231
click to vote
KDD
2012
ACM
13 years 9 months ago
2012
ACM
We present TOURVIZ, a system that helps its users to interactively visualize and make sense in large network datasets. In particular, it takes as input a set of nodes the user spe...