Search results
- 1.0405556 - UIVT-O 330935 RIV DE eng J - Journal Article
Hájek, Petr
Arithmetical Complexity of Fuzzy Predicate Logics - A Survey.
[Aritmetická složitost fuzzy predikátové logiky - přehled.]
Soft Computing. Roč. 9, č. 12 (2005), s. 935-941. ISSN 1432-7643. E-ISSN 1433-7479
R&D Projects: GA MŠMT LN00A056
Institutional research plan: CEZ:AV0Z10300504
Keywords : fuzzy predicate logic * arithmetical complexity
Subject RIV: BA - General Mathematics
Impact factor: 0.538, year: 2005
Permanent Link: http://hdl.handle.net/11104/0125711 - 2.0405528 - UIVT-O 330906 RIV NL eng J - Journal Article
Savický, Petr - Sieling, D.
A Hierarchy Result for Read-Once Branching Programs with Restricted Parity Nondeterminism.
[Výsledek o hierarchii pro read-once rozhodovací diagramy s omezeným nedeterminismem paritního typu.]
Theoretical Computer Science. Roč. 340, č. 3 (2005), s. 594-605. ISSN 0304-3975. E-ISSN 1879-2294
R&D Projects: GA MŠMT LN00A056
Institutional research plan: CEZ:AV0Z10300504
Keywords : read-once branching programs * restricted parity nondeterminism * lower bounds on complexity * hierarchy
Subject RIV: BA - General Mathematics
Impact factor: 0.743, year: 2005
Permanent Link: http://hdl.handle.net/11104/0125686 - 3.0405292 - UIVT-O 330614 RIV US eng J - Journal Article
Šíma, Jiří - Sgall, Jiří
On the Non-Learnability of a Single Spiking Neuron.
[O nenaučitelnosti jednoho spiking neuronu.]
Neural Computation. Roč. 17, č. 12 (2005), s. 2635-2647. ISSN 0899-7667. E-ISSN 1530-888X
R&D Projects: GA ČR GA201/02/1456; GA AV ČR 1ET100300517; GA MŠMT LN00A056; GA MŠMT(CZ) 1M0545
Institutional research plan: CEZ:AV0Z10300504; CEZ:AV0Z10190503
Keywords : spiking neuron * consistency problem * NP-completness * PAC model * robust learning * representation problem
Subject RIV: BA - General Mathematics
Impact factor: 2.591, year: 2005
Permanent Link: http://hdl.handle.net/11104/0125473File Download Size Commentary Version Access 0405292.pdf 1 366.7 KB Author´s preprint open-access - 4.0405291 - UIVT-O 330612 RIV DE eng J - Journal Article
Aguzzoli, S. - Gerla, B. - Haniková, Zuzana
Complexity Issues in Basic Logic.
[Logika BL z hlediska výpočetní složitosti.]
Soft Computing. Roč. 9, - (2005), s. 919-934. ISSN 1432-7643. E-ISSN 1433-7479
R&D Projects: GA MŠMT LN00A056
Institutional research plan: CEZ:AV0Z10300504
Keywords : basic fuzzy logic (BL) * computational complexity * functional representation
Subject RIV: BA - General Mathematics
Impact factor: 0.538, year: 2005
Permanent Link: http://hdl.handle.net/11104/0125472 - 5.0404770 - UIVT-O 20030118 RIV DE eng J - Journal Article
Hájek, Petr
Observations on Non-commutative Fuzzy Logic.
Soft Computing. Roč. 8, č. 1 (2003), s. 38-43. ISSN 1432-7643. E-ISSN 1433-7479
R&D Projects: GA MŠMT LN00A056
Keywords : t-norm based * non-commutativity * fuzzy logic
Subject RIV: BA - General Mathematics
Impact factor: 0.333, year: 2002
Permanent Link: http://hdl.handle.net/11104/0125004 - 6.0404583 - UIVT-O 20020147 RIV US eng J - Journal Article
Šíma, Jiří
Training a Single Sigmoidal Neuron is Hard.
Neural Computation. Roč. 14, č. 11 (2002), s. 2709-2729. ISSN 0899-7667. E-ISSN 1530-888X
R&D Projects: GA MŠMT LN00A056
Keywords : sigmoidal neuron * loading problem * NP-hardness
Subject RIV: BA - General Mathematics
Impact factor: 2.313, year: 2002
Permanent Link: http://hdl.handle.net/11104/0124828File Download Size Commentary Version Access 0404583.pdf 0 476.8 KB Author´s preprint open-access - 7.0404517 - UIVT-O 20030005 RIV BR eng J - Journal Article
Hájek, Petr
Mathematical Fuzzy Logic - State of Art 2001.
Matemática Contemporanea. Roč. 24, - (2003), s. 71-89. ISSN 0103-9059.
[WOLLIC'2001. Brasília, 31.07.2001-03.08.2001]
R&D Projects: GA MŠMT LN00A056
Keywords : fuzzy logic * many valued logic * basic fuzzy logic BL
Subject RIV: BA - General Mathematics
http://www.mat.unb.br/~matcont/24_4.pdf
Permanent Link: http://hdl.handle.net/11104/0124766File Download Size Commentary Version Access 404517-h.pdf 6 253.7 KB Publisher’s postprint require - 8.0404348 - UIVT-O 20020016 RIV NL eng J - Journal Article
Hájek, Petr
A New Small Emendation of Gödel's Ontological Proof.
Studia Logica. Roč. 71, č. 2 (2002), s. 149-164. ISSN 0039-3215. E-ISSN 1572-8730
R&D Projects: GA MŠMT LN00A056
Keywords : ontological proof * Gödel proof * modal logic * comprehension * positive properties
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0124606 - 9.0404104 - UIVT-O 20020142 RIV NL eng J - Journal Article
Jukna, S. - Žák, Stanislav
On Uncertainty versus Size in Branching Programs.
Theoretical Computer Science. Roč. 290, - (2003), s. 1851-1867. ISSN 0304-3975. E-ISSN 1879-2294
R&D Projects: GA ČR GA201/98/0717; GA MŠMT LN00A056; GA ČR GA201/02/1456
Keywords : computational complexity * branching programs * decision trees * lower bounds * kraft inequality * entropy
Subject RIV: BA - General Mathematics
Impact factor: 0.764, year: 2003
Permanent Link: http://hdl.handle.net/11104/0124375 - 10.0404066 - UIVT-O 20010020 RIV NL eng J - Journal Article
Hájek, Petr - Tulipani, S.
Complexity of Fuzzy Probability Logics.
Fundamenta Informaticae. Roč. 45, č. 3 (2001), s. 207-213. ISSN 0169-2968. E-ISSN 1875-8681
R&D Projects: GA MŠMT LN00A056
Keywords : fuzzy logic * probability * computational complexity
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0124339