One of the known complications of gallstones consists in gallbladder perforation with cholecystocutaneous abscesses or external fistulas formation. Nowadays these types of complications are uncommon, having been more frequent. The authors report the case of an 86 year-old woman, bedridden and dependent, referred to our institution by presenting a tumefaction with inflammatory signs in the right upper quadrant. ...
"Copyright © [2010] IEEE. Reprinted from IEEE International Conference on Control Applications, 2010. ISBN: 978-1-4244-5362-7. This material is posted here with permission of the IEEE. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obta...
“Copyright © [2009] IEEE. Reprinted from 18th IEEE International Conference on Control Applications, 2009. ISBN:978-1-4244-4601-8.This material is posted here with permission of the IEEE. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be o...
Data abstraction is a powerful technique to overcome state explosion in model checking. For CSP Z (a formal integration of the well-known specification languages CSP and Z), current approaches can mechanically abstract infinite domains (types) as long as they are not used in communications. This work presents a compositional and systematic approach to data abstract CSP Z specifications even when communications ...
This paper describes the B-Live® system targetted to automate house appliances for severely impaired people, in particular quadriplegic. This system has been developed at Micro I/O for enhancing the quality of life and the independence of its potential users. The envisaged application is the retrofitting of common dwellings. The B-Live system is described and details on its software, hardware and CAN-based comm...
“Copyright © [2008] IEEE. Reprinted from IEEE International Symposium on Industrial Electronics, 2008. ISBN:978-1-4244-1665-3 -8. This material is posted here with permission of the IEEE. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be o...
This paper describes the B-Live approach for automating home appliances for elderly and impaired people. This system has been developed at Micro I/O for enhancing the quality of life and the independence of its potential users. The target application is the retrofitting of common dwellings. The paper introduces the motivation for the B-Live system and presents a survey on current Smart Home projects and endeavo...
“Copyright © [2007] IEEE. Reprinted from 11th International Conference on Intelligent Engineering Systems , 2007. ISBN:1-4244-1147-5 This material is posted here with permission of the IEEE. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must...
Esse trabalho formaliza um modelo de grafos CPM/PERT para viabilizar a representação de planos de recomposição de sistemas elétricos e expõe uma metodologia para derivação automática do mesmo a partir da lista de atividades de um procedimento de recomposição. Essa técnica de montagem automática foi aplicada com sucesso a uma instrução operativa de recomposição pós-blecautes do sistema interligado nacional (SIN)...
Este trabalho trata da modelagem da carga no processo de recomposição do sistema de energia elétrica após a ocorrência de blecautes. Em especial, é analisado o comportamento de cargas residenciais termostáticas, que são as principais responsáveis pelo aumento da demanda pós-perturbação, e cujo conhecimento é essencial na recomposição do sistema. A modelagem é construída a partir de técnicas de programação orien...
Financiadores do RCAAP | |||||||
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |