Computed tomography and magnetic resonance imaging of desmoplastic fibroma with simultaneous manifestation in two unusual locations: a case report

<p>Abstract</p> <p>Introduction</p> <p>Desmoplastic fibroma is an extremely rare primary benign bone tumor. It occurs most often in the mandible, followed by the femur and pelvis. To the best of our knowledge, fewer than 200 cases have been described in the published literature. Furthermore, this case is the first report of desmoplastic fibroma with simultaneous presentation in two different locations.</p> <p>Case presentation</p> <p>We present an unusual case of desmoplastic fibroma in a 56-year-old Caucasian man, who presented to our hospital with lumbar pain. Computed tomography and magnetic resonance imaging were performed, demonstrating two lytic expansile lesions affecting both his left iliac bone and his left sacral wing. Curettage and cortical-cancellous grafting was performed, followed by postoperative computed tomography and magnetic resonance imaging.</p> <p>Conclusion</p> <p>Desmoplastic fibroma with unusual and simultaneous manifestations in two different locations has never been reported previously to the best of our knowledge. The purpose of this case report is to present the computed tomography and magnetic resonance imaging features of this rare tumor before and after the surgical treatment. Furthermore, the radiological findings with the description of the characteristics and the clinical presentation of this rare tumor, contribute to the wide spectrum of manifestations of this tumor, in order to recognize it and to have the appropriate management.</p

HLA variations in patients with diffuse large B-cell lymphoma and association with disease risk and prognosis: a case-control study

IntroductionHuman leukocyte antigen (HLA) polymorphisms have been associated with the development of various autoimmune diseases, as well as malignant neoplasms. Non-Hodgkin lymphomas (NHLs) are a heterogenous group of lymphoid malignancies in which a genetic substrate has been established and is deemed to play a crucial role in disease pathogenesis. This study aimed to identify whether variations in the HLA gene region were associated with diffuse large B-cell lymphoma (DLBCL) risk and prognosis.MethodsWe defined HLA class I (HLA-A, HLA-B, HLA-C) and class II (HLA-DRB1, HLA-DQB1) alleles in 60 patients with DLBCL and compared the results to those found by 236 healthy adult donors from the bone marrow bank of Northern Greece. HLA typing was performed by two molecular methods, Sequence - Specific Oligonucleotide HLA typing (SSO) and Sequence - Specific Primer HLA typing (SSP), from white blood cells recovered from peripheral blood. The phenotypic frequencies of HLA-A, HLA-B, HLA-C, HLA-DRB1 and HLA-DQB1 between patients and controls were compared with the 2-sided Fisher’s exact test. Results with p-value &lt;0.05 were considered statistically significant. Odds Ratios with 95% Confidence Intervals were calculated to further strengthen the results. The 2-sided Fisher’s exact test was also applied to alleles found only in one of the two groups, while the odds ratios together with the confidence intervals were corrected with Haldane-Anscombe method.ResultsAmong the studied HLA polymorphisms, the frequency HLA-C*12 allele was significantly lower in patients with DLBCL compared with control subjects (6.7% vs. 34.7%, OR = 0.16, 95% CI: 0.04–0.44). Frequency of HLA-B*39 was significantly lower in patients with DLBCL compared with controls, but due to the low frequency of this polymorphism in the studied population and small sample size, determinations regarding the significance of this findings were limited. Survival analysis revealed that the presence of HLA-C*12 was not associated with improved or worsened overall and progression-free survival. No statistically significant associations were observed in the phenotypic frequencies of HLA-A, HLA-DQB1, HLA-DRB1 and the rest of HLA-B alleles between the control and DLBCL groups.DiscussionCollectively, our results provide valuable insight regarding the role of HLA variations on DLBCL risk. Further studies are required to consolidate our findings and ascertain the clinical implications of these genetic variations on DLBCL management and prognosis

Σχεδιασμός και κατασκευή φωτοβιοαντιδραστήρα για παραγωγή βιομάζας

Εθνικό Μετσόβιο Πολυτεχνείο--Μεταπτυχιακή Εργασία. Διεπιστημονικό-Διατμηματικό Πρόγραμμα Μεταπτυχιακών Σπουδών (Δ.Π.Μ.Σ.) “Συστήματα Αυτοματισμού

Modeling and verification of mobile systems using algebraic specification techniques

