Concurrent tabling

In the past few years Tabling has emerged as a powerful logic programming model. The integration of concurrent features into the implementation of Tabling systems is demanded by need to use recently developed tabling applications within distributed systems, where a process has to respond concurrently to several requests. The support for sharing of tables among the concurrent threads of a Tabling process is a desirable feature, to allow one of Tabling’s virtues, the re-use of computations by other threads and to allow efficient usage of available memory. However, the incremental completion of tables which are evaluated concurrently is not a trivial problem. In this dissertation we describe the integration of concurrency mechanisms, by the way of multi-threading, in a state of the art Tabling and Prolog system, XSB. We begin by reviewing the main concepts for a formal description of tabled computations, called SLG resolution and for the implementation of Tabling under the SLG-WAM, the abstract machine supported by XSB. We describe the different scheduling strategies provided by XSB and introduce some new properties of local scheduling, a scheduling strategy for SLG resolution. We proceed to describe our implementation work by describing the process of integrating multi-threading in a Prolog system supporting Tabling, without addressing the problem of shared tables. We describe the trade-offs and implementation decisions involved. We then describe an optimistic algorithm for the concurrent sharing of completed tables, Shared Completed Tables, which allows the sharing of tables without incurring in deadlocks, under local scheduling. This method relies on the execution properties of local scheduling and includes full support for negation. We provide a theoretical framework and discuss the implementation’s correctness and complexity. After that, we describe amethod for the sharing of tables among threads that allows parallelism in the computation of inter-dependent subgoals, which we name Concurrent Completion. We informally argue for the correctness of Concurrent Completion. We give detailed performance measurements of the multi-threaded XSB systems over a variety of machines and operating systems, for both the Shared Completed Tables and the Concurrent Completion implementations. We focus our measurements inthe overhead over the sequential engine and the scalability of the system. We finish with a comparison of XSB with other multi-threaded Prolog systems and we compare our approach to concurrent tabling with parallel and distributed methods for the evaluation of tabling. Finally, we identify future research directions.

Outsourcing das actividades de marketing digital nas PME

Dissertação de Mestrado Apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Marketing Digital, sob orientação de Professor Doutor Freitas Santos

Aplicação da lei de Benford e a importância do controlo interno

Mestrado em Contabilidade

Indicadores de produção de resíduos hospitalares em Centros de Saúde

Actualmente, continuamos sem conhecer, com exactidão, o diagnóstico da situação portuguesa, em termos de quantitativos e de caracterização da produção de resíduos hospitalares (RH), essencialmente no que se refere à produção de RH dos grupos I e II, já que estes quantitativos são muitas vezes determinados por estimativas mal estruturadas, o que os torna pouco fiáveis. Esta falta de informação dificulta a opção por estratégias eficientes de gestão de RH. Com este trabalho pretende-se dar a conhecer a evolução temporal dos aspectos inerentes à gestão de RH nos dois centros de saúde do Concelho do Barreiro (Centro de Saúde do Barreiro e Centro de Saúde da Quinta da Lomba), determinar um conjunto de indicadores de produção de RH, por grupo I, II, III e IV, em função de determinados indicadores de prestação de serviços (i.e. número de consultas de especialidade, número de utentes e número de funcionários) e avaliar a sua, eventual, reprodutibilidade. Com base neste objectivo foi realizada a análise dos dados estatísticos referentes aos anos 2005 e 2006. Para 2007 realizaram-se 3 campanhas de amostragem (Março, Julho e Outubro), por forma a quantificar os RH (grupos I, II, III e IV) produzidos nas consultas e tratamentos das diferentes especialidades daquelas unidades prestadoras de cuidados de saúde (UPCS). Para estas campanhas foram seleccionadas duas Unidades de Saúde (Lavradio e Quinta da Lomba) e uma Extensão (Coina), uma vez que estas reúnem todos os tipos de especialidades, bem como diferentes tipos de utentes (meio urbano vs meio rural). A partir dos dados obtidos nestas campanhas foram encontrados indicadores de produção para cada grupo de RH, para o total e para cada especialidade (por funcionário para os grupos I+II e por utente para os grupos I+II, III e IV). Com a realização deste trabalho pode-se concluir que a produção dos RH depende do número e tipo de especialidades da UPCS, do número de consultas e, com grande expressão, da triagem efectuada. Pode-se também verificar que a maior produção de RH dos grupos I+II é proveniente, essencialmente, dos serviços administrativos e de apoio, mas também, das consultas médicas de Medicina Geral e Familiar, Saúde Infantil, Dermatologia, entre outros (entre 78-81%). No que respeita aos resíduos perigosos, a maioria tem origem nos cuidados de enfermagem, essencialmente na Sala de Tratamentos. Os resultados dos tratamentos estatísticos efectuados permitem concluir que os indicadores obtidos não são reprodutíveis, uma vez que para tal seria necessário um número de amostras superior ao admitido. Contudo, poderão servir de base de comparação para o preenchimento do Sistema Integrado de Registo Electrónico de Resíduos (SIRER) nas unidades de saúde estudadas e constituir um bom referencial para futuros trabalhos de investigação de doutoramento para os quais os meios materiais e o tempo disponível permitirão colmatar algumas das limitações identificadas na realização deste trabalho

