2373 search results - page 175 / 475 » On the Theory of Structural Subtyping |
145
click to vote
MSCS
2006
15 years 6 months ago
2006
Abstract. Lipschitz continuity is used as a tool for analyzing the relationship between incomputability and randomness. Having presented a simpler proof of one of the major results...
154
click to vote
BC
2005
15 years 6 months ago
2005
We describe a simple but general method to analyze networks of coupled identical nonlinear oscillators, and study applications to fast synchronization, locomotion, and schooling. ...
154
Voted
JLP
2007
15 years 6 months ago
2007
Exploiting linear type structure, we introduce a new theory bisimilarity for the π-calculus in which we abstract away not only τ-actions but also non-τ actions which do not aff...
190
click to vote
JSW
2007
15 years 6 months ago
2007
— The science of physics is based on theories and models as well as experiments: the former structure relations and simplify reality to a degree such that predictions on physical...
131
click to vote
IJUFKS
2000
15 years 6 months ago
2000
Continuous archimedean t-norms are generated by automorphisms f of ([0; 1]; ), the unit interval with its usual order structure. Such strict t-norms 4 are given by x 4 y = f 1 (f(...