Search

Formal verification is becoming a fundamental step of safety-critical and model-based software development. As part of the verification process, model checking is one of the current advanced techniques to analyse the behaviour of a system. Symbolic model checking is an efficient approach to handling even complex models with huge state spaces. Saturation is a symbolic algorithm with a special iteration strategy, which is efficient for asynchronous models. Recent advances have resulted in many new kinds of saturation-based algorithms for state space generation and bounded state space generation and also for structural model checking. In this paper, we examine how the combination of two advanced model checking algorithms - bounded saturation and saturationbased structural model checking - can be used to verify systems. Our work is the first attempt to combine these approaches, and this way we are able to handle and examine complex or even infinite state systems. Our measurements show that we can exploit the efficiency of saturation in bounded model checking. [ABSTRACT FROM AUTHOR]

This text is based on the recommendations accepted by the 4th Hungarian Consensus Conference on Breast Cancer, modified on the basis of the international consultation and conference within the frames of the Central-Eastern European Academy of Oncology. The recommendations cover non-operative, intraoperative and postoperative diagnostics, determination of prognostic and predictive markers and the content of cytology and histology reports. Furthermore, they address some specific issues such as the current status of multigene molecular markers, the role of pathologists in clinical trials and prerequisites for their involvement, and some remarks about the future., Competing Interests: Author BJ was employed by the company Medserv Kft. The remaining authors declare that the research was conducted in the absence of any commercial or financial relationships that could be construed as a potential conflict of interest., (Copyright © 2022 Cserni, Francz, Járay, Kálmán, Kovács, Krenács, Tóth, Udvarhelyi, Vass, Vörös, Krivokuca, Kajo, Kajová Macháleková and Kulka.)

Oncosurgical treatment of breast tumors involves the removal of metastatic axillary lymph nodes. In the last 30 years, the diagnosis and treatment of axillary lymph nodes have also undergone significant changes. The introduction of sentinel lymph node biopsy in 1993 made axillary block dissection with high morbidity safely omitted in a significant proportion of patients, and similarly, the staging of breast tumors and thus oncology and complex treatment became significantly more accurate. Shortly after the introduction of sentinel lymph node biopsy, intraoperative examination of sentinel lymph nodes (e.g. imprint cytology) also appeared, which significantly reduced the number of surgeries performed in the two sessions, thereby significantly reducing patient burden and surgical costs. The results of our study indicate that axillary block dissection is required in the treatment of axilla in an ever-decreasing group of patients and this proportion will decrease further in the future, with the increasing use of alternative axillary radiotherapy. The imprint cytological examination of sentinel lymph nodes taking into account current guidelines, no longer provides demonstrable benefits and its routine use is not justified. According to the latest international recommendations, intraoperative examination of the sentinel lymph node may be indicated in connection with mastectomy (when postoperative radiotherapy is not planned) and after neoadjuvant treatment. Our results suggest that the detection of suspected lymph nodes during preoperative axillary ultrasound may predict the stage of the disease. Based on our research results confirm that in patients receiving neoadjuvant therapy, in addition to the preoperative size of the tumour (≤20 mm, P = 0.002), the preoperative size of the lymph node (≤15 mm, P = 0.04) may also be used to predict that the stage of the disease is N0-1.

Összefoglaló. A pajzsmirigy az első szervek közé tartozik, melyek megjelenítésében, betegségeinek felfedezésében az ultrahang-diagnosztikának fontos szerepe van. A pajzsmirigybetegségek a lakosság jelentős részét érintik, és a technika fejlődésével egyre több pajzsmirigyeltérés, göb kerül felfedezésre. A pajzsmirigy rosszindulatú folyamatainak nincs egy bizonyos specifikus jele, viszont az ultrahangkép alapján meghatározhatók a malignitásra gyanús eltérések. Erre az elmúlt években több összefoglaló rendszer is született. Jelen összefoglaló tanulmányunknak az a célja, hogy bemutassuk a pajzsmirigy ultrahangdiagnosztikájának fejlődését; összehasonlítsuk az egyes leletezési rendszereket, úgymint TIRADS, EU-TIRADS, K-TIRADS, melyek célja a feltehetőleg rosszindulatú göbök kiszűrése, azonosítása a mindennapi rutinmunka során; vizsgáljuk a különböző rendszerek kapcsolatát a patológia által használt Bethesda-pontrendszerrel. Az ultrahangvizsgálat megfelelő értékelése, a pontrendszerek ismerete segíthet a pajzsmirigygöb differenciáldiagnózisában, a követési frekvencia meghatározásában, csökkentheti az aspirációs citológiák számát, ezzel támogatva a klinikai döntéshozatalt. Orv Hetil. 2021; 162(14): 530-541. Summary. The thyroid gland was one of the first organs, the ultrasound (US) examination of which has played an important role. The thyroid diseases affect a large part of the population, and with the development of imaging technology, more and more thyroid abnormalities, nodules and malignant lesions are being discovered. There are no specific signs of thyroid cancer, but the suspicious signs could be determined by US. In recent years, several systems have been developed. The aim of our review is to demonstrate the development of US diagnostics of the thyroid gland; to compare the different reporting systems, such as TIRADS, EU-TIRADS, K-TIRADS, which should help to identify the questionable lesions in the daily routine work. We examine the relationship between the different US systems and the Bethesda point score used by pathologists. The literature review shows that the US examination supports the clinical decisions, helps to select, who should have a fine-needle biopsy, and allows to determine the frequency of follow-up. The number of unnecessary fine-needle biopsies could be reduced, too. Our paper is part of a bigger research, the ethical license number is 23/2020, University of Szeged. Orv Hetil. 2021; 162(14): 530-541.

There have been some relevant changes in the diagnosis and treatment of breast cancer to implement the updating of the 2016 recommendations made during the 3rd national consensus conference on the disease. Following a wide interdisciplinary consultation, the present recommendations have been finalized after their public discussion at the 4th Hungarian Breast Cancer Consensus Conference. The recommendations cover non-operative, intraoperative and postoperative diagnostics, the determination of prognostic and predictive markers and the content of the cytology and histology reports. Furthermore, it touches some special issues such as the current status of multigene molecular markers, the role of pathologists in clinical trials and prerequisites for their involvement, some relevant points about the future. The most important changes include the integration of the TNM 8th edition, the WHO classification of breast tumors 5th edition, the ASCO/CAP HER2 assessment guidelines from 2018, and the Yokohama terminology for cytology reporting; a more detailed text on tumor-infiltrating lymphocytes and size determination after neoadjuvant therapy and a broader discussion of molecular tests.

The authors present a rare cause of pulmonary hypertension, which occurred in a 57-year-old woman. Postmortem examination discovered an adenocarcinoma with bronchioloalveolar growth pattern as a cause of severe dyspnoea, extreme pulmonary hypertension, and chronic cor pulmonale. The tumour involved all lobes of the lung. In the hilar lymph node metastasis was detectable. Histology showed tumour cell emboli in branches of the pulmonary arteries, intimal fibrosis, which was associated with fibrin precipitation and involvement of lymphatic vessels showing lymphangiosis carcinomatosa. The intrapulmonary dissemination of the adenocarcinoma could be caused by the isolated haematogenous dissemination via the thoracic duct. The authors discuss the possible pathomechanism of pulmonary hypertension and the way of tumour cell dissemination in the lung. They highlight the histological changes, which accompany the syndrome of pulmonary tumour thrombotic microangiopathy. In this case, which can be regarded rarely published in the literature, they emphasise the differential diagnostic questions.