Automatic ROI detection and classification of the Achilles tendon ultrasound images

Ultrasound (US) imaging plays an important role in medical imaging technologies. It is widely used because of its ease of use and low cost compared to other imaging techniques. Specifically, ultrasound imaging is used in the detection of the Achilles Tendon (AT) pathologies as it detects important details. For example, US imaging is used for AT rupture that affects about 1 in 5,000 people worldwide. Decision support systems are important in medical imaging, as they assist radiologist in detecting probable diagnoses and lesions. The work presented in this paper concerns the development of a software application to detect changes in the AT ultrasound images and subsequently classify them into normal or abnormal. We propose an approach that fully automates the detection for the Region of Interest (ROI) in ultrasound AT images. The original image is divided into six blocks with 1 cm size in each direction. The blocks lie inside the vulnerable area considered as our ROI. The proposed system achieved an accuracy of 97.21%

Countdown games, and simulation on (succinct) one-counter nets

We answer an open complexity question by Hofman, Lasota, Mayr, Totzke (LMCS 2016) [HLMT16] for simulation preorder of succinct one-counter nets (i.e., one-counter automata with no zero tests where counter increments and decrements are integers written in binary), by showing that all relations between bisimulation equivalence and simulation preorder are EXPSPACE-hard for these nets. We describe a reduction from reachability games whose EXPSPACE-completeness in the case of succinct one-counter nets was shown by Hunter [RP 2015], by using other results. We also provide a direct self-contained EXPSPACE-completeness proof for a special case of such reachability games, namely for a modification of countdown games that were shown EXPTIME-complete by Jurdzinski, Sproston, Laroussinie [LMCS 2008]; in our modification the initial counter value is not given but is freely chosen by the first player. We also present a new simplified proof of the belt theorem that gives a simple graphic presentation of simulation preorder on one-counter nets and leads to a polynomial-space algorithm; it is an alternative to the proof from [HLMT16].Comment: A part of this paper elaborates arxiv-paper 1801.01073 and the related paper presented at Reachability Problems 201

Cooperative game-theoretic features of cost sharing in location-routing

This article studies several variants of the location-routing problem using a cooperative game-theoretic framework. The authors derive characteristics in terms of subadditivity, convexity, and non-emptiness of the core. Moreover, for some of the game variants, it is shown that for facility opening costs substantially larger than the costs associated with routing, the core is always non-empty. The theoretical results are supported by numerical experiments aimed at illustrating the properties and deriving insights. Among others, it is observed that, while in general it is not possible to guarantee core allocations, in a huge majority of cases the core is non-empty

Triadic fuzzy Galois connections as ordinary connections

Abstract-The paper presents results on representation of the basic structures related to ternary fuzzy relations by the structures related to ordinary ternary relations, such as Galois connections, closure operators, and trilattices (structures of maximal Cartesian subrelations). These structures appear as the fundamental structures in relational data analysis such as formal concept analysis or association rules. We prove several representation theorems that allow us to automatically transfer some of the known results from the ordinary case to fuzzy case. The transfer is demonstrated by examples. I. INTRODUCTION Relations play a fundamental role in mathematics, computer science, and their applications. Many results about ordinary relations have been generalized to the setting of fuzzy relations in the past. There has always been a fundamental question of how the various fuzzifications are related to the ordinary notions and results. Needless to say, this question is important both from a practical and theoretical point of view and is treated to some extent in textbooks, see e.g. In this paper we deal with basic structures associated to ternary relations that appear as fundamental ones in the methods of relational data analysis, namely the closure-like structures such as Galois connections, closure operators, structures of their fixpoints and the like. Such structures appear e.g. in formal concept analysis The most common way of looking at the relationship between ordinary notions and their fuzzy counterparts is in terms of a-cuts of fuzzy relations (see e.g. [15]) but there are additional possible views at the question as well. One of them, utilized in this paper, is provided in [3, Section 3.1.2]. Our paper is organized as follows. We first provide preliminaries in Section II. In Section III, we introduce the Galoi

Type IV fimbrial subunit protein ApfA contributes to protection against porcine pleuropneumonia

Porcine pleuropneumonia caused by Actinobacillus pleuropneumoniae accounts for serious economic losses in the pig farming industry worldwide. We examined here the immunogenicity and protective efficacy of the recombinant type IV fimbrial subunit protein ApfA as a single antigen vaccine against pleuropneumonia, or as a component of a multi-antigen preparation comprising five other recombinant antigens derived from key virulence factors of A. pleuropneumoniae (ApxIA, ApxIIA, ApxIIIA, ApxIVA and TbpB). Immunization of pigs with recombinant ApfA alone induced high levels of specific serum antibodies and provided partial protection against challenge with the heterologous A. pleuropneumoniae serotype 9 strain. This protection was higher than that engendered by vaccination with rApxIVA or rTbpB alone and similar to that observed after immunization with the tri-antigen combination of rApxIA, rApxIIA and rApxIIIA. In addition, rApfA improved the vaccination potential of the penta-antigen mixture of rApxIA, rApxIIA, rApxIIIA, rApxIVA and rTbpB proteins, where the hexa-antigen vaccine containing rApfA conferred a high level of protection on pigs against the disease. Moreover, when rApfA was used for vaccination alone or in combination with other antigens, such immunization reduced the number of pigs colonized with the challenge strain. These results indicate that ApfA could be a valuable component of an efficient subunit vaccine for the prevention of porcine pleuropneumonia

Countdown games, and simulation on (succinct) one-counter nets

