Department of Theoretical Computer Science,

Institute of Computer Science,

The Czech Academy of Sciences,

Pod Vodarenskou vezi 2, 182 07 Prague 8,

Czech Republic

phone: +420 2 6605 3030

fax: +420 286 585 789

email: sima@cs.cas.cz

- J. Sima: Energy-time tradeoff in recurrent neural nets. In P. Koprinkova-Hristova, V. Mladenov, and N. Kasabov (eds.), Artificial Neural Networks: Methods and Applications in Bio-/Neuroinformatics, Springer Series in Bio-/Neuroinformatics, Volume 4, 2015, 51-63.
- J. Sima: A taxonomy of computational models of neural networks: From subregular languages to super-Turing computations. In V. Marik, O. Stepankova, and J. Lazansky (eds.), Artificial Intelligence, Vol. 6, Prague: Academia, 2013, 392-423 (in Czech).
- J. Sima: Energy-based computation with symmetric Hopfield nets. In S. Ablameyko, M. Gori, L. Goras, and V. Piuri (eds.), Limitations and Future Trends in Neural Computation, NATO Science Series: Computer & Systems Sciences, Vol. 186, Amsterdam: IOS Press, 2003, 45-69.
- J. Sima, J. Cervenka: Neural Knowledge Processing in Expert Systems. In I. Cloete, J. M. Zurada (eds.), Knowledge-Based Neurocomputing, Cambridge: The MIT Press, 2000, 419-466.
- J. Sima, R. Neruda: Theoretical Issues of Neural Networks. Prague: MATFYZPRESS, 1996, 390 pages (in Czech).
- J. Sima, P. Mancal, J. Bouzek: Numerical Processing of Results of Quantitative Immunochemical Analytical Methods on Microcomputer. Prague: USOL publisher, 1985, 50 pages (in Czech).

- J. Sima, S. Zak: A polynomial time construction of a hitting set for read-once branching programs of width 3. Submitted. slides
- J. Sima, S. Zak: On tight separation for Blum measures applied to Turing machine buffer complexity. Fundamenta Informaticae, 152(4):397-409, 2017.
- J. Sima: Energy complexity of recurrent neural networks. Neural Computation, 26(5):953-973, 2014.
- J. Sima, R. Lnenicka: Sequential triangle strip generator based on Hopfield networks. Neural Computation, 21(2):583-617, 2009. (DOWNLOAD HTGEN PROGRAM) slides
- J. Sima, J. Sgall: On the non-learnability of a single spiking neuron. Neural Computation, 17(12):2635-2647, 2005.
- M. Sorel, J. Sima: Robust RBF finite automata. Neurocomputing, 62:93-110, 2004.
- J. Sima, P. Orponen: General-purpose computation with neural networks: A survey of complexity theoretic results. Neural Computation, 15(12):2727-2778, 2003.
- J. Sima, P. Orponen: Exponential transients in continuous-time Liapunov Systems. Theoretical Computer Science, 306(1-3):353-372, 2003.
- J. Sima, P. Orponen: Continuous-time symmetric Hopfield nets are computationally universal. Neural Computation, 15(3):693-733, 2003.
- J. Sima: Training a single sigmoidal neuron is hard. Neural Computation, 14(11):2709-2728, 2002.
- J. Sima, P. Orponen, T. Antti-Poika: On the computational complexity of binary and analog symmetric Hopfield nets. Neural Computation, 12(12):2965-2989, 2000.
- J. Sima: Table rounding problem. Computers and Artificial Intelligence, 18(2):175-189, 1999.
- J. Sima, J. Wiedermann: Theory of neuromata. Journal of the ACM, 45(1):155-178, 1998.
- J. Sima: Analog stable simulation of discrete neural networks. Neural Network World, 7(6):679-686, 1997.
- J. Sima: Back propagation is not efficient. Neural Networks, 9(6):1017-1023, 1996.
- J. Sima: Neural expert systems. Neural Networks, 8(2):261-271, 1995.
- J. Sima: Loading deep networks is hard. Neural Computation, 6(5):842-850, 1994.
- J. Sima: Generalized back propagation for training pattern derivatives. Neural Network World, 4(1):91-98, 1994.
- J. Sima, R. Neruda: Neural networks as expert systems. Neural Network World. 2(6):775-784, 1992.
- J. Sima: Generalized back propagation for interval training patterns. Neural Network World, 2(2):167-174, 1992.
- J. Sima: The multi-layered neural network as an adaptive expert system with the ability to work with incomplete information and to provide justification of inference. Neural Network World, 2(1):47-58, 1992.

