Development of a poly(L-Lactic acid) based drug release system

Dissertação de mestrado em Biofísica e Bionanossistemas

A UML-based approach for modeling industrial control applications

The main purpose of the poster is to present how the Unified Modeling Language (UML) can be used for diagnosing and optimizing real industrial production systems. By using a car radios production line as a case study, the poster shows the modeling process that can be followed during the analysis phase of complex control applications. In order to guarantee the continuity mapping of the models, the authors propose some guidelines to transform the use cases diagrams into a single object diagram, which is the main diagram for the next phases of the development.

Verificación Formal de Sistemas basada Formal Software Verification based on Automated Analysisen Análisis Automático.

Identificación y caracterización del problema. Uno de los problemas más importantes asociados con la construcción de software es la corrección del mismo. En busca de proveer garantías del correcto funcionamiento del software, han surgido una variedad de técnicas de desarrollo con sólidas bases matemáticas y lógicas conocidas como métodos formales. Debido a su naturaleza, la aplicación de métodos formales requiere gran experiencia y conocimientos, sobre todo en lo concerniente a matemáticas y lógica, por lo cual su aplicación resulta costosa en la práctica. Esto ha provocado que su principal aplicación se limite a sistemas críticos, es decir, sistemas cuyo mal funcionamiento puede causar daños de magnitud, aunque los beneficios que sus técnicas proveen son relevantes a todo tipo de software. Poder trasladar los beneficios de los métodos formales a contextos de desarrollo de software más amplios que los sistemas críticos tendría un alto impacto en la productividad en tales contextos. Hipótesis. Contar con herramientas de análisis automático es un elemento de gran importancia. Ejemplos de esto son varias herramientas potentes de análisis basadas en métodos formales, cuya aplicación apunta directamente a código fuente. En la amplia mayoría de estas herramientas, la brecha entre las nociones a las cuales están acostumbrados los desarrolladores y aquellas necesarias para la aplicación de estas herramientas de análisis formal sigue siendo demasiado amplia. Muchas herramientas utilizan lenguajes de aserciones que escapan a los conocimientos y las costumbres usuales de los desarrolladores. Además, en muchos casos la salida brindada por la herramienta de análisis requiere cierto manejo del método formal subyacente. Este problema puede aliviarse mediante la producción de herramientas adecuadas. Otro problema intrínseco a las técnicas automáticas de análisis es cómo se comportan las mismas a medida que el tamaño y complejidad de los elementos a analizar crece (escalabilidad). Esta limitación es ampliamente conocida y es considerada crítica en la aplicabilidad de métodos formales de análisis en la práctica. Una forma de atacar este problema es el aprovechamiento de información y características de dominios específicos de aplicación. Planteo de objetivos. Este proyecto apunta a la construcción de herramientas de análisis formal para contribuir a la calidad, en cuanto a su corrección funcional, de especificaciones, modelos o código, en el contexto del desarrollo de software. Más precisamente, se busca, por un lado, identificar ambientes específicos en los cuales ciertas técnicas de análisis automático, como el análisis basado en SMT o SAT solving, o el model checking, puedan llevarse a niveles de escalabilidad superiores a los conocidos para estas técnicas en ámbitos generales. Se intentará implementar las adaptaciones a las técnicas elegidas en herramientas que permitan su uso a desarrolladores familiarizados con el contexto de aplicación, pero no necesariamente conocedores de los métodos o técnicas subyacentes. Materiales y métodos a utilizar. Los materiales a emplear serán bibliografía relevante al área y equipamiento informático. Métodos. Se emplearán los métodos propios de la matemática discreta, la lógica y la ingeniería de software. Resultados esperados. Uno de los resultados esperados del proyecto es la individualización de ámbitos específicos de aplicación de métodos formales de análisis. Se espera que como resultado del desarrollo del proyecto surjan herramientas de análisis cuyo nivel de usabilidad sea adecuado para su aplicación por parte de desarrolladores sin formación específica en los métodos formales utilizados. Importancia del proyecto. El principal impacto de este proyecto será la contribución a la aplicación práctica de técnicas formales de análisis en diferentes etapas del desarrollo de software, con la finalidad de incrementar su calidad y confiabilidad. A crucial factor for software quality is correcteness. Traditionally, formal approaches to software development concentrate on functional correctness, and tackle this problem basically by being based on well defined notations founded on solid mathematical grounds. This makes formal methods better suited for analysis, due to their precise semantics, but they are usually more complex, and require familiarity and experience with the manipulation of mathematical definitions. So, their acceptance by software engineers is rather restricted, and formal methods applications have been confined to critical systems. Nevertheless, it is obvious that the advantages that formal methods provide apply to any kind of software system. It is accepted that appropriate software tool support for formal analysis is essential, if one seeks providing support for software development based on formal methods. Indeed, some of the relatively recent sucesses of formal methods are accompanied by good quality tools that automate powerful analysis mechanisms, and are even integrated in widely used development environments. Still, most of these tools either concentrate on code analysis, and in many cases are still far from being simple enough to be employed by software engineers without experience in formal methods. Another important problem for the adoption of tool support for formal methods is scalability. Automated software analysis is intrinsically complex, and thus techniques do not scale well in the general case. In this project, we will attempt to identify particular modelling, design, specification or coding activities in software development processes where to apply automated formal analysis techniques. By focusing in very specific application domains, we expect to find characteristics that might be exploited to increase the scalability of the corresponding analyses, compared to the general case.

