19 resultados para Moduli in modern mapping theory
Resumo:
ABSTRACT - The Portuguese National Health Service (SNS), a universal, centralized and public owned health care system, exhibits an extraordinary record of equalization in the access to health care and health gains in the late thirty years. However, the most recent history of the Portuguese health reform is pervaded by the influence of decentralization and privatization. Decentralization has been present in the system design since the 1976 Constitution, at least in theory. Private ownership of health care suppliers and out-ofpocket expenditures, on the financing side, both have a long tradition of relevance in the NHS mix of services. The initial aim of this study was to demonstrate expected parallelism between health reforms and public administration reforms, where a common pattern of joint decentralization and privatization was observed in many countries. Observers would be tempted to consider these two movements as common signs of new public management (NPM) developments. They have common objectives, are established around the core concepts of gains in effectiveness, efficiency, equity and quality of public services, through improved accountability. However, in practice, in Portugal, each movement was developed in a totally separated way. Besides those rooted in the NPM theory, there are few visible signs of association between decentralization and privatization. Decentralization, in the Portuguese SNS, was never intended to be followed by a privatization movement; it was seen merely as a public administration tool. Private management of health services, as stated in the most recent SNS legislation, was never intended to have decentralization as a condition or as a consequence. Paradoxically, in the Portuguese context, it has led invariably to centralized control. While presented as separate instruments for a common purpose, the association between decentralization and privatization still lacks a convincing demonstration. Many common health care management stereotypes remain to be checked out if we want to look for eventual associations between these two organizational tools.
Resumo:
Neurological disorders are a major concern in modern societies, with increasing prevalence mainly related with the higher life expectancy. Most of the current available therapeutic options can only control and ameliorate the patients’ symptoms, often be-coming refractory over time. Therapeutic breakthroughs and advances have been hampered by the lack of accurate central nervous system (CNS) models. The develop-ment of these models allows the study of the disease onset/progression mechanisms and the preclinical evaluation of novel therapeutics. This has traditionally relied on genetically engineered animal models that often diverge considerably from the human phenotype (developmentally, anatomically and physiologically) and 2D in vitro cell models, which fail to recapitulate the characteristics of the target tissue (cell-cell and cell-matrix interactions, cell polarity). The in vitro recapitulation of CNS phenotypic and functional features requires the implementation of advanced culture strategies that enable to mimic the in vivo struc-tural and molecular complexity. Models based on differentiation of human neural stem cells (hNSC) in 3D cultures have great potential as complementary tools in preclinical research, bridging the gap between human clinical studies and animal models. This thesis aimed at the development of novel human 3D in vitro CNS models by integrat-ing agitation-based culture systems and a wide array of characterization tools. Neural differentiation of hNSC as 3D neurospheres was explored in Chapter 2. Here, it was demonstrated that human midbrain-derived neural progenitor cells from fetal origin (hmNPC) can generate complex tissue-like structures containing functional dopaminergic neurons, as well as astrocytes and oligodendrocytes. Chapter 3 focused on the development of cellular characterization assays for cell aggregates based on light-sheet fluorescence imaging systems, which resulted in increased spatial resolu-tion both for fixed samples or live imaging. The applicability of the developed human 3D cell model for preclinical research was explored in Chapter 4, evaluating the poten-tial of a viral vector candidate for gene therapy. The efficacy and safety of helper-dependent CAV-2 (hd-CAV-2) for gene delivery in human neurons was evaluated, demonstrating increased neuronal tropism, efficient transgene expression and minimal toxicity. The potential of human 3D in vitro CNS models to mimic brain functions was further addressed in Chapter 5. Exploring the use of 13C-labeled substrates and Nucle-ar Magnetic Resonance (NMR) spectroscopy tools, neural metabolic signatures were evaluated showing lineage-specific metabolic specialization and establishment of neu-ron-astrocytic shuttles upon differentiation. Chapter 6 focused on transferring the knowledge and strategies described in the previous chapters for the implementation of a scalable and robust process for the 3D differentiation of hNSC derived from human induced pluripotent stem cells (hiPSC). Here, software-controlled perfusion stirred-tank bioreactors were used as technological system to sustain cell aggregation and dif-ferentiation. The work developed in this thesis provides practical and versatile new in vitro ap-proaches to model the human brain. Furthermore, the culture strategies described herein can be further extended to other sources of neural phenotypes, including pa-tient-derived hiPSC. The combination of this 3D culture strategy with the implemented characterization methods represents a powerful complementary tool applicable in the drug discovery, toxicology and disease modeling.
Resumo:
Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.
Resumo:
It’s impossible to neglect the changes that internet and e-commerce caused in the retail sector, by increasing customers’ expectations and forcing retailers to adapt the business to the new digital era. Internet is characterized by the increase in accessibility to everyone, which can be good or not so. For instance, luxury products rely on the sense of exclusivity, instead of being accessible to everyone. Hence, internet represents a challenge for luxury brands once, although they are able to provide a fullness service to their customers, they need to maintain the exclusiveness in which luxury is sustained. Consequently, the appearance of omni-channel was more than a challenge for the luxury sector, in particular, given the need to provide a full integrated experience through different channels. The aim of this dissertation is to find out how important is omni-channel, even in the luxury industry, and how it’s actually implemented based on the case of one of the most successful companies on luxury fashion e-commerce industry – Farfetch. Even though the company started in London, its founder is a Portuguese entrepreneur, and it’s in Portugal where most of its employees work, divided in two offices – Guimarães e Porto. Therefore, a literature review was written on relevant concepts and ideas about luxury, e-commerce and the different channels’ approaches. There were formulated five propositions that were after discussed according to the information gathered about the company and its strategies. In the end, it was possible to identify which propositions are in accordance with theory and which are not, as well as understand which are the most important strategies and trends about omni-channel in the luxury fashion e-commerce sector.