Parallel Processing in Web-Based Interactive Echocardiography Simulators

Medical simulation is a new method of education in medicine. It allows training medical students or practitioners without the need to involve patients and makes them familiar with various kinds of examinations, especially related to medical imaging. Simulators that visualize examinations or operations require large computing power to keep time constraints of output presentation. A common approach to this problem is to use graphics processing units (GPU), but the code is not portable. The method of parallelization of processing is more important in component environments, to allow calculating projections in real time. In this paper parallelization issues in the ultrasound view simulation based on provided computer tomography images are analyzed. The proposed domain decomposition for this problem leads to significant reduction in simulation time and allows obtaining an animated visualization for currently available personal computers with multicore processors. The use of a component environment makes the solution portable and makes it possible to implement a web-based application that is the basis for eTraining. The method for creating animation in real time for such solutions is also analyzed

Rectification and intermediate view synthesis

In this project c++ code supporting intermediate view synthesis was developed. The idea was to create classes and functions which can be later easily used to create intermediate views. Main part of the code is responsible for rectification. Images from two cameras may be rectified and then further operations with the images can be done. In this case the next operation on the rectified images is intermediate view synthesis. Special function computes from two rectified images the virtual view. The virtual image can be computed for any place set between two cameras taking the real image

Constructing software for analysis of neuron, glial and endothelial cell numbers and density in histological Nissl-stained rodent brain tissue

Cell number, density and volume of white and gray matter in brain structures are not constant values. Cellular alterations in brain areas might coincide with neurological and psychiatric pathologies as well as with changes in brain functionality during selection experiments, pharmacological treatment or aging. Several softwares were created to facilitate quantitative analysis of brain tissues, however results obtained from these softwares require multiple manual settings making the computing process complex and time-consuming. This study attempts to establish half automated software for fast, ergonomic and an accurate analysis of cellular density, cell number and cellular surface in morphologically different brain areas: cerebral cortex, pond and cerebellum. Images of brain sections of bank voles stained with standard cresyl-violet technique (Nissl staining), were analyzed in designed software. Results were compared with other commercially available tools regarding number of steps to be done by user and number of parameters possible to measure

Determinisability of register and timed automata

The deterministic membership problem for timed automata asks whether the timed language given by a nondeterministic timed automaton can be recognised by a deterministic timed automaton. An analogous problem can be stated in the setting of register automata. We draw the complete decidability/complexity landscape of the deterministic membership problem, in the setting of both register and timed automata. For register automata, we prove that the deterministic membership problem is decidable when the input automaton is a nondeterministic one-register automaton (possibly with epsilon transitions) and the number of registers of the output deterministic register automaton is fixed. This is optimal: We show that in all the other cases the problem is undecidable, i.e., when either 1) the input nondeterministic automaton has two registers or more (even without epsilon transitions), or 2) it uses guessing, or 3) the number of registers of the output deterministic automaton is not fixed. The landscape for timed automata follows a similar pattern. We show that the problem is decidable when the input automaton is a one-clock nondeterministic timed automaton without epsilon transitions and the number of clocks of the output deterministic timed automaton is fixed. Again, this is optimal: We show that the problem in all the other cases is undecidable, i.e., when either 1) the input nondeterministic timed automaton has two clocks or more, or 2) it uses epsilon transitions, or 3) the number of clocks of the output deterministic automaton is not fixed.Comment: journal version of a CONCUR'20 paper. arXiv admin note: substantial text overlap with arXiv:2007.0934

Mediacja jako forma rozwiązywania sporów zbiorowych w polskim prawie pracy

