SOFSEM 2000: Theory and practice of informatics. 27th conference on current trends in theory and practice of informatics, Milovy, Czech Republic, November 25--December 2, 2000. Proceedings (Q1589869)

The articles of mathematical interest will be reviewed individually. The preceding conference (26th, 1999) has been reviewed (see Zbl 0931.00042). Indexed articles: \textit{Bjørner, Dines}, Domain engineering: A software engineering discipline in need of research, 1-17 [Zbl 1043.68518] \textit{Nievergelt, Jürg}, Exhaustive search, combinatorial optimization and enumeration: Exploring the potential of raw computing power, 18-35 [Zbl 1043.68560] \textit{Jiang, Tao; Li, Ming; Vitányi, Paul}, The incompressibility method, 36-53 [Zbl 1043.68561] \textit{Siebes, Arno}, BioInformatics: Databases + data mining, 54-55 [Zbl 1043.68552] \textit{Ronen, Amir}, Algorithms for rational agents, 56-70 [Zbl 1043.68559] \textit{Schickinger, Thomas; Steger, Angelika}, Simplified witness tree arguments, 71-87 [Zbl 1043.68712] \textit{Mařík, Vladimír; Král, Luboš; Mařík, Radek}, Software testing \& diagnostics: Theory \& practice, 88-114 [Zbl 1043.68519] \textit{Benda, Sidney E.}, Physical design of CMOS chips in six easy steps, 115-128 [Zbl 1043.68514] \textit{Šešera, L'ubor}, Analysis patterns, 129-151 [Zbl 1043.68517] \textit{Katehakis, Dimitrios G.; Tsiknakis, Manolis; Orphanoudakis, Stelios C.}, Information society technologies in healthcare, 152-172 [Zbl 1043.68839] \textit{Adriaans, Pieter; Trautwein, Marten; Vervoort, Marco}, Towards high speed grammar induction on large text corpora, 173-186 [Zbl 1043.68771] \textit{Takano, Akihiko; Niwa, Yoshiki; Nishioka, Shingo; Iwayama, Makoto; Hisamitsu, Toru; Imaichi, Osamu; Sakurai, Hirofumi}, Information access based on associative calculation, 187-201 [Zbl 1043.68555] \textit{Pfeifer, Rolf; Lambrinos, Dimitrios}, Cheap vision -- exploiting ecological niche and morphology, 202-226 [Zbl 1043.68762] \textit{Košecká, Jana}, Hierarchies of sensing and control in visually guided agents, 227-244 [Zbl 1043.68759] \textit{Bischof, Horst; Leonardis, Aleš}, Recognizing objects by their appearance using eigenimages, 245-265 [Zbl 1043.68766] \textit{Kruse, Rudolf; Klose, Aljoscha}, Information mining: Applications in image processing, 266-285 [Zbl 1043.68551] \textit{Alpuente, María; Falaschi, Moreno; Moreno, Ginés; Vidal, Germán}, An automatic composition algorithm for functional logic programs, 289-297 [Zbl 1043.68521] \textit{Bongartz, Dirk}, On the approximation ratio of the Group-Merge algorithm for the shortest common superstring problem, 298-306 [Zbl 1043.68698] \textit{Crochemore, Maxime; Iliopoulos, Costas S.; Pinzon, Yoan J.}, Fast evolutionary chains, 307-318 [Zbl 1043.68700] \textit{De Castro, Cristina}, A temporal layered knowledge architecture for an evolving structured environment, 319-326 [Zbl 1043.68756] \textit{Demange, Marc; Paradon, Xavier; Paschos, Vangelis Th.}, On-line maximum-order induced hereditary subgraph problems, 327-335 [Zbl 1043.68615] \textit{Golovkins, Marats}, Quantum pushdown automata, 336-346 [Zbl 1043.68556] \textit{Holub, Martin}, Use of dependency microcontexts in information retrieval, 347-355 [Zbl 1043.68554] \textit{Jukna, Stasys; Žák, Stanislav}, Some notes on the information flow in read-once branching programs, 356-364 [Zbl 1043.68557] \textit{Kolesnik, Marina}, On vision-based orientation method of a robot head in a dark cylindrical pipe, 365-374 [Zbl 1043.68760] \textit{Král, Jaroslav; Žemlička, Michal}, Autonomous components, 375-383 [Zbl 1043.68841] \textit{Kroha, Petr}, Parallel object server for fine grained objects, 384-391 [Zbl 1043.68842] \textit{Kutrib, Martin; Löwe, Jan-Thomas}, Massively parallel pattern recognition with link failures, 392-401 [Zbl 1043.68686] \textit{Lasota, Slawomir}, Finitary observations in regular algebras, 402-410 [Zbl 1043.68583] \textit{Nguyen, Ngoc Thanh}, Using consensus methods for solving conflicts of data in distributed systems, 411-419 [Zbl 1043.68507] \textit{Šebesta, Václav; Tučková, Jana}, Optimisation of artificial neural network topology applied in the prosody control in text-to-speech synthesis, 420-430 [Zbl 1043.68647] \textit{Šorel, Michal; Šíma, Jiří}, Robust implementation of finite automata by recurrent RBF networks, 431-439 [Zbl 1043.68648] \textit{Vlach, Richard; Lána, Jan; Marek, Jan; Navara, David}, MDBAS -- a prototype of a multidatabase management system based on mobile agents, 440-449 [Zbl 1043.68553] \textit{Ziegler, Martin; Brattka, Vasco}, Computing the dimension of linear subspaces, 450-458 [Zbl 1043.03519]