Rendiconti dell'Istituto di matematica dell'Università di Trieste: an International Journal of Mathematics vol.42 (2010) : [16] Collection home page

Acquista il testo a stampa

CONTENTS

Editorial

Giovanni Di Lena, Marino Martelli and Basilio Messano
Global Stability and Plus-Global Stability. An Application to Forward Neural Networks

Haiping Shi, Zhongzhi Liu and Zhigang Wang
Dirichlet Boundary Value Problems for Second Order p-Laplacian Difference Equations

Edward Norman Dancer
Proofs of the Results in “Boundary-Value Problems for Weakly Nonlinear Ordinary Differential Equations”

Zsolt Lángi
On Universal Covers for Four-Dimensional Sets of a Given Diameter

Antonio Fasano and Angiolo Farina
Modelling Complex Flows in Porous Media by Means of Upscaling Procedures

Ugo Bruzzo
Gauge Theory: from Physics to Geometry

Jorge Lewowicz and Marcelo Cerminara
Some Open Problems concerning Expansive Systems

Proceedings
“Theory and Applications of Bisimulations”

Preface

Alberto Casagrande
Hybrid Automata and Bisimulations

Domenico Cantone, Massimo Felici and Marianna Nicolosi Asmundo
Solvable Set/Hyperset Contexts: III. A Tableau System for a Fragment of Hyperset Theory

Ernest-Erich Doberkat
A Note on the Coalgebraic Interpretation of Game Logic

Eugenio G. Omodeo, Alberto Policriti and Alexandru I. Tomescu
Stating Infinity in Set/Hyperset Theory

Eugenio G. Omodeo
Bisimilarity, Hypersets, and Stable Partitioning: a Survey

Giacomo Lenzi
Recent Results on the Modal μ-Calculus: a Survey

Christoph Schubert
Topo-Bisimulations are Coalgebraic

Browse
Collection's Items (Sorted by Submit Date in Descending order): 1 to 16 of 16
Issue DateTitleAuthor(s)
2010Editorial
2010Preface
2010Proofs of the Results in “Boundary-Value Problems for Weakly Nonlinear Ordinary Differential Equations”Dancer, Edward Norman
2010Topo-Bisimulations are CoalgebraicSchubert, Christoph
2010Recent Results on the Modal $\mu$-Calculus: a SurveyLenzi, Giacomo
2010Bisimilarity, Hypersets, and Stable Partitioning: a SurveyOmodeo, Eugenio G.
2010Stating Infinity in Set/Hyperset TheoryOmodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I.
2010A Note on the Coalgebraic Interpretation of Game LogicDoberkat, Ernst-Erich
2010Solvable Set/Hyperset Contexts: III. A Tableau System for a Fragment of Hyperset TheoryCantone, Domenico; Felici, Massimo; Nicolosi Asmundo, Marianna
2010Hybrid Automata and BisimulationsCasagrande, Alberto
2010Some Open Problems Concerning Expansive SystemsLewowicz, Jorge; Cerminara, Marcelo
2010Gauge theory: form Physics to GeometryBruzzo, Ugo
2010On Universal Covers for Four-Dimensional Sets of a Given DiameterLángi, Zsolt
2010Modelling Complex Flows in Porous Media by Means of Upscaling ProceduresFasano, Antonio; Farina, Angiolo
2010Dirichlet Boundary Value Problems for Second Order $p$-Laplacian Difference EquationsShi, Haiping; Liu, Zhongzhi; Wang, Zhigang
2010Global Stability and Plus-Global Stability. An Application to Forward Neural NetworksDi Lena, Giovanni; Martelli, Mario; Messano, Basilio
Collection's Items (Sorted by Submit Date in Descending order): 1 to 16 of 16
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed

Editorial policy The journal Rendiconti dell’Istituto di Matematica dell’università di Trieste publishes original articles in all areas of mathematics. Special regard is given to research papers, but attractive expository papers may also be considered for publication. The journal usually appears in one issue per year. Additional issues may however be published. In particular, the Managing Editors may consider the publication of supplementary volumes related to some special events, like conferences, workshops, and advanced schools. All submitted papers will be refereed. Manuscripts are accepted for review with the understanding that the work has not been published before and is not under consideration for publication elsewhere. Our journal can be obtained by exchange agreements with other similar journals.

Instructions for Authors Authors are invited to submit their papers by e-mail directly to one of the Managing Editors in PDF format. All the correspondence regarding the submission and the editorial process of the paper are done by e-mail. Papers have to be written in one of the following languages: English, French, German, or Italian. Abstracts should not exceed ten printed lines, except for papers written in French, German, or Italian, for which an extended English summary is required. After acceptance, manuscripts have to be prepared in LaTeX using the style rendiconti.cls which can be downloaded from the web page. Any figure should be recorded in a single PDF, PS (PostScript), or EPS (Encapsulated PostScript) file.