Bibliography

Export 8 results:
Author Title Type [ Year(Asc)]
Filters: Author is Adam Kups  [Clear All Filters]
2012
M. Komosinski, Kups, A., and Urbanski, M., Multi-criteria evaluation of abductive hypotheses: towards efficient optimization in proof theory, in Proceedings of the 18th International Conference on Soft Computing, Brno, Czech Republic, 2012, pp. 320–325.
2011
M. Komosinski and Kups, A., Implementation and Simulation of the Scalar Timing Model, Bio-Algorithms and Med-Systems, vol. 7, no. 4, pp. 41–52, 2011.
2009
M. Komosinski and Kups, A., Models and implementations of timing processes using Artificial Life techniques, Poznan University of Technology, Institute of Computing Science, RA-05/09, 2009.