Analysis of computing open source systems

Graphical user interfaces (GUIs) are critical components of today's open source software. Given their increased relevance, the 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 open source systems. We use static analysis techniques to generate models of the user interface behavior from source code. Models help in graphical user interface inspection by allowing designers to concentrate on its more important aspects. One particular 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.

Carta aberta aos presidentes Obama e Putin pelo avião abatido

A negligência é punível e não pode deixar de ser punível. É urgente a investigação, é urgente a acusação e o julgamento escorreito desse conjunto de energúmenos que, por puro dolo, ou puro atrofiamento mental, foram capazes de tais acções ou omissões. Caso não haja qualquer outra hipótese em termos legais internacionais, deverá ser criado – se for necessário, adequado e proporcional - um Tribunal had hoc internacional que julgue com especificidade este caso concreto. Basta de impunidade perante situações injustas como esta, onde tudo acaba por terminar no esquecimento. Abstract: Negligence is punishable and can only be punishable. There is an urgent investigation, it is urgent to prosecution and the trial this group of lunatics who, by pure malice, or pure mental atrophy, were capable of such acts or omissions. If there is no other choice in international law, should be created - if necessary, appropriate and proportionate - a Court had international hoc judges with this specific case. No more impunity unjust situations like this, where everything turns out to finish the wayside.

Preliminary clinical trial in percutaneous nephrolithotomy using a real-time navigation system for percutaneous kidney access

Background: Precise needle puncture of renal calyces is a challenging and essential step for successful percutaneous nephrolithotomy. This work tests and evaluates, through a clinical trial, a real-time navigation system to plan and guide percutaneous kidney puncture. Methods: A novel system, entitled i3DPuncture, was developed to aid surgeons in establishing the desired puncture site and the best virtual puncture trajectory, by gathering and processing data from a tracked needle with optical passive markers. In order to navigate and superimpose the needle to a preoperative volume, the patient, 3D image data and tracker system were previously registered intraoperatively using seven points that were strategically chosen based on rigid bone structures and nearby kidney area. In addition, relevant anatomical structures for surgical navigation were automatically segmented using a multi-organ segmentation algorithm that clusters volumes based on statistical properties and minimum description length criterion. For each cluster, a rendering transfer function enhanced the visualization of different organs and surrounding tissues. Results: One puncture attempt was sufficient to achieve a successful kidney puncture. The puncture took 265 seconds, and 32 seconds were necessary to plan the puncture trajectory. The virtual puncture path was followed correctively until the needle tip reached the desired kidney calyceal. Conclusions: This new solution provided spatial information regarding the needle inside the body and the possibility to visualize surrounding organs. It may offer a promising and innovative solution for percutaneous punctures.