Lidé

Ing. Luboš Král, Ph.D.

Všechny publikace

VO Management Solutions

  • Autoři: Negretto, U., Hodík, J., Ing. Luboš Král, Ph.D., Mulder, W., Ollus, M., Pondrelli, L., Westphal, I.
  • Publikace: Methods and Tools for Collaborative Networked Organizations. Heidelberg: Springer, 2008. p. 257-274. ISBN 978-0-387-79423-5.
  • Rok: 2008
  • Pracoviště: Katedra kybernetiky
  • Anotace:
    Virtual Organization management solutions address the need to support networks in their quest to optimize processes and business activities. Collaboration and management therefore have to be tackled by provision of adequate methods and services for the single users involved in dependence of their roles and profiles within the network. The chapter concentrates on the description of e-Services as Solutions for Virtual Organization management.

Ontology Formalism Transformation

  • Autoři: Aubrecht, P., Ing. Luboš Král, Ph.D.,
  • Publikace: Proceedings of DEXA 2004. Los Alamitos: IEEE Computer Society Press, 2004, pp. 95-99. ISSN 1529-4188. ISBN 0-7695-2195-9.
  • Rok: 2004
  • Pracoviště: Katedra kybernetiky
  • Anotace:
    This article deals with the problem how to transform an ontology between different formalisms. The presented methodology requires defining meta-models of the source and the target formalisms and defining a mapping between them. This allows us then to convert any ontology encoded in the source formalism to the target one. It is further shown that an extension of the SumatraTT system can be used to implement such transformations easily. The research presented in the paper has been motivated by the needs of the CIPHER research project (Communities of Interest Promoting Heritage of Europian Regions).

Distributed and Automated Testing of Medical Applications

  • Autoři: Ing. Luboš Král, Ph.D., Hazdra, T.
  • Publikace: Intelligent and Adaptive Systems in Medicine. Praha: ČVUT v Praze, FEL, 2003, pp. 182-188. ISSN 1213-3000.
  • Rok: 2003
  • Pracoviště: Katedra kybernetiky
  • Anotace:
    Production of life critical application such as medical devices is one of the areas that require highly formal quality management system and also highly productive testing strategies. We would like to discuss the efficient strategies that keep the production and verification processes under the quality control. Also, impact of the automated testing strategies to the software development process is discussed. Our contribution is based on the cooperation with Vitatron Medical B.V. (Holland) in the development of medical devices. Vitatron Medical is a part of Medtronic Inc. (USA).

SumatraTT: a Generic Data Pre-processing System

  • Autoři: Aubrecht, P., Mikšovský, P., Ing. Luboš Král, Ph.D.,
  • Publikace: Proceedings Fourteenth International Workshop on Database and Expert Systems Applications. Los Alamitos: IEEE Computer Society Press, 2003, pp. 120-124. ISSN 1529-4188. ISBN 0-7695-1993-8.
  • Rok: 2003
  • Pracoviště: Katedra kybernetiky
  • Anotace:
    A systematic process of indexing cultural heritage artefacts began well before the era of computers. The first step of digitising such archives of hand- and typewriter-written data was naturally focused on transfer of these files into a digital form -- either by means of re-typing the original data manually or by applying OCR methods on scanned documents. As a result, there exist huge digital archives of data and metadata in Europe, which describe millions of artifacts kept by thousands of galleries, museums, and/or private collections. To explore such archives (incl. data mining methods), the data need to be converted into a unified format and data model. Moreover, the original indexing methodologies may also vary significantly. Thus, even conversion to a unified metadata (ontology) model is needed. Any data transformation is a tedious task, which usually requires to design, implement, and test number of scripts, which will be executed in order to transform the data sets.

Kardiostimulátory a jejich testování

  • Autoři: Ing. Luboš Král, Ph.D., Hazdra, T.
  • Publikace: Intelligent Methods for Quality Improvement in Industrial Practice. Praha: ČVUT FEL, Katedra kybernetiky - Gerstnerova laboratoř, 2002, pp. 27-30. ISSN 1213-3000.
  • Rok: 2002

Enhancing the Integration Testing of Component-Based Software

  • Autoři: Hazdra, T., Ing. Luboš Král, Ph.D.,
  • Publikace: Software & Internet Quality Week Europe 2000. San Francisco: Software Research Institute, 2000, pp. 567-577.
  • Rok: 2000

Quality Control in Production of Medical Devices

  • Autoři: Hazdra, T., Ing. Luboš Král, Ph.D.,
  • Publikace: Proceedings of International Carpathian Control Conference. Košice: TU Košice, FEI, 2000, pp. 633-636. ISBN 80-7099-510-6.
  • Rok: 2000

Software Testing & Diagnostics: Theory & Practice

  • Autoři: Mařík, V., Ing. Luboš Král, Ph.D., Mařík, R.
  • Publikace: SOFSEM 2000: Theory and Practice of Informatics. Berlin: Springer, 2000, pp. 88-114. ISBN 3-540-41348-0.
  • Rok: 2000

Testování a diagnostika softwaru

A Control System for an Intelligent Mobile Robot

Open Control Architecture for Mobile Robot

An Intelligent Service Vehicle for Indoor Environments

Intelligent and Mobile Robotics

  • Autoři: Přeučil, L., RNDr. Petr Štěpán, Ph.D., Ing. Luboš Král, Ph.D., Kulich, M.
  • Publikace: International Symposium on Measurement and Control in Robotics. Prague: Czech National Committee IMEKO/CTU Prague, 1998. pp. 265-270. ISBN 80-01-01814-8.
  • Rok: 1998

Mobile Robot Navigation in Context of Spatial Data Processing

  • Autoři: Ing. Luboš Král, Ph.D., Kulich, M., Přeučil, L., RNDr. Petr Štěpán, Ph.D.,
  • Publikace: Collection of Abstracts-The 5th German-Russian Open Workshop on Pattern Recognition and Image Understanding. München: FORWISS, 1998, pp. 1-5.
  • Rok: 1998

Trajectory Control for an Intelligent Mobile Robot

Statistical Approach to Integration and Interpretation of Robot Sensor Data

Mobile Robot Navigation

  • Autoři: Ing. Luboš Král, Ph.D.,
  • Publikace: Workshop 96. Praha: České vysoké učení technické v Praze, 1996, pp. 211-212.
  • Rok: 1996

Autonomous Vehicle Motion Control

  • Autoři: Ing. Luboš Král, Ph.D., Sládek, B., Smutný, V., Hlaváč, V.
  • Publikace: Intelligent Robotic Systems 95. Pisa: SIRS, 1995, pp. 87-94.
  • Rok: 1995

Mobile Robot Navigation and Hardware Development Environment

  • Autoři: Ing. Luboš Král, Ph.D.,
  • Publikace: Active CIM Subsystem II. München: Mathematic Institut, 1995, pp. 16-17.
  • Rok: 1995

Autonomous Experimental Vehicle

  • Autoři: Ing. Luboš Král, Ph.D.,
  • Publikace: Active CIM Subsystem. Praha: České vysoké učení technické v Praze, 1994, pp. 31-35.
  • Rok: 1994

Za stránku zodpovídá: Ing. Mgr. Radovan Suk