954 resultados para Lógica formal
Resumo:
Máster Universitario en Sistemas Inteligentes y Aplicaciones Numéricas en Ingeniería (SIANI)
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.
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.
Resumo:
Programa de doctorado: Ingeniería de Telecomunicación Avanzada.
Resumo:
Programa de doctorado: Praxiología motriz, educación física y entrenamiento deportivo
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.
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.
Resumo:
Formal thought disorder (FTD) is one of the main symptoms of schizophrenia. To date there are no whole brain volumetric studies investigating gray matter (GM) differences specifically associated with FTD. Here, we studied 20 right-handed schizophrenia patients that differed in the severity of formal thought disorder and 20 matched healthy controls, using voxel-based morphometry (VBM). The severity of FTD was measured with the Scale for the Assessment of Thought, Language, and Communication. The severity was negatively correlated with the GM volume of the left superior temporal sulcus, the left temporal pole, the right middle orbital gyrus and the right cuneus/lingual gyrus. Structural abnormalities specific for FTD were found to be unrelated to GM differences associated with schizophrenia in general. The specific GM abnormalities within the left temporal lobe may help to explain language disturbances included in FTD.
Resumo:
Structural and functional findings in schizophrenic patients with formal thought disorder (FTD) show abnormalities within left-side semantic areas. The present study investigate the network function of the involved brain regions as a function of FTD severity.
Resumo:
Objectives Our objective in this study was to compare assistance received by individuals in the United States and Sweden with characteristics associated with low, moderate, or high 1-year placement risk in the United States. Methods We used longitudinal nationally representative data from 4,579 participants aged 75 years and older in the 1992 and 1993 waves of the Medicare Current Beneficiary Survey (MCBS) and cross-sectional data from 1,379 individuals aged 75 years and older in the Swedish Aging at Home (AH) national survey for comparative purposes. We developed a logistic regression equation using U.S. data to identify individuals with 3 levels (low, moderate, or high) of predicted 1-year institutional placement risk. Groups with the same characteristics were identified in the Swedish sample and compared on formal and informal assistance received. Results Formal service utilization was higher in Swedish sample, whereas informal service use is lower overall. Individuals with characteristics associated with high placement risk received more formal and less informal assistance in Sweden relative to the United States. Discussion Differences suggest formal services supplement informal support in the United States and that formal and informal services are complementary in Sweden.