Sciweavers

4255 search results - page 249 / 851
» Cover
Sort
View
AGP
2010
IEEE
15 years 6 months ago
25 Years of Applications of Logic Programming in Italy
In this paper we give a summary of our recent survey of practical applications of Logic Programming in Italy. The survey covers a 25 year time-span. Information was mainly gathere...
Alessandro Dal Palù, Paolo Torroni
ANOR
2010
123views more  ANOR 2010»
15 years 6 months ago
Robust portfolios: contributions from operations research and finance
Abstract In this paper we provide a survey of recent contributions to robust portfolio strategies from operations research and finance to the theory of portfolio selection. Our sur...
Frank J. Fabozzi, Dashan Huang, Guofu Zhou
CORR
2010
Springer
93views Education» more  CORR 2010»
15 years 6 months ago
Group-Strategyproof Irresolute Social Choice Functions
We axiomatically characterize the class of pairwise irresolute social choice functions that are group-strategyproof according to Kelly's preference extension. The class is na...
Felix Brandt
113
Voted
CORR
2008
Springer
111views Education» more  CORR 2008»
15 years 6 months ago
On the decomposition of k-valued rational relations
We give a new, and hopefully more easily understandable, structural proof of the decomposition of a k-valued transducer into k unambiguous functional ones, a result established by...
Jacques Sakarovitch, Rodrigo de Souza
CORR
2008
Springer
172views Education» more  CORR 2008»
15 years 6 months ago
Lecture notes on the lambda calculus
This is a set of lecture notes that developed out of courses on the lambda calculus that I taught at the University of Ottawa in 2001 and at Dalhousie University in 2007. Topics c...
Peter Selinger