Sciweavers

1818 search results - page 33 / 364
» Operant conditioning
Sort
View
ARITH
2003
IEEE
14 years 9 days ago
Representable Correcting Terms for Possibly Underflowing Floating Point Operations
Studying floating point arithmetic, authors have shown that the implemented operations (addition, subtraction, multiplication, division and square root) can compute a result and a...
Sylvie Boldo, Marc Daumas
CCE
2004
13 years 8 months ago
A strategy for MINLP synthesis of flexible and operable processes
This paper presents a sequential two-stage strategy for the stochastic synthesis of chemical processes in which flexibility and ability to adjust manipulated variables are taken i...
Zorka Novak Pintaric, Zdravko Kravanja
PAM
2011
Springer
12 years 11 months ago
Operating a Network Link at 100%
Abstract. Internet speed at the edge is increasing fast with the spread of fiberbased broadband technology. The appearance of bandwidth-consuming applications, such as peer-to-pee...
Changhyun Lee, D. K. Lee, Yung Yi, Sue B. Moon
LISP
2008
105views more  LISP 2008»
13 years 8 months ago
Proving operational termination of membership equational programs
Abstract Reasoning about the termination of equational programs in sophisticated equational languages such as ELAN, MAUDE, OBJ, CAFEOBJ, HASKELL, and so on, requires support for ad...
Francisco Durán, Salvador Lucas, Claude Mar...
ECAL
2007
Springer
14 years 2 months ago
Individual Selection for Cooperative Group Formation
It is well known that certain environmental conditions, such as a spatially structured population, can promote the evolution of cooperative traits. However, such conditions are usu...
Simon T. Powers, Alexandra S. Penn, Richard A. Wat...