Faculty of Electrical Engineering

Czech Technical University in Prague

CTU in Prague

13000 / 13101 - Publications - 2009

13000 / 13101 - Department of Mathematics

Publications 2009

Books, Book chapters and Lecture notes, Dissertations, Research reports, Unpublished lectures, Proceedings, Papers, Patents

Papers in WoS Journals

SAXL, I., et al. Grain and subgrain boundaries in ultrafine-grained materials. Materials Characterization. 2009, 2009(60), 1163-1167. ISSN 1044-5803.

KUBEŠ, P., et al. Determination of Deuteron Energy Distribution From Neutron Diagnostics in a Plasma-Focus Device. IEEE Transactions on Plasma Science. 2009, 37(1), 83-87. ISSN 0093-3813.

CHETCUTI, E. and J. HAMHALTER. NON-COMMUTATIVE VITALI-HAHN-SAKS THEOREM HOLDS PRECISELY FOR FINITE W*-ALGEBRAS. Quarterly Journal of Mathematics. 2009, 60(1), 45-51. ISSN 0033-5606.

CHETCUTTI, E. and J. HAMHALTER. A noncommutative Brook-Jewett Theorem. Journal of Mathematical Analysis and Its Applications. 2009, 2009(355), 839-845. ISSN 0022-247X.

TKADLEC, J. Effect Algebras with the Maximality Property. Algebra universalis. 2009, 61(2), 187-194. ISSN 0002-5240.

FEISTAUER, M., et al. L-infinity(L-2)-error estimates for the DGFEM applied to convection-diffusion problems on nonconforming meshes. Journal of Numerical Mathematics. 2009, 17(1), 45-65. ISSN 1570-2820.

BOHATA, M. and J. HAMHALTER. Maximal violation of Bell's inequalities and Pauli spin matrices. Journal of Mathematical Physics. 2009, 50(8), p082101. ISSN 0022-2488.

MATOUŠEK, M. and P. PTÁK. Orthocomplemented Posets with a Symmetric Difference. ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS. 2009, 26(1), 1-21. ISSN 0167-8094.

ŽUKOVEC, N. and I. SHESTAKOV. Skew-symmetric Identities of Octonions. Journal of Pure and Applied Algebra. 2009, 213(4), 479-492. ISSN 0022-4049.

BUTNARIU, D. and T. KROUPA. Enlarged Cores and Bargaining Schemes in Games with Fuzzy Coalitions. Fuzzy Sets and Systems. 2009, 160(5), 635-643. ISSN 0165-0114.

HORČÍK, R. and F. MONTAGNA. Archimedean Classes in Integral Commutative Residuated Chains. Mathematical Logic Quarterly. 2009, 55(3), 320-336. ISSN 0942-5616.

Papers in Other Journals

KARAZERIS, P., A. MATZARIS, and J. VELEBIL. Final coalgebras in accessible categories. Cornell University Library Preprint Archive. 2009, 2009 Available from: http://front.math.ucdavis.edu/0905.4883

VELEBIL, J. and P. KARAZERIS. Representability Relative to a Doctrine. Cahiers de topologie et geometrie differentielle categoriques. 2009, L(1), 3-22. ISSN 0008-0004.

SVOZIL, K. and J. TKADLEC. On the Solution of Trivalent Decision Problems by Quantum State Identification. Natural Computing. 2009, 8(3), 539-546. ISSN 1567-7818.

KALOUSOVÁ, A. Joseph-Émile Barbier a stereologie v 19. století. Informační bulletin České statistické společnosti. 2009, 2009(1), 10-18. ISSN 1210-8022.

MATOUŠEK, M. and P. PTÁK. Symmetric difference on orthomodular lattices and $Z_2$-valued states. Commentationes Mathematicae Universitatis Carolinae. 2009, 50(4), 535-547. ISSN 0010-2628.

SCHOLTZOVÁ, J. Americký sen - návrat na Měsíc. ALDEBARAN BULLETIN. 2009, 2009(31), ISSN 1214-1674. Available from: http://www.aldebaran.cz/bulletin/2009_31_moo.php

SCHOLTZOVÁ, J. První plovoucí jaderná elektrárna je na cestě. ALDEBARAN BULLETIN. 2009, 2009(25), ISSN 1214-1674. Available from: http://www.aldebaran.cz/bulletin/2009_25_ato.php

ADÁMEK, J., S. MILIUS, and J. VELEBIL. Elgot Theories: A new Perspective of Iteration Theories (Extended Abstract). Electronic Notes in Theoretical Computer Science. 2009, 2009(249), 407-427. ISSN 1571-0661.

