Pozice: Vedoucí vědecký pracovník
Oddělení: Oddělení teoretické informatiky
E-mail: sima@cs.cas.cz
Pracovna: 422
Publikace
- A Polynomial-Time Construction of a Hitting Set for Read-once Branching Programs of Width 3 (2021)
- Cut Languages in Rational Bases (2016)
- Neural Networks Between Integer and Rational Weights (2016)
- Hovory s informatiky 2012. Sborník studií (2012)
- Hovory s informatiky 2011. Sborník studií (2011)
- Gradient Learning in Networks of Smoothly Spiking Neurons with an Additional Penalty Term (2011)
- Hovory s informatiky (2011)
- Hovory s informatiky 2010. Sborník studií (2010)
- A Polynomial Time Construction of a Hitting Set for Read-Once Branching Programs of Width 3 (2010)
- A Characterization of Hitting Sets for 1-Branching Programs of Width 3 (Revised Version) (2009)
- Gradient Learning in Networks of Smoothly Spiking Neurons (Revised Version) (2009)
- A Characterization of Hitting Sets for 1 Branching Programs of Width 3 (2008)
- ITAT 2008. Conference on Theory and Practice of Information Theory (2008)
- HTGEN - Hopfield Triangle Strip GENerator (2007)
- ITAT 2007. Conference on Theory and Practice of Information Technologies (2007)
- Gradient Learning in Networks of Smoothly Spiking Neurons (2007)
- Neuronové sítě jako modely analogových výpočtů (2006)
- An Explicit Polynomial Size Hitting Set for Restricted 1-Branching Programs Width 3 (2005)
- On the NP-Completeness of Some Graph Cluster Measures (2005)
- Tristrips on Hopfield Networks (2004)
- Exponential Transients in Continuous-Time Liapunov Systems (2003)
- Continuous-Time Symmetric Hopfield Nets are Computationally Universal (2003)
- General-Purpose Computation with Neural Networks: A Survey of Complexity Theoretic Results (2003)
- Training a Single Sigmoidal Neuron is Hard (2002)
- Training a Sigmoid Neuron is Hard (2001)
- On the Computational Power of Continuous-Time Symmetric Hopfield Nets (2000)
- The Computational Theory of Neural Networks (2000)
- [Recenze] (1999)
- A Continuous-Time Hopfield Net Simulation of Discrete Neural Networks (1999)
- Table Rounding Problem (1999)
- Some Afterthoughts on Hopfield Networks (1999)
- Výpočetní teorie neuronových sítí (1999)
- Theory of Neuromata (1998)
- Author's Response to the note Proving Hardness of Neural Network Training Problems by Michael Schmitt (1997)
- Introduction to Neural Networks (1997)
- Analog Stable Simulation of Discrete Neural Networks (1997)
- Neural Knowledge Processing in Expert Systems (1997)
- Teoretické otázky neuronových sítí (1996)
- Back-propagation is not Efficient (1996)
- Neural Language Acceptors (1995)
- Neural Expert Systems (1995)
- An Optimal in-Situ Disk Sorting Algorithm Based on Heapsort (1994)
- Back Propagations is not Efficient (1994)
- Loading Deep Networks is Hard (1994)
- Designing Neural Expert Systems with EXPSYS (1993)
- Neuronové expertní systémy (1993)
- Neuronové sítě jako expertní systémy (1991)
- Numerické zpracování výsledků kvantitativních imunochemických analytických metod na mikropočítači (1985)
Projekty
- LEDNeCo: Nízkoenergetické hluboké neurovýpočty (2025–2027)
- AppNeCo: Aproximativní neurovýpočty (2022–2024)
- FoNeCo: Analytické základy neurovýpočtů (2019–2021)
- NoSCoM: nestandardní výpočetní modely a jejich aplikace ve složitosti, lingvistice a učení (2010–2014)
- Metody inteligentních systémů a jejich aplikace při dobývání znalostí a zpracování přirozeného jazyka (2005–2009)
- Institut Teoretické Informatiky (2005–2011)
- Neuroinformatika: výpočetní teorie neuronových sítí (2000–2002)