M. S. Trevisan and T. M. Walser, Evaluability assessment: Improving evaluation quality and use

M m m Queue with Balking, Reneging and Additional Servers

In this paper, we consider a multi-server queuing system in which additional servers are allowed for a longer queue to reduce the customer’s balking and reneging behavior. The customers are assumed to arrive in Poisson fashion and their service- times follow exponential distribution. The number of servers in long run depends on the queue-length. We obtain equilibrium queue size distribution. Th...

Remmert , S . M . , Banks , S . T .

T C C 20 Y  M  M S

Twenty years ago, modal and mixed specifications were proposed as abstract models of system behavior. In this paper, we explain the nature and utility of such specifications, relate them to other formalisms, showcase some of their established applications, and mention some existing tool support. We also present some recent complexity results for decision problems underlying such applications an...

Nicola Bertoldi S TATISTICAL M ODELS AND S EARCH A LGORITHMS FOR M ACHINE T RANSLATION

Quasimodular Forms and S(m|m) ∧ Characters

In this paper, we establish automorphic properties and asymptotic behaviors of characters due to Kac–Wakimoto pertaining to s (m|n)∧ highest weight modules in the case m = n, extending work of Bringmann and Ono (Math Ann 345:547–558, 2009) and Bringmann and Folsom (submitted) which pertains to the case m > n.