Formal descriptions of developing systems

یک بررسی پیشرفته از روش‌های رسمی که به طور خاص در برخورد با مسائل ریاضی عمیق ناشی از مطالعه سیستم‌های در حال توسعه، به ویژه در ارتباط با فضاهای فاز در حال توسعه، تغییر اجزا، ساختارها و عملکردها، و مشکل ظهور، انجام می‌شود. چندین مقاله به مدل‌سازی موقعیت‌های تجربی خاص در زیست‌شناسی جمعیت، اقتصاد و پیشرفت‌های گیاهی و ماهیچه‌ای علاوه بر رویکردهای صرفا نظری می‌پردازند. رویکردهای جدید شامل گنجاندن دیفرانسیل و نظریه زنده ماندن، تانسورهای رشد، پویایی کهن الگویی، مجموعه‌هایی با ساختارهای متغیر و مدل‌های سیستم پیچیده است. این مقالات نشان دهنده کار نظریه پردازان و زیست شناسان تجربی، روان شناسان و اقتصاددانان است. حوزه‌های تحت پوشش شامل سیستم‌های پیچیده، توسعه حیات مصنوعی، ریاضیات، علوم کامپیوتر، زیست‌شناسی و روان‌شناسی می‌شوند.

A cutting-edge survey of formal methods directed specifically at dealing with the deep mathematical problems engendered by the study of developing systems, in particular dealing with developing phase spaces, changing components, structures and functionalities, and the problem of emergence. Several papers deal with the modelling of particular experimental situations in population biology, economics and plant and muscle developments in addition to purely theoretical approaches. Novel approaches include differential inclusions and viability theory, growth tensors, archetypal dynamics, ensembles with variable structures, and complex system models. The papers represent the work of theoreticians and experimental biologists, psychologists and economists. The areas covered embrace complex systems, the development of artificial life, mathematics, computer science, biology and psychology.