- J. Sima: The computational power of neural networks and representations of numbers in non-integer bases. Invited talk. Proceedings of the MENDEL 2017 Twenty-Third International Conference on Soft Computing, Mendel Softcomputing Journal, 23(1):103-110, 2017. slides
- J. Sima: Neural networks between integer and rational weights. Proceedings of the IJCNN 2017 Thirties International Joint Conference on Neural Networks, 154-161, IEEE, 2017. slides
- J. Sima, P. Savicky: Cut languages in rational bases. Proceedings of the LATA 2017 Eleventh International Conference on Language and Automata Theory and Applications, 311-322, Berlin: Springer-Verlag, LNCS 10168, 2017. slides
- J. Sima: The power of extra analog neuron. Proceedings of the TPNC 2014 Third International Conference on the Theory and Practice of Natural Computing, 243-254, Berlin: Springer-Verlag, LNCS 8890, 2014. slides
- J. Sima: A low-energy implementation of finite automata by optimal-size neural nets. Proceedings of the ICANN 2013 Twenty-Third International Conference on Artificial Neural Networks, 114-121, Berlin: Springer-Verlag, LNCS 8131, 2013. slides
- S. Zak, J. Sima: A Turing machine distance hierarchy. Proceedings of the LATA 2013 Seventh International Conference on Language and Automata Theory and Applications, 570-578, Berlin: Springer-Verlag, LNCS 7810, 2013. slides
- J. Sima, S. Zak: A sufficient condition for sets hitting the class of read-once branching programs of width 3. Proceedings of the SOFSEM 2012 Thirty-Eighth International Conference on Current Trends in Theory and Practice of Informatics, 406-418, Berlin: Springer-Verlag, LNCS 7147, 2012. slides
- J. Sima, S. Zak: Almost k-wise independent sets establish hitting sets for width-3 1-branching programs. Proceedings of the CSR 2011 Sixth International Computer Science Symposium in Russia, 120-133, Berlin: Springer-Verlag, LNCS 6651, 2011. slides photo
- J. Sima: Gradient learning in networks of smoothly spiking neurons. Proceedings of the ICONIP 2008 Fifteenth International Conference on Neural Information Processing of the Asia-Pacific Neural Network Assembly, Part II, 179-186, Berlin: Springer-Verlag, LNCS 5507, 2009.
- J. Sima: Gradient learning in networks of smoothly spiking neurons. (extended abstract) Proceedings of the ICONIP 2008 Fifteenth International Conference on Neural Information Processing of the Asia-Pacific Neural Network Assembly, 167-168, The Knowledge Engineering and Discovery Research Institute (KEDRI), Auckland University of Technology, 2008.
- J. Sima: Computational resources in neural network models. A tutorial at the ICONIP 2008 Fifteenth International Conference on Neural Information Processing of the Asia-Pacific Neural Network Assembly, November, Auckland, New Zealand, 2008.
- J. Sima, S. Zak: A polynomial time constructible hitting set for restricted 1-branching programs of width 3. Proceedings of the SOFSEM 2007 Thirty-Third International Conference on Current Trends in Theory and Practice of Informatics, 522-531, Berlin: Springer-Verlag, LNCS 4362, 2007.
- J. Sima, S.E. Schaeffer: On the NP-completeness of some graph cluster measures. Proceedings of the SOFSEM 2006 Thirty-Second International Conference on Current Trends in Theory and Practice of Informatics, 530-537, Berlin: Springer-Verlag, LNCS 3831, 2006.
- J. Sima: Optimal triangle stripifications as minimum energy states in Hopfield nets. Proceedings of the ICANN'2005 Fifteenth International Conference on Artificial Neural Networks, Warsaw, Poland, 199-204, Berlin: Springer-Verlag, LNCS 3696, 2005.
- J. Sima: Generating sequential triangle strips by using Hopfield nets. Proceedings of the ICANNGA'2005 Seventh International Conference on Adaptive and Natural Computing Algorithms, Coimbra, Portugal, 25-28, Vienna: Springer-Verlag, 2005.
- J. Sima: On the complexity of training a single perceptron with programmable synaptic delays. Proceedings of the ALT'2003 Fourteenth International Conference on Algorithmic Learning Theory, Sapporo, 221-233, Springer-Verlag, LNAI 2842, 2003.
- J. Sima: Minimizing the quadratic training error of a sigmoid neuron is hard. Proceedings of the ALT'2001 Twelfth International Conference on Algorithmic Learning Theory, Washington D.C., 92-105, Springer-Verlag, LNAI 2225, 2001.
- J. Sima, P. Orponen: Exponential transients in continuous-time symmetric Hopfield nets. Proceedings of the ICANN'2001 Eleventh International Conference on Artificial Neural Networks, Vienna, Austria, 806-813, Berlin: Springer-Verlag, LNCS 2130, 2001.
- J. Sima, P. Orponen: Computing with continuous-time Liapunov systems. Proceedings of the STOC'2001 Thirty-Third Annual ACM Symposium on Theory of Computing, Crete, Greece, 722-731, New York: ACM Press, 2001.
- J. Sima: The computational capabilities of neural networks (extended abstract). Tutorial. Proceedings of the ICANNGA'2001 Fifth International Conference on Artificial Neural Networks and Genetic Algorithms, Prague, Czech Republic, 22-26, Vienna: Springer-Verlag, 2001.
- M. Sorel, J. Sima: Robust implementation of finite automata by recurrent RBF networks. Proceedings of the SOFSEM Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, 431-439, Berlin: Springer-Verlag, LNCS 1963, 2000.
- J. Sima: Review of integration strategies in neural hybrid systems. Euro-International Symposium on Computational Intelligence (E-ISCI'2000), Kosice, Slovakia, In Book Quo Vadis Computational Intelligence? New Trends and Approaches in Computational Intelligence, eds. P. Sincak, V. Vascak, 355-360, Berlin: Springer-Verlag, Studies in Fuzziness and Soft Computing, Vol. 54, 2000.
- J. Sima, P. Orponen: A continuous-time Hopfield net simulation of discrete neural networks. Proceedings of the NC'2000 Second International ICSC Symposium on Neural Computation, Berlin, Germany, 36-42, Wetaskiwin (Canada): ICSC Academic Press, 2000.
- J. Sima, P. Orponen, T. Antti-Poika: Some afterthoughts on Hopfield networks. Proceedings of the SOFSEM Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, 459-469, Berlin: Springer-Verlag, LNCS 1725, 1999.
- J. Sima: Complexity issues in neurocomputing. Invited talk at the International Students' Workshop on Neural Networks, Faculty of Mathematics and Physics, Charles University, Prague, September, 1998.
- J. Sima: Aunt's problem: Table rounding. Proceedings of the SOFSEM Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, 441-450, Berlin: Springer-Verlag, LNCS 1175, 1996.
- J. Sima, J. Wiedermann: Neural Language Acceptors. Proceedings of the 2nd International Conference Developments in Language Theory, Magdeburg, 1995, 430-439, Singapore: World Scientific, 1996.
- J. Sima: Hopfield languages. Proceedings of the SOFSEM Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, 461-468, Berlin: Springer-Verlag, LNCS 1012, 1995.
- J. Sima, R. Neruda: The empty expert system and its application in medicine. Proceedings of the Twelfth European Meeting on Cybernetics and Systems Research, Vienna, 1825-1832, Singapore: World Scientific, 1994.
- J. Sima: Neural learning is not efficient. Proceedings of the SOFSEM winter school, Milovy, Czech Republic, 107-110, 1994.
- J. Wiedermann, J. Sima, R. Neruda: Massaging heapsort into an optimal disk sorting algorithm. Proceedings of the SOFSEM winter school, Milovy, Czech Republic, 117-120, 1994.
- J. Sima, R. Neruda: EXPSYS - a tool for neural expert system design. Proceedings of the NEURONET conference, Prague, 1993.
- J. Sima, R. Neruda: Neural Expert Systems. Proceedings of the International Joint Conference on Neural Networks IJCNN'92, Beijing, Vol. 3, 634-639, Publishing House of Electronics Industry, 1992.

- J. Sima: Gradient learning in networks of smoothly spiking neurons with an additional penalty term. Technical report V-1125, ICS CAS, Prague, 2011.
- J. Sima, S. Zak: A Polynomial Time Construction of a Hitting Set for Read-Once Branching Programs of Width 3. Electronic Colloquium on Computational Complexity, Report TR10-088, 2010.
- J. Sima, S.E. Schaeffer: On the NP-completeness of some graph cluster measures. Technical report arXiv:cs.CC/0506100, 2005.
- J. Sima: Introduction to neural networks. Technical report V-755, ICS CAS, Prague, 1998.
- J. Wiedermann, J. Sima, R. Neruda: An optimal in-situ disk sorting algorithm based on heapsort. Technical report V-591, ICS CAS, Prague, 1994.
- J. Sima, R. Neruda: Designing neural expert systems with EXPSYS. Technical report V-563, ICS CAS, Prague, 1993.

- J. Sima: Book review: A Theory of Learning and Generalization by M. Vidyasagar. Neural Network World, 9(1-2):175-178, 1999.
- J. Sima: Author's response. Letter to the editor, Neural Networks, 10(8):1534, 1997.

**2009 DrSc.**(Doctor of Science) Computer Science, Faculty of Informatics and Information Technologies, Slovak University of Technology, Bratislava**2000 doc.**(Associate Professor) Computer Science, Faculty of Mathematics and Physics, Charles University, Prague**2000 RNDr.**(Doctor of Natural Sciences) Computer Science, Faculty of Mathematics and Physics, Charles University, Prague**1993 CSc. (Ph.D.)**Computer Science, Institute of Computer Science, Czech Academy of Sciences, Prague**1991 Mgr. (M.Sc.)**with honors, Mathematics and Computer Science, Faculty of Mathematics and Physics, Charles University, Prague

**1994-present**Research associate (senior research scientist since 2003), deputy head (1994-2000, 2007-2009, 2017-present), and head (2010-2012) at the Department of Theoretical Computer Science, Institute of Computer Science**1996-2010**external teacher at Faculty of Informatics, Masaryk University, Brno, course on Neural networks**1993-2007**external teacher at Faculty of Mathematics and Physics, Charles University, Prague, courses on Theoretical issues of neural networks - effectiveness**Jun 2000 - Jan 2001**Postdoctoral research visit at the Department of Mathematics, University of Jyvaskyla, Finland**1992-1995**external teacher at Faculty of Electrical Engineering, Czech Technical University, Prague**1991-1993**Research associate and PhD student at the Department of Neural Networks, Institute of Computer Science**1985-1988**external collaboration with the Department of Mathematical Linguistic at the Faculty of Mathematics and Physics, Charles University, Prague**1983-1986**external collaboration with the Research Institute of Serum and Vaccination, Prague

**2003**Otto Wichterle Award.**1998**Young Scientist Prize of Academy of Sciences of the Czech Republic for monograph Theoretical issues of neural networks

**Program Committees:**- International Conference on Artificial Neural Networks ICANN 2014, ICANN 2008
- International Seminar on Current Trends in Theory and Practice of Computer Science SOFSEM 2013, SOFSEM 2011, SOFSEM 2006, SOFSEM'97
- Doctoral Workshop on Mathematical and Engineering Methods in Computer Science MEMICS 2011
- International Conference on Neural Computation ICNC 2009
- INNS Symposia on New directions in Neural Networks INNS-NNN 2008
- International Conference on Adaptive and Natural Computing Algorithms ICANNGA'07, ICANNGA'05
- International Conference on Artificial Intelligence and Applications AIA 2005
- International Conference on Computational Intelligence CI 2005
- Workshop on Information Technologies - Applications and Theory ITAT 2010, ITAT 2009, ITAT 2008, ITAT 2007, ITAT 2006, ITAT 2005
- International Conference on Artificial Neural Networks and Genetic Algorithms ICANNGA'03, ICANNGA'01
- International Symposium on Biological and Medical Data Analysis ISBMDA 2004
- International Symposium on Medical Data Analysis ISMDA 2003, ISMDA 2002, ISMDA 2001, ISMDA 2000
- Mathematical Foundations of Computer Science MFCS 2003

- Member of the Scientific Council of the Faculty of Information Technology, Czech Technical University in Prague (since 2009)
- Member of the Evaluation Panel in Computer Science of the Czech Science Foundation GA CR (2009-2011)
- Member of the Council of Scientists of INTAS (The International Association for the Promotion of Cooperation with Scientists from the New Independent States of the Former Soviet Union) in the field Theoretical foundations of computer science, Brussels (2003-2006)
- Member of the Academy Assembly of the Academy of Sciences of the Czech Republic (2006-2008)
- Member of the Council of the Institute of Computer Science (since 2012)
- Member of the Scientific Council of the Institute of Computer Science (Chairman 2005-2006, Executive Board 2003-2006)
- Member of the Council for PhD program in Computer Science at the Faculty of Mathematics and Physics, Charles University (2008-2015)
- Member of the Council for PhD program at the Faculty of Informatics, Masaryk University (2002-2011)
- Member of the Council for PhD program in Theoretical Computer Science at the Faculty of Mathematics and Physics, Charles University (2000-2016)
- Member of the PhD Thesis Defence Committee K 2 at the Faculty of Mathematics and Physics, Charles University
- Member of the Committee for State Examination in Computer Science at the Faculty of Mathematics and Physics, Charles University

- Theoretical Computer Science,
- Journal of Computer Systems Sciences,
- Annals of Mathematics and Artificial Intelligence,
- Journal of Symbolic Logic,
- Journal of Applied Logic,
- Neural Computation,
- Neural Networks,
- IEEE Transactions on Neural Networks,
- IEEE Transactions on Knowledge and Data Engineering,
- Neurocomputing,
- Physica A,
- Computing and Informatics,
- Kybernetika,
- Neural Network World

**2012-2018**Center of Excellence - Institute for Theoretical Computer Science (CE-ITI), GA CR P202/12/G061, member of research team**2010-2014**NoSCoM: Non-Standard Computational Models and Their Applications in Complexity, Linguistics, and Learning, GA CR P202/10/1333, principal investigator**2009-2012**Res Informatica, GA CR 201/09/H057, member of management team**2009-2012**SoSIReCR: Social Network of IT Specialists in Regions of Czech Republic, Operational Program "Education for Competitiveness" Project CZ.1.07/2.4.00/12.0039, expert manager**2005-2011**National Research Center: Institute for Theoretical Computer Science, Project 1M0545 of The Ministry of Education of the Czech Republic, principal co-investigator**2005-2009**Methods for Intelligent Systems and Their Applications in Datamining and Natural Language Processing, Program "Information Society" Project 1ET100300517, principal investigator, final evaluation: the scientific aim fulfilled with outstanding results**2005-2008**Collegium Informaticum, GA CR 201/05/H014, member of management team**2000-2004**National Research Center: Institute for Theoretical Computer Science, Project LN00A056 of The Ministry of Education of the Czech Republic, young researcher**2002-2004**Specialized Computational Models in Contemporary Computer Science, GA CR 201/02/1456, member of research team**2001-2003**Research of Neural Networks Capability to Provide Nonlinear Boolean Factor Analysis, GA CR 201/01/1192, member of research team**2000-2002**NEUROINFORMATICS: Computational Theory of Neural Networks, GA AS CR B2070007, principal investigator, final evaluation: the scientific aim fulfilled with outstanding results**2000-2002**SOFT COMPUTING: Theoretical Foundations and Experiments, GA CR 201/00/1489, member of research team**1998-2000**Computational Models and Complexity of Computation, GA CR 201/98/0717, member of research team**1995-1997**HYPERCOMPLEX: Complexity Issues in High Performance Computing, GA CR 201/95/0976, member of research team**1993-1996**ALTEC: Algorithms for Future Technologies, EC Cooperative Action IC-1000, member of research team

- Matej's
**spikeball**videos - Lucien's
**100 km (62.14 miles) trip in 24 hours**: map - Lucien's video report about his scout cipher contest
**PF**2012, 2013, 2014, 2015, 2016, 2017**2015**Dominik as a TV star**2005**son Dominik born**pf 2003**JPG (2.25MB)**2002**son Matej born**1998**son Lucien born**1995**married to Katka**1987**member of Brethren Church**1968, March 6**born in Prague (pictures)