805 resultados para Concurrent computing
Resumo:
Background: Anaplastic astrocytomas (AA) and glioblastomas (GB) are the most common malignant gliomas, and despite newly developed drugs and combined treatments, they still have an adverse prognosis. Paclitaxel is a cytotoxic agent with radiosensitizing properties and exerts objective growth inhibition in glioma tumor cells. Patients and Methods: From 1998 to 2002, 61 microneuro-surgically treated patients were randomized to group I (18 GB, 14 AA) which received radiotherapy and weekly paclitaxel at dose of 100 mg/m(2), and group II (21 GB, 8 AA) which received only radiotherapy as a complementary treatment. Results: Median overall survival was 27.96 months in group I and 23.06 months in group II with no statistical difference. The 12-month survival was 81% in group I and 76% in group II. Kaplan-Meier curves of both groups did not demonstrate any difference. Analysis of each histological subgroup (AA or GB) also showed no statistical difference in the survival curves. All 427 cycles were well tolerated with no treatment-associated deaths. Conclusions: Chemoradiotherapy with weekly paclitaxel is safe and tolerable although there was no increase in the overall survival and 12-month survival of malignant glioma patients. Further investigations modulating the paclitaxel entrance and delivery into the brain should be encouraged.
Specification, refinement and verification of concurrent systems: an integration of Object-Z and CSP
Resumo:
Recent findings that spinal manual therapy (SMT) produces concurrent hypoalgesic and sympathoexcitatory effects have led to the proposal that SMT may exert its initial effects by activating descending inhibitory pathways from the dorsal periaqueductal gray area of the midbrain (dPAG). In addition to hypoalgesic and sympathoexcitatory effects, stimulation of the dPAG in animals has been shown to hal e a facilitatory effect on motor activity. This study sought to further investigate the proposal regarding SMT and the FAG by including a test of motor function in addition to the variables previously investigated, Using a condition randomised, placebo-controlled, double blind, repeated measures design, 30 subjects with mid to lon er cervical spine pain of insidious onset participated in the study. The results indicated that the cervical mobilisation technique produced a hypoalgesic effect as revealed by increased pressure pain thresholds on the side of treatment (P = 0.0001) and decreased resting visual analogue scale scores (P = 0.049). The treatment technique also produced a sympathoexcitatory effect with an increase in skin conductance (P < 0.002) and a decrease in skin temperature (P = < 0.02). There was a decrease in superficial neck flexor muscle activity (P < 0.0002) at the lower levels of a staged cranio-cervical flexion test. This could imply facilitation of the deep neck flexor muscles with a decreased need for co-activation of the superficial neck flexors, The combination of all findings,would support the proposal that SMT may, at least initially, exert part of its influence via activation of the PAG, (C) 2000 Harcourt Publishers Ltd.
Resumo:
Documentation of burn sequelae can be a difficult and time-consuming task. To date a reliable and systematic format for recording postburn trauma is lacking. The purpose of this research was two-fold: first, to develop a Modified Inventory of Potential Reconstructive Needs from the original Inventory of Potential Reconstructive Needs to allow methodical documentation of functional and cosmetic burn sequelae in all body surface areas of children with burns and, second, to establish interrater reliability and concurrent validity of the instrument, thus allowing its clinical application. Two raters scored the Modified Inventory of Potential Reconstructive Needs on 41 children with a range of burns types and severity. Excellent interrater reliability was demonstrated for both total (intraclass correlation coefficient = 0.996) and subsection inventory scores. Concurrent validity was also established with total scores showing strong positive correlations (0.73-0.76) with three indicators of burn severity. These findings provide initial support for the tool's clinical applicability, particularly in relation to rehabilitative planning and documentation.
Resumo:
This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of modelling complex data structures needed to define the component processes of such systems, and CSP enables the concise specification of process interactions. The basis of the integration is a semantics of Object-Z classes identical to that of CSP processes. This allows classes specified in Object-Z to he used directly within the CSP part of the specification. In addition to specification, we also discuss refinement and verification in this model. The common semantic basis enables a unified method of refinement to be used, based upon CSP refinement. To enable state-based techniques to be used fur the Object-Z components of a specification we develop state-based refinement relations which are sound and complete with respect to CSP refinement. In addition, a verification method for static and dynamic properties is presented. The method allows us to verify properties of the CSP system specification in terms of its component Object-Z classes by using the laws of the the CSP operators together with the logic for Object-Z.
Resumo:
Objective To describe the renal lesions in Bull Terrier polycystic kidney disease (BTPKD), to confirm that the renal cysts in BTPKD arise from the nephron or collecting tubule, an to identify lesions consistent with concurrent BTPKD and Bull Terrier hereditary nephritis (BTHN). Design Renal tissue from five Bull Terriers with BTPKD and eight control dogs was examined by light and transmission electron microscopy. Clinical data were collected from all dogs, and family history of BTPKD and BTHN for all Bull Terriers. Results In BTPKD the renal cysts were lined by epithelial cells of nephron or collecting duct origin that were usually squamous or cuboidal, with few organelles. They had normal junctional complexes, and basal laminae of varying thicknesses. Glomeruli with small, atrophic tufts and dilated Bowman's capsules, tubular loss and dilation, and interstitial inflammation and fibrosis were common. Whereas the lesions seen in BTHN by light microscope were nonspecific, the presence of characteristic ultrastructural glomerular basement membrane (GMB) lesions and a family history of this disease indicated concurrent BTHN was likely in three of five cases of BTPKD. Conclusion This paper provides evidence that renal cysts in BTPKD are of nephron or collecting duct origin. In addition, GBM lesions are described that strongly suggest that BTPKD and BTHN may occur simultaneously.
Resumo:
This study investigated the influence of a concurrent cognitive task on the compensatory stepping response in balance-impaired elders and the attentional demand of the stepping response. Kinetic, kinematic and neuromuscular measures of a forward recovery step were investigated in 15 young adults, 15 healthy elders and 13 balance-impaired elders in a single task (postural recovery only) and dual task (postural recovery and vocal reaction time task) situation. Results revealed that reaction times were longer in all subjects when performed concurrently with a compensatory step, they were longer for a step than an in-place response and longer for balance-impaired older adults compared with young adults. An interesting finding was that the latter group difference may be related to prioritization between the two tasks rather than attentional demand, as the older adults completed the step before the reaction time, whereas the young adults could perform both concurrently. Few differences in step characteristics were found between tasks, with the most notable being a delayed latency and reduced magnitude of the early automatic postural response in healthy and balance-impaired elders with a concurrent task. (C) 2002 Elsevier Science B.V. All rights reserved.
Resumo:
Concurrent programs are hard to test due to the inherent nondeterminism. This paper presents a method and tool support for testing concurrent Java components. Too[ support is offered through ConAn (Concurrency Analyser), a too] for generating drivers for unit testing Java classes that are used in a multithreaded context. To obtain adequate controllability over the interactions between Java threads, the generated driver contains threads that are synchronized by a clock. The driver automatically executes the calls in the test sequence in the prescribed order and compares the outputs against the expected outputs specified in the test sequence. The method and tool are illustrated in detail on an asymmetric producer-consumer monitor. Their application to testing over 20 concurrent components, a number of which are sourced from industry and were found to contain faults, is presented and discussed.
Resumo:
Software architecture is currently recognized as one of the most critical design steps in Software Engineering. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. Although a number of formalisms to express behaviour and supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from behavioural specifications written in Cw, the corresponding architectural skeletons in the Microsoft .NET framework in the form of executable code
Resumo:
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.
Resumo:
A sociedade atual é marcada por uma crescente competição entre as organizações, as quais para garantirem a sua sobrevivência têm que evoluir e utilizar a tecnologia de informação mais adequada. Num período em que as PMES portuguesas necessitam de reduzir custos e concentrarem-se mais no seu processo de negócio surge um novo paradigma tecnológico, a Computação na Nuvem, esta ainda é um paradigma bastante recente, onde os recursos de TI que apresentam características de elasticidade e dinâmicas são oferecidos ao cliente como um serviço, no qual este paga apenas o que consome (pagamento por utilização). A Cloud Computing com o seu novo paradigma permite às organizações, principalmente às PMES reduzirem custos, concentrarem-se no seu processo de negócio sem se preocuparem com a parte informática (cópias de segurança, assistência e perda de dados) e obter um retorno mais rápido do seu investimento. Este trabalho consiste no Estudo da Adoção Individual da Cloud Computing no contexto das PMEs Portuguesas, o qual apresenta como principais objetivos obter uma melhor compreensão do conceito Cloud Computing, entender a sua importância para os indivíduos das PMES, identificar os seus fatores de sucesso e insucesso e identificar as limitações sentidas de uma forma generalizada e de uma forma específica para as PMES Portuguesas. Para cumprir os objetivos mencionados anteriormente, efetuou-se uma extensa revisão de literatura, propôs-se um modelo conceptual de investigação com adaptações à Teoria Unificada de Aceitação e Uso de Tecnologia (UTAUT) e utilizou-se como instrumento de recolha de dados um questionário que foi enviado às PMES Portuguesas.
Resumo:
O Planeamento Concomitante teve a sua origem no Reino Unido. É um método radical de intervenção social, baseado na Teoria de Afecto (Attachment Theory). O Planeamento Concomitante procura garantir que as crianças vulneráveis nas casas de acolhimento do Estado sejam adoptadas mais rapidamente possível. As crianças são acolhidas no âmbito deste Planeamento durante o período em que está em curso a avaliação da capacidade acolhedora dos pais adoptivos. As crianças sem condições de retorno para as suas famílias são desta forma legalmente adoptadas pelos pais adoptivos com quem as crianças já conseguiram desenvolver laços afectivos.