Agata Janowska

Learn More
INTRODUCTION The measurement of skin and wound bed temperature in chronic wounds may be a useful way to optimize the assessment and diagnosis of chronic wound infection. The aim of this clinical research trial was to correlate the wound bed score, validated by Falanga in 2006, to wound bed and perilesional skin temperature with an easy-to-use, handheld,(More)
BACKGROUND The diagnosis of squamous cell carcinoma (SCC) is, generally, a clinical diagnosis, but in some cases, when the lesion is pigmented, as in our case, the differential diagnosis between pigmented SCC and other pigmented skin lesions, in particular melanocytic lesions, is difficult. Dermoscopy may improve the early diagnosis of SCC and thus play a(More)
The aim of this work is to describe the translation from Intermediate Language, one of the input formalisms of the model checking platform VerICS, to timed automata with discrete data and to compare it with the translation to classical timed automata. The paper presents syntax and semantics of both formalisms, the translation rules as well as a simple(More)
This paper presents a method of slicing timed systems to create reduced models for model checking verification. The reduction is made at the very beginning of the verification process and this makes it beneficial and effective in handling the state explosion problem. The method uses techniques of static analysis to examine the syntax of a program and to(More)
© 2010 The Authors. doi: 10.2340/00015555-0705 Journal Compilation © 2010 Acta Dermato-Venereologica. ISSN 0001-5555 Sir, Mucosal melanoma is an extremely rare malignancy that comprises less than 4% of all melanomas and accounts for less than 2% of all primary penile malignant lesions (1, 2). It is most frequently located on the glans (55%), followed by the(More)
Analysis of circulating tumor cells (CTC) in the peripheral blood of cutaneous melanoma patients provides information on the metastatic process and potentially improves patient management. The isolation by size of epithelial tumor cells (ISET) is a direct method for CTC identification in which tumor cells are collected by filtration as a result of their(More)
The aim of the work is twofold. In order to face the problem of modeling time constraints in Promela, a timed extension of the language is presented. Next, timed Promela is translated to timed automata with discrete data, that is timed automata extended with integer variables. The translation enables verification of Promela specifications via tools(More)