We answer an open complexity question by Hofman, Lasota, Mayr, Totzke (LMCS 2016) for simulation preorder on the class of succinct one-counter nets (i.e., one-counter automata with no zero tests where counter increments and decrements are integers written in binary); the problem was known to be PSPACE-hard and in EXPSPACE. We show that all relations between bisimulation equivalence and simulation preorder are EXPSPACE-hard for these nets; simulation preorder is thus EXPSPACE-complete. The result is proven by a reduction from reachability games whose EXPSPACE-completeness in the case of succinct one-counter nets was shown by Hunter (RP 2015), by using other results. We also provide a direct self-contained EXPSPACE-completeness proof for a special case of such reachability games, namely for a modification of countdown games that were shown EXPTIME-complete by Jurdzinski, Sproston, Laroussinie (LMCS 2008); in our modification the initial counter value is not given but is freely chosen by the first player. We also present an alternative proof for the upper bound by Hofman et al. In particular, we give a new simplified proof of the belt theorem that yields a simple graphic presentation of simulation preorder on (non-succinct) one-counter nets and leads to a polynomial-space algorithm (which is trivially extended to an exponential-space algorithm for succinct one-counter nets)

A systematic review of adherence to restricted diets in people with functional bowel disorders

Functional bowel disorders such as irritable bowel syndrome are commonly experienced within the population, and have an adverse impact on emotions, physical well-being, social activity, and occupational output. Adherence to a restricted diet can reduce symptoms, which in turn leads to increased quality of life and well-being. The aim of this review was to assess the extent to which predictors of dietary adherence have been considered in studies relating to functional bowel disorders and following a restricted diet. This was done firstly by examining such studies which contained a measure or indicator of adherence, and then by examining predictors of adherence within and between studies. A search of PsycINFO, Medline, CINAHL, Web of Science, and Cochrane databases was performed during July 2014, with the search criteria including relevant terms such as gastrointestinal disorder, irritable bowel syndrome, diet, and adherence. Of an initial 7927 papers, 39 were suitable for inclusion. Fourteen of the 39 studies included had a structured measure or indicator of dietary adherence, and the remaining 25 mentioned adherence without any structured levels of adherence. There was little investigation into the predictors of adherence, with symptom relief or induction being the primary goal of most of the studies. This review indicates that predictors of dietary adherence are rarely considered in research regarding functional bowel disorders. Further investigation is needed into the variables which contribute to rates of adherence to restricted diets, and more rigorous research is needed to characterise those individuals most likely to be non-adherent. Such research is necessary to ensure that people with these conditions can be provided with appropriate support and interventions

Las WebQuest en la formación del profesorado universitario en Química Analítica

En el presente trabajo se describe una experiencia realizada con alumnos de la cátedra de Química Analítica I  de la Universidad Nacional del Chaco Austral (UNCAUS), y se aplicó la estrategia  con los Alumnos del tercer año de la Carrera de Profesorado en Ciencias Químicas y del Ambiente, en la que se utilizaron clases tradicionales, con trabajos colaborativos y el uso de nuevas tecnologías, las WebQuest. La incorporación de WebQuest tiene por objeto optimizar el proceso de enseñanza-aprendizaje y  la información , además de servir de apoyo a las clases presenciales, promoviendo el aprendizaje autónomo. También se analizan las ventajas de este recurso didáctico y  que el equipo docente enfrentó para el desarrollo de la misma. Se muestran algunos de los resultados alcanzados con la experiencia basados en un enfoque constructivista y de aprendizaje colaborativo.

“Why would we?” A qualitative study on COVID-19 vaccination decision making among Ukrainian economic female migrants in Poland

Background: Ukraine has one of the lowest COVID-19 vaccination rates in Europe. This may pose a significant epidemiological risk in the context of the refugee crisis and the fact that, since 2020, SARS-CoV-2 has been spreading and changing globally. Objective: To evaluate determinants of vaccination decision making among Ukrainian female migrants (UFMs). Methods: A qualitative study with 45 UFMs was conducted between December 2021 and January 2022. UFMs, from 2 Polish provinces, differing in age, education and length of stay were invited with the use of the snowball technique. Using a semi-structured topic guide, eight focus groups were conducted in person, recorded and transcribed. Thematic, qualitative analysis was made; key themes which emerged from the data (with the help of the Working Group Determinants of Vaccine Hesitancy Matrix), were related to contextual, individual/group and contextual vaccine/vaccination-specific influences. Results: Mothers were found to be playing a crucial role in children and adolescent COVID-19 vaccine decision-making process. Universal trust in the Polish healthcare system and vaccination procedures, employer requirements and willingness to preserve jobs, desire to get back to normal and social influences were paramount prerequisites to let UFMs make a decision to get vaccinated. However, COVID-19 vaccines also faced backlash among UFMs. Negative experiences with vaccines provided in Ukraine, doubts about the rapid vaccine development, combined with lack of confidence in vaccine safety, specifically regarding child vaccination, might have a bearing on UFMs’ decision about declining COVID-19 vaccine while on migration. Discrimination through HCWs during vaccination visits was also reported. Corrupted Ukrainian healthcare system, which facilitates proof forgery regarding vaccination certificates, could act as a negative influencer of UFMs’ vaccine decision-making. Conclusion: The results provide the novel information, expressed in economic UFMs’ own words. Findings show that influencers of the decision-making process regarding the COVID-19 vaccination are complex and polarized; elements of hesitancy may persist after migration. Any continuation of UFMs’ vaccination with COVID-19 vaccine should be subject to designing accessible information to address modifiable demotivators of the vaccine decision-making process identified in this study.</p