Search results
- 1.0405595 - UIVT-O 330975 SIGLE CZ eng V - Research Report
Wiedermann, Jiří - Pardubská, D.
On the Power of Broadcasting in Mobile Computing.
Prague: ICS AS CR, 2005. 15 s. Technical Report, V-944.
R&D Projects: GA AV ČR 1ET100300517
Institutional research plan: CEZ:AV0Z10300504
Keywords : wireless computing * Turing machines * alternation * complexity
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125749File Download Size Commentary Version Access v944-05.pdf 15 257.7 KB Other open-access - 2.0405383 - UIVT-O 330755 SIGLE CZ eng V - Research Report
Wiedermann, Jiří
Autopoietic Automata.
Prague: ICS AS CR, 2005. 10 s. Technical Report, V-929.
R&D Projects: GA AV ČR 1ET100300517
Institutional research plan: CEZ:AV0Z10300504
Keywords : self-reproducing automaton * interactive Turing machine * evolution
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125555File Download Size Commentary Version Access v929-05.pdf 16 226.3 KB Other open-access - 3.0338520 - ÚI 2010 CZ eng V - Research Report
Žák, Stanislav
Branching Programs: Paradoxes in the Method.
Prague: ICS AS CR, 2009. 16 s. Technical Report, V-1052.
R&D Projects: GA AV ČR 1ET100300517
Institutional research plan: CEZ:AV0Z10300504
Keywords : branching programs * lower bound techniques
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0182270File Download Size Commentary Version Access v1052-09.pdf 18 243.1 KB Other open-access - 4.0331769 - ÚI 2010 CZ eng V - Research Report
Vaculín, Roman - Neruda, Roman - Sycara, K.
Towards a Process Mediation Framework for Semantic Web Service.
Prague: ICS AS CR, 2008. 24 s. Technical Report, V-1048.
R&D Projects: GA MŠMT ME08095; GA AV ČR 1ET100300517
Grant - others:DARPA FA865006C7606
Institutional research plan: CEZ:AV0Z10300504
Keywords : process mediation, semantic web services, agents and web services, automated planning
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0177200File Download Size Commentary Version Access v1048-08.pdf 15 421.9 KB Other open-access - 5.0331291 - ÚI 2010 CZ eng V - Research Report
Šíma, Jiří - Žák, Stanislav
A Characterization of Hitting Sets for 1-Branching Programs of Width 3 (Revised Version).
Prague: ICS AS CR, 2009. 18 s. Technical Report, V-1054.
R&D Projects: GA MŠMT(CZ) 1M0545; GA AV ČR 1ET100300517
Institutional research plan: CEZ:AV0Z10300504
Keywords : derandomization, hitting set * hitting set * read-once branching programs * bounded width
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0176844File Download Size Commentary Version Access v1054-09.pdf 16 253 KB Other open-access - 6.0318940 - ÚI 2009 SIGLE CZ eng V - Research Report
Šíma, Jiří
Gradient Learning in Networks of Smoothly Spiking Neurons (Revised Version).
Prague: ICS AS CR, 2009. 12 s. Technical Report, V-1045.
R&D Projects: GA AV ČR 1ET100300517
Institutional research plan: CEZ:AV0Z10300504
Keywords : spiking neuron * back-propagation * SpikeProp * gradient learning
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0168229File Download Size Commentary Version Access v1045-09.pdf 19 328.2 KB Other open-access - 7.0316228 - ÚI 2009 SIGLE CZ eng V - Research Report
Běhounek, Libor - Bodenhofer, U. - Cintula, Petr - Sarkoci, P. - Saminger-Platz, S.
Graded Properties of Binary Fuzzy Connectives.
Prague: ICS AS CR, 2008. 12 s. Technical Report, V-1042.
R&D Projects: GA AV ČR IAA100300503; GA AV ČR 1ET100300517
Grant - others:Program Kontakt/WTZ CR-Austria(EU) 6-07-17/2-2007
Institutional research plan: CEZ:AV0Z10300504
Source of funding: V - Other public resources
Keywords : connectives * fuzzy class theory * dominance
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0166215File Download Size Commentary Version Access v1042-08.pdf 15 228.6 KB Other open-access - 8.0313794 - ÚI 2009 SIGLE CZ eng V - Research Report
Šíma, Jiří - Žák, Stanislav
A Characterization of Hitting Sets for 1 Branching Programs of Width 3.
Prague: ICS AS CR, 2008. 11 s. Technical Report, V-1029.
R&D Projects: GA MŠMT(CZ) 1M0545; GA AV ČR 1ET100300517
Institutional research plan: CEZ:AV0Z10300504
Keywords : derandomization, hitting set * branching programs of bounded width
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0164506File Download Size Commentary Version Access v1029-08.pdf 0 207.8 KB Other require - 9.0090522 - ÚI 2008 SIGLE CZ eng V - Research Report
Žák, Stanislav
A Superpolynomial Lower Bound for a Class of Restricted Branching Programs.
Prague: ICS AS CR, 2007. 9 s. Technical Report, V-1012.
R&D Projects: GA AV ČR 1ET100300517
Institutional research plan: CEZ:AV0Z10300504
Keywords : branching programs * lower bound techniques
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0151389File Download Size Commentary Version Access v1012-07.pdf 15 209.1 KB Other open-access - 10.0088406 - ÚI 2008 SIGLE CZ eng V - Research Report
Šíma, Jiří
Gradient Learning in Networks of Smoothly Spiking Neurons.
Prague: ICS AS CR, 2007. 9 s. Technical Report, V-1004.
R&D Projects: GA AV ČR 1ET100300517
Institutional research plan: CEZ:AV0Z10300504
Keywords : spiking neuron * back-propagation * SpikeProp * gradient learning
Permanent Link: http://hdl.handle.net/11104/0149949File Download Size Commentary Version Access v1004-07.pdf 0 148.4 KB Other require