This paper reports on the recent development of ELK, a consequencebased reasoner for EL+⊥ ontologies. It covers novel reasoning techniques which aim at improving efficiency and providing foundation for new reasoning services. On the former front we present a simple optimization for handling of role composition axioms, such as transitivity, which substantially reduces the number of rule applicat...

One of the major technical advances in the field of histopathology during the last decade is the development of immuno-histochemical (ll{C) techniques. Growing demand of antibodies that can be used for IHC on routine formalin fixed paraffin embedded tissues has stimulated efforts to develop antibodies that can recognize formalin-resistant epitopes. Alternatively, it is desirable to devise strat...

MOFOID is a new server developed mainly for automated modeling of protein structures by their homology to the structures deposited in the PDB database. Selection of a template and calculation of the alignment is performed with the Smith-Waterman or Needleman-Wunsch algorithms implemented in the EMBOSS package. The final model is built and optimised with programs from the JACKAL package. The wid...

Petr Lukes1, Jaromir Astl1, Emil Pavlik2, Bela Potuznikova2, Jan Plzak1,3, Martin Chovanec1,3 and Jan Betka1 1Charles University in Prague, 1st Faculty of Medicine, Department of Otorhinolaryngology and Head and Neck Surgery, Faculty Hospital Motol, Prague 2Charles University in Prague, 1st Faculty of Medicine, Institute of Immunology and Microbiology, Prague 3Charles University in Prague, 1st ...

INTRODUCTION Medical error is often a traumatic experience not only for patients but also for doctors. However, patients as victims get much more publicity than those responsible for actual errors. The authors of the study conducted research to learn about Polish doctors' opinions on and reactions to medical errors and how they affect their further professional activity and psychological status...

The Hippocratic tradition emphasized environmental causes of diseases and the need for harmony between the individual and the natural environment as the right philosophy to maintain a good health status. Public awareness and scientific attention concerning environmental pollution is usually focused on the consequent increased risk of developing cancer. Air pollution has been recognized by the W...

In this paper we introduce RADULS2, the fastest parallel sorter based on radix algorithm. It is optimized to process huge amounts of data making use of modern multicore CPUs. The main novelties include: extremely optimized algorithm for handling tiny arrays (up to about a hundred of records) that could appear even billions times as subproblems to handle and improved processing of larger subarra...