3353 search results - page 559 / 671 » Laver and set theory |
147
click to vote
CSDA
2007
15 years 6 months ago
2007
At present, likelihood ratios for two-level models are determined with the use of a normal kernel estimation procedure when the between-group distribution is thought to be non-nor...
146
click to vote
JNS
2008
15 years 6 months ago
2008
This paper studies the construction of geometric integrators for nonholonomic systems. We derive the nonholonomic discrete Euler-Lagrange equations in a setting which permits to de...
173
click to vote
JSAC
2008
15 years 6 months ago
2008
Given an arbitrary network of interconnected nodes, we develop and analyze a distributed strategy that enables a subset of the nodes to calculate any given function of the node val...
136
click to vote
JSYML
2008
15 years 6 months ago
2008
An important technique in large cardinal set theory is that of extending an elementary embedding j : M N between inner models to an elementary embedding j : M[G] N[G] between ge...
197
click to vote
JLP
2006
15 years 6 months ago
2006
We present a formal framework for notions related to testing and model based test generation for a behavioural subset of UML Statecharts (UMLSCs). This framework builds, on one ha...