Sciweavers

1818 search results - page 182 / 364
» Operant conditioning
Sort
View
APSEC
2007
IEEE
14 years 2 months ago
Realizability of Collaboration-based Service Specifications
This paper is concerned with compositional specification of services using UML 2 collaborations, activity and interaction diagrams. It addresses the problem of realizability: give...
Humberto Nicolás Castejón, Rolv Br&a...
CDC
2009
IEEE
179views Control Systems» more  CDC 2009»
14 years 2 months ago
Controllability analysis for current profile control in tokamaks
Abstract-- The control of the toroidal current density spatial profile in tokamak plasmas will be absolutely critical in future commercial-grade reactors to enable high fusion gain...
Yongsheng Ou, Eugenio Schuster
ITP
2010
156views Mathematics» more  ITP 2010»
14 years 2 months ago
The Optimal Fixed Point Combinator
In this paper, we develop a general theory of fixed point combinators, in higher-order logic equipped with Hilbert’s epsilon operator. This combinator allows for a direct and e...
Arthur Charguéraud
FOCI
2007
IEEE
14 years 2 months ago
On the Influence of Phenotype Plasticity on Genotype Diversity
A large body of research has investigated the advantages of combining phenotype adaptation and genotype adaptation. The hybridization of genetic search and local search methods, of...
Ingo Paenke, Jürgen Branke, Yaochu Jin
ACSC
2004
IEEE
14 years 1 months ago
Network Robustness and Graph Topology
Two important recent trends in military and civilian communications have been the increasing tendency to base operations around an internal network, and the increasing threats to ...
Anthony H. Dekker, Bernard D. Colbert