Výsledky vyhledávání
- 1.0405595 - UIVT-O 330975 SIGLE CZ eng V - Výzkumná zpráva
Wiedermann, Jiří - Pardubská, D.
On the Power of Broadcasting in Mobile Computing.
Prague: ICS AS CR, 2005. 15 s. Technical Report, V-944.
Grant CEP: GA AV ČR 1ET100300517
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: wireless computing * Turing machines * alternation * complexity
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125749Název souboru Staženo Velikost Komentář Verze Přístup v944-05.pdf 15 257.7 KB Jiná povolen - 2.0405383 - UIVT-O 330755 SIGLE CZ eng V - Výzkumná zpráva
Wiedermann, Jiří
Autopoietic Automata.
Prague: ICS AS CR, 2005. 10 s. Technical Report, V-929.
Grant CEP: GA AV ČR 1ET100300517
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: self-reproducing automaton * interactive Turing machine * evolution
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125555Název souboru Staženo Velikost Komentář Verze Přístup v929-05.pdf 16 226.3 KB Jiná povolen - 3.0338520 - ÚI 2010 CZ eng V - Výzkumná zpráva
Žák, Stanislav
Branching Programs: Paradoxes in the Method.
Prague: ICS AS CR, 2009. 16 s. Technical Report, V-1052.
Grant CEP: GA AV ČR 1ET100300517
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: branching programs * lower bound techniques
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0182270Název souboru Staženo Velikost Komentář Verze Přístup v1052-09.pdf 18 243.1 KB Jiná povolen - 4.0331769 - ÚI 2010 CZ eng V - Výzkumná zpráva
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.
Grant CEP: GA MŠMT ME08095; GA AV ČR 1ET100300517
Grant ostatní: DARPA FA865006C7606
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: process mediation, semantic web services, agents and web services, automated planning
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0177200Název souboru Staženo Velikost Komentář Verze Přístup v1048-08.pdf 15 421.9 KB Jiná povolen - 5.0331291 - ÚI 2010 CZ eng V - Výzkumná zpráva
Ší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.
Grant CEP: GA MŠMT(CZ) 1M0545; GA AV ČR 1ET100300517
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: derandomization, hitting set * hitting set * read-once branching programs * bounded width
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0176844Název souboru Staženo Velikost Komentář Verze Přístup v1054-09.pdf 16 253 KB Jiná povolen - 6.0318940 - ÚI 2009 SIGLE CZ eng V - Výzkumná zpráva
Šíma, Jiří
Gradient Learning in Networks of Smoothly Spiking Neurons (Revised Version).
Prague: ICS AS CR, 2009. 12 s. Technical Report, V-1045.
Grant CEP: GA AV ČR 1ET100300517
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: spiking neuron * back-propagation * SpikeProp * gradient learning
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0168229Název souboru Staženo Velikost Komentář Verze Přístup v1045-09.pdf 19 328.2 KB Jiná povolen - 7.0316228 - ÚI 2009 SIGLE CZ eng V - Výzkumná zpráva
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.
Grant CEP: GA AV ČR IAA100300503; GA AV ČR 1ET100300517
Grant ostatní: Program Kontakt/WTZ CR-Austria(EU) 6-07-17/2-2007
Výzkumný záměr: CEZ:AV0Z10300504
Zdroj financování: V - jiné veřejné zdroje
Klíčová slova: connectives * fuzzy class theory * dominance
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0166215Název souboru Staženo Velikost Komentář Verze Přístup v1042-08.pdf 15 228.6 KB Jiná povolen - 8.0313794 - ÚI 2009 SIGLE CZ eng V - Výzkumná zpráva
Ší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.
Grant CEP: GA MŠMT(CZ) 1M0545; GA AV ČR 1ET100300517
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: derandomization, hitting set * branching programs of bounded width
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0164506Název souboru Staženo Velikost Komentář Verze Přístup v1029-08.pdf 0 207.8 KB Jiná vyžádat - 9.0090522 - ÚI 2008 SIGLE CZ eng V - Výzkumná zpráva
Žák, Stanislav
A Superpolynomial Lower Bound for a Class of Restricted Branching Programs.
Prague: ICS AS CR, 2007. 9 s. Technical Report, V-1012.
Grant CEP: GA AV ČR 1ET100300517
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: branching programs * lower bound techniques
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0151389Název souboru Staženo Velikost Komentář Verze Přístup v1012-07.pdf 15 209.1 KB Jiná povolen - 10.0088406 - ÚI 2008 SIGLE CZ eng V - Výzkumná zpráva
Šíma, Jiří
Gradient Learning in Networks of Smoothly Spiking Neurons.
Prague: ICS AS CR, 2007. 9 s. Technical Report, V-1004.
Grant CEP: GA AV ČR 1ET100300517
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: spiking neuron * back-propagation * SpikeProp * gradient learning
Trvalý link: http://hdl.handle.net/11104/0149949Název souboru Staženo Velikost Komentář Verze Přístup v1004-07.pdf 0 148.4 KB Jiná vyžádat