Publications

Export 25 results:
Filters: Author is Artur Rataj  [Clear All Filters]
2016
Czachórski T, Domański A, Domańska J, Pagano M, Rataj A.  2016.  Delays in IP Routers, a Markov Model. Communications in Computer Information Science. 659:185–192.
Rataj A, Wozna-Szczesniak B.  2016.  Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking. Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, Rostock, Germany, September 28-30, 2016..
Copik M, Rataj A, Wozna-Szczesniak B.  2016.  A GPGPU-based Simulator for Prism: Statistical Verification of Results of PMC (extended abstract). Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, Rostock, Germany, September 28-30, 2016..
Arcile J, Czachórski T, Didier J-Y, Klaudel H, Rataj A.  2016.  Modelling and Analysing Mixed Reality Applications. Man–Machine Interactions 4: 4th International Conference on Man–Machine Interactions, ICMMI 2015 Kocierz Pass, Poland, October 6–9, 2015. :3–17.
Czachórski T, Domański A, Domańska J, Rataj A.  2016.  A Study of IP Router Queues with the Use of Markov Models. Communications in Computer Information Science. 608:294-305.
2015
Arcile J, Didier J-Y, Klaudel H, Devillers RR, Rataj A.  2015.  Indefinite waitings in MIRELA systems. Proceedings 4th International Workshop on Engineering Safety and Security Systems, {ESSS} 2015, Oslo, Norway, June 22, 2015..
2014
Rataj A.  2014.  Evolvability by Mimicking Common Properties of a Nervous System and Computer Software. Fundamenta Informaticae. 131:253–278.
Rataj A.  2014.  Fractional Genetic Programming with Probability Density Data. Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, September 29 - October 1, 2014..
2013
Rataj A.  2013.  Fractional Genetic Programming for a More Gradual Evolution. Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming. :371–382.
Rataj A.  2013.  Translation of probabilistic games in J2TADD. Theoretical and Applied Informatics. 25
2010
Rataj A.  2010.  Genetic programming using adaptable stochastic flow of control. Theoretical and Applied Informatics, vol. 22, No. 4, pp. 261-272; 2010.
2009
Rataj A.  2009.  More flexible models using new version of J2TADD – a translator of Java to TADDs. Theoretical and Applied Informatics, vol. 21, No. 2/2009, pp. 107-114.
Rataj A, Woźna B., Zbrzeźny A..  2009.  A translator of Java programs to TADDs. Fundamenta Informaticae 93(1-3), str. 305-324, 2009.
2008
Rataj A.  2008.  Random generalization by feedforward neural networks. Theoretical and Applied Informatics, vol. 20, no. 2, pp. 117-124, 2008.
Rataj A, Woźna B., Zbrzeźny A..  2008.  A translator of Java programs to TADDs. CS&P `08 17 th International Conference on Concurrency, Specification and Programming. Gross Vaeter See near Berlin, 29th September – 1 October 2008, pp. 524-535.
2007
Rataj A.  2007.  Generalization of raster images featuring a stochastic repetitiveness. Machine Graphics and Vision vol. 16, No 1/2, pp. 191-201, 2007.
2006
Rataj A.  2006.  An effective edge–directed frequency filter for removal of aliasing in upsampled images. Machine Graphics & Vision vol 15, No 3/4, 2006, pp 585-598.
Rataj A.  2006.  A semiglobal binarization method for embedded environments.. Theoretical and Applied Informatics, vol 18, No. 3/2006, pp 201-212.
2005
Rataj A.  2005.  Feedforward Neural Networks with Diffused Nonlinear Weight Functions. Archiwum Informatyki Teoretycznej i Stosowanej. 17:33–54.
Rataj A.  2005.  Feedforward neural networks with diffused nonlinear weight functions. Archiwum Informatyki Teoretycznej i Stosowanej. 17:33–54.
Rataj A.  2005.  Generalization of sparse two spirals set using feedforward learning machines. Archiwum Informatyki Teoretycznej i Stosowanej. 17:79–86.