Socially integrative customer service (SICS) : identification of a symbiotic link with corporate social responsibility

The aim of this study is to answer the research question "can customer service be revitalised through identification of a symbiotic relationship with social responsibility, linked by people-centricity?" The concept of customer service remains weak and there has been a lack of attention to the underlying purpose: "to serve". To strengthen the theory the humanistic nature of the concept should be revised. Fundamental to this argument is the question of who is a customer? To fully discover the scope of the concept requires a broader or more specifically a societal view. Herein the theme of social corporate responsibility is critical to the recognition of the customer service network (CSN). This suggestion in isolation is useful but structural. Another aspect must be identified to validate the "service" ethos. Through this reasoning the relational theme (RT) provides for a mechanism for this to be achieved. Therefore the theory of socially integrative customer service is based on broadening and deepening the customer service concept. This study is illustrated in the context of the grocery retail sector in the Republic of Ireland. Four case studies are presented, three based on company-wide and in-store research and a fourth is a cross-company study. Results across companies indicate acceptance of the research question and show evidence to validate SICS. There is scope to further develop SICS and to build on the CSN and the RT. Finally the concept of SICS provides for a diverse basis for further research. This theory does no purport to cause a paradigm shift but does add innovation to the body of knowledge. As is the hallmark of good theoretical development, the author has aimed to keep the philosophy simple.

Fertilizer policy in the developing countries: the case of Brazil

This paper deals initially with the role of mineral fertilizers in increasing agricultural production: the relationship between the two variables is illustrated within global, regional national and local contexts. The pattern and trends in fertilizer usage in Brazil are presented next, namely: increase in consumption in the period 1950/72; regional distribution; consumption as related to crops and cultivated land. It is shown that in less than a quarter or century fertilizer use has increased in the country nearly 12 fold, whereas world consumption was raised 7 fold, thus exceeding estimates based in several criteria. Steps taken to secure the raise in fertilizer consumption above the historical trend are discussed: research experience for outlining fertilization recomendations; the transfer of the knowledge to the farmer by the extension work both official and private; the credit policy and special incentives for the purchase of fertilizer; the national policy for minumum proces of agricultural products; the implantation of a national fertilizer industry. It is considered that the Brazilian experience adapted to similar local conditions in other developing countries, presents a possibility for achieving beneficial results without inflationary reflexes in the economy.

The Barcelonnettes: an example of network-entrepreneurs in XIX century Mexico. An explanation based on a theory of bounded rational choice with social embeddedness

A theory of network-entrepreneurs or "spin-off system" is presented in this paper for the creation of firms based on the community’s social governance. It is argued that firm’s capacity for accumulation depends on the presence of employees belonging to the same social/ethnic group with expectations of "inheriting" the firm and becoming entrepreneurs once they have been selected for their merits and loyalty towards their patrons. Such accumulation is possible because of the credibility of the patrons’ promises of supporting newcomers due to high social cohesion and specific social norms prevailing in the community. This theory is exemplified through the case of the Barcelonnettes, a group of immigrants from the Alps in the South of France (Provence) who came to Mexico in the XIX Century.

A foundation model for marxian breakdown theories based on a new falling rate of profit mechanism (Long version)

