Search results
- 1.0404881 - UIVT-O 220777 DE eng C - Conference Paper (international conference)
Savický, Petr
On Random Orderings of Variables for Parity OBDDs.
Electronic Colloquium on Computational Complexity, TR98-068. Trier, 1998
R&D Projects: GA ČR GA201/98/0717; GA MŠMT OK 304
Keywords : representation of Boolean functions * OBDD * random ordering of variables
Subject RIV: BA - General Mathematics
http://www.eccc.uni-trier.de/report/1998/068
Permanent Link: http://hdl.handle.net/11104/0125107 - 2.0404260 - UIVT-O 20010201 RIV DE eng C - Conference Paper (international conference)
Jukna, S. - Žák, Stanislav
On Uncertainty versus Size in Branching Programs.
Electronic Colloquium on Computational Complexity. Report No.39. Trier, 2001, s. -. ISSN 1433-8092
R&D Projects: GA ČR GA201/98/0717; GA MŠMT LN00A056
Keywords : computational complexity * branching programs * decision trees * lower bounds * Kraft inequality
Subject RIV: BA - General Mathematics
http://www.eccc.uni-trier.de/report/2001/039
Permanent Link: http://hdl.handle.net/11104/0124523 - 3.0404013 - UIVT-O 20000151 RIV US eng C - Conference Paper (international conference)
Neruda, Roman
Genetic Algorithms and Neural Networks: Making Use of Parameter Space Symetries.
IJCNN 2000. Proceedings of the IEEE-INNS-ENNS International Joint Conference on Neural Networks. Los Alamitos: IEEE Computer Society, 2000. ISBN 0-7695-0619-4.
[IJCNN 2000. Como (IT), 24.07.2000-27.07.2000]
R&D Projects: GA ČR GA201/99/P057; GA ČR GA201/99/0092; GA ČR GA201/98/0717
Institutional research plan: AV0Z1030915
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0124294 - 4.0403991 - UIVT-O 20000131 RIV DE eng C - Conference Paper (international conference)
Savický, Petr - Sieling, D.
A Hierarchy Result for Read-Once Branching Programs with Restricted Parity Nondeterminism.
Mathematical Foundations of Computer Science 2000, 25th International Symposium Proceedings. Berlin: Springer, 2000 - (Nielsen, M.; Rovan, B.), s. 650-659. Lecture Notes in Computer Science, 1893. ISBN 3-540-67901-4. ISSN 0302-9743.
[MFCS'2000. Bratislava (SK), 28.08.2000-01.09.2000]
R&D Projects: GA ČR GA201/98/0717
Institutional research plan: AV0Z1030915
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0124272 - 5.0403987 - UIVT-O 20000127 RIV DE eng C - Conference Paper (international conference)
van Leeuwen, J. - Wiedermann, Jiří
On the Power of Interactive Computing.
Theoretical Computer Science. Exploring New Frontiers of Theoretical Informatics. Berlin: Springer, 2000 - (van Leeuwen, J.; Watanabe, O.; Hagiya, M.; Mosses, P.; Ito, T.), s. 619-623. Lecture Notes in Computer Science, 1872. ISBN 3-540-67823-9. ISSN 0302-9743.
[IFIP TCS 2000. Sendai (JP), 17.08.2000-19.08.2000]
R&D Projects: GA ČR GA201/98/0717
Grant - others:ALCOM-FT(XE) IST-1999-14186
Institutional research plan: AV0Z1030915
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0124268 - 6.0403986 - UIVT-O 20000126 RIV DE eng C - Conference Paper (international conference)
van Leeuwen, J. - Wiedermann, Jiří
On Algorithms and Interaction.
Mathematical Foundations of Computer Science 2000, 25th International Symposium Proceedings. Berlin: Springer, 2000 - (Nielsen, M.; Rovan, B.), s. 99-113. Lecture Notes in Computer Science, 1893. ISBN 3-540-67901-4. ISSN 0302-9743.
[MFCS'2000. Bratislava (SK), 28.08.2000-01.09.2000]
R&D Projects: GA ČR GA201/98/0717
Grant - others:ALCOM-FT(XE) IST-1999-14186
Institutional research plan: AV0Z1030915
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0124267 - 7.0403937 - UIVT-O 20000086 RIV DE eng C - Conference Paper (international conference)
Jukna, S. - Žák, Stanislav
Some Notes on the Information Flow in Read-Once Branching Programs.
SOFSEM'2000: Theory and Practice of Informatics. Berlin: Springer, 2000 - (Hlaváč, V.; Jeffery, K.; Wiedermann, J.), s. 356-364. Lecture Notes in Computer Science, 1963. ISBN 3-540-41348-0. ISSN 0302-9743.
[SOFSEM 2000 /27./. Milovy (CZ), 25.11.2000-01.12.2000]
R&D Projects: GA ČR GA201/98/0717
Institutional research plan: AV0Z1030915
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0124223 - 8.0403862 - UIVT-O 20000040 RIV CA eng C - Conference Paper (international conference)
Šíma, Jiří - Orponen, P.
A Continuous-Time Hopfield Net Simulation of Discrete Neural Networks.
Proceedings of the Second ICSC Symposium on Neural Computation. Wetaskiwin: ICSC Academic Press, 2000 - (Bothe, H.; Rojas, R.), s. 36-42. ISBN 3-906454-22-3.
[NC'2000. ICSC Symposium on Neural Computation /2./. Berlin (DE), 23.05.2000-26.05.2000]
R&D Projects: GA ČR GA201/98/0717; GA AV ČR IAB2030007
Institutional research plan: AV0Z1030915
Keywords : neural networks * analog computation * computational power * continuous-time Hopfield
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0124150 - 9.0403768 - UIVT-O 990115 RIV US eng C - Conference Paper (international conference)
Neruda, Roman
Utilizing Unique Parametrization Property in Approximate Genetic Learning of Feed-Forward Networks.
IJCNN'99. International Joint Conference on Neural Networks Proceedings. Vol. 6. Piscataway: IEEE, 1999, s. 4186-4191. ISBN 0-7803-5529-6.
[IJCNN'99. Washington (US), 10.07.1999-16.07.1999]
R&D Projects: GA ČR GA201/99/P057; GA ČR GA201/99/0092; GA ČR GA201/98/0717
Institutional research plan: AV0Z1030915
Subject RIV: BB - Applied Statistics, Operational Research
Permanent Link: http://hdl.handle.net/11104/0124059 - 10.0403767 - UIVT-O 990114 RIV DE eng C - Conference Paper (international conference)
Krause, M. - Savický, Petr - Wegener, I.
Approximations by OBDDs and the Variable Ordering Problem.
Automata, Languages and Programming. Proceedings. Berlin: Springer, 1999 - (Wiedermann, J.; van Emde Boas, P.; Nielsen, M.), s. 493-502. Lecture Notes in Computer Science, 1644. ISBN 3-540-66224-3. ISSN 0302-9743.
[ICALP'99 International Colloquium /26./. Prague (DE), 11.07.1999-15.07.1998]
R&D Projects: GA ČR GA201/98/0717
Institutional research plan: AV0Z1030915
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0124058