@article {124,
	title = {Morality, protection, security and gain: lessons from a minimalistic, economically inspired multi-agent model},
	journal = {Foundations of Computing and Decision Sciences},
	volume = {45},
	year = {2020},
	pages = {17{\textendash}33},
	abstract = {In this work, we introduce a simple multi-agent simulation model with two roles of agents that correspond to moral and immoral attitudes. The model is given explicitly by a set of mathematical equations with continuous variables and is characterized by four parameters: morality, protection, and two efficiency parameters. Agents are free to adjust their roles to maximize individual gains. The model is analyzed theoretically to find conditions for its stability, i.e., the fractions of agents of both roles that lead to an equilibrium in their gains. A multi-agent simulation is also developed to verify the dynamics of the model for all values of morality and protection parameters, and to identify potential discrepancies with the theoretical analysis.},
	doi = {10.2478/fcds-2020-0002},
	author = {Maciej Komosinski and Tomasz {\.Z}ok}
}
@article {111,
	title = {Mappism: formalizing classical and artificial life views on mind and consciousness},
	journal = {Foundations of Computing and Decision Sciences},
	volume = {44},
	year = {2019},
	pages = {55{\textendash}99},
	doi = {10.2478/fcds-2019-0005},
	url = {http://www.framsticks.com/files/common/MappismConsciousness.pdf},
	author = {Iwo B{\l}{\k a}dek and Maciej Komosinski and Konrad Miazga}
}
@inbook {115,
	title = {Measuring properties of movement in populations of evolved 3D agents},
	booktitle = {Artificial Life Conference Proceedings},
	year = {2019},
	pages = {485{\textendash}492},
	publisher = {MIT Press},
	organization = {MIT Press},
	doi = {10.1162/isal_a_00208},
	author = {Maciej Komosinski and Konrad Miazga},
	editor = {Harold Fellermann and Jaume Bacardit and Angel Goni-Moreno and Rudolf M. F{\"u}chslin}
}
@article {Topa-et-al-2017,
	title = {Modelling ecology and evolution of Foraminifera in the agent-oriented distributed platform},
	journal = {Journal of Computational Science},
	volume = {18},
	year = {2017},
	pages = {69{\textendash}84},
	abstract = {We present a new software platform called eVolutus for simulating evolution of living organisms. We choose Foraminifera as model organisms that represent a group of single-cellular, mainly marine, organisms that construct well fossilisable protective shells. They have lived on Earth for more than 540 million years and have left an extraordinary fossil record that is excellent for testing palaeoecological and evolutionary hypotheses. We use the AgE platform, which is a lightweight agent-oriented platform supporting distributed computation. The paper presents the general architecture of this modelling environment as well as more detailed descriptions of the implemented rules and applied solutions. The utility of this software is demonstrated by presenting the configuration and results of sample experiments.},
	issn = {1877-7503},
	doi = {10.1016/j.jocs.2016.07.009},
	url = {https://doi.org/10.1016/j.jocs.2016.07.009},
	author = {Pawe{\l} Topa and {\L}ukasz Faber and Jaros{\l}aw Tyszka and Maciej Komosinski}
}
@article {Komosinski-et-al-2016,
	title = {Multi-agent simulation of benthic foraminifera response to annual variability of feeding fluxes},
	journal = {Journal of Computational Science},
	volume = {21},
	year = {2017},
	pages = {419{\textendash}431},
	abstract = {In this work we describe a novel simulation model of foraminifera and their microhabitat. The simulations reported here are focused on the response of foraminiferal populations to environmental feeding fluxes. The experiments allowed to calibrate the model and to simulate realistic population patterns known from culture experiments, as well as from oceanographic and paleoecologic studies. Variability of annual food flux has a direct impact on productivity of foraminifera: population sizes closely follow the intensity of constant and seasonal food fluxes in both scenarios. This correlation between the food influx and population size is interpreted as the consequence of changing the carrying capacity of the system. Seasonal pulses of particulate organic matter enhance the population size which is represented by a higher number of fossilized shells. Our model offers a flexible experimental design to run sophisticated in silico experiments. This approach reveals a novel methodology for testing sensitivity of fossil and recent foraminiferal assemblages to environmental changes. Furthermore, it facilitates predictive applications for monitoring studies based on simulation of various scenarios.},
	issn = {1877-7503},
	doi = {10.1016/j.jocs.2016.09.009},
	url = {http://www.framsticks.com/files/common/SimulationForaminiferaFeedingFluxes.pdf},
	author = {Maciej Komosinski and Agnieszka Mensfelt and Jaros{\l}aw Tyszka and Jan Gole{\'n}}
}
@article {Komosinski-and-Ulatowski-2016,
	title = {Multithreaded computing in evolutionary design and in artificial life simulations},
	journal = {The Journal of Supercomputing},
	volume = {73},
	year = {2017},
	pages = {2214{\textendash}2228},
	abstract = {This article investigates low-level and high-level multithreaded performance of evolutionary processes that are typically employed in evolutionary design and artificial life. Computations performed in these areas are specific because evaluation of each genotype usually involves time-consuming simulation of virtual environments and physics. Computational experiments have been conducted using the Framsticks simulator running a multithreaded version of a standard evolutionary experiment. Tests carried out on five diverse machines and two operating systems demonstrated how low-level performance depends on the number of physical and logical CPU cores and on the number of threads. Two string implementations have been compared, and their raw performance turned out to fundamentally differ in a multithreading setup. To improve high-level performance of parallel evolutionary algorithms, i.e. the quality of optimized solutions, a new distribution scheme that is especially useful and efficient for complex representations of solutions {\textendash} the convection distribution {\textendash} has been introduced. This new distribution scheme has been compared against a random distribution of genotypes among threads that carry out evolutionary processes.},
	issn = {1573-0484},
	doi = {10.1007/s11227-016-1923-4},
	url = {http://www.framsticks.com/files/common/MultithreadedEvolutionaryDesign.pdf},
	author = {Maciej Komosinski and Szymon Ulatowski}
}
@article {Komosinski-2015r,
	title = {Mobile health: assessment of upper limb motor function via a drawing test on a mobile device},
	number = {RA{\textendash}7/15},
	year = {2015},
	institution = {Poznan University of Technology, Institute of Computing Science},
	type = {Research report},
	abstract = {This paper describes and compares experiences with two generations of devices that can acquire pen movement data from a drawing test. The first part of this work summarizes methods introduced earlier that analyze data acquired using a graphics tablet from healthy subjects and people with Parkinson{\textquoteright}s disease before and after surgery. These methods can discriminate groups of patients and can assess improvements after surgery. The second part of this work presents the implementation of analogous methods that estimate hand tremor and drawing smoothness on a commercially available mobile tablet. Both approaches and applications are compared, and differences in goals and in characteristics of these devices are enumerated.},
	url = {http://www.cs.put.poznan.pl/mkomosinski/research/parkinson-mobile-evaluation-app.pdf},
	author = {Maciej Komosinski}
}
@article {Komosinski-2012,
	title = {Measuring quantities using oscillators and pulse generators},
	journal = {Theory in Biosciences},
	volume = {131},
	number = {2},
	year = {2012},
	pages = {103{\textendash}116},
	publisher = {Springer Berlin / Heidelberg},
	abstract = {This article presents properties of the clock{\textendash}counter model with a periodic generator employed as the source of regularly emitted pulses. The pacemaker and accumulator mechanisms are often considered in research in neurobiology and cognitive science: neurons or their groups serve as oscillators, and the number of spikes emitted while a stimulus lasts becomes an estimate of the length of the stimulus. The article integrates three approaches: a theoretical model to present the general concept, a working implementation of this model to perform intensive simulation experiments, and the analytical description of the behavior of the model. Oscillators that exhibit some degree of regularity have been compared to the Poisson ones, and the corresponding probability distributions have been presented that describe the number of pulses accumulated over time. Several continuous and discrete interpulse distributions have been investigated, and the influence of generator parameters on the possible outcomes of the measurement have been described. Particular attention has been paid to the relationship between measurement variability and the mean number of pulses observed. Issues concerning practical realizations of periodic generators: discrete time, dependence of the generator start time on the stimulus, and relation to Weber{\textquoteright}s law have been discussed as well.},
	issn = {1431-7613},
	doi = {10.1007/s12064-012-0153-4},
	url = {http://dx.doi.org/10.1007/s12064-012-0153-4},
	author = {Maciej Komosinski}
}
@conference {Komosinski-et-al-2012,
	title = {Multi-criteria evaluation of abductive hypotheses: towards efficient optimization in proof theory},
	booktitle = {Proceedings of the 18th International Conference on Soft Computing},
	year = {2012},
	pages = {320{\textendash}325},
	address = {Brno, Czech Republic},
	abstract = {Research described in this paper aims at implementation of an abductive procedure based on the Synthetic Tableaux Method. This problem concerns a two-stage process of generation and evaluation of abductive hypotheses. While generation of the abductive hypotheses is achieved here by the implementation of the rules provided with a logical apparatus, their evaluation is performed using traditional measures and optimization techniques such as Pareto optimality and fitness{\textendash}distance analysis. By combining tools known in proof theory and in Artificial Intelligence, we explore the intriguing problem of interpretative reasoning.},
	author = {Maciej Komosinski and Adam Kups and Mariusz Urbanski}
}
@article {Komosinski-and-Kups-2009r,
	title = {Models and implementations of timing processes using Artificial Life techniques},
	number = {RA-05/09},
	year = {2009},
	institution = {Poznan University of Technology, Institute of Computing Science},
	type = {Research report},
	abstract = {This work presents implementation of the Scalar Timing Model (STM) in the neural networks environment. STM is rather popular and commonly used model in the perception of time intervals in humans and animals fields of study. Currently many experiments are conducted in order to verify and research STM parameters and attributes. One of the goal of the implementation was to check whether theoretical model will cope with constraints of artificial neural networks. During implementation process it turned out, that scheme of the model should be revised (by adding extra components) in order to maintain it{\textquoteright}s functional adequacy. Another case was to check how does manipulations of certain parameters will influence collected representation of the real time within model. In this preliminary research we focus on the pacemaker module. Conclusion of this research is that appropriate choice of distribution form of impulses generated by pacemaker make it simulation of the model more congruent with the experimentally collected data then with formal assumptions of STM.},
	url = {http://www.framsticks.com/files/common/HumanTimingModelsSimulations.pdf},
	author = {Maciej Komosinski and Adam Kups}
}
@article {Komosinski-and-Jaskowski-2006r,
	title = {Measuring symmetry of moving stick creatures},
	year = {2006},
	institution = {Poznan University of Technology, Institute of Computing Science},
	issn = {RA{\textendash}20/06},
	author = {Wojciech Jaskowski and Maciej Komosinski}
}
