1330 search results - page 171 / 266 » No Classic Boundary Conditions |
185
click to vote
FOCS
2009
IEEE
16 years 1 months ago
2009
IEEE
— We study a simple game theoretic model for the spread of an innovation in a network. The diffusion of the innovation is modeled as the dynamics of a coordination game in which ...
165
click to vote
CSL
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. This paper is part of a general project of developing a systematic and algebraic proof theory for nonclassical logics. Generalizing our previous work on intuitionistic-su...
163
click to vote
ERSHOV
2009
Springer
16 years 26 days ago
2009
Springer
One of the applications of supercompilation is proving properties
of programs.We focus in this paper on a speci c task: proving term
equivalence for a higher-order lazy functiona...
203
click to vote
LION
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. Protein function prediction represents a fundamental challenge in bioinformatics. The increasing availability of proteomics network data has enabled the development of se...
131
click to vote
CDC
2008
IEEE
16 years 23 days ago
2008
IEEE
— This paper studies the dissipativity properties of full order dynamic models of synchronous generators. It is shown that, under widely accepted assumptions, these models satisf...