Sciweavers

Share
EOR
2011
131views more  EOR 2011»
8 years 10 months ago
Personnel scheduling: Models and complexity
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...
Peter Brucker, Rong Qu, Edmund K. Burke
EOR
2011
108views more  EOR 2011»
8 years 10 months ago
A comprehensive method for comparing mental models of dynamic systems
Martin Schaffernicht, Stefan N. Groesser
ENTCS
2011
125views more  ENTCS 2011»
8 years 10 months ago
A Hybrid Public Announcement Logic with Distributed Knowledge
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...
Jens Ulrik Hansen
ENTCS
2011
134views more  ENTCS 2011»
8 years 10 months ago
Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous
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...
Sam Lindley, Philip Wadler, Jeremy Yallop

0
posts
with
0
views
204profile views
gomgcrResearch Scientist, PhD
AT&T Labs Research
gomgcr
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
274views Optimization» more  PE 2011»
9 years 1 months ago
A generalized method of moments for closed queueing networks
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...
Giuliano Casale
SWARM
2010
SPRINGER
178views Optimization» more  SWARM 2010»
9 years 1 months ago
On artificial immune systems and swarm intelligence
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...
Jon Timmis, Paul S. Andrews, Emma Hart
books