Land cover change (LCC) is increasingly affecting global climate change, energy cycle, carbon and water with far-reaching consequences to human well-being. Web service-based online detection applications have bloomed over the past decade for monitoring land change. Currently, massive processing services data been published used internet. However, few studies consider both service integration re...

In this paper we discuss how to combine a multiview use-case driven method for the requirement specification of a system with an agent-oriented method for developing a working prototype. The rationale behind this combination is to cover the complete software development cycle, while the two methods it originates from only cover a part of it. The prototype execution allows to obtain useful feedb...

View integration is an important technique for developing software systems built upon large databases independent which paradigm is used for realizing the database. We analyzed to which extent traditional view integration methods cover all aspects of object-oriented datamodels and found, in particular, that the integration of methods is hardly supported. We present a methodology for integrating...

This paper presents the implementation of a simulator application for feed forward neural networks which was made in Qt application framework. The paper demonstrates the object oriented design and the performance of the software. The main topics cover the class organization and some test results where the Matlab neural network toolbox was used as reference. Keywords— Neural network; Function ap...

Agents are abstractions for real-world autonomous and cooperating entities. Agent-oriented software development is the most promising approach for the development of complex systems. On the other hand, Petri nets are a good formalism for describing concurrency, synchronisation and causality. After presenting the notion of agents, we present some thoughts on using nets in agent-oriented developm...

Among other things, we prove the following two topologcal statements about closed hyperbolic 3-manifolds. First, every rational second homology class of a closed hyperbolic 3-manifold has a positve integral multiple represented by an oriented connected closed π1-injectively immersed quasiFuchsian subsurface. Second, every rationally null-homologous, π1-injectively immersed oriented closed 1-sub...

Every closed oriented PL 4-manifold is a branched cover of the 4-sphere branched over a PL-surface with finitely many singularities by Piergallini [Topology 34(3):497-508, 1995]. This generalizes a long standing result by Hilden and Montesinos to dimension four. Izmestiev and Joswig [Adv. Geom. 3(2):191-225, 2003] gave a combinatorial equivalent of the Hilden and Montesinos result, constructing...