Sciweavers

Share
95 search results - page 1 / 19
» Declarative modeling of finite mathematics
Sort
View
CORR
2008
Springer
158views Education» more  CORR 2008»
11 years 12 months ago
Declarative Combinatorics: Isomorphisms, Hylomorphisms and Hereditarily Finite Data Types in Haskell
This paper is an exploration in a functional programming framework of isomorphisms between elementary data types (natural numbers, sets, finite functions, permutations binary deci...
Paul Tarau
IHI
2012
217views Healthcare» more  IHI 2012»
10 years 7 months ago
Declarative privacy policy: finite models and attribute-based encryption
Regulations and policies regarding Electronic Health Information (EHI) are increasingly complex. Federal and State policy makers have called for both education to increase stakeho...
Peifung E. Lam, John C. Mitchell, Andre Scedrov, S...
WSC
2007
12 years 2 months ago
Mathematical programming-based perturbation analysis for GI/G/1 queues
This paper addresses several issues of using the mathematical programming representations of discrete-event dynamic systems in perturbation analysis. In particular, linear program...
He Zhang, Wai Kin Chan
JAIR
2010
115views more  JAIR 2010»
11 years 10 months ago
An Investigation into Mathematical Programming for Finite Horizon Decentralized POMDPs
Decentralized planning in uncertain environments is a complex task generally dealt with by using a decision-theoretic approach, mainly through the framework of Decentralized Parti...
Raghav Aras, Alain Dutech
books