983 resultados para answer set programming
Resumo:
O atual panorama dos teatros municipais do país configurou-se, sobretudo, a partir de finais da década de 1990, com iniciativas do governo central e do governo local. A diversidade de gestão desses equipamentos culturais leva a refletir sobre o conceito de teatro municipal. Neste trabalho de projeto, propõe-se uma definição do conceito de teatro municipal e uma análise do caso do Teatro Municipal Joaquim Benite em Almada. Apresenta-se também uma análise da programação para os anos de 2007 a 2012.
Resumo:
Relatório de estágio de mestrado em Ensino de Matemática no 3.º Ciclo do Ensino Básico e no Ensino Secundário
Resumo:
This work presents a model and a heuristic to solve the non-emergency patients transport (NEPT) service issues given the new rules recently established in Portugal. The model follows the same principle of the Team Orienteering Problem by selecting the patients to be included in the routes attending the maximum reduction in costs when compared with individual transportation. This model establishes the best sets of patients to be transported together. The model was implemented in AMPL and a compact formulation was solved using NEOS Server. A heuristic procedure based on iteratively solving problems with one vehicle was presented, and this heuristic provides good results in terms of accuracy and computation time.
Resumo:
Relatório de estágio de mestrado em Ensino de Português no 3.º ciclo do Ensino Básico Secundário e do Ensino do Espanhol no Ensino Básico e Secundário
Resumo:
Tese de Doutoramento em Engenharia Industrial e de Sistemas (PDEIS)
Resumo:
Series: "Advances in intelligent systems and computing , ISSN 2194-5357, vol. 417"
Resumo:
Dissertação de mestrado em Engenharia Industrial
Resumo:
Dissertação de mestrado em Engenharia Mecatrónica
Resumo:
Tese de Doutoramento em Filosofia (área de especialização em Filosofia Moderna e Contemporânea).
Resumo:
A spreadsheet usually starts as a simple and singleuser software artifact, but, as frequent as in other software systems, quickly evolves into a complex system developed by many actors. Often, different users work on different aspects of the same spreadsheet: while a secretary may be only involved in adding plain data to the spreadsheet, an accountant may define new business rules, while an engineer may need to adapt the spreadsheet content so it can be used by other software systems.Unfortunately,spreadsheetsystemsdonotoffermodular mechanisms, and as a consequence, some of the previous tasks may be defined by adding intrusive “code” to the spreadsheet. In this paper we go through the design and implementation of an aspect-oriented language for spreadsheets so that users can work on different aspects of a spreadsheet in a modular way. For example, aspects can be defined in order to introduce new business rules to an existing spreadsheet, or to manipulate the spreadsheet data to be ported to another system. Aspects are defined as aspect-oriented program specifications that are dynamically woven into the underlying spreadsheet by an aspect weaver. In this aspect-oriented style of spreadsheet development, differentusers develop,orreuse,aspects withoutaddingintrusive code to the original spreadsheet. Such code is added/executed by the spreadsheet weaving mechanism proposed in this paper.
Resumo:
This paper introduces the metaphorism pattern of relational specification and addresses how specification following this pattern can be refined into recursive programs. Metaphorisms express input-output relationships which preserve relevant information while at the same time some intended optimization takes place. Text processing, sorting, representation changers, etc., are examples of metaphorisms. The kind of metaphorism refinement proposed in this paper is a strategy known as change of virtual data structure. It gives sufficient conditions for such implementations to be calculated using relation algebra and illustrates the strategy with the derivation of quicksort as example.
Resumo:
Tese de Doutoramento em Engenharia Civil.
Resumo:
Background and aim: A significant proportion of patients presenting with obscure gastrointestinal bleeding (OGIB) have negative small bowel capsule endoscopy (SBCE) examinations, and yet remain at risk of rebleeding. We aimed to evaluate whether a second-look review of SBCE images using flexible spectral color enhancement (FICE) may improve the detection of potentially bleeding lesions. Materials and methods: This was a retrospective, single-center study including consecutive patients with OGIB subjected to SBCE, whose standard white light examination was nondiagnostic. Each SBCE was reviewed using FICE 1. New findings were labeled as either P1 or P2 lesions according to bleeding potential. Patients were followed up to assess the incidence of rebleeding. Results: A total of 42 consecutive patients were included. Sixteen patients (38%) experienced rebleeding after a mean follow-up of 26 months. Review of SBCE images using FICE 1 enabled the identification of previously unrecognized P2 lesions, mainly angioectasias, in nine patients (21%) and P1 lesions, mainly erosions, in 26 patients (62%). Among patients who experienced rebleeding, 13/16 (81%) were diagnosed with P1 lesions with FICE 1 (P=0.043), whereas 3/16 (19%) had confirmed nondiagnostic SBCE and only 1/16 (6%) had newly diagnosed P2 (plus P1) lesions. An alternative source of bleeding outside the small bowel was found in only 3/16 (19%) patients with rebleeding during the follow-up. Conclusion: In a significant proportion of patients with OGIB, FICE 1 may detect potentially bleeding lesions previously missed under conventional white light SBCE. Review of nondiagnostic SBCE with FICE 1 may be a valuable strategy to obviate the need for further investigations in patients with OGIB, particularly for those who experience rebleeding.
Resumo:
Dissertação de mestrado em Ciências da Comunicação (área de especialização em Comunicação, Cidadania e Educação)
Resumo:
Relatório de estágio de mestrado em Ensino de Informática