167 citations
- Institut national de recherche en sciences et technologies du numériqueFR4 papers
- Université Grenoble AlpesFR3 papers
- University of California, Los AngelesUS2 papers
- Centre National de la Recherche ScientifiqueFR1 paper
- Laboratoire d’Analyse et de Mathématiques AppliquéesFR1 paper
- Université Joseph FourierFR1 paper
- Université Savoie Mont BlancFR1 paper
- University of L'AquilaIT1 paper
Showing 2009Show all
2 papers · 1 filter
physics.ao-ph2009
Optimal Boundary Discretization by Variational Data Assimilation
Eugene Kazantsev
Variational data assimilation technique applied to the identification of the optimal discretization of interpolation operators and derivatives in the nodes adjacent to the boundary…
cs.LO2009★ 4 cited
Cartesian effect categories are Freyd-categories
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
Most often, in a categorical semantics for a programming language, the substitution of terms is expressed by composition and finite products. However this does not deal with the or…