Search Results

1 - 8 of 8 items :

  • Cartesian product x
  • Computer Sciences x
Clear All
Dynamics of Potential Functionality of Objects

Abstract

This article guides the reader through the seemingly simple issues of the assessment, protec-tion and transfer of the potentials of an object’s functionality through its internal and external buffers, by employing Cartesian multiplication and signatures. The change in the potentials of buffers and the functionality of objects is the focus of this research, guaranteeing the correct use of potentials in relation to the whole “shell” of the object. In order to avoid any collision in the transport of functional potentials, each proper buffer is, by definition, connected to one and only one object. On the probability scale ∑ [0..1], the potential of the object’s functionality is expressed as the system sum [0..1] of all the potentials of its proper buffer components. A practical and important part of the article contains two methodologically important examples of tabular construction and analysis: an example of the dynamics of the potentials of an object with two buffers, together with a table of the potentials of a two-buffer object; and an example of the Cartesian product of graphs with lost determinism together with the table of potentials of a two-buffer object with an extensive option structure.

Open access
Minimum covering reciprocal distance signless Laplacian energy of graphs

results , Algebraic Combinatorics and Applications, A. Betten, A. Kohnert, R. Laue and A. Wassermann, eds., Springer, Berlin, (2001), pp. 196–211. ⇒219 [14] I. Gutman, B. Zhou, Laplacian energy of a graph, Linear Algebra Appl. , 414 (2006), 29–37. ⇒219 [15] A. Ilić, G.Yu, L. Feng, The Hararyindexoftrees, Utilitas Math. , 87 (2012), 21–32. ⇒231 [16] G. Indulal, R. Balakrishnan, Distance spectrum of Indu-Bala product of graphs, AKCE Int. J. Graphs Combin. , 13 (2016), 230–234. ⇒224 [17] O. Ivanciuć, T.S. Balaban, A.T. Balaban, Reciprocal

Open access
Controllling Simulation Experiment Design for Agent-Based Models Using Tree Representation of Parameter Space

Abstract

An important aspect of the simulation modelling process is sensitivity analysis. In this process, agent-based simulations often require analysis of structurally different parameter specifications - the parameters can be represented as objects and the object-oriented simulation configuration leads to nesting of simulation parameters. The nested parameters are naturally represented as a tree rather than a flat structure. The standard tools supporting multi-agent simulations only allow only the representation of the parameter space as a Cartesian product of possible parameter values. Consequently, their application for the required tree representation is limited. In this paper an approach to tree parameter space representation is introduced with an XML-based language. Furthermore, we propose a set of tools that allows one to manage parameterization of the simulation experiment independently of the simulation model.

Open access
Isomorphisms from the Space of Multilinear Operators

] Hiroyuki Okazaki, Noboru Endou, and Yasunari Shidama. Cartesian products of family of real linear spaces. Formalized Mathematics , 19( 1 ):51–59, 2011. doi:10.2478/v10037-011-0009-2. [9] Laurent Schwartz. Théorie des ensembles et topologie, tome 1. Analyse . Hermann, 1997. [10] Laurent Schwartz. Calcul différentiel, tome 2. Analyse . Hermann, 1997. [11] Kosaku Yoshida. Functional Analysis . Springer, 1980.

Open access
Invertible Operators on Banach Spaces

] Kazuhisa Nakasho, Yuichi Futa, and Yasunari Shidama. Implicit function theorem. Part I. Formalized Mathematics , 25( 4 ):269–281, 2017. doi:10.1515/forma-2017-0026. [5] Hiroyuki Okazaki, Noboru Endou, and Yasunari Shidama. Cartesian products of family of real linear spaces. Formalized Mathematics , 19( 1 ):51–59, 2011. doi:10.2478/v10037-011-0009-2. [6] Laurent Schwartz. Théorie des ensembles et topologie, tome 1. Analyse . Hermann, 1997. [7] Laurent Schwartz. Calcul différentiel, tome 2. Analyse . Hermann, 1997. [8] Yasunari Shidama. Banach

Open access
Bilinear Operators on Normed Linear Spaces

Shidama. Cartesian products of family of real linear spaces. Formalized Mathematics , 19( 1 ):51–59, 2011. doi:10.2478/v10037-011-0009-2. [7] Laurent Schwartz. Théorie des ensembles et topologie, tome 1. Analyse . Hermann, 1997. [8] Laurent Schwartz. Calcul différentiel, tome 2. Analyse . Hermann, 1997. [9] Yasunari Shidama. Banach space of bounded linear operators. Formalized Mathematics , 12( 1 ):39–48, 2004. [10] Yasumasa Suzuki, Noboru Endou, and Yasunari Shidama. Banach space of absolute summable real sequences. Formalized Mathematics

Open access
Implicit Function Theorem. Part II

functions on normed linear spaces. Formalized Mathematics , 12( 3 ):269–275, 2004. [8] Hiroyuki Okazaki, Noboru Endou, and Yasunari Shidama. Cartesian products of family of real linear spaces. Formalized Mathematics , 19( 1 ):51–59, 2011. doi:10.2478/v10037-011-0009-2. [9] Hideki Sakurai, Hiroyuki Okazaki, and Yasunari Shidama. Banach’s continuous inverse theorem and closed graph theorem. Formalized Mathematics , 20( 4 ):271–274, 2012. doi:10.2478/v10037-012-0032-y. [10] Laurent Schwartz. Théorie des ensembles et topologie, tome 1. Analyse . Hermann

Open access
A Framework for the Assessment of Research and Its Impacts

) ), peer review, publication metrics, scientific leadership, scientific integrity, and the use of science for policy (see also Saltelli & Funtowicz (2015) in The End of the Cartesian Dream ). The transmission channel of this crisis from science to scientific advice is attributed to the collapse of the dual legitimacy system which was the basis of modernity, namely, the arrangement by which science provided legitimate facts, policy, and legitimate norms. The obsolescence of the classical opposition between scientific approach and dogmatic approach, generated by the

Open access