Abstract
The models presented capture the intuition of the elementary differential calculus and provide the theoretical substrate for studying designs, schemas, shapes and constructions.
Unconventional frames for time and space, as for instance Galois fields or cyclic groups, have been used to describe the finite or cyclic type of separation and classification processes.
A wave equation is proposed as a differential model for separation and pattern recognition. This model is an abstract complement of transfer equations. The model generates design of experiment matrices as solutions.
Differential posets are introduced as powerful tools in the study of high complexity.
The connection with dual algebras is emphasized.
The notion of a differential category provides a basic axiomatization of differential operators for categories.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Babson, E.K., Chan, C.: Counting faces for cubical spheres modulo two. Discrete Math. 212, 169–183 (2000)
Baez, J.: Topos theory in a nutshell (2006), http://math.ucr.edu/home/baez/topos.html
Blute, R.F.: Hopf algebras and linear logic. Mathematical Structures in Computer Science 6(2), 189–217 (1996)
Blute, R., Cockett, J.R.B., Seely, R.A.G.: Differential Categories. Mathematical Structures in Computer Science 16, 1049–1083 (2006)
Blute, R.F., Cockett, J.R.B., Seely, R.A.G.: Cartesian Differential Categories. Theories and Applications of Categories 22, 622–672 (2009)
Bucciarelli, A., Ehrhard, T., Manzonetto, G.: Categorical models for simply typed resource calculi. Electronic Notes in Theoretical Computer Science 265, 213–230 (2010)
Buchstaber, V.M.: Ring of Simple Polytopes and Differential Equations. Proceedings of the Steklov Institute of Mathematics 263, 1–25 (2008)
Caspard, N., Le Conte de Poly-Barbut, C., Morvan, M.: Cayley lattices of finite Coxeter groups are bounded. Adv. in Appl. Math. 33(1), 71–94 (2004)
Day, A.: A simple solution to the word problem for lattices. Canad. Math. Bull. (13), 253–254 (1970)
Dittrich, P., Ziegler, J., Banzhaf, W.: Artificial chemistries-a review. Artificial Life 7(3), 225–275 (2001)
Ehrhard, T., Regnier, L.: The differential lambda-calculus. Theoretical Computer Science 309(1-3), 1–41 (2003)
Ehrhard, T., Regnier, L.: Differential interaction nets. Theoretical Computer Science 364(2), 166–195 (2006)
Fiore, M.P.: Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic. In: Della Rocca, S.R. (ed.) TLCA 2007. LNCS, vol. 4583, pp. 163–177. Springer, Heidelberg (2007)
Fomin, S.: Duality of graded graphs. J. Algebraic Combin. 3, 357–404 (1994)
Girard, J.-Y.: Linear logic. Theoretical Computer Science 50, 1–102 (1987)
Harmuth, H.F.: Sequency Theory, Foundations and Applications. Academic Press, New York (1997)
Hivert, F., Novelli, J.-C., Thibon, J.-Y.: The algebra of binary search trees. Theoretical Computer Science 339, 129–165 (2005)
Iordache, O.: Evolvable Designs of Experiments Applications for Circuits. J Wiley VCH, Weinheim (2009)
Iordache, O.: Polystochastic Models for Complexity. Springer, Heidelberg (2010)
Iordache, O.: Modeling Multi-Level Systems. Springer, Heidelberg (2011)
Iordache, O., Corriou, J.P., Garrido-Sanchez, L., Fonteix, C., Tondeur, D.: Neural network frames applied for biochemical kinetic diagnosis. Comp. Chem. Engng. 17, 1101–1113 (1993a)
Iordache, O., Valentin, G., Corriou, J.P., Pons, M.N., Pethö, A.: Intermittent Interfacial Transfer. A Dyadic Model. Acta Chemica Hungarica, Models in Chemistry 1(130), 1–18 (1993b)
Iordache, O., Corriou, J.P., Tondeur, D.: Separation Sequencing Use of Information Distance. Canad. Journ. of Chem. Engng. 71, 955–966 (1993c)
Jacobs, B., Rutten, J.: A tutorial on (co)algebras and (co)induction. EATCS Bulletin 62, 222–259 (1997)
Joni, S.A., Rota, G.C.: Coalgebras and Bialgebras in Combinatorics. Stud. Appl. Math. 61, 93–139 (1979)
Kock, A.: Synthetic Differential Geometry, 2nd edn. Cambridge University Press, New York (2006)
Lewis, J.B.: On Differential Posets. Undergraduate Thesis. Harvard College (2007)
Nzeutchap, J.: Dual graded graphs and Fomin’s r-correspondences associated to the Hopf algebras of planar binary trees, quasi-symmetric functions and noncommutative symmetric functions. In: International Conference on Formal Power Series and Algebraic Combinatorics, FPSAC, San Diego (2006)
Padawitz, P.: Swinging Types = Functions + Relations + Transition Systems. Theoretical Computer Science 243, 93–165 (2000)
Poli, R.: Three Obstructions: Forms of Causation, Chronotopoids, and Levels of Reality. Axiomathes 17, 1–18 (2007)
Rhee, H.K., Aris, R., Amundson, N.R.: First Order Partial Differential Equations II. Theory and applications of hyperbolic systems of quasilinear equations. Prentice-Hall, Englewood Cliffs (1989)
Seely, R.: Linear logic, *-autonomous categories and cofree coalgebras. Applications of categories in logic and computer science. In: Gray, J., Scedrov, A. (eds.) Contemporary Mathematics, vol. 92, pp. 371–382 (1989)
Sweedler, M.: Hopf Algebras. Benjamin Press (1969)
Stanley, R.: Differential posets. J. Amer. Math. Soc. 1, 919–961 (1988)
Ziegler, G.M.: Lectures on Polytopes. Graduate Texts in Mathematics, vol. 152. Springer, New York (1995)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2012 Springer-Verlag GmbH Berlin Heidelberg
About this chapter
Cite this chapter
Iordache, O. (2012). Differential Models. In: Self-Evolvable Systems. Understanding Complex Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28882-1_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-28882-1_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-28881-4
Online ISBN: 978-3-642-28882-1
eBook Packages: Physics and AstronomyPhysics and Astronomy (R0)