DSpace Collection: http://www.openstarts.units.it:80/dspace/handle/10077/3879 2013-05-25T03:33:51Z 2013-05-25T03:33:51Z Editorial http://www.openstarts.units.it:80/dspace/handle/10077/4026 2011-12-20T18:28:55Z 2010-01-01T00:00:00Z Title: Editorial Type: Articolo 2010-01-01T00:00:00Z Preface http://www.openstarts.units.it:80/dspace/handle/10077/4025 2011-12-20T18:29:11Z 2010-01-01T00:00:00Z Title: Preface Type: Articolo 2010-01-01T00:00:00Z Proofs of the Results in “Boundary-Value Problems for Weakly Nonlinear Ordinary Differential Equations” Dancer, Edward Norman http://www.openstarts.units.it:80/dspace/handle/10077/4024 2011-03-29T08:25:04Z 2010-01-01T00:00:00Z 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 2010-01-01T00:00:00Z Topo-Bisimulations are Coalgebraic Schubert, Christoph http://www.openstarts.units.it:80/dspace/handle/10077/3894 2011-03-29T08:43:13Z 2010-01-01T00:00:00Z 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 2010-01-01T00:00:00Z