The paper presents a foundation model for Marxian theories of the breakdown of capitalism based on a new falling rate of profit mechanism. All of these theories are based on one or more of "the historical tendencies": a rising capital-wage bill ratio, a rising capitalist share and a falling rate of profit. The model is a foundation in the sense that it generates these tendencies in the context of a model with a constant subsistence wage. The newly discovered generating mechanism is based on neo-classical reasoning for a model with land. It is non-Ricardian in that land augmenting technical progress can be unboundedly rapid. Finally, since the model has no steady state, it is necessary to use a new technique, Chaplygin's method, to prove the result.

A foundation model for marxian breakdown theories based on a new falling rate of profit mechanism.

The paper presents a foundation model for Marxian theories of the breakdown of capitalism based on a new falling rate of profit mechanism. All of these theories are based on one or more of ?the historical tendencies?: a rising capital-wage bill ratio, a rising capitalist share and a falling rate of profit. The model is a foundation in the sense that it generates these tendencies in the context of a model with a constant subsistence wage. The newly discovered generating mechanism is based on neo-classical reasoning for a model with land. It is non-Ricardian in that land augmenting technical progress can be unboundedly rapid. Finally, since the model has no steady state, it is necessary to use a new technique, Chaplygin?s method, to prove the result.

Methodological note about the determination of key sectors in final energy consumption: a preliminary approach to the Spanish case

In this paper we analyze the determination of "key" sectors in the final energy consumption. We approach this issue from an input-output perspective and we design a methodology based on the elasticities of the demands of final energy consumption. As an exercise, we apply the proposed methodology to the Spanish economy. The analysis allows us to indicate the greater or lesser relevance of the different sectors in the consumption of final energy, pointing out which sectors deserve greater attention in the Spanish case and showing the implications for energy policy.

Cubic spline population density functions and subcentre delimitation. The case of Barcelona

The presence of subcentres cannot be captured by an exponential function. Cubic spline functions seem more appropriate to depict the polycentricity pattern of modern urban systems. Using data from Barcelona Metropolitan Region, two possible population subcentre delimitation procedures are discussed. One, taking an estimated derivative equal to zero, the other, a density gradient equal to zero. It is argued that, in using a cubic spline function, a delimitation strategy based on derivatives is more appropriate than one based on gradients because the estimated density can be negative in sections with very low densities and few observations, leading to sudden changes in estimated gradients. It is also argued that using as a criteria for subcentre delimitation a second derivative with value zero allow us to capture a more restricted subcentre area than using as a criteria a first derivative zero. This methodology can also be used for intermediate ring delimitation.

Technological trampolines for new venture creation in Catalonia: the case of the University of Girona

Recent trends in technology transfer show an intensification of spin-off creation as a modality of university research commercialisation, complementary to the conventional ones, contract research and licensing. In this paper we analyse the evolution, objectives, resources and activities of a specialised unit –Technological Trampoline (TT) - in charge of new venture creation at the University of Girona (Catalonia-Spain). Based on two theoretical frameworks, Resource-based-view and Institutional Theory, we adopt a multi-dimensional approach to study the strategy of spinning-off new ventures at the University of Girona in terms of resources and activities, how this process is organised and if the outputs fit with this UdG’s objectives and the local environment. Our main contribution is an in-depth analysis of the spin-off creation unit with special emphasis on its variety of resources and activities. The results have a series of implications and recommendations at both university and TT level.

An analysis of strategic paths through the decomposition of total factor productivity: the case of Spanish savings banks

The Spanish savings banks attracted quite a considerable amount of interest within the scientific arena, especially subsequent to the disappearance of the regulatory constraints during the second decade of the 1980s. Nonetheless, a lack of research identified with respect to mainstream paths given by strategic groups, and the analysis of the total factor productivity. Therefore, on the basis of the resource-based view of the firm and cluster analysis, we make use of changes in structure and performance ratios in order to identify the strategic groups extant in the sector. We attain a threeways division, which we link with different input-output specifications defining strategic paths. Consequently, on the basis of these three dissimilar approaches we compute and decompose a Hicks-Moorsteen total factor productivity index. Obtained results put forward an interesting interpretation under a multi-strategic approach, together with the setbacks of employing cluster analysis within a complex strategic environment. Moreover, we also propose an ex-post method of analysing the outcomes of the decomposed total factor productivity index that could be merged with non-traditional techniques of forming strategic groups, such as cognitive approaches.

The EU as a security provider in its neighbourhood: the case of non-proliferation of WMD in the Mediterranean area

