Sciweavers

2373 search results - page 76 / 475
» Complexities for generalized models of self-assembly
Sort
View
GECCO
2005
Springer
220views Optimization» more  GECCO 2005»
15 years 10 months ago
Scale invariant pareto optimality: a meta--formalism for characterizing and modeling cooperativity in evolutionary systems
This article describes a mathematical framework for characterizing cooperativity in complex systems subject to evolutionary pressures. This framework uses three foundational compo...
Mark Fleischer
COCO
2001
Springer
154views Algorithms» more  COCO 2001»
15 years 9 months ago
Quantum Algorithms for Element Distinctness
We present several applications of quantum amplitude amplification to finding claws and collisions in ordered or unordered functions. Our algorithms generalize those of Brassard...
Harry Buhrman, Christoph Dürr, Mark Heiligman...
AIED
2007
Springer
15 years 8 months ago
Optimizing Student Models for Causality
Complex student models often include key parameters critical to their behavior and effectiveness. For example, one meta-cognitive model of student help-seeking in intelligent tutor...
Benjamin Shih, Kenneth R. Koedinger, Richard Schei...
FMSD
2002
107views more  FMSD 2002»
15 years 4 months ago
Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function
We present a new technique for verification of complex hardware devices that allows both generality andahighdegreeofautomation.Thetechniqueisbasedonournewwayofconstructinga"li...
Sergey Berezin, Edmund M. Clarke, Armin Biere, Yun...
WSC
2008
15 years 6 months ago
Using Little's Law to estimate cycle time and cost
Well designed models can provide timely answers and summarize understanding of complex systems. Simple use cases can illustrate the applicability and inferences possible with even...
Kristin Rust