Microvascular Lymphatic Density Analysis in Cutaneous Regressive and Nonregressive Superficial Spreading Melanomas Using the Lymphatic Marker D2-40

Background: The prognostic significance of spontaneous regression in melanoma, especially thin lesions, has been a controversial issue for the past 20 years, although recent studies suggest that extensive and late regression may be related to worse prognosis. Many data suggest that lymphangiogenesis predicts metastatic spread in melanoma. Methods: We have quantified lymphatic microvascular density (LMVD) in thin (<= 1.0 mm) superficial spreading melanomas comparing regressive and nonregressive melanomas, regressive and nonregressive areas from the same tumor, and early and late histological stages of regression in the same tumor. In addition, we tried to correlate lymphangiogenesis and tumor growth phase. We conducted histological examinations and immunohistochemical analyses using monoclonal antibody D2-40 with subsequent quantification by image analysis of 37 melanomas, 16 regressive and 21 nonregressive (controls). Results: We found higher LMVD in the late stage of regression compared with nonregressive area (internal control) of regressive melanomas. Conclusions: Our study suggest that the late stage of spontaneous regression in thin melanomas may be related to worse prognosis as it showed higher LMVD, and evidence shows that this is related with increased risk of metastatic spread. But this supposition must be confirmed by a longer follow-up for detection of lymph node metastases.

Bone mineral density analysis in patients with primary hyperparathyroidism associated with multiple endocrine neoplasia type 1 after total parathyroidectomy

P>Objective Limited data have been reported on the effect of parathyroidectomy (PTx) on bone mineral density (BMD) in the setting of patients with hyperparathyroidism (HPT) associated with multiple endocrine neoplasia type 1 (MEN1). This study investigates the impact of total PTx on BMD in patients with HPT/MEN1. Design and patients A case series study was performed in a tertiary academic hospital. A total of 16 HPT/MEN1 patients from six families harbouring MEN1 germline mutations were subjected to total PTx followed by parathyroid auto-implant in the forearm. Measurements Bone mineral density values were assessed using dual-energy X-ray absorptiometry. Results Before PTx, reduced BMD (Z-score <-2 center dot 0) was highly prevalent in the proximal one-third of the distal radius (1/3 DR) (50%), lumbar spine (LS) (43 center dot 7%), ultradistal radius (UDR) (43 center dot 7%), femoral neck (FN) (25%) and total femur (TF) (18 center dot 7%) in the patients. Fifteen months after PTx, we observed a BMD improvement in the LS (from 0 center dot 843 to 0 center dot 909 g/cm2; +8 center dot 4%, P = 0 center dot 001), FN (from 0 center dot 745 to 0 center dot 798 g/cm2; +7 center dot 7%, P = 0 center dot 0001) and TF (from 0 center dot 818 to 0 center dot 874 g/cm2; +6 center dot 9%, P < 0 center dot 0001). No significant change was noticed in the 1/3 DR and UDR after PTx. Conclusions This data confirmed BMD recovery in the LS and FN after PTx in HPT/MEN1 patients. We also documented a significant BMD increase in the TF and no change in both the 1/3 DR and UDR BMD after PTx. Our data suggest that LS and proximal femur are the most informative sites to evaluate the short-term BMD outcome after PTx in HPT/MEN1 subjects.

GUI Inspection from Source Code Analysis

Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. This paper describes the latest results in the development of our tool to reverse engineer the GUI layer of interactive computing systems. We use static analysis techniques to generate models of the user interface behaviour from source code. Models help in graphical user interface inspection by allowing designers to concentrate on its more important aspects. One particularly type of model that the tool is able to generate is state machines. The paper shows how graph theory can be useful when applied to these models. A number of metrics and algorithms are used in the analysis of aspects of the user interface's quality. The ultimate goal of the tool is to enable analysis of interactive system through GUIs source code inspection.

GUI Behavior from Source Code Analysis

When developing interactive applications, considering the correctness of graphical user interfaces (GUIs) code is essential. GUIs are critical components of today's software, and contemporary software tools do not provide enough support for ensuring GUIs' code quality. GUIsurfer, a GUI reverse engineering tool, enables evaluation of behavioral properties of user interfaces. It performs static analysis of GUI code, generating state machines that can help in the evaluation of interactive applications. This paper describes the design, software architecture, and the use of GUIsurfer through an example. The tool is easily re-targetable, and support is available to Java/Swing, and WxHaskell. The paper sets the ground for a generalization effort to consider rich internet applications. It explores the GWT web applications' user interface programming toolkit.

Using Source-Code Analysis to Help End-user Programmers Create Dependable Software

Not long ago, most software was written by professional programmers, who could be presumed to have an interest in software engineering methodologies and in tools and techniques for improving software dependability. Today, however, a great deal of software is written not by professionals but by end-users, who create applications such as multimedia simulations, dynamic web pages, and spreadsheets. Applications such as these are often used to guide important decisions or aid in important tasks, and it is important that they be sufficiently dependable, but evidence shows that they frequently are not. For example, studies have shown that a large percentage of the spreadsheets created by end-users contain faults. Despite such evidence, until recently, relatively little research had been done to help end-users create more dependable software. We have been working to address this problem by finding ways to provide at least some of the benefits of formal software engineering techniques to end-user programmers. In this talk, focusing on the spreadsheet application paradigm, I present several of our approaches, focusing on methodologies that utilize source-code-analysis techniques to help end-users build more dependable spreadsheets. Behind the scenes, our methodologies use static analyses such as dataflow analysis and slicing, together with dynamic analyses such as execution monitoring, to support user tasks such as validation and fault localization. I show how, to accommodate the user base of spreadsheet languages, an interface to these methodologies can be provided in a manner that does not require an understanding of the theory behind the analyses, yet supports the interactive, incremental process by which spreadsheets are created. Finally, I present empirical results gathered in the use of our methodologies that highlight several costs and benefits trade-offs, and many opportunities for future work.

Charge density analysis for crystal engineering

This review reports on the application of charge density analysis in the field of crystal engineering, which is one of the most growing and productive areas of the entire field of crystallography. While methods to calculate or measure electron density are not discussed in detail, the derived quantities and tools, useful for crystal engineering analyses, are presented and their applications in the recent literature are illustrated. Potential developments and future perspectives are also highlighted and critically discussed.

Experimental and Theoretical Electron Density Analysis of Copper Pyrazine Nitrate Quasi-Low-Dimensional Quantum Magnets

The accurate electron density distribution and magnetic properties of two metal-organic polymeric magnets, the quasi-one-dimensional (1D) Cu(pyz)(NO3)2 and the quasi-two-dimensional (2D) [Cu(pyz)2(NO3)]NO3·H2O, have been investigated by high-resolution single-crystal X-ray diffraction and density functional theory calculations on the whole periodic systems and on selected fragments. Topological analyses, based on quantum theory of atoms in molecules, enabled the characterization of possible magnetic exchange pathways and the establishment of relationships between the electron (charge and spin) densities and the exchange-coupling constants. In both compounds, the experimentally observed antiferromagnetic coupling can be quantitatively explained by the Cu-Cu superexchange pathway mediated by the pyrazine bridging ligands, via a σ-type interaction. From topological analyses of experimental charge-density data, we show for the first time that the pyrazine tilt angle does not play a role in determining the strength of the magnetic interaction. Taken in combination with molecular orbital analysis and spin density calculations, we find a synergistic relationship between spin delocalization and spin polarization mechanisms and that both determine the bulk magnetic behavior of these Cu(II)-pyz coordination polymers.