As a consequence of the terrorist attacks of 9/11 and the US-led war against Iraq, WMD and their proliferation have become a central element of the EU security agenda. In December 2003, the European Council adopted even a EU Strategy against Proliferation of WMD. The approach adopted in this Strategy can be largely described as a ‘cooperative security provider’ approach and is based on effective multilateralism, the promotion of a stable international and regional environment and the cooperation with key partners. The principal objective of this paper is to examine in how far the EU has actually implemented the ‘cooperative security provider’ approach in the area which the Non-proliferation Strategy identifies as one of its priorities – the Mediterranean. Focusing on the concept of security interdependence, the paper analyses first the various WMD dangers with which the EU is confronted in the Mediterranean area. Afterwards, it examines how the EU has responded to these hazards in the framework of the Barcelona process and, in particular, the new European Neighbourhood Policy. It is argued that despite its relatively powerful rhetoric, the EU has largely failed, for a wide range of reasons, to apply effectively its non-proliferation approach in the Mediterranean area and, thus, to become a successful security provider.

Daily physical activities and sports in adult survivors of childhood cancer and healthy controls: a population-based questionnaire survey.

BACKGROUND: Healthy lifestyle including sufficient physical activity may mitigate or prevent adverse long-term effects of childhood cancer. We described daily physical activities and sports in childhood cancer survivors and controls, and assessed determinants of both activity patterns. METHODOLOGY/PRINCIPAL FINDINGS: The Swiss Childhood Cancer Survivor Study is a questionnaire survey including all children diagnosed with cancer 1976-2003 at age 0-15 years, registered in the Swiss Childhood Cancer Registry, who survived ≥5 years and reached adulthood (≥20 years). Controls came from the population-based Swiss Health Survey. We compared the two populations and determined risk factors for both outcomes in separate multivariable logistic regression models. The sample included 1058 survivors and 5593 controls (response rates 78% and 66%). Sufficient daily physical activities were reported by 52% (n = 521) of survivors and 37% (n = 2069) of controls (p<0.001). In contrast, 62% (n = 640) of survivors and 65% (n = 3635) of controls reported engaging in sports (p = 0.067). Risk factors for insufficient daily activities in both populations were: older age (OR for ≥35 years: 1.5, 95CI 1.2-2.0), female gender (OR 1.6, 95CI 1.3-1.9), French/Italian Speaking (OR 1.4, 95CI 1.1-1.7), and higher education (OR for university education: 2.0, 95CI 1.5-2.6). Risk factors for no sports were: being a survivor (OR 1.3, 95CI 1.1-1.6), older age (OR for ≥35 years: 1.4, 95CI 1.1-1.8), migration background (OR 1.5, 95CI 1.3-1.8), French/Italian speaking (OR 1.4, 95CI 1.2-1.7), lower education (OR for compulsory schooling only: 1.6, 95CI 1.2-2.2), being married (OR 1.7, 95CI 1.5-2.0), having children (OR 1.3, 95CI 1.4-1.9), obesity (OR 2.4, 95CI 1.7-3.3), and smoking (OR 1.7, 95CI 1.5-2.1). Type of diagnosis was only associated with sports. CONCLUSIONS/SIGNIFICANCE: Physical activity levels in survivors were lower than recommended, but comparable to controls and mainly determined by socio-demographic and cultural factors. Strategies to improve physical activity levels could be similar as for the general population.

Safe dissection of the distally based anterolateral thigh flap.

Background The distally based anterolateral thigh (ALT) flap is an interesting reconstructive solution for complex soft tissue defects of the knee. In spite of a low donor site morbidity and wide covering surface as well as arch of rotation, it has never gained popularity among reconstructive surgeons. Venous congestion and difficult flap dissection in the presence of a variable anatomy of the vascular pedicle are the possible reasons.Methods An anatomical study of 15 cadaver legs was performed to further clarify the blood supply of the distally based ALT. Our early experience with the use of preoperative angiography and a safe flap design modification that avoids distal intramuscular skeletonization of the vascular pedicle and includes a subcutaneous strip ranging from the distal end of the flap to the pivot point is presented.Results The distally based ALT presents a constant and reliable retrograde vascular contribution from the superior genicular artery. Preoperative angiography reliably identified and avoided critical Shieh Type II pedicled flaps. The preservation of a subcutaneous strip ranging from the distal flap end to the upper knee was associated with the absence of venous congestion in a short case series.Conclusions Preoperative angiography and a flap design modification are proposed to allow the safe transfer of the distally based ALT to reconstruct soft tissue defects of the knee.