Sciweavers

4674 search results - page 136 / 935
» cases 2008
Sort
View
APPML
2008
86views more  APPML 2008»
15 years 6 months ago
A periodic boundary value problem with vanishing Green's function
In this work, the authors consider the boundary value problem y + a(t)y = g(t) f (y), 0 t 2, y(0) = y(2), y (0) = y (2), and establish the existence of nonnegative solutions in ...
John R. Graef, Lingju Kong, Haiyan Wang
157
Voted
BSL
2008
92views more  BSL 2008»
15 years 6 months ago
Mathematical Fuzzy Logics
The last decade has seen an enormous development in infinite-valued systems and in particular in such systems which have become known as mathematical fuzzy logics. The paper discus...
Siegfried Gottwald
DM
2008
117views more  DM 2008»
15 years 6 months ago
Classes of optical orthogonal codes from arcs in root subspaces
We present new constructions for (n, w, ) optical orthogonal codes (OOC) using techniques from finite projective geometry. In one case codewords correspond to (q - 1)-arcs contain...
T. L. Alderson, Keith E. Mellinger
ENTCS
2008
85views more  ENTCS 2008»
15 years 6 months ago
Formalising in Nominal Isabelle Crary's Completeness Proof for Equivalence Checking
In the book on Advanced Topics in Types and Programming Languages, Crary illustrates the reasoning technique of logical relations in a case study about equivalence checking. He pr...
Julien Narboux, Christian Urban
COGSCI
2006
99views more  COGSCI 2006»
15 years 6 months ago
Dynamics of Phonological Cognition
A fundamental problem in spoken language is the duality between the continuous aspects of phonetic performance and the discrete aspects of phonological competence. We study 2 inst...
Adamantios I. Gafos, Stefan Benus