Geopor na Web 2.0

Actas do Encontro sobre Web 2.0. Braga: CIEd

A Dobragem em Portugal: novos paradigmas na tradução audiovisual

En un país acostumbrado a una cultura en que domina el subtitulado, se ha podido observar, en la última década, una incremento de productos audiovisuales doblados tanto para cine como para televisión. El fenómeno del doblaje, aún poco conocido y estudiado, podrá llevar a un cambio de actitudes y de hábitos del público portugués. La necesidad de observar y analizar el doblaje en Portugal, así como la voluntad de comprender este fenómeno constituyen la bases de esta tesis, como resultado concreto de una investigación llevada a cabo en el ámbito de los Estudios de Traducción Audiovisual, con vista a la obtención del grado académico de Doctor en Traducción y Paratraducción, otorgado por la Universidad de Vigo. El presente trabajo tiene como punto de partida el macrocontexto de la Traducción Audiovisual, pero se focaliza en el doblaje y, secuencialmente, en la realidad del doblaje en Portugal y en el doblaje de productos infanto-juveniles, incidiendo sobre el humor como un microcosmo relevante, debido a su especificidad en términos lingüísticos y culturales para la observación de este fenómeno. Se comprende la Traducción Audiovisual como mediación lingüística, cultural y semiótica centrada en un producto – el texto audiovisual. Este es el resultado de la acción combinatoria de signos verbales, visuales y auditivos. Cada uno transporta un sentido único e insustituible para la comunicación, ganando nuevos significados en las varias combinaciones creadas por esos mismos signos. Este polimorfismo semiótico se concretiza a través de la conjugación singular y exclusiva de todos los elementos verbales y no verbales, consistiendo en algo más que una suma de factores. Es un nuevo texto que se construye en un momento y en un espacio determinados.En este contexto, sobresale un fenómeno que está ganando más relevancia como modalidad traductora en la televisión portuguesa: la aceptación “inconsciente” del doblaje, ya que los programas doblados con imagen real se están imponiendo gradualmente y el público infanto-juvenil tiene una mayor apetencia por estos productos, contribuyendo así en un consumo creciente del doblaje. Asistiendo a este cambio en los comportamientos, se cuestiona si estaremos frente a un nuevo tipo de espectador, más receptivo al doblaje, una vez que las nuevas generaciones, acostumbradas desde edad temprana a ver programas doblados, pueden cambiar sus preferencias y hábitos televisivos, adoptando una actitud más positiva hacia el doblaje. De esta manera, se considera la hipótesis de que el consumo masivo de productos audiovisuales doblados por los jóvenes actuales llevará a la aceptación del doblaje como medio preferencial de acceso al texto audiovisual, lato senso en el futuro. En este sentido y con el propósito de comprender y describir el fenómeno del doblaje en Portugal, conviene analizar varios aspectos, principalmente los de la oferta de productos audiovisuales doblados, del proceso técnico y profesional, de las preferencias de los receptores, del producto y de la traducción. Desde una perspectiva histórica, en la génesis de la opción por subtitular los productos audiovisuales extranjeros en Portugal, habría un intento de desincentivar el consumo de películas extranjeras y de impulsar la distribución de la producción nacional, que se adecuaba más a los valores del régimen de Salazar. Aún después del cambio de régimen, los subtítulos se mantuvieron como modalidad traductora dominante, que resulta de un proceso de habituación y aculturación que puede explicar el mantenimiento de las preferencias del público portugués durante décadas. Sin embargo, en Portugal se ha asistido al aumento gradual de la oferta televisiva y fílmica, sobre todo desde la introducción de los canales privados de señal abierta y por suscripción. La observación y contabilización de la oferta elevisiva reveló un número significativo de productos audiovisuales doblados en Portugal, dirigidos hacia los segmentos etarios más jóvenes. La hegemonía del doblaje con relación a los subtítulos, en lo que se refiere a la traducción de los productos infanto-juveniles extranjeros, condujo a un incremento del consumo de programas infanto-juveniles doblados. Ante esto y debido a la utilización del doblaje, se constató el dominio de la lengua portuguesa en la programación infanto-juvenil, lo que disminuye el contacto de este público con las lenguas extranjeras. Así se comprobó una tendencia a ampliar el ámbito de acción del doblaje en las emisiones televisivas, respondiendo a las cuotas de lengua portuguesa en la televisión en Portugal. Se imponía así ir remontarse hasta el origen del producto final y comprender cómo funciona el proceso técnico del doblaje. Para eso viví in loco la experiencia de la grabación en estudio, entrevisté personalmente y por correo electrónico a los profesionales del área, vi y analicé documentos de vídeo emitidos en la televisión y en Internet sobre esta actividad profesional. De la observación llevada a cabo en el terreno, se comprobó que el proceso de doblaje en Portugal es, sobre todo, una cadena secuencial de profesionales, que pasa por la intervención de distintos agentes en el texto doblado, no siendo únicamente responsabilidad del traductor. La versión final se somete a la manipulación lingüística de los directores de doblaje, a la adaptación sonora de los técnicos de sonido y a la interpretación de los actores, No se pudo comprobar el grado de responsabilidad de cada interviniente, dado que no fue posible acceder a las primeras versiones traducidas Se ha demostrado que el traductor es uno entre muchos agentes en el proceso técnico y que su intervención termina cuando entrega el texto traducido al director de doblaje. Considerando que en Portugal son los niños y los jóvenes los principales destinatarios del doblaje, se comprobó el perfil heterogéneo de este público, delimitado por franjas etarias y caracterizado por la especificidad de sus competencias lingüísticas, culturales y cognitivas, así como por la inexperiencia vivencial. Este hecho propicia la adopción del doblaje modalidad traductora preferencial para este segmento etario. Se confirmó, como resultado de la observación empírica efectuada, que la tipología de los programas televisivos infanto-juveniles en Portugal es poco diversificada y algo repetitiva, con gran prevalencia de la animación sobre la imagen real. Sin embargo, esta investigación reveló la existencia de un nuevo tipo de formato televisivo, con elevado potencial investigativo y que modificó los hábitos y las costumbres del público infanto-juvenil: las teencoms. Esta nueva tipología televisiva, compuesta por secuencias cortas de historias, por un ritmo acelerado de la acción y un discurso dotado de estructuras discursivas sencillas con un enfoque humorístico de fácil comprensión y asimilación por los espectadores más jóvenes, se emite doblada, contrariamente a la práctica imperante en Portugal de utilizar subtítulos en los programas extranjeros. Después de describir cómo ocurre y se materializa este fenómeno, hace falta comprender el porqué de este cambio de actitud. El doblaje de programas infanto-juveniles puede contener ‘ingredientes’ atractivos que cautivan a este nuevo público, haciéndolo una práctica natural y apetecible. Se cuestiona si los consumidores de programas infanto-juveniles doblados aceptan esta modalidad de TAV (Traducción Audiovisual) como natural e invisible, ya que estos presentan coherencia funcional y, así, garantizan niveles elevados de satisfacción. En este sentido, importa comprender cuáles son los factores de atracción y comprobar la eficacia del producto doblado. Uno de esos factores es el humor, como lo demuestra la cantidad de productos audiovisuales cómicos en Portugal destinados a las franjas etarias más jóvenes. Con relación a la traducción de textos humorísticos, dos ideas figuran en varios estudios: la dificultad en traducir el humor debido a las características lingüístico-culturales de cada comunidad, y la necesidad de recurrir a estrategias funcionalistas para que la comunidad pueda ser replicada en el producto audiovisual doblado. De la misma manera, considero que, por su subjetividad, la transferencia interlingüística del humor parece realmente una de las áreas más complejas para el traductor. Pero desde la óptica del investigador, se reveló como un objeto de análisis productivo y revelador del fenómeno del doblaje.

