EOR
2011
12 years 8 months ago
2011
EOR
2011
12 years 8 months ago
2011
Due to its complexity, its challenging features, and its practical relevance, personnel scheduling has been heavily investigated in the last few decades. However, there is a relati...
EOR
2011
12 years 8 months ago
2011
EOR
2011
12 years 8 months ago
2011
ENTCS
2011
12 years 8 months ago
2011
In this paper the machinery of Hybrid Logic and the logic of public announcements are merged. In order to bring the two logics together properly the underlying hybrid logic has be...
ENTCS
2011
12 years 8 months ago
2011
We revisit the connection between three notions of computation: Moggi’s monads, Hughes’s arrows and McBride and Paterson’s idioms (also called applicative functors). We show...
0
posts
with
0
views
0
views
Mauricio G. C. Resende is a research scientist at the Algorithms and Optimization Research Department at the AT&T Shannon Laboratory of AT&T Labs Research. His undergraduate studie...
PE
2011
Springer
12 years 11 months ago
2011
Springer
We introduce a new solution technique for closed product-form queueing networks that generalizes the Method of Moments (MoM), a recently proposed exact algorithm that is several o...
SWARM
2010
SPRINGER
12 years 11 months ago
2010
SPRINGER
Abstract This position paper explores the nature and role of two bio-inspired paradigms, namely Artificial Immune Systems (AIS) and Swarm Intelligence (SI). We argue that there are...