@conference {130,
	title = {Diversification Techniques and Distance Measures in Evolutionary Design of 3D Structures},
	booktitle = {Genetic and Evolutionary Computation Conference Companion (GECCO {\textquoteright}22)},
	year = {2022},
	publisher = {ACM},
	organization = {ACM},
	address = {Boston, USA},
	abstract = {Evolutionary algorithms are among the most successful metaheuristics for hard optimization problems. Nonetheless, there is still much room for improvement of their effectiveness, especially in the multimodal problems, where the algorithms are prone to falling into unsatisfactory local optima. One of the solutions to this problem may be to encourage a broader exploration of the solution space. Motivated by this premise, we compare the evolutionary algorithm without niching, with niching, the novelty search, and the two-criteria optimization (NSGA-II) where the criteria of fitness and diversity are not aggregated. We investigate these methods in the context of automated design of three-dimensional structures, which is one of the hardest optimization problems, often characterized by a rugged fitness landscape arising from a complex genotype to phenotype mapping. In the experiments we optimize 3D structures towards two different goals, height and velocity, using two genetic encodings and three distance measures: two phenetic ones and a genetic one. We demonstrate how different distance measures and diversity promotion mechanisms influence the fitness of the obtained solutions.},
	doi = {10.1145/3520304.3528948},
	author = {Adam Klejda and Maciej Komosinski and Agnieszka Mensfelt}
}
@conference {131,
	title = {Fitness Diversification in the Service of Fitness Optimization: a Comparison Study},
	booktitle = {Genetic and Evolutionary Computation Conference Companion (GECCO {\textquoteright}22)},
	year = {2022},
	publisher = {ACM},
	organization = {ACM},
	address = {Boston, USA},
	abstract = {Blindly chasing after fitness is not the best strategy for optimization of hard problems, as it usually leads to premature convergence and getting stuck in low-quality local optima. Several techniques such as niching or quality-diversity algorithms have been established that aim to alleviate the selective pressure present in evolutionary algorithms and to allow for greater exploration. Yet another group of methods which can be used for that purpose are fitness diversity methods. In this work we compare the standard single-population evolution against three fitness diversity methods: fitness uniform selection scheme (FUSS), fitness uniform deletion scheme (FUDS), and convection selection (ConvSel). We compare these methods on both mathematical and evolutionary design benchmarks over multiple parametrizations. We find that given the same computation time, fitness diversity methods regularly surpass the performance of the standard single-population evolutionary algorithm.},
	doi = {10.1145/3520304.3528949},
	url = {http://www.framsticks.com/files/common/FitnessDiversity.pdf},
	author = {Kamil Basiukajc and Maciej Komosinski and Konrad Miazga}
}
@conference {127,
	title = {Automated development of latent representations for optimization of sequences using autoencoders},
	booktitle = {2021 IEEE Congress on Evolutionary Computation (CEC)},
	year = {2021},
	publisher = {IEEE},
	organization = {IEEE},
	abstract = {In this paper, we propose an automated method for the development of new representations of sequences. For this purpose, we introduce a two-way mapping from variable length sequence representations to a latent representation modelled as the bottleneck of an LSTM (long short-term memory) autoencoder. Desirable properties of such mappings include smooth fitness landscapes for optimization problems and better evolvability. This work explores the capabilities of such latent encodings in the context of optimization of 3D structures. Various improvements are adopted that include manipulating the autoencoder architecture and its training procedure. The results of evolutionary algorithms that use different variants of automatically developed encodings are compared.},
	doi = {10.1109/CEC45853.2021.9504910},
	url = {http://www.framsticks.com/files/common/LatentRepresentationsForSequencesOptimization.pdf},
	author = {Kaszuba, Piotr and Komosinski, Maciej and Mensfelt, Agnieszka}
}
@conference {128,
	title = {Diversity control in evolution of movement},
	booktitle = {Artificial Life Conference Proceedings},
	year = {2021},
	publisher = {MIT Press},
	organization = {MIT Press},
	abstract = {In this work we investigate how various techniques of diversity control employed during evolution of 3D agents influence the velocity they achieve, and how these techniques influence the diversity of behaviors across multiple independent evolutionary runs. Three evolutionary settings are compared: a standard generational evolutionary process where fitness is velocity, a niching technique, and pure novelty search. Two genetic encodings (lower and higher level) and two environments (land and water) are used in experiments. To diversify behaviors, seven properties of movement introduced earlier are calculated for each individual during evolution. Best individuals obtained from evolution in each setting are compared both in terms of their fitness and the similarity of their movement patterns.},
	doi = {10.1162/isal_a_00456},
	author = {Komosinski, Maciej and Miazga, Konrad}
}
@article {126,
	title = {Type A and Type B Effects, Time-Order Error and Weber{\textquoteright}s Law in Human Timing {\textendash} Simulations and Synthesis},
	year = {2021},
	institution = {Poznan University of Technology, Institute of Computing Science},
	abstract = {This article presents a computational approach to the theoretical integration of the psychophysical phenomena in human timing. While there are many useful models of human timing, analyses are scarce on how these models explain the relationships between several phenomena at the same time. The presented research is an attempt to primarily explain and integrate the time-order error with the Type A and Type B phenomena. The final result of this work also encompasses Weber{\textquoteright}s law property and relates it to the aforementioned order-related effects. The theoretical framework used is the Clock-Counter Timing Network (CCTN), an artificial neural network timing model which has been constructed to explain the process of comparing durations of stimuli. Extensive simulations performed with the use of this model revealed that the considered psychophysical properties may be strongly interrelated and dependent on a simple perceptual mechanism. The obtained results allow to formulate specific experimentally testable predictions.},
	issn = {RA{\textendash}2/2021},
	url = {http://www.framsticks.com/files/common/HumanTimingSimulation-TypeA-TypeB-TOE-WebersLaw.pdf},
	author = {Komosinski, Maciej and Kups, Adam}
}
@article {120,
	title = {Human perception of similarity of 3D graph structures},
	year = {2020},
	abstract = {This report describes the study of how humans perceive similarity of simple three-dimensional graph structures. Participants of this study were required to align pairs of 3D structures the best they could, then match all vertices of these structures, evaluate their perceived similarity on a numerical scale, and justify their decisions as a textual response. The outcomes of this process were analyzed and compared to the outcomes of a heuristic computer algorithm that maximized the alignment of pairs of 3D structures and matched their vertices. The influence of personal characteristics of participants such as their gender, age, handedness, education, but also time required to complete each task, on the quality of the matching of vertices was evaluated. The consistency of human responses was also verified. The participants turned out to be more consistent (both between themselves and with the algorithm) in the degree of similarity estimated than in matching of vertices. Personal characteristics of the subjects did not have an influence on their similarity assessments.},
	issn = {RA-07/2020},
	author = {Maciej Komosinski and Agnieszka Mensfelt}
}
@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}
}
@booklet {112,
	title = {Cz{\l}owiecze{\'n}stw0},
	year = {2019},
	url = {http://www.mooncoder.com/czlowieczenstw0},
	author = {Maciej Komosinski}
}
@conference {102,
	title = {A Flexible Dissimilarity Measure for Active and Passive 3D Structures and Its Application in the Fitness{\textendash}Distance Analysis},
	booktitle = {Applications of Evolutionary Computation},
	year = {2019},
	publisher = {Springer},
	organization = {Springer},
	abstract = {Evolutionary design of 3D structures {\textendash} either static structures, or equipped with some sort of a control system {\textendash} is one of the hardest optimization tasks. One of the reasons are rugged fitness landscapes resulting from complex and non-obvious genetic representations of such structures and their genetic operators. This paper investigates global convexity of fitness landscapes in optimization tasks of maximizing velocity and height of both active and passive structures. For this purpose, a new dissimilarity measure for 3D active and passive structures represented as undirected graphs is introduced. The proposed measure is general and flexible {\textendash} any vertex properties can be easily incorporated as dissimilarity components. The new measure was compared against the previously introduced measure in terms of triangle inequality satisfiability, changes in raw measure values and the computational cost. The comparison revealed improvements for triangle inequality and raw values at the expense of increased computational complexity. The investigation of global convexity of the fitness landscape, involving the fitness{\textendash}distance correlation analysis, revealed negative correlation between the dissimilarity of the structures and their fitness for most of the investigated cases.},
	isbn = {978-3-030-16692-2},
	doi = {10.1007/978-3-030-16692-2_8},
	url = {http://www.framsticks.com/files/common/DissimilarityMeasure3DStructuresFitnessDistance.pdf},
	author = {Komosinski, Maciej and Mensfelt, Agnieszka},
	editor = {Kaufmann, Paul and Castillo, Pedro A.}
}
@booklet {113,
	title = {Humann3ss},
	year = {2019},
	url = {http://www.mooncoder.com/humann3ss},
	author = {Maciej Komosinski}
}
@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}
}
@proceedings {103,
	title = {Parametrizing Convection Selection: Conclusions from the Analysis of Performance in the NKq Model},
	year = {2019},
	month = {2019},
	pages = {804{\textendash}811},
	publisher = {ACM},
	address = {Prague, Czech Republic},
	abstract = {Convection selection in evolutionary algorithms is a method of splitting the population into subpopulations based on the fitness values of solutions. Convection selection was previously found to be superior to standard selection techniques in difficult tasks of evolutionary design. However, reaching its full potential requires tuning of parameters that affect the performance of the evolutionary search process. Performing experiments on benchmark fitness functions does not provide general knowledge required for such tuning. Therefore, in order to gain an insight into the link between the characteristics of the fitness landscape, the parameters of the selection technique, and the quality of the best found solutions, we perform an analysis based on the NKq model of rugged fitness landscapes with neutrality. As a result, we identify several rules that will help researchers and practitioners of evolutionary algorithms adjust the values of convection selection parameters based on the knowledge of the properties of a given optimization problem.},
	doi = {10.1145/3321707.3321864},
	url = {http://www.framsticks.com/files/common/ConvectionSelectionNKqModel.pdf},
	author = {Maciej Komosinski and Konrad Miazga}
}
@article {114,
	title = {Properties of movement of 3D agents},
	number = {RA-1/2019},
	year = {2019},
	institution = {Poznan University of Technology, Institute of Computing Science},
	url = {http://www.framsticks.com/files/common/PropertiesOfMovementOf3DAgents.pdf},
	author = {Krzysztof Gorgolewski and Maciej Komosinski and Konrad Miazga and Krzysztof Rosinski and Pawe{\l} Rych{\l}y}
}
@article {98,
	title = {Comparison of the tournament-based convection selection with the island model in evolutionary algorithms},
	journal = {Journal of Computational Science},
	volume = {32},
	year = {2018},
	pages = {106{\textendash}114},
	abstract = {Convection selection is an approach to multipopulational evolutionary algorithms where solutions are assigned to subpopulations based on their fitness values. Although it is known that convection selection can allow the algorithm to find better solutions than it would be possible with a standard single population, the convection approach was not yet compared to other, commonly used architectures of multipopulational evolutionary algorithms, such as the island model. In this paper we describe results of experiments which facilitate such a comparison, including extensive multi-parameter analyses. We show that approaches based on convection selection can obtain better results than the island model, especially for difficult optimization problems such as those existing in the area of evolutionary design. We also introduce and test a generalization of the convection selection which allows for adjustable overlapping of fitness ranges of subpopulations; the amount of overlapping influences the exploration vs. exploitation balance.},
	issn = {1877-7503},
	doi = {10.1016/j.jocs.2018.10.001},
	url = {http://www.framsticks.com/files/common/ConvectionSelectionVsIslandModel.pdf},
	author = {Maciej Komosinski and Konrad Miazga}
}
@article {109,
	title = {Tournament-based convection selection in evolutionary algorithms},
	journal = {PPAM 2017 proceedings, Lecture Notes in Computer Science},
	year = {2018},
	abstract = {One of the problems that single-threaded (non-parallel) evolutionary algorithms encounter is premature convergence and the lack of diversity in the population. To counteract this problem and improve the performance of evolutionary algorithms in terms of the quality of optimized solutions, a new subpopulation-based selection scheme - the convection selection - is introduced and analyzed in this work. This new selection scheme is compared against traditional selection of individuals in a single-population evolutionary processes. The experimental results indicate that the use of subpopulations with fitness-based assignment of individuals yields better results than both random assignment and a traditional, non-parallel evolutionary architecture.},
	doi = {10.1007/978-3-319-78054-2_44},
	url = {http://www.framsticks.com/files/common/TournamentBasedConvectionSelectionEvolutionary.pdf},
	author = {Maciej Komosinski and Konrad Miazga}
}
@article {110,
	title = {Universes and simulations: civilizational development in nested embedding},
	journal = {Foundations of Computing and Decision Sciences},
	volume = {43},
	year = {2018},
	pages = {181{\textendash}205},
	abstract = {The rapid development of technology has allowed computer simulations to become routinely used in an increasing number of fields of science. These simulations become more and more realistic, and their energetic efficiency grows due to progress in computer hardware and software. As humans merge with machines via implants, brain-computer interfaces and increased activity involving information instead of material objects, philosophical concepts and theoretical considerations on the nature of reality are beginning to concern practical, working models and testable virtual environments. This article discusses how simulation is understood and employed in computer science today, how software, hardware and the physical universe unify, how simulated realities are embedded one in another, how complicated it can get in application, practical scenarios, and the possible consequences of these situations. A number of basic properties of universes and simulations in such multiply nested structures are reviewed, and the relationship of these properties with a level of civilizational development is explored.},
	doi = {10.1515/fcds-2018-0010},
	url = {http://www.framsticks.com/files/common/DevelopmentNestedUniverses.pdf},
	author = {Maciej Komosinski}
}
@article {Komosinski-2016,
	title = {Applications of a similarity measure in the analysis of populations of 3D agents},
	journal = {Journal of Computational Science},
	volume = {21},
	year = {2017},
	pages = {407{\textendash}418},
	abstract = {Research in complex collective and multi-agent systems often involves building models of three-dimensional biological life or evolving such structures in virtual environments. Applications stemming from evolutionary design, engineering, robotics, and artificial life require processing of large numbers of such agents that are encoded in some form of a "genotype". However, what is important in evaluation is the "phenotype", i.e. the actual 3D body and its properties. This work introduces a number of ways in which a measure of similarity of 3D agents can support researchers in recognizing the link between the genotype and phenotype spaces, building taxonomies of 3D bodies and automatically selecting representative agents. The measure of similarity employed here is based on phenotypes and places few restrictions on the compared designs, so it can be applied independently of genetic representation.},
	issn = {1877-7503},
	doi = {10.1016/j.jocs.2016.10.004},
	url = {http://www.framsticks.com/files/common/SimilarityPopulations3DAgents.pdf},
	author = {Maciej Komosinski}
}
@article {Chlebowski-et-al-2017,
	title = {Automated Generation of Erotetic Search Scenarios: Classification, Optimization, and Knowledge Extraction},
	journal = {ACM Transactions on Computational Logic},
	volume = {18},
	number = {2},
	year = {2017},
	pages = {8:1{\textendash}8:27},
	publisher = {ACM},
	address = {New York},
	abstract = {This paper concerns automated generation and processing of erotetic search scenarios (ESSs). ESSs are formal constructs characterized in Inferential Erotetic Logic that enable finding possible answers to a posed question by decomposing it into auxiliary questions. The first part of this work describes a formal account on ESSs. The formal approach is then applied to automatically generate ESSs, and the resulting scenarios are evaluated according to a number of criteria. These criteria are subjected to discordance analysis that reveals their mutual relationships. Finally, knowledge concerning relationships between different values of evaluation criteria is extracted by applying Apriori - an association rules mining algorithm. The proposed approach of integration of formal erotetic logic with computational tools provides an extensive insight into the former and helps with the development of efficient ESSs.},
	keywords = {knowledge extraction, Logic of questions, multicriteria analysis, optimal erotetic scenario, rule mining},
	issn = {1529-3785},
	doi = {10.1145/3056537},
	url = {http://www.cs.put.poznan.pl/mkomosinski/research/automated-erotetic-search-scenarios.pdf},
	author = {Chlebowski, Szymon and Maciej Komosinski and Adam Kups}
}
@article {Komosinski-and-Kups-2017r,
	title = {Evolutionary construction of derivations in classical propositional logic using a symbolic-connectionist representation},
	number = {RA{\textendash}3/17},
	year = {2017},
	institution = {Poznan University of Technology, Institute of Computing Science},
	type = {Research report},
	abstract = {This report introduces a way derivations in classical propositional logic can be constructed using evolutionary algorithms. The derivations are represented by connectionist systems. There are three kinds of nodes constituting these systems: formula nodes that generate signal in the form of strings of symbols, "modus ponens" nodes that transform incoming signal according to the "modus ponens" rule, and substitution nodes that transform incoming signal by applying the substitution rule. This work presents initial research on an approach that is a part of our quest for efficient construction of derivations using various logics and constrained in various ways. The final part of this report outlines limitations encountered in our initial experiments and the ways the proposed approach can be improved.},
	url = {http://www.framsticks.com/files/common/EvolutionOfDerivationsInLogic.pdf},
	author = {Maciej Komosinski and Adam Kups}
}
@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}
}
@inbook {Komosinski-et-al-2015,
	title = {Application of a morphological similarity measure to the analysis of shell morphogenesis in Foraminifera},
	booktitle = {Man{\textendash}Machine Interactions 4},
	series = {Advances in Intelligent Systems and Computing},
	volume = {391},
	year = {2016},
	pages = {215{\textendash}224},
	publisher = {Springer},
	organization = {Springer},
	abstract = {This work evaluates the genotype-to-phenotype mapping defined by one of the models of growth of foraminifera. Foraminifera are simple unicellular organisms with very diverse morphologies. To analyze the mapping, a morphological similarity measure is needed that compares 3D structures. One of the key components of the similarity estimation algorithm is Singular Value Decomposition (SVD). Since this algorithm is heavily used and its performance is important, four SVD implementations have been compared in this work. Distance matrices of the phenotypes obtained for equally distant genotypes were computed using the similarity measure. For the visualization of the phenotype space, multidimensional scaling techniques were used. Visual comparison of the genotype and the phenotype spaces revealed characteristics and potential weaknesses of the analyzed model of foraminifera growth, and demonstrated usefulness of the proposed approach.},
	isbn = {978-3-319-23436-6},
	doi = {10.1007/978-3-319-23437-3_18},
	url = {http://www.framsticks.com/files/common/ForaminiferaGenotypePhenotypeMapping.pdf},
	author = {Maciej Komosinski and Agnieszka Mensfelt and Pawe{\l} Topa and Jaros{\l}aw Tyszka},
	editor = {Gruca, Aleksandra and Brachman, Agnieszka and Kozielski, Stanis{\l}aw and Czach{\'o}rski, Tadeusz}
}
@article {Komosinski-and-Mensfelt-2016,
	title = {Emotions perceived and emotions experienced in response to computer-generated music},
	journal = {Music Perception},
	volume = {33},
	number = {4},
	year = {2016},
	month = {April},
	pages = {432{\textendash}445},
	publisher = {UC Press},
	abstract = {This paper explores perceived and experienced emotions elicited by computer-generated music. During the experiments, 30 participants listened to 20 excerpts. Each of the excerpts lasted for about 16 seconds and was generated in real-time by specifically designed software. Measurements were performed using both categorical (a free verbal description) and dimensional approaches. The relationship between structural factors of music (mode, tempo, pitch height, rhythm, articulation and presence of the dissonance) and emotions was examined. Personal characteristics of the listener: gender and musical training were also taken into account. The relationship between structural factors and the perceived emotions was mostly congruent with predictions derived from the literature, and the relationship between those factors and experienced emotions was very similar. Tempo and pitch height {\textendash} the cues common to music and speech {\textendash} turned out to have a strong influence on the evaluation of emotion. Personal factors had a marginal effect. In the case of verbal categories comparable with the dimensional model, a strong correspondence was found.},
	doi = {10.1525/MP.2016.33.4.432},
	url = {https://www.cs.put.poznan.pl/mkomosinski/research/music-emotions-perceived-and-experienced.pdf},
	author = {Maciej Komosinski and Agnieszka Mensfelt}
}
@inbook {107,
	title = {eVolutus: a configurable platform designed for ecological and evolutionary experiments tested on Foraminifera},
	booktitle = {Man{\textendash}Machine Interactions 4},
	series = {Advances in Intelligent Systems and Computing},
	volume = {391},
	year = {2016},
	pages = {269{\textendash}278},
	publisher = {Springer},
	organization = {Springer},
	isbn = {978-3-319-23436-6},
	doi = {10.1007/978-3-319-23437-3_23},
	url = {http://dx.doi.org/10.1007/978-3-319-23437-3_23},
	author = {Pawe{\l} Topa and Maciej Komosinski and Maciej Bassara and Jaros{\l}aw Tyszka},
	editor = {Gruca, Aleksandra and Brachman, Agnieszka and Kozielski, Stanis{\l}aw and Czach{\'o}rski, Tadeusz}
}
@inbook {108,
	title = {eVolutus: A New Platform for Evolutionary Experiments},
	booktitle = {Parallel Processing and Applied Mathematics: 11th International Conference, PPAM 2015, Krakow, Poland, September 6{\textendash}9, 2015. Revised Selected Papers, Part II},
	year = {2016},
	pages = {570{\textendash}580},
	publisher = {Springer},
	organization = {Springer},
	isbn = {978-3-319-32152-3},
	doi = {10.1007/978-3-319-32152-3_53},
	url = {http://dx.doi.org/10.1007/978-3-319-32152-3_53},
	author = {Topa, Pawe{\l} and Komosinski, Maciej and Tyszka, Jaros{\l}aw and Mensfelt, Agnieszka and Rokitta, Sebastian and Byrski, Aleksander and Bassara, Maciej},
	editor = {Wyrzykowski, Roman and Deelman, Ewa and Dongarra, Jack and Karczewski, Konrad and Kitowski, Jacek and Wiatr, Kazimierz}
}
@booklet {106,
	title = {Nesting},
	year = {2016},
	url = {http://www.framsticks.com/nesting},
	author = {Maciej Komosinski}
}
@booklet {105,
	title = {Zagnie{\.z}d{\.z}enie},
	year = {2016},
	url = {http://www.framsticks.com/zagniezdzenie},
	author = {Maciej Komosinski}
}
@article {80,
	title = {Automatic species counterpoint composition by means of the dominance relation},
	journal = {Journal of Mathematics and Music},
	volume = {9},
	year = {2015},
	pages = {75-94},
	doi = {10.1080/17459737.2014.935816},
	url = {http://www.cs.put.poznan.pl/mkomosinski/research/counterpoint-composition-dominance-relation.pdf},
	author = {Maciej Komosinski and Piotr Szachewicz}
}
@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-and-Kups-2015,
	title = {Time-order error and scalar variance in a computational model of human timing: simulations and predictions},
	journal = {Computational Cognitive Science},
	volume = {1},
	number = {3},
	year = {2015},
	pages = {1{\textendash}24},
	publisher = {Springer},
	abstract = {This work introduces a computational model of human temporal discrimination mechanism - the Clock-Counter Timing Network. It is an artificial neural network implementation of a timing mechanism based on the informational architecture of the popular Scalar Timing Model. The model has been simulated in a virtual environment enabling computational experiments which imitate a temporal discrimination task - the two-alternative forced choice task. The influence of key parameters of the model (including the internal pacemaker speed and the variability of memory translation) on the network accuracy and the time-order error phenomenon has been evaluated. The results of simulations reveal how activities of different modules contribute to the overall performance of the model. These results can be compared and verified in empirical experiments with human participants, especially when the modes of activity of the internal timing mechanism are changed because of some external conditions, or are impaired due to some kind of a neural degradation process.},
	doi = {10.1186/s40469-015-0002-0},
	url = {http://dx.doi.org/10.1186/s40469-015-0002-0},
	author = {Maciej Komosinski and Adam Kups}
}
@article {Komosinski-et-al-2014,
	title = {Identifying efficient abductive hypotheses using multi-criteria dominance relation},
	journal = {ACM Transactions on Computational Logic},
	volume = {15},
	number = {4},
	year = {2014},
	pages = {28:1{\textendash}28:20},
	publisher = {Association for Computing Machinery},
	address = {New York, NY, USA},
	abstract = {In this article, results of the automation of an abductive procedure are reported. This work is a continuation of our earlier research, where a general scheme of the procedure has been proposed. Here, a more advanced system developed to generate and evaluate abductive hypotheses is introduced. Abductive hypotheses have been generated by the implementation of the Synthetic Tableau Method. Before the evaluation, the set of hypotheses has undergone several reduction phases. To assess usefulness of abductive hypotheses in the reduced set, several criteria have been employed. The evaluation of efficiency of the hypotheses has been provided by the multi-criteria dominance relation. To comprehend the abductive procedure and the evaluation process more extensively, analyses have been conducted on a number of artificially generated abductive problems.},
	doi = {10.1145/2629669},
	url = {http://www.framsticks.com/files/common/IdentifyingEfficientAbductiveHypotheses.pdf},
	author = {Maciej Komosinski and Adam Kups and Dorota Leszczy{\'n}ska-Jasion and Mariusz Urba{\'n}ski}
}
@article {Komosinski-and-Ulatowski-2013r,
	title = {Parallel computing in Framsticks},
	number = {RA-18/2013},
	year = {2013},
	institution = {Poznan University of Technology, Institute of Computing Science},
	abstract = {This report demonstrates how parallel computation can be implemented in the Framsticks environment. A number of possible multithreaded and distributed architectures and configurations is shown. The main part of this report discusses and explains two experiment definitions (prime-mt and standard-mt) that exploit multithreading. These experiment definitions are included in the official Framsticks distribution. The first one serves as a minimal example of how parallelization can be implemented in Framsticks. The second one is more complex: it shows how to deal with Slave experiments that do not have an internal stop condition, how to migrate the evolved genotypes between Slaves, and how to use Slave checkpoint events to monitor the progress of evolution.},
	url = {http://www.framsticks.com/files/common/ParallelComputingFramsticks.pdf},
	author = {Maciej Komosinski and Szymon Ulatowski}
}
@article {Komosinski-and-Kups-2013,
	title = {Postrzeganie czasu przez cz{\l}owieka: specyfika, modele i symulacje},
	journal = {Anestezjologia i Ratownictwo},
	volume = {7},
	year = {2013},
	pages = {113{\textendash}124},
	publisher = {Akademia Medycyny},
	abstract = {Niniejszy artyku{\l} po{\'s}wi{\k e}cony jest zagadnieniu postrzegania czasu trwania zdarze{\'n} (ang. timing) przez cz{\l}owieka. Zarysowano w nim bie{\.z}{\k a}cy stan wiedzy zwracaj{\k a}c uwag{\k e} na niedostatek modeli obejmuj{\k a}cych szeroki zakres dziedzin, w kt{\'o}rych prowadzi si{\k e} badania postrzegania czasu. Przedstawiono przyk{\l}adow{\k a} implementacj{\k e} popularnego modelu typu zegar-licznik w {\'s}rodowisku sztucznych sieci neuronowych. Opisano zjawisko "b{\l}{\k e}du porz{\k a}dku czasowego" oraz pokazano, jak zaproponowana sztuczna sie{\'c} neuronowa mo{\.z}e na{\'s}ladowa{\'c} zachowanie cz{\l}owieka pope{\l}niaj{\k a}c podobne b{\l}{\k e}dy w zale{\.z}no{\'s}ci od parametr{\'o}w opisuj{\k a}cych dzia{\l}anie jej element{\'o}w sk{\l}adowych. Artyku{\l} omawia te{\.z} rol{\k e} technik symulacyjnych oraz metod sztucznej inteligencji i sztucznego {\.z}ycia w budowaniu dzia{\l}aj{\k a}cych i weryfikowalnych modeli niepoznanych jeszcze proces{\'o}w i zjawisk biologicznych, kt{\'o}rych przyk{\l}adem jest postrzeganie czasu.},
	keywords = {b{\l}{\k a}d porz{\k a}dku czasowego, postrzeganie up{\l}ywu czasu, sie{\'c} neuronowa, symulacja, TOE},
	url = {http://www.akademiamedycyny.pl/wp-content/uploads/2016/05/201301_AiR_013.pdf},
	author = {Maciej Komosinski and Adam Kups}
}
@article {116,
	title = {Evolutionary design of tall structures},
	year = {2012},
	institution = {Poznan University of Technology, Institute of Computing Science},
	issn = {RA-06/12},
	url = {http://www.framsticks.com/files/common/EvolutionaryDesignOfTallStructures.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 {100,
	title = {Implementation and Simulation of the Scalar Timing Model},
	journal = {Bio-Algorithms and Med-Systems},
	volume = {7},
	year = {2011},
	pages = {41{\textendash}52},
	url = {https://bit.wl.cm.uj.edu.pl/cm/uploads/2021/02/bams7_4.pdf},
	author = {Maciej Komosinski and Adam Kups}
}
@article {Komosinski-and-Kubiak-2011,
	title = {Quantitative measure of structural and geometric similarity of 3D morphologies},
	journal = {Complexity},
	volume = {16},
	number = {6},
	year = {2011},
	pages = {40{\textendash}52},
	publisher = {Wiley},
	abstract = {This work describes a new heuristic algorithm that estimates structural and geometric similarity of three-dimensional morphologies. It is an extension to previously developed measure of similarity (Komosinski et al., 2001) that was only able to consider the structure of 3D constructs. Morphologies are modeled as graphs with vertices as points in a 3D space, and edges connecting these vertices. This model is very general, therefore the proposed algorithm can be applied in (and across) a number of disciplines including artificial life, evolutionary design, engineering, robotics, biology and chemistry. The primary areas of application of this fast numerical similarity measure are artificial life and evolutionary design, where great numbers of morphologies result from simulated evolutionary processes, and both structural and geometric aspects are significant. Geometry of 3D constructs (i.e., locations of body parts in space) is as important as the structure (i.e., connections of body parts), because both determine behavior of creatures or designs and their fitness in a particular environment. In this work both morphological aspects are incorporated in a single, highly discriminative measure of similarity.},
	issn = {1099-0526},
	doi = {10.1002/cplx.20367},
	url = {http://www.framsticks.com/files/common/Komosinski_Kubiak_MeasureSimilarity3DMorphologies.pdf},
	author = {Maciej Komosinski and Marek Kubiak}
}
@article {Komosinski-2011,
	title = {{\.Z}ycie w komputerze: symulacja czy rzeczywisto{\'s}{\'c}?},
	journal = {Nauka},
	volume = {2011},
	number = {2},
	year = {2011},
	pages = {83{\textendash}93},
	publisher = {Polska Akademia Nauk},
	address = {Warszawa},
	abstract = {Niniejszy artyku{\l} przedstawia dwa podej{\'s}cia do wykorzystania komputer{\'o}w jako {\'s}rodowiska, w kt{\'o}rym mog{\k a} przebiega{\'c} procesy {\.z}yciowe. W pierwszym z nich komputer s{\l}u{\.z}y do symulacji modeli {\.z}ycia ziemskiego - zar{\'o}wno tych dok{\l}adnych, umo{\.z}liwiaj{\k a}cych lepsze poznanie okre{\'s}lonych zjawisk, jak i modeli uproszczonych (takich jak sztuczne sieci neuronowe czy algorytmy ewolucyjne), interesuj{\k a}cych z pragmatycznego punktu widzenia. Drugie z opisywanych podej{\'s}{\'c} polega na stworzeniu w komputerze {\'s}rodowiska, kt{\'o}re umo{\.z}liwi{\l}oby rozw{\'o}j {\.z}ycia. Artyku{\l} pokazuje przydatno{\'s}{\'c} pierwszego z tych podej{\'s}{\'c} oraz wskazuje niekt{\'o}re problemy, pytania i w{\k a}tpliwo{\'s}ci zwi{\k a}zane z realizacj{\k a} drugiego z nich.},
	url = {http://www.alife.pl/zycie-w-komputerze-symulacja-czy-rzeczywistosc},
	author = {Maciej Komosinski}
}
@article {104,
	title = {Estimating similarity of neural network dynamics},
	number = {RA-10/10},
	year = {2010},
	institution = {Poznan University of Technology, Institute of Computing Science},
	abstract = {This report concerns estimation of the similarity between neural networks of any topology. Motivations and benefits of having an automated and quantitative network comparison mechanism are presented. The concept of neural network dynamics (neuron output signal) is considered. A measure is proposed for estimating similarity of active (i.e., working) neural networks. Properties of the measure are analyzed theoretically and verified empirically. The experiments have been performed on a set of evolved networks responsible for controlling 3D structures (agents, robots). These experiments demonstrate the capabilities and the limitations of the proposed measure as a mechanism to support humans in analyzing large sets of neural networks.},
	url = {http://www.framsticks.com/files/common/SimilarityNeuralNetworkDynamics.pdf},
	author = {Maciej Komosinski and Krzysztof Rosinski}
}
@conference {Komosinski-and-Polak-2009,
	title = {Evolving free-form stick ski jumpers and their neural control systems},
	booktitle = {Proceedings of the National Conference on Evolutionary Computation and Global Optimization},
	year = {2009},
	pages = {103--110},
	address = {Poland},
	abstract = {This paper concerns evolution of stick agents in a simplified ski-jumping task. Both body morphologies and control systems are optimized. Evolutionary processes are performed in a range of conditions: the air drag and the friction of the ramp varies. Qualitative and quantitative analyses are presented that show how jump distance, jump height, and flight trajectory depend on environmental conditions. Jumping and landing strategies are investigated, and the most interesting evolved behaviors are reported.},
	url = {http://www.framsticks.com/files/common/Komosinski_Polak_EvolvedSkiJumping.pdf},
	author = {Maciej Komosinski and Jan Polak}
}
@inbook {Komosinski-and-Ulatowski-2009,
	title = {Framsticks: Creating and Understanding Complexity of Life},
	booktitle = {Artificial Life Models in Software},
	year = {2009},
	pages = {107{\textendash}148},
	publisher = {Springer},
	organization = {Springer},
	edition = {second},
	chapter = {5},
	address = {New York},
	abstract = {This chapter describes Framsticks, a three-dimensional life simulation project. Both mechanical structures ("bodies") and control systems ("brains") of creatures are modeled. It is possible to design various kinds of experiments in this environment, including simple optimization (by evolutionary algorithms), coevolution, open-ended and spontaneous evolution, distinct gene pools and populations, diverse genotype-phenotype mappings, and modeling of species and ecosystems. Framsticks is employed in evolutionary computation, artificial intelligence, neural networks, biology, robotics and simulation, cognitive science, neuroscience, medicine, philosophy, virtual reality, graphics, and art. It is a versatile tool for research and education.},
	url = {http://www.springer.com/978-1-84882-284-9},
	author = {Maciej Komosinski and Szymon Ulatowski},
	editor = {Maciej Komosinski and Andrew Adamatzky}
}
@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 {Hapke-and-Komosinski-2008,
	title = {Evolutionary Design of Interpretable Fuzzy Controllers},
	journal = {Foundations of Computing and Decision Sciences},
	volume = {33},
	number = {4},
	year = {2008},
	pages = {351{\textendash}367},
	abstract = {This paper presents an approach that allows to evolve fuzzy controllers that can be expressed as fuzzy rules in human-readable form and interpreted. For comparison, the evolution is also performed on simple neural controllers. The control task considered here is a balancing problem, where a construct made of articulated elastic elements is equipped with sensors and actuators. The goal of the construct is to keep the top heavy part from touching the ground. Evolved controllers are evaluated using computer simulation. Control systems process signals from tilt sensors to actuators fixed in the construct. During evolution, fuzzy controllers (including their fuzzy sets and rules) are reconfigured by genetic operators in order to maximize fitness of the control. The article compares evolvability of neural and fuzzy controllers and demonstrates how additional, comprehensible knowledge can be gained which explains the work of the fuzzy controller. The representation for the fuzzy control system, evolutionary operators, various evaluation functions, and the best evolved control systems are presented. A sample evolved fuzzy control system is analyzed in detail to explain its behavior.},
	url = {http://www.framsticks.com/files/common/Komosinski_EvolveInterpretableFuzzy.pdf},
	author = {Maciej Hapke and Maciej Komosinski}
}
@article {Komosinski-and-Jaskowski-2008,
	title = {The Numerical Measure of Symmetry for 3D Stick Creatures},
	journal = {Artificial Life Journal},
	volume = {14},
	number = {4},
	year = {2008},
	month = {Fall},
	pages = {425{\textendash}443},
	publisher = {MIT Press},
	abstract = {This work introduces a numerical, continuous measure of symmetry for 3D stick creatures and solid 3D objects. Background information about the property of symmetry is provided, and motivations to developing symmetry measure are described. Three approaches are mentioned, and two of them are presented in detail using a formal mathematical language. The best approach is used to sort a set of creatures according to their symmetry. Experiments with a mixed set of 84 individuals originating from both human design and evolution are performed to examine symmetry within these two sources, and to determine if human designers and evolutionary processes prefer symmetry or asymmetry.},
	doi = {10.1162/artl.2008.14.4.14402},
	url = {http://www.framsticks.com/files/common/NumericalMeasureSymmetry3DCreatures.pdf},
	author = {Wojciech Jaskowski and Maciej Komosinski}
}
@article {Komosinski-2008r,
	title = {Podstawowe parametry ruchu pi{\'o}rka w te{\'s}cie rysunkowym i ich zastosowanie w diagnostyce motoryki ko{\'n}czyn g{\'o}rnych},
	number = {RB-04/08},
	year = {2008},
	institution = {Poznan University of Technology, Institute of Computing Science},
	abstract = {W artykule przedstawiono sposoby wyznaczania pi{\k e}ciu podstawowych parametr{\'o}w ruchu pi{\'o}rka, odzwierciedlaj{\k a}cych nat{\k e}{\.z}enie drga{\'n} w ruchu r{\k e}ki. Ruch r{\k e}ki rejestrowany jest za pomoc{\k a} tabletu pod{\l}{\k a}czonego do komputera. Dane wykorzystane do eksperyment{\'o}w pochodz{\k a} z bada{\'n} pacjent{\'o}w cierpi{\k a}cych na chorob{\k e} Parkinsona, kt{\'o}rzy zostali poddani zabiegom palidotomii i talamotomii. W opisanych eksperymentach rozwa{\.z}a si{\k e} ca{\l}y zapis ruchu pi{\'o}rka (tzn. ca{\l}y test rysunkowy), bez podzia{\l}u na poszczeg{\'o}lne elementy rysunku lub etapy rysowania. Pomimo tego, {\.z}e algorytmy wyznaczaj{\k a}ce podstawowe parametry ruchu s{\k a} stosunkowo proste, u{\'s}rednione warto{\'s}ci tych parametr{\'o}w pozwalaj{\k a} odr{\'o}{\.z}ni{\'c} pacjent{\'o}w przed i po zabiegu, a tak{\.z}e okre{\'s}li{\'c} rodzaj przeprowadzonej operacji.},
	url = {http://www.cs.put.poznan.pl/mkomosinski/research/parkinson-ocena-drgan-tablet.pdf},
	author = {Maciej Komosinski}
}
@article {Komosinski-2008,
	title = {Sztuczne {\.z}ycie. {A}lgorytmy inspirowane biologicznie},
	journal = {Nauka},
	volume = {2008},
	number = {4},
	year = {2008},
	pages = {7{\textendash}21},
	publisher = {Polska Akademia Nauk},
	address = {Warszawa},
	url = {http://www.alife.pl/czym-jest-sztuczne-zycie},
	author = {Maciej Komosinski}
}
@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}
}
@booklet {Komosinski-and-Kubiak-2005r,
	title = {Visualizing dynamics of evolutionary optimization processes in spaces of reduced dimensionality},
	number = {RA-023/05},
	year = {2005},
	publisher = {Poznan University of Technology, Institute of Computing Science},
	author = {Maciej Komosinski and Marek Kubiak}
}
@booklet {Komosinski-and-Kubiak-2004r,
	title = {Aspekt geometrii w szacowaniu podobie{\'n}stwa wirtualnych organizm{\'o}w},
	number = {RB-002/04},
	year = {2004},
	publisher = {Poznan University of Technology, Institute of Computing Science},
	author = {Maciej Komosinski and Marek Kubiak}
}
@article {Komosinski-and-Ulatowski-2004,
	title = {Genetic mappings in artificial genomes},
	journal = {Theory in Biosciences},
	volume = {123},
	number = {2},
	year = {2004},
	month = {September},
	pages = {125{\textendash}137},
	abstract = {This paper concerns processing of genomes of artificial (computer-simulated) organisms. Of special interest is the process of translation of genotypes into phenotypes, and utilizing the mapping information obtained during such translation. If there exists more than one genetic encoding in a single artificial life model, then the translation may also occur between different encodings. The obtained mapping information allows to present genes-phenes relationships visually and interactively to a person, in order to increase understanding of the genotype-to-phenotype translation process and genetic encoding properties. As the mapping associates parts of the source sequence with the translated destination, it may be also used to trace genes, phenes, and their relationships during simulated evolution. 

A mappings composition procedure is formally described, and a simple method of visual mapping presentation is established. Finally, advanced visualizations of gene-phene relationships are demonstrated as practical examples of introduced techniques. These visualizations concern genotypes expressed in various encodings, including an encoding which exhibits polygenic and pleiotropic properties.},
	doi = {10.1016/j.thbio.2004.04.002},
	url = {http://www.framsticks.com/files/common/GeneticMappingsInArtificialGenomes.pdf},
	author = {Maciej Komosinski and Szymon Ulatowski}
}
@conference {Hapke-et-al-2003,
	title = {Application of Evolutionarily Optimized Fuzzy Controllers for Virtual Robots},
	booktitle = {Proceedings of the 7th Joint Conference on Information Sciences},
	year = {2003},
	month = {September},
	pages = {1605{\textendash}1608},
	publisher = {Association for Intelligent Machinery},
	organization = {Association for Intelligent Machinery},
	address = {North Carolina, USA},
	url = {http://www.framsticks.com/files/common/Komosinski_FuzzyControl_CINC2003.pdf},
	author = {Maciej Hapke and Maciej Komosinski and Dawid Waclawski}
}
@booklet {Hapke-et-al-2002,
	title = {Evolutionary optimization of fuzzy controllers for virtual robots},
	number = {RA-010/02},
	year = {2002},
	publisher = {Poznan University of Technology, Institute of Computing Science},
	keywords = {EA, Fuzzy, Robotics},
	author = {Maciej Hapke and Maciej Komosinski and Dawid Waclawski}
}
@article {Komosinski-and-Rotaru-Varga-2001,
	title = {Comparison of different genotype encodings for simulated 3D agents},
	journal = {Artificial Life Journal},
	volume = {7},
	number = {4},
	year = {2001},
	month = {Fall},
	pages = {395{\textendash}418},
	publisher = {MIT Press},
	address = {Cambridge, MA},
	abstract = {This paper analyzes the effect of different genetic encodings used for evolving 3D agents with physical morphologies. The complex phenotypes used in such systems often require nontrivial encodings. Different encodings used in Framsticks - a system for evolving 3D agents - are presented. These include a low-level direct mapping and two higher-level encodings: a recurrent and a developmental one. Quantitative results are presented from three simple optimization tasks (active height, passive height, and locomotion speed). The low-level encoding produced solutions of lower fitness than the two higher-level encodings under similar conditions. Results from recurrent and developmental encodings had similar fitness values but displayed qualitative differences. Desirable advantages and some drawbacks of more complex encodings are established.},
	keywords = {Agents, AL, Body and Brain evol., Genetics, Simulation, Theory},
	doi = {10.1162/106454601317297022},
	url = {http://www.framsticks.com/files/common/ComparisonGeneticEncodings3DAgents.pdf},
	author = {Maciej Komosinski and Adam Rotaru-Varga}
}
@article {Komosinski-et-al-2001,
	title = {On estimating similarity of artificial and real organisms},
	journal = {Theory in Biosciences},
	volume = {120},
	number = {3-4},
	year = {2001},
	month = {December},
	pages = {271{\textendash}286},
	keywords = {AL, Biology, EA, Theory},
	url = {http://www.framsticks.com/files/common/Komosinski_Similarity_TheoryInBiosc2001.pdf},
	author = {Maciej Komosinski and Grzegorz Koczyk and Marek Kubiak}
}
@booklet {Komosinski-et-al-2001r,
	title = {Ewolucyjna optymalizacja fraz muzycznych sterowana przez cz{\l}owieka},
	number = {RB-008/01},
	year = {2001},
	publisher = {Poznan University of Technology, Institute of Computing Science},
	keywords = {AL, EA, Philosophy, Psychology},
	author = {Maciej Komosinski and Jerzy Blaszczynski and Marcin Szymanski}
}
@article {Komosinski-and-Krawiec-2000,
	title = {Evolutionary weighting of image features for diagnosing of CNS tumors},
	journal = {Artificial Intelligence In Medicine, Special Issue on Evolutionary Computation in Medicine},
	volume = {19},
	number = {1},
	year = {2000},
	pages = {25{\textendash}38},
	keywords = {CI, EA},
	doi = {10.1016/S0933-3657(99)00048-2},
	url = {http://linkinghub.elsevier.com/retrieve/pii/S0933365799000482},
	author = {Maciej Komosinski and Krzysztof Krawiec}
}
@booklet {Komosinski-and-Lapacz-1999,
	title = {Evolutionary weighting of features for classification},
	number = {RA-007/99},
	year = {1999},
	publisher = {Poznan University of Technology, Institute of Computing Science},
	keywords = {CI, EA},
	author = {Maciej Komosinski and Roman}
}
@conference {Komosinski-and-Ulatowski-1999a,
	title = {Framsticks: sztuczne {\.z}ycie {\textendash} z{\l}o{\.z}ona symulacja stworze{\'n} i ich ewolucji},
	booktitle = {Materia{\l}y konferencyjne III Krajowej Konferencji Algorytmy Ewolucyjne i Optymalizacja Globalna KAEiOG (Proceedings of the National Conference on Evolutionary Computation and Global Optimization)},
	year = {1999},
	month = {May},
	pages = {157{\textendash}166},
	address = {Potok Z{\l}oty},
	keywords = {Agents, AI, AL, Simulation},
	url = {http://www.framsticks.com/files/common/Komosinski_Framsticks_KAEiOG1999.pdf},
	author = {Maciej Komosinski and Szymon Ulatowski}
}
