Sciweavers

2693 search results - page 140 / 539
» On Computing Complex Navigation Functions
Sort
View
121
Voted
CEC
2010
IEEE
15 years 3 months ago
Optimization of biogas production with computational intelligence a comparative study
Biogas plants are reliable sources of energy based on renewable materials including organic waste. There is a high demand from industry to run these plants efficiently, which lead...
Jörg Ziegenhirt, Thomas Bartz-Beielstein, Oli...
114
Voted
CORR
2006
Springer
99views Education» more  CORR 2006»
15 years 2 months ago
An Embedding of the BSS Model of Computation in Light Affine Lambda-Calculus
This paper brings together two lines of research: implicit characterization of complexity classes by Linear Logic (LL) on the one hand, and computation over an arbitrary ring in t...
Patrick Baillot, Marco Pedicini
142
Voted
SAGT
2010
Springer
202views Game Theory» more  SAGT 2010»
15 years 1 months ago
Computing Stable Outcomes in Hedonic Games
We study the computational complexity of finding stable outcomes in symmetric additively-separable hedonic games. These coalition formation games are specified by an undirected e...
Martin Gairing, Rahul Savani
126
Voted
FSTTCS
2010
Springer
15 years 19 days ago
On extracting computations from propositional proofs (a survey)
This paper describes a project that aims at showing that propositional proofs of certain tautologies in weak proof system give upper bounds on the computational complexity of func...
Pavel Pudlák
127
Voted
WINE
2009
Springer
147views Economy» more  WINE 2009»
15 years 7 months ago
Computational Aspects of Multimarket Price Wars
We consider the complexity of decision making with regards to predatory pricing in multimarket oligopoly models. Specifically, we present multimarket extensions of the classical s...
Nithum Thain, Adrian Vetta