Sciweavers

1193 search results - page 51 / 239
» A primer of simple theories
Sort
View
JSYML
2007
75views more  JSYML 2007»
14 years 11 months ago
Stable definability and generic relations
Abstract. An amalgamation base p in a simple theory is stably definable if its canonical base is interdefinable with the set of canonical parameters for the φ-definitions of p ...
Byunghan Kim, Rahim Moosa
JCB
2000
91views more  JCB 2000»
14 years 11 months ago
Scaling Laws and Similarity Detection in Sequence Alignment with Gaps
We study the problem of similarity detection by sequence alignment with gaps, using a recently established theoretical framework based on the morphology of alignment paths. Alignm...
Dirk Drasdo, Terence Hwa, Michael Lässig
COMPLEXITY
2010
124views more  COMPLEXITY 2010»
14 years 9 months ago
Spatially embedded dynamics and complexity
To gain a deeper understanding of the impact of spatial embedding on the dynamics of complex systems we employ a measure of interaction complexity developed within neuroscience us...
Christopher L. Buckley, Seth Bullock, Lionel Barne...
POPL
2012
ACM
13 years 7 months ago
Towards a program logic for JavaScript
JavaScript has become the most widely used language for clientside web programming. The dynamic nature of JavaScript makes understanding its code notoriously difficult, leading t...
Philippa Gardner, Sergio Maffeis, Gareth David Smi...
KDD
2012
ACM
199views Data Mining» more  KDD 2012»
13 years 2 months ago
Trustworthy online controlled experiments: five puzzling outcomes explained
Online controlled experiments are often utilized to make datadriven decisions at Amazon, Microsoft, eBay, Facebook, Google, Yahoo, Zynga, and at many other companies. While the th...
Ron Kohavi, Alex Deng, Brian Frasca, Roger Longbot...