Books, Book Chapters and Lecture Notes

HELISOVÁ, K. and M. NAVARA, eds. Proceedings of the 4th International Workshop on Nonstandard Logics. Praha, 2009-12-10/2009-12-11. Praha: ČVUT FEL, Katedra kybernetiky - Centrum strojového vnímání, 2009. Research Report of CMP. ISSN 1213-2365.

Conference Proceedings

KALOUSOVÁ, A. Stereology in the 19th century: Joseph-Émile Barbier. In: CAPASSO, V., ed. Proceedings of The 10th European Congress of ISS. The 10th European Congress of Stereology and Image Analysis, Milan, 2009-06-22/2009-06-26. Bologna: ESCULAPIO Pub. Co., 2009. pp. 167-172. The MIRIAM Project Series. ISBN 978-88-7488-310-3.

KROUPA, T. Affinity and Continuity of Credal Set Operator. In: AUGUSTIN, T. and F P A COOLEN, eds. Proceedings of the 6th International Symposium on Imprecise Probability: Theories and Applications. SIXTH INTERNATIONAL SYMPOSIUM ON IMPRECISE PROBABILITY: THEORIES AND APPLICATIONS, Durham, 2009-07-14/2009-07-18. Durham: SIPTA, 2009. pp. 269-277.

BOHATA, M. and J. HAMHALTER. Bell's Inequalities and Pauli Matrices. In: Abstr. Internat. Conf. Quantum Structures 2009. Quantum Structures 2009, Kočovce, 2009-02-24/2009-02-27. Bratislava: Slovak University of Technology in Bratislava, 2009. pp. 12. ISBN 978-80-227-3175-1.

KALOUSOVÁ, A. Hrabě de Buffon a hra franc-carreau. In: BEČVÁŘ, J. and M. BEČVÁŘOVÁ, eds. Historie matematiky. 30. mezinárodní konference Historie matematiky, Jevíčko, 2009-08-21/2009-08-25. Praha: MATFYZPRESS, vydavatelství Matematicko-fyzikální fakulty UK, 2009. pp. 134-138. ISBN 978-80-7378-092-0.

ŽUKOVEC, N. Alternative Superalgebras on one odd Generator. In: LEPIN, V. V., et al., eds. Diskretnaja matematika, algebra i ich priloženija. International Conference on Discrete Mathematics,Algebra and their Applications, Minsk, 2009-10-19/2009-10-22. Minsk: Institut matematiki Nacionalnoj akademiji nauk Belorusi, 2009. pp. 70-71. ISBN 985-6499-61-5.

HELISOVÁ, K. and J. MOELLER. Model pro náhodné sjednocení intragujících kruhů. In: ANTOCH, J. and G. DOHNAL, eds. ROBUST 2008. ROBUST 2008, Pribylina, 2008-09-08/2008-09-12. Praha: Jednota českých matematiků a fyziků, 2009. pp. 89-96. ISBN 978-80-7015-004-7.

SCHOLTZOVÁ, J. The Construction of the Base of the AlternativeSuperalgebra of Index 3. In: Workshop 09 CTU REPORTS. Workshop 2009, Praha, 2009-02-16/2009-02-20. Praha: České vysoké učení technické v Praze, 2009. ISBN 978-80-01-04286-1.

BOHATA, M. and J. HAMHALTER. Generalization of Bell's inequalities. In: Workshop 09 CTU REPORTS. Workshop 2009, Praha, 2009-02-16/2009-02-20. Praha: České vysoké učení technické v Praze, 2009. pp. 22-23. ISBN 978-80-01-04286-1.

HELISOVÁ, K. and J. MOELLER. Model for random union of interacting discs. In: CAPASSO, V., ed. Proceedings of The 10th European Congress of ISS. The 10th European Congress of Stereology and Image Analysis, Milan, 2009-06-22/2009-06-26. Bologna: ESCULAPIO Pub. Co., 2009. pp. 437-441. The MIRIAM Project Series. ISBN 978-88-7488-310-3.

KALOUSOVÁ, A. Solutions of Buffon's Problems in the 19th Century. In: ŠAFRÁNKOVÁ, J. and J. PAVLŮ, eds. WDS 09 Proceedings of Contributed Papers. Week of doctoral students 2009, Praha, 2009-06-02/2009-06-05. Praha: Matfyzpress, 2009. pp. 198-203. ISBN 978-80-7378-101-9.

