6,133 research outputs found
Analysis in weak systems
The authors survey and comment their work on weak analysis. They describe the basic set-up of analysis in a feasible second-order theory and consider the impact of adding to it various forms of weak Konig's lemma. A brief discussion of the Baire categoricity theorem follows. It is then considered a strengthening of feasibility obtained (fundamentally) by the addition of a counting axiom and showed how it is possible to develop Riemann integration in the stronger system. The paper finishes with three questions in weak analysis.info:eu-repo/semantics/publishedVersio
Quantum Geometry and Quantum Gravity
The purpose of this contribution is to give an introduction to quantum
geometry and loop quantum gravity for a wide audience of both physicists and
mathematicians. From a physical point of view the emphasis will be on
conceptual issues concerning the relationship of the formalism with other more
traditional approaches inspired in the treatment of the fundamental
interactions in the standard model. Mathematically I will pay special attention
to functional analytic issues, the construction of the relevant Hilbert spaces
and the definition and properties of geometric operators: areas and volumes.Comment: To appear in the AIP Conference Proceedings of the XVI International
Fall Workshop on Geometry and Physics, Lisbon - Portugal, 5-8 September 200
Gestão de projectos de software com QFD e ABC
Dissertação de Mestrado em Sistemas de InformaçãoA situação actual de elevada concorrência comercial coloca múltiplos problemas
às organizações que fazem do software o seu Core Business, designadamente, o
controlo dos custos, a qualidade do software, a comunicação entre as
organizações e os clientes, o controlo da produtividade e a gestão do risco.
Ao longo do tempo foram desenvolvidas diversas abordagens à gestão de
projectos e, mais recentemente, à gestão de projectos de software, o que por
sua vez, despoletou muitas propostas metodológicas para o desenvolvimento do
software, concretamente, para gestão do ciclo de vida do software (Cascata,
Incremental, Evolutivo, etc.), sendo as mais actuais denominadas metodologias
ágeis (XP, Scrum, Crystal, etc.).
Acontece que as metodologias tradicionais, e mesmo as mais modernas, não
conseguiram, ainda, dar resposta aos principais problemas da gestão de
projectos de software. Estes problemas não são exclusivos desta área, pois em
todas as áreas da indústria, com maior ou menor intensidade, tem-se verificado
a existência destes mesmos problemas, para os quais foram sendo desenvolvidas
soluções, com bons resultados, designadamente o desdobramento da qualidade
(QFD), o custeio por actividades (ABC) e a sua mais recente evolução, o custeio
por actividades orientado ao tempo (Time-Driven ABC), a orçamentação por
actividades (ABB) e a correspondente versão temporal (Time-Driven ABB). Estas
são opções que, ainda, estão a dar os primeiros passos na indústria do software,
existindo muito poucos trabalhos sobre a sua aplicação, de forma integrada, à
gestão de projectos de software.
O principal objectivo desta dissertação é propor um Framework de Gestão de
Projectos de Software, que procure dar resposta aos problemas que inquietam as
organizações dedicadas à produção de software, mediante a aplicação do QFD, o
ABC/Time-Driven ABC e ABB/Time-Driven ABB, integrados por meio da
Engenharia do Valor (EV) ou de modelos de Programação Linear (LP) – que
funcionam como elementos agregadores do framework; para o controlo e
monitorização da qualidade e dos custos é proposta a utilização da gestão do
valor ganho (EVM).The current situation of high commercial competition, poses many problems for
organizations that make software its Core Business, in particular, control costs,
software quality, communication between organizations and customers,
productivity control and risk management.
Over time, were developed several approaches to the management of projects
and, more recently, to software project management, which in turn, triggered
many methodological proposals for software development, specifically for
managing the software life cycle (Waterfall, Incremental, Evolutionary, etc.), the
most current called agile methodologies (XP, Scrum, Crystal, etc.).
However, the traditional methods, and even the most modern, failed responding
to the main problems of software project management. These problems are not
exclusive from this area, because all areas of industry, with greater or lesser
intensity, record the existence of these same problems, for which solutions were
developed, with good results, including quality function deployment (QFD),
activity-based costing (ABC) and its latest developments, time-driven activitybased
costing (Time-Driven ABC), activity-based budgeting (ABB) and the
corresponding time-driven version (Time-Driven ABB). These are options that are
still taking the first steps in software industry, where is very little work on its
application, in an integrated way, to software project management.
The main objective of this dissertation is to propose a Software Project
Management Framework, which seeks to respond to the problems that concern
organizations dedicated to software production, by application of QFD,
ABC/Time-Driven ABC and ABB/Time-Driven ABB, integrated through Value
Engineering (EV) or models of Linear Programming (LP) - functioning as
framework aggregation elements; for the control and monitoring of quality and
costs is proposed the usage of earned value management (EVM)
The repellent role of institutions
The quality of care needs to provide greater attention and humanization to users, not only with regard to building empathy, but also with regard to overcoming institutional barriers that can operate as decisive factors for adherence and full access to services. These barriers are not only the result of institutional or socio-legal mechanisms that regulate the functioning of institutions; they also place themselves, above all, at the core of the relationships and interactions between professionals and users of the system.A qualidade do cuidado carece de maior atenção e humanização aos usuários, não apenas no que se refere à construção da empatia, mas também, em relação à superação de barreiras institucionais que podem funcionar, como fatores decisivos, para a adesão e o acesso pleno aos serviços. Essas barreiras, não são apenas resultado de mecanismos institucionais ou sociojurídicos que regulam o funcionamento das instituições; elas se colocam também, e, sobretudo, no cerne das relações e interações entre profissionais e usuários do sistema
Impactos da microbiota intestinal na saúde do lactente e da criança em curto e longo prazo
Background: There is sufficient evidence to support the importance of programming in the perinatal period and early life in the prevention or development of disease throughout life. Methods: Using as main references the lectures in ESPGHAN 2016 we made a literature review in the databases PubMed, Scielo and Google Scholar, the main objective is to show the importance of the impacts of the intestinal microbiota in the health of infants and children in the short and long term. Findings: It is documented from a fetal epigenetic imprinting by bacterial translocation during pregnancy, which provides the offspring one microbiome intrauterine pioneer. The presence of maternal components of the microflora of the fetus in utero is an important fetal immune system development supply leading to the induction of oral tolerance and respiratory allergens, but may also result in an unfavorable epigenetic factor in maternal obesity. Conclusions: It is clear and evident the importante of pediatricians in monitoring the development of the intestinal microbiota of children from intrauterine life. There are several windows of opportunity for the child’s programming intervention to minimize the impact on health in the short and long term
Contribuição para o estudo do bacalhau Gadus morhua
Mestrado em Biologia MarinhaTraceability is one of the most used tools to control fish origin and can
contribute to improve product quality and safety. However, until now the
methods used to identify the fish origin and its chemical and biological
characteristics involve the loss of commercial value of the fish sampled. It
should be noticed also that all these methods are too time-consuming and have
expensive costs for the manufacturing industry. This work was performed
based on the real needs of the manufacturing and drying industry of codfish
and in a perspective of developing an efficient and inexpensive method for
traceability analysis of dry salted codfish species using a PCR-DGGE
approach.A rastreabilidade é uma das ferramentas mais usadas no controlo de origem
de pescado e pode contribuir para a qualidade e segurança do produto.
Contudo, até à data, os métodos usados na identificação da origem do
pescado assim como das suas características químicas e biológicas envolve a
perda de valor comercial do pescado amostrado. Saliente-se também que
todos estes métodos são demasiado morosos e com custos dispendiosos para
a indústria de transformação. Este trabalho foi realizado com o sentido de
auscultar necessidades reais da indústria de transformação e secagem de
bacalhau e numa perspetiva de desenvolvimento de um método eficiente e
menos dispendioso de rastreabilidade de espécies de bacalhau salgado seco
recorrendo a uma estratégia de PCR-DGGE
- …