e-Business: estratégias e modelos

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação

O controlo interno no armazém de uma empresa do setor vitivinícola da Península de Setúbal

Mestrado em Contabilidade e Análise Financeira

Eficiência energética sistema de monitorização de consumos de energia

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores

Contabilidade criativa, ética e responsabilidade social das empresas

Doutoramento em Gestão

Interacções medicamentosas e definição de modelo de controlo de risco

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestrado Integrado em Engenharia Biomédica

Auditoria contínua: um novo paradigma de auditoria

O ambiente de mudança e de incerteza, as novas tecnologias de informação subjacentes aos actuais sistemas de informação, a desmaterialização dos documentos, a produção de informação financeira on-line em tempo real, o comércio electrónico e os escândalos financeiros (sobretudo a partir do início dos anos 2000) – tudo isto colocou em causa o modelo tradicional de auditoria. A auditoria contínua surge, há cerca de duas décadas, como um novo paradigma de auditoria susceptível de dar resposta às novas necessidades e ao novo contexto. É, pois, um tema recente, actualmente objecto de grande investigação e interesse, quer da parte de académicos quer de profissionais. O presente trabalho aborda as principais inovações da auditoria contínua, os seus métodos e processos específicos, concluindo que a auditoria irá caminhar certamente no sentido deste novo paradigma, apesar dos obstáculos e dificuldades que uma mudança de tal dimensão enfrentará, exigindo alterações substanciais ao nível da regulação da profissão e do estatuto do auditor.

Estudos estruturais e enzimáticos de proteínas envolvidas no metabolismo do enxofre: caracterização de enzimas isoladas de desulfovibrio sp. e Thiobacillus sp.

Dissertação apresentada para obtenção do Grau de Doutor em Química, especialidade Química Inorgânica, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia.

Avaliação de uma metodologia de tratamento de desenhos a pastel

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Conservação e Restauro Área de Documentos Gráficos

A importância das tecnologias de informção geográfica para o e-Citizen

O aparecimento e a banalização do uso da Internet, veio encurtar distâncias, democratizar o acesso à informação e expandir as relações humanas numa sociedade cada vez mais individualista. Através da Internet, as pessoas agrupam-se baseadas em interesses comuns e não por questões de proximidade geográfica, o que liberta a comunicação do constrangimento do espaço e do tempo. Na Sociedade da Informação, o ciberespaço desempenha hoje o papel que as cidades e as regiões desempenharam no desenvolvimento da sociedade industrial. O conhecimento é a base do crescimento económico e este organiza-se em torno de redes de fluxos informacionais. Parece assim haver lugar para uma (nova) geografia da sociedade da informação, um campo de investigação vasto e cativante, resultado da cada vez mais rápida alteração dos padrões de espaço e de tempo da sociedade moderna e da necessidade de cartografar os fenómenos informacionais. O uso das tecnologias de informação e em particular a Internet, bem como a aplicação de tecnologias de informação geográfica, para disponibilizar serviços públicos de uma maneira muito mais eficaz, quer em termos de operacionalidade, quer em termos de custo e eficiência, deverá ser uma prática corrente da administração pública. Uma correcta estratégia de e-Government traz benefícios a todos os agentes envolvidos: trabalhadores, agentes económicos, mas em especial aos cidadãos. Garantir a estes últimos, a disponibilidade de um acesso electrónico generalizado e um bom nível transaccional é a base do conceito e o objectivo do e-Citizen.