The scope of the thesis is the modeling and verification of mobile systems using algebraic specification techniques. Α mobile system is a computing and/or a communication system where the notion of location of its components is of major criticality and its change affects system’s behavior. Due to the special characteristics of such systems, and the rapid proliferation of mobile devices, networks and services, the requirements for reliability, security and functionality has led to the development of formal methods for mobile systems. Formal methods, which are techniques, languages and tools based on mathematics, provide an unambiguous, strict mathematical description or specification which is used for effective design, analysis and verification of desired properties of the system. An important branch of formal methods are algebraic specification languages with a rigorous basis on mathematical logical systems or combinations of them. Such a language is CafeOBJ, an executable, new generation algebraic specification language, member of the OBJ family languages. Its main characteristic that differentiates it from other formalisms is its direct support to behavioural specification paradigm since it embeds special hidden sorts and behavioural operators in its syntax. Behavioural specification is based on hidden algebra and supports an object oriented style of algebraic specification. It also supports specification of distributed concurrent systems as abstract state machines and verification of safety properties of them through theorem proving techniques such as simultaneous induction and coinduction. Based on the above specification techniques, MobileOBJ is proposed, that is an algebraic framework for specification and verification of mobile systems. The specification of the mobile system, protocol or procedure consists of specification modules which describe either data types as visible sorts, or the system as a Mobile Observational Transition System, a kind of behavioural object. Based on this specification, verification of properties of the mobile system using theorem proving techniques is feasible. Since the transitions of the system are specified as equations makes the method easier to read, understand and learn than other related methods, which prerequisite deeper knowledge of theorem proving. Next, the integration of Mobile Observational Transition Systems with Timed and Hybrid Observational Transition Systems is performed to capture not only the discrete but also the continuous characteristics of mobiles systems, such as timing constraints, resource scarcity or distance. To demonstrate the applicability and practicality of the framework, a number of case studies are conducted. Security aspects of mobile systems are of major importance, and it was inevitable to take them into account. Authentication protocols for sensor networks and multicasting settings have been formally specified, and safety properties of them have been verified. In the last section of the thesis, a protocol algebra is proposed inspired by the module algebra and the hierarchical object composition technique based on hidden algebra. The preservation of some properties of the component protocols to the composed protocol for some operators of the algebra has been proved. Finally, a number of applications of the algebra are presented.Αντικείμενο της διατριβής αποτελεί η μοντελοποίηση και η επαλήθευση κινητών συστημάτων με χρήση τεχνικών αλγεβρικών προδιαγραφών. Με τον όρο κινητά συστήματα αναφέρονται τα συστήματα υπολογισμού ή/και επικοινωνιών στα οποία η έννοια της θέσης των αντικειμένων αποτελεί κρίσιμο χαρακτηριστικό τους και η μεταβολή της επηρεάζει καθοριστικά τη συμπεριφορά τους. Λόγω της ιδιαιτερότητας των συστημάτων αυτών, και εξαιτίας τη ραγδαίας εξάπλωσης της χρήσης των κινητών δικτύων και υπηρεσιών, οι απαιτήσεις για αξιοπιστία, ασφάλεια και λειτουργικότητα έχουν οδηγήσει στην ανάπτυξη τυπικών μεθόδων προσανατολισμένων στα κινητά συστήματα. Οι τυπικές μέθοδοι, οι οποίες είναι τεχνικές, γλώσσες και εργαλεία με ισχυρό μαθηματικό υπόβαθρο, μας δίνουν τη δυνατότητα μιας αυστηρής, μαθηματικά ορισμένης, χωρίς ασάφειες, περιγραφής ή προδιαγραφής των συστημάτων, η οποία χρησιμοποιείται για το σχεδιασμό τους, την ανάλυση, και την επαλήθευση επιθυμητών ιδιοτήτων τους. Ένας πολύ σημαντικός κλάδος των τυπικών μεθόδων είναι οι αλγεβρικές γλώσσες προδιαγραφών, οι οποίες έχουν ως μαθηματικό υπόβαθρο τους μαθηματικά λογικά συστήματα ή συνδυασμούς τους. Μια τέτοια εκτελέσιμη αλγεβρική γλώσσα προδιαγραφών νέας γενιάς, απόγονος των γλωσσών OBJ, είναι η CafeOBJ. Το βασικότερο χαρακτηριστικό της γλώσσας αυτής που τη διακρίνει από αντίστοιχους φορμαλισμούς, είναι η άμεση υποστήριξη που παρέχει στη συμπεριφοριακή προδιαγραφή με την ενσωμάτωση στο συντακτικό της ειδικών τύπων και τελεστών. Η συμπεριφοριακή προδιαγραφή, η οποία έχει τις βάσεις της στην άλγεβρα με κρυμμένους τύπους, υποστηρίζει την αλγεβρική προδιαγραφή με αντικείμενα ή αφηρημένες μηχανές καταστάσεων, δίνοντας τη δυνατότητα περιγραφής κατανεμημένων, δυναμικών συστημάτων με ταυτόχρονες διεργασίες. Παράλληλα, με χρήση τεχνικών επαλήθευσης που βασίζονται σε αυτή, μας δίνει τη δυνατότητα απόδειξης ιδιοτήτων ασφαλείας των συστημάτων που έχουν προδιαγραφεί. Με βάση τα παραπάνω, προτείνεται το πλαίσιο προδιαγραφής και επαλήθευσης κινητών συστημάτων MobileOBJ. Η προδιαγραφή του κινητού συστήματος, πρωτοκόλλου ή διαδικασίας, αποτελείται από τη σύνθεση τεμαχίων προδιαγραφών (specification modules) τα οποία περιγράφουν είτε τους τύπους δεδομένων, είτε το σύστημα σαν ένα Κινητό Παρατηρήσιμο Σύστημα Μετάβασης, ένα είδος συμπεριφοριακού αντικειμένου. Στη συνέχεια με βάση αυτή την προδιαγραφή και κάνοντας χρήση τεχνικών απόδειξης θεωρήματος είναι δυνατή η επαλήθευση ιδιοτήτων της. Το ότι ο δυναμικός χαρακτήρας του συστήματος προδιαγράφεται με εξισώσεις, κάνει τη μέθοδο αυτή καλύτερα κατανοητή και ευκολότερη από αντίστοιχες μεθόδους που προαπαιτούν βαθύτερη γνώση των τεχνικών απόδειξης θεωρήματος. Στη συνέχεια, επεκτείνοντας την αρχική προσέγγιση, δίνεται η δυνατότητα προδιαγραφής και φυσικών, συνεχών – πέραν των διακριτών – χαρακτηριστικών των κινητών συστημάτων, όπως ο χρόνος και η απόσταση. Τα παραπάνω επιτυγχάνονται με την ενοποίηση των Κινητών Παρατηρήσιμων Συστημάτων Μετάβασης με τα Χρονικά και τα Υβριδικά Παρατηρήσιμα Συστήματα Μετάβασης. Η εφαρμογή της μεθόδου παρουσιάζεται μέσα από τη μελέτη μιας σειράς περιπτώσεων που αντιστοιχούν σε συστήματα και πρωτόκολλα. Τα ζητήματα ασφαλείας για ένα κινητό σύστημα είναι μεγάλης κρισιμότητας και γι’ αυτό το λόγο δεν θα μπορούσαν να παραβλεφθούν. Στα πλαίσια αυτά έχουν προδιαγραφεί και επαληθευθεί πρωτόκολλα ασφαλείας για ασύρματα δίκτυα αισθητήρων και πολύ-εκπομπής. Στο τελευταίο κομμάτι της διατριβής προτείνεται μια άλγεβρα πρωτοκόλλων για την επαναχρησιμοποίηση και σύνθεση πολύπλοκων πρωτοκόλλων από στοιχειώδη με βάση τις τεχνικές ιεραρχικής σύνθεσης αντικειμένων με χρήση συμπεριφοριακών αλγεβρικών προδιαγραφών και της άλγεβρας τεμαχίου προδιαγραφής. Αποδεικνύεται η διατήρηση ιδιοτήτων των στοιχειωδών πρωτοκόλλων στα σύνθετα πρωτόκολλα για τελεστές της άλγεβρας, και παρουσιάζονται παραδείγματα εφαρμογών της

