http://www.openstarts.units.it:80/dspace/handle/10077/3879 Fri, 24 May 2013 14:38:17 GMT 2013-05-24T14:38:17Z http://www.openstarts.units.it:80/dspace/retrieve/10755/eut_nuovo_logo_100_scritta.gif http://www.openstarts.units.it:80/dspace/handle/10077/3879 http://www.openstarts.units.it:80/dspace/handle/10077/4026 Title: Editorial Type: Articolo Fri, 01 Jan 2010 00:00:00 GMT http://www.openstarts.units.it:80/dspace/handle/10077/4026 2010-01-01T00:00:00Z http://www.openstarts.units.it:80/dspace/handle/10077/4025 Title: Preface Type: Articolo Fri, 01 Jan 2010 00:00:00 GMT http://www.openstarts.units.it:80/dspace/handle/10077/4025 2010-01-01T00:00:00Z http://www.openstarts.units.it:80/dspace/handle/10077/4024 Title: Proofs of the Results in “Boundary-Value Problems for Weakly Nonlinear Ordinary Differential Equations” Authors: Dancer, Edward Norman Abstract: We provide the proofs of the results, announced in [1], concerning the existence (and non-existence) of solutions to Dirichlet and periodic boundary value problems associated to second order differential equations with asymmetric nonlinearities. Type: Articolo Fri, 01 Jan 2010 00:00:00 GMT http://www.openstarts.units.it:80/dspace/handle/10077/4024 2010-01-01T00:00:00Z http://www.openstarts.units.it:80/dspace/handle/10077/3894 Title: Topo-Bisimulations are Coalgebraic Authors: Schubert, Christoph Abstract: We show that the topological interpretation of the modal logic S4 can be reformulated using a special kind of coalgebras for the filter functor. Thus the topological semantics is subsumed in coalgebraic semantics. Moreover, the relational notion of topo-bisimulation can be characterized via spans of open and continuous maps of topological spaces or via spans of coalgebras morphisms. Type: Article Fri, 01 Jan 2010 00:00:00 GMT http://www.openstarts.units.it:80/dspace/handle/10077/3894 2010-01-01T00:00:00Z