Pierwszy rozdział jako bliższe wprowadzenie w podejmowaną w niniejszej monografii tematykę zawiera krótką genezę ADR, wskazanie różnych definicji mediacji oraz wyróżnienie jej najważniejszych i charakterystycznych cech. W drugiej części wspomnianego rozdziału zostaną przedstawione zasady postępowania mediacyjnego, zarówno zasady expressis verbis wyrażone w ustawie, dyrektywy do których regulacje prawne nawiązują, a także zasady, którymi kierują się praktycy. Ostatnia z przytaczanych grup zasad została oparta w znacznej mierze o literaturę o charakterze pozaprawniczym. Rozdział drugi przybliża wszystkie strony postępowania mediacyjnego. Począwszy od pracodawcy, omówienia kim jest taki podmiot w świetle obowiązującego prawa, poprzez proponowane zmiany w tym zakresie, skończywszy na jego reprezentacji w sporze. Podobna konstrukcja zostanie przyjęta w drugiej części rozważanego rozdziału. Przytoczona zostanie strona pracownicza, doprecyzowane zostanie, kto może być pracownikiem, a także jak wygląda reprezentacja strony pracowniczej w postępowaniu mediacyjnym. Zostaną także przedstawione pewne kontrowersje, które budzą obecne regulacje prawne. Ostatnią częścią drugiego rozdziału niniejszej pracy jest przedstawienie trzeciej strony postępowania mediacyjnego, jaką jest mediator. Zostaną przedstawione jego główne zadania oraz jego rola w rozważanych tutaj sporach zbiorowych w polskim prawie pracy. Oprócz powyższych, przybliżeniu zostanie poddane wynagrodzenie osoby mediatora, a także odniesienie roli mediatora do zasad rządzących mediacją. Elementem dopełniającym tenże rozdział jest opisanie, kto może podjąć się roli mediatora na gruncie obowiązujących przepisów oraz postulowanych zmian. Kolejny rozdział poddaje analizie definicje, rodzaje oraz możliwe przedmioty sporu zbiorowego. Na wstępie zostanie nakreślona różnica pomiędzy sporem a konfliktem. W dalszej części zostaną przedstawione możliwe rodzaje sporów zbiorowych z uwzględnieniem różnych kryteriów dystynkcji. Dokładnej analizie w kolejnej części przedstawianego rozdziału zostanie poddany przedmiot sporu zbiorowego z podjęciem każdej z wymienionej w ustawie kwestii mogącą ów przedmiot stanowić. Ostatni element stanowi tutaj podjęcie problemu pozostałych przedmiotów sporu oraz kontrowersji jakie one budzą. Czwarty rozdział przedstawiać będzie procedurę na jakiej opiera się postępowanie mediacyjne w sporach zbiorowych z zakresu prawa pracy. Analizie zostaną poddane etapy prowadzenia mediacji przedstawiane w różnych źródłach, a także ich syntetyzacja. Następnie zostaną przytoczone różne opisywane w literaturze style prowadzenia mediacji. Dopełnieniem tegoż rozdziału będzie krótki opis oraz rozważenie uregulowań dotyczących czasu trwania postępowania mediacyjnego, a także przedstawienie kosztów z nim związanych. Ostatni rozdział jest przedstawieniem finalnego etapu trwania sporu zbiorowego. Został on podzielony na dwie główne części ze względu na możliwe zakończenia sporu – bezowocne zakończenie sporu oraz porozumienie stron. W przypadku niepowodzenia mediacji otwierają się dwie główne drogi dalszego postępowania, które to zostaną krótko przeanalizowane. Dokładna procedura arbitrażu oraz precyzyjne uregulowania dotyczące strajku nie zostaną przedstawione wyczerpująco, ponieważ nie stanowią one głównego przedmiotu rozważań. Przedstawiony zostanie także protokół rozbieżności jako efekt niepowodzenia prowadzenia mediacji oraz rokowań, jego charakter prawy oraz wskazanie na możliwe problemy pojawiające się przy jego tworzeniu

Influence of acquisition time on MR image quality estimated with nonparametric measures based on texture features

Correlation of parametrized image texture features (ITF) analyses conducted in different regions of interest (ROIs) overcomes limitations and reliably reflects image quality. +e aim of this study is to propose a nonparametrical method and classify the quality of a magnetic resonance (MR) image that has undergone controlled degradation by using textural features in the image. Images of 41 patients, 17 women and 24 men, aged between 23 and 56 years were analyzed. T2-weighted sagittal sequences of the lumbar spine, cervical spine, and knee and T2-weighted coronal sequences of the shoulder and wrist were generated. The implementation of parallel imaging with the use of GRAPPA2, GRAPPA3, and GRAPPA4 led to a substantial reduction in the scanning time but also degraded image quality. The number of degraded image textural features was correlated with the scanning time. Longer scan times correlated with markedly higher ITF image persistence in comparison with images computed with reduced scan times. Higher ITF preservation was observed in images of bones in the spine and femur as compared to images of soft tissues, i.e., tendons and muscles. Finally, a nonparametrized image quality assessment based on an analysis of the ITF, computed for different tissues, correlating with the changes in acquisition time of the MRimages, was successfully developed. The correlation between acquisition time and the number of reproducible features present in an MR image was found to yield the necessary assumptions to calculate the quality index

Use of texture feature maps for the refinement of Information derived from digital Intraoral radiographs of lytic and sclerotic lesions

The aim of this study was to examine whether additional digital intraoral radiography (DIR) image preprocessing based on textural description methods improves the recognition and differentiation of periapical lesions. (1) DIR image analysis protocols incorporating clustering with the k-means approach (CLU), texture features derived from co-occurrence matrices, first-order features (FOF), gray-tone difference matrices, run-length matrices (RLM), and local binary patterns, were used to transform DIR images derived from 161 input images into textural feature maps. These maps were used to determine the capacity of the DIR representation technique to yield information about the shape of a structure, its pattern, and adequate tissue contrast. The effectiveness of the textural feature maps with regard to detection of lesions was revealed by two radiologists independently with consecutive interrater agreement. (2) High sensitivity and specificity in the recognition of radiological features of lytic lesions, i.e., radiodensity, border definition, and tissue contrast, was accomplished by CLU, FOF energy, and RLM. Detection of sclerotic lesions was refined with the use of RLM. FOF texture contributed substantially to the high sensitivity of diagnosis of sclerotic lesions. (3) Specific DIR texture-based methods markedly increased the sensitivity of the DIR technique. Therefore, application of textural feature mapping constitutes a promising diagnostic tool for improving recognition of dimension and possibly internal structure of the periapical lesions