Value Co-Creation: Multiplayer

This study is an initial attempt to investigate value co-creation in the gaming industry by looking at Value Co-Creation through a framework called The Value Co-Creation Egg. The aim of the framework was to identify the mechanisms of The Consumer and The Company, which ultimately led to a deeper understanding of how these actors operate within the context of The Market. To understand The Consumer, it was essential to understand how online gaming communities co-create value. Subsequently, to understand The Company, it was necessary to understand how gaming companies facilitate value co-creation. Data for this research was collected by conducting a netnographic study on online gaming communities of four different games; (i) Fornite (ii) World of Warcraft (iii) EVE Online and (iv) Playerunknown’s Battleground, across three different online platforms; (i) Official forums (ii) Official Facebook pages and (iii) Third-party forums. A total of 248 posts were gathered and 3337 comments were observed, over a period of 10 weeks. Subsequently, this data was categorised per the actors of The Value Co-Creation Egg: The Consumer and The Company. The results of this research show that the mechanisms of The Consumer were identified to be helping each other and sharing expertise and knowledge. While those of The Company were, the incorporation of player feedback, the encouragement and recognition of UGC and the creation of dedicated forums and sub-forums. The identification of these mechanisms led to an analysis of how they affected The Market. The analysis shows that (i) dialogue and (ii) User-generated Content were the most dominant patterns identified within The Market. Furthermore, it revealed that these two were interconnected and very much reliant on one another