1818 search results - page 223 / 364 » Granularity-Adaptive Proof Presentation |
106
click to vote
JSC
2008
15 years 4 months ago
2008
Let k be a field of characteristic zero, n any positive integer and let n be the derivation n i=1 Xi Yi of the polynomial ring k[X1, . . . , Xn, Y1, . . . , Yn] in 2n variables o...
137
click to vote
ENTCS
2007
15 years 4 months ago
2007
ly positive maps (extended abstract) Peter Selinger 1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada Dagger compact closed categories ...
132
click to vote
MCSS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We give a further elaboration of the fundamental connections between Lax-Phillips scattering, conservative input/state/output linear systems and Sz.-Nagy-Foias model theo...
133
click to vote
ENTCS
2007
15 years 4 months ago
2007
The engineering of systems that are acceptably correct is a hard problem. On the one hand, semi-formal modelling approaches that are used in practical, large-scale system developm...
122
click to vote
ENVSOFT
2007
15 years 4 months ago
2007
Communication across the science-policy interface is complicated by uncertainty and ignorance associated with predictions on which to base policies. The international symposium â€...