ADAMEK, J., S. MILIUS, and J. VELEBIL. Semantics of Higher-Order Recursion Schemes. In: ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS. 3rd International Conference on Algebra and Coalgebra in Computer Science, Udine, 2009-10-07/2009-10-10. Udine: Centre International des Sciences Mechaniques, 2009. pp. 49-63. Lecture Notes in Computer Science. ISSN 0302-9743. ISBN 978-3-642-03740-5.

SCHOLTZOVÁ, J. The Base and Index of Solvability of Alternative Nilsuperalgebras of Index 2. In: Poster 2009. POSTER 2009, Praha, 2009-05-21. Praha: České vysoké učení technické v Praze, Fakulta elektrotechnická, 2009.

TKADLEC, J. Classes of Effect Algebras. In: KALINA, M., O. NANASIOVA, and L. VALASKOVA, eds. Abstracts of the International Conference Quantum Structures 2009. Quantum Structures 2009, Kočovce, 2009-02-24/2009-02-27. Bratislava: Vydavatel'stvo STU, 2009. pp. 72. ISBN 978-80-227-3175-1.

HELISOVÁ, K. and J. MOELLER. Simulation of random set models for unions of discs and the use of power tessellations. In: ANTON, F., ed. The Sixth International Symposium on Voronoi Diagrams in Science and Engineering. Sixth annual INTERNATIONAL SYMPOSIUM on VORONOI DIAGRAMS in science and engineering, Copenhagen, 2009-06-23/2009-06-26. Los Alamitos: IEEE Computer Society, 2009. pp. 99-108. Order Number E3781. ISBN 978-0-7695-3781-8. DOI 10.1109/ISVD.2009.14.

VELEBIL, J., J. ADÁMEK, and S. MILIUS. A Description of Iterative Reflections of Monads. In: ALFARO DE, L., ed. Proceedings of FoSSaCS 2009. 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, 2009-03-22/2009-03-29. London: Springer, 2009. pp. 152-166. LNCS 5504. ISBN 978-3-642-00595-4. DOI 10.1007/978-3-642-00596-1.

KROUPA, T. and G. BRUNELLA. Representation of States on MV-algebras by Probabilities on R-generated Boolean Algebras. In: Proceedings of IFSA/EUSFLAT 2009. IFSA/EUSFLAT 2009, Lisabon, 2009-07-20/2009-07-24. Lisabon: International Fuzzy Systems Associations, 2009. pp. 713-718. ISBN 978-989-95079-6-8.

Unpublished Lectures

VELEBIL, J. Sifted colimits and presentations of functors. Unpublished Lecture. Leibniz-Zentrum f"ur Informatik. 2009-12-07.

VELEBIL, J. Final coalgebras in accessible categories. Unpublished Lecture. University of Glasgow. 2009-01-21.

VELEBIL, J. Coalgebras and corecursion, rational and completely iterative monads. Unpublished Lecture. University of Patras. 2009-01-30.

VELEBIL, J. Final coalgebras in accessible categories. Unpublished Lecture. University of Leicester. 2009-05-22.

VELEBIL, J. Coalgebraic logic. Unpublished Lecture. University of Patras. 2009-09-26.

SOBOTÍKOVÁ, V. Curved elements in the DGFEM for nonlinear convection-diffusion problems in 2D. Unpublished Lecture. konference ENUMATH 2009. 2009-06-30.

HELISOVÁ, K. Model for random union of interacting discs. Unpublished Lecture. 4th International Workshop \"Mathematical Structures for Nonstandard Logics. 2009-12-10.

SCHOLTZOVÁ, J. The free alternative nil superalgebra on one odd generator. Unpublished Lecture. University of Denver. 2009-06-22.

HELISOVÁ, K. Model for random union of interacting discs. Unpublished Lecture. The 10th European Congress of Stereology and Image Analysis. 2009-06-24.

HELISOVÁ, K. Random union of interacting discs. Unpublished Lecture. 15th Workshop on Stochastic Geometry, Stereology and Image Analysis. 2009-03-23.

VELEBIL, J. Logic of coalgebras. Unpublished Lecture. Technische Universitat Braunschweig. 2009-04-28.

SOBOTÍKOVÁ, V. Error analysis of a DG approximation of problems in nonpolygonal domains. Unpublished Lecture. konference MAFELAP 2009. 2009-06-10.

VELEBIL, J. Modal logic generated by adjunctions. Unpublished Lecture. University of Patras. 2009-06-23.

The page was created 17.11.2017 05:00:01
Responsible person: doc. Ing. Milan Polívka, Ph.D.