Jiri Sima
Jiri Sima
Department of Theoretical Computer Science,
Institute of Computer Science,
Academy of Sciences of the Czech Republic,
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
List of publications:
Books and their parts
- J. Sima: A taxonomy of computational
models of neural networks: From subregular languages to
super-Turing computations. To appear in V. Marik,
O. Stepankova, and J. Lazansky (eds.), Artificial
Intelligence, Vol. 6, Prague: Academia (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).
Articles
- J. Sima, S. Zak: A polynomial time
construction of a hitting set for read-once branching programs of
width 3. Submitted.
slides
- 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.
Conference Proceedings
- J. Sima: A low-energy implementation of finite
automata by optimal-size neural nets. To appear in Proceedings of the
ICANN 2013 Twenty-Third International Conference on Artificial Neural Networks,
Berlin: Springer-Verlag, LNCS, 2013.
- 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.
Selected Technical Reports
- 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.
Reviews and Letters
Professional CV:
Degrees
- 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
Professional Appointments
- 1994-present Research associate (senior
research scientist since 2003), deputy head (1994-2000, 2007-2009), 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
Awards
Committee Memberships
- Program Committees:
-
Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
MEMICS 2011
-
International Conference on Neural Computation
ICNC 2009
-
International Conference on Artificial Neural Networks
ICANN 2008
-
INNS Symposia on New directions in Neural Networks
INNS-NNN 2008
-
International Conference on Adaptive and Natural Computing Algorithms
ICANNGA'07,
ICANNGA'05
-
International Seminar on Current Trends in Theory and Practice of
Computer Science SOFSEM 2013, SOFSEM 2011, SOFSEM 2006, SOFSEM'97
-
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 Board of the Faculty
of Information Technology, Czech Technical
University in Prague
- 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
- 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
- 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
Article Reviews -- Journals:
- Theoretical
Computer Science,
- Journal of
Computer Systems Sciences,
- Annals of
Mathematics and Artificial Intelligence,
- 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
Grants
- 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
Personal Data:
