990 resultados para Lógica formal


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Pós-graduação em Saúde Coletiva - FMB

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A dimensional analysis of the classical equations related to the dynamics of vector-borne infections is presented. It is provided a formal notation to complete the expressions for the Ross' threshold theorem, the Macdonald's basic reproduction "rate" and sporozoite "rate", Garret-Jones' vectorial capacity and Dietz-Molineaux-Thomas' force of infection. The analysis was intended to provide a formal notation that complete the classical equations proposed by these authors.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A versatile and concise approach for the stereoselective synthesis of mono-, di-, and trihydroxylated indolizidines is presented in four to six steps from Cbz-prolinal and a diazophosphonate. The key steps involved a Wolff rearrangement, followed by a stereoselective dihydroxylation/epoxidation reaction, from an alpha,beta-unsaturated diazoketone. The strategy also permits extension to the synthesis of many natural hydroxylated indolizidine alkaloids as demonstrated in the formal synthesis of pumiliotoxin 251D.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Este artigo apresenta algumas reflexões em torno das formas e volumes das louças em faiança fina produzidas, e consumidas, na cidade de São Paulo, durante o período de 1913 e 1937, relacionando-as a alguns hábitos levados a cabo na Paulicéia, como o crescente costume do "cafezinho". Para tal, parte-se das análises do acervo gerado pelo resgate do sítio arqueológico Petybon, localizado na zona metropolitana da cidade, no bairro da Lapa, região da Água Branca/Vila Romana. Aponta-se que a diversidade de formas das louças dialoga com os projetos de modernidade pensados para São Paulo e as demandas dos consumidores cujas diversas práticas culturais influenciaram na produção das faianças finas pela Fábrica de Louças Santa Catharina e Indústrias Reunidas Fábricas Matarazzo.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

O desenvolvimento de um modelo formal da estratégia e da dinâmica do jogo constitui uma contribuição científica original no contexto dos esportes coletivos de invasão. O procedimento construtivo de uma estratégia definido no modelo é composto de cinco conjuntos de elementos ordenados em níveis hierárquicos, que suportam o desenho de estratégias capazes de orientar adequadamente uma equipe em um jogo. Uma vez definido o modelo da estratégia, a formalização da dinâmica do jogo permite sua contextualização no momento de sua aplicação para orientar os jogadores no confronto. O jogo teve sua estrutura decomposta e suas propriedades dinâmicas fundamentais foram definidas. Dessa forma, a modelagem da dinâmica da oposição e da estratégia se complementam, pois definem os momentos nos quais a informação estratégica é utilizada pelos jogadores. A estrutura formal apresentada inaugura uma linha de pesquisa que poderá contribuir para limitar a subjetividade na definição dos critérios de análise de futuros desenhos experimentais, levando à interpretações e comparações mais acuradas dos resultados dos estudos.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Máster Universitario en Sistemas Inteligentes y Aplicaciones Numéricas en Ingeniería (SIANI)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

[ES] Durante muchos años hemos visto el desarrollo de software como un proceso de ingeniería similar a los de producción y construcción, que siguen un rígido proceso de Análisis-Diseño-Implementación dirigido por documentación. Recientemente ha surgido forma radicalmente diferente de afrontar un proyecto, un nuevo paradigma llamado Agilismo, que valora más: individuos e interacciones sobre procesos y herramientas. Software funcionando sobre documentación extensiva. Colaboración con el cliente sobre negociación contractual. Respuesta ante el cambio sobre seguir un plan. ¿Una forma tan diferente de trabajar, no basada en documentación y calidad de procesos, no resulta excesivamente caótica? ¿Cómo puede funcionar?. El presente Trabajo de Fin de Grado es un estudio práctico de las Metodologías Ágiles y el Desarrollo Dirigido por Test, en el que, usando las mismas, se ha realizado una implementación parcial sobre un dominio elegido, analizando los resultados de forma cualitativa (mediante análisis comparativo y argumentación) y cuantitativa (a través de métricas del código). Al mismo tiempo, en la memoria se exponen los elementos que definen este nuevo paradigma, algunas herramientas de las que hace uso, y cómo se han integrado en la realización del proyecto. El objetivo de este TFG es, por tanto, al mismo tiempo de investigación y didáctico. Se pretende argumentar y dar respuesta al interrogante sobre la calidad del código usando estos nuevos modelos, y, simultáneamente, ser una guía de introducción para todos aquellos profesionales que deseen conocer esta metodología emergente.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

[ES] La finalización del Siglo XIX contextualiza la emergencia de un nuevo proceso de distribución y ajuste de esferas de influencias a escala mundial, en el cual la guerra hispano-cubana-norteamericana obra como anclaje del imperialismo moderno a partir de la irrupción de Estados Unidos en la escala continental. La prensa argentina constituye un actor observador del conflicto que fija postura y evalúa su significación de proyecciones internacionales. La propuesta de este artículo es analizar el tratamiento que el periódico The Buenos Aires Herald otorga al tema, como variable coyuntural del complejo entramado de intereses de las potencias imperialistas de la etapa.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Programa de doctorado: Ingeniería de Telecomunicación Avanzada.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Programa de doctorado: Praxiología motriz, educación física y entrenamiento deportivo

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Although rational models of formal planning have been seriously criticized by strategy literature, they not only remain a widely used organizational practice in private firms, but they have increasingly been entering public, professional organizations too, as part of public sector managerial reforms. This research addresses this apparent paradox, exploring the meaning of formal planning in public sector professional work. Curiously, this is an issue that remains under-investigated in the literature: the long debate on formal planning in strategy research devoted scant attention to its diffusion in the public sector, and public sector studies have scrutinized the introduction of other management tools in professional work, but very limitedly formal planning itself. In fact, little is known on the actual meaning of formal planning in public, professional services. This research is based upon a case of adoption of formal planning tools in a public hospital. Embracing a discourse analytical lens, it examines which formal planning discourse entered professional work, to what extent, and how professionals interpret it and engage with it in their practice. The analysis uncovers dynamics of social construction of meaning where, eventually, a formal planning discourse both shapes and is shaped by professional practice. In particular, it is found that formal planning rationality largely penetrated professional work, but not to the detriment of professional values. Morevover, formal planning ‘fails’ as a tool for rational decision making, but it takes up a knowledge work and a social value in professional work, as a tool for explicitation of action courses and for dialogue between otherwise more disconnected parts of the organization.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this thesis, the author presents a query language for an RDF (Resource Description Framework) database and discusses its applications in the context of the HELM project (the Hypertextual Electronic Library of Mathematics). This language aims at meeting the main requirements coming from the RDF community. in particular it includes: a human readable textual syntax and a machine-processable XML (Extensible Markup Language) syntax both for queries and for query results, a rigorously exposed formal semantics, a graph-oriented RDF data access model capable of exploring an entire RDF graph (including both RDF Models and RDF Schemata), a full set of Boolean operators to compose the query constraints, fully customizable and highly structured query results having a 4-dimensional geometry, some constructions taken from ordinary programming languages that simplify the formulation of complex queries. The HELM project aims at integrating the modern tools for the automation of formal reasoning with the most recent electronic publishing technologies, in order create and maintain a hypertextual, distributed virtual library of formal mathematical knowledge. In the spirit of the Semantic Web, the documents of this library include RDF metadata describing their structure and content in a machine-understandable form. Using the author's query engine, HELM exploits this information to implement some functionalities allowing the interactive and automatic retrieval of documents on the basis of content-aware requests that take into account the mathematical nature of these documents.