5205 search results - page 966 / 1041 » Tilings and model theory |
179
click to vote
JSYML
2008
15 years 6 months ago
2008
free but not Whitehead Abelian groups to construct Abstract Elementary Classes (AEC) which satisfy the amalgamation property but fail various conditions on the locality of Galois-...
175
click to vote
JLP
2006
15 years 6 months ago
2006
We introduce CoCasl as a light-weight but expressive coalgebraic extension of the algebraic specification language Casl. CoCasl allows the nested combination of algebraic datatype...
159
click to vote
ML
2008
ACM
15 years 6 months ago
2008
ACM
Let f be a function on Rd that is monotonic in every variable. There are 2d possible assignments to the directions of monotonicity (two per variable). We provide sufficient condit...
176
click to vote
ESWA
2007
15 years 6 months ago
2007
Understanding the sequence-to-structure relationship is a central task in bioinformatics research. Adequate knowledge about this relationship can potentially improve accuracy for ...
186
click to vote
MICRO
2006
IEEE
15 years 6 months ago
2006
IEEE
Shrinking devices to the nanoscale, increasing integration densities, and reducing of voltage levels down to the thermal limit, all conspire to produce faulty systems. Frequent oc...