O Arsenal Farmacêutico da Antiguidade Clássica e da Idade Média

Projeto de Pós-Graduação/Dissertação apresentado à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Mestre em Ciências Farmacêuticas

Engenharia de Tecidos na substituição de tecido ósseo

Projeto de Pós-Graduação/Dissertação apresentado à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Mestre em Ciências Farmacêuticas

Efficient Hash-Consing of Recursive Types

Efficient storage of types within a compiler is necessary to avoid large blowups in space during compilation. Recursive types in particular are important to consider, as naive representations of recursive types may be arbitrarily larger than necessary through unfolding. Hash-consing has been used to efficiently store non-recursive types. Deterministic finite automata techniques have been used to efficiently perform various operations on recursive types. We present a new system for storing recursive types combining hash-consing and deterministic finite automata techniques. The space requirements are linear in the number of distinct types. Both update and lookup operations take polynomial time and linear space and type equality can be checked in constant time once both types are in the system.

Cuckoo: a Language for Implementing Memory- and Thread-safe System Services

This paper is centered around the design of a thread- and memory-safe language, primarily for the compilation of application-specific services for extensible operating systems. We describe various issues that have influenced the design of our language, called Cuckoo, that guarantees safety of programs with potentially asynchronous flows of control. Comparisons are drawn between Cuckoo and related software safety techniques, including Cyclone and software-based fault isolation (SFI), and performance results suggest our prototype compiler is capable of generating safe code that executes with low runtime overheads, even without potential code optimizations. Compared to Cyclone, Cuckoo is able to safely guard accesses to memory when programs are multithreaded. Similarly, Cuckoo is capable of enforcing memory safety in situations that are potentially troublesome for techniques such as SFI.

Computing explanations for interactive constraint-based systems

Constraint programming has emerged as a successful paradigm for modelling combinatorial problems arising from practical situations. In many of those situations, we are not provided with an immutable set of constraints. Instead, a user will modify his requirements, in an interactive fashion, until he is satisfied with a solution. Examples of such applications include, amongst others, model-based diagnosis, expert systems, product configurators. The system he interacts with must be able to assist him by showing the consequences of his requirements. Explanations are the ideal tool for providing this assistance. However, existing notions of explanations fail to provide sufficient information. We define new forms of explanations that aim to be more informative. Even if explanation generation is a very hard task, in the applications we consider, we must manage to provide a satisfactory level of interactivity and, therefore, we cannot afford long computational times. We introduce the concept of representative sets of relaxations, a compact set of relaxations that shows the user at least one way to satisfy each of his requirements and at least one way to relax them, and present an algorithm that efficiently computes such sets. We introduce the concept of most soluble relaxations, maximising the number of products they allow. We present algorithms to compute such relaxations in times compatible with interactivity, achieving this by indifferently making use of different types of compiled representations. We propose to generalise the concept of prime implicates to constraint problems with the concept of domain consequences, and suggest to generate them as a compilation strategy. This sets a new approach in compilation, and allows to address explanation-related queries in an efficient way. We define ordered automata to compactly represent large sets of domain consequences, in an orthogonal way from existing compilation techniques that represent large sets of solutions.

Legislative policy, law and competitiveness: a mysterious and difficult relationship in the EU

The Lisbon Agenda places Europe in a uniquely difficult position globally, most particularly as an example of a social and regulatory experiment which many consider to be doomed to failure. The drive towards economic competitiveness has led to a focus on regulation and its effect on entrepreneurship, productivity and business growth but assessing this relationship is complex for a number of reasons. First, not all regulatory effects can be predicted precisely in relation to behavioural outcomes. Path-dependency scholars have also demonstrated that the regulation will have varying effects depending on context. Second, theoretically it is clear that many non-regulatory factors may contribute to economic and competitive success. Third, there is evidence of internal conflict within the Commission as to the relative importance of the Lisbon goals. Finally, the experience of distinct Member States presents challenges both for assessment and prescriptive remedies. The Commission has estimated that the cost of regulatory compliance obligations on businesses in the EU is between 4% and 6% of gross domestic product and that 15% of this figure is avoidable 'red tape' (the term used specifically to signify unnecessary compliance burdens). This article proposes to assess the likely outcomes of de-regulation as we rapidly approach 2010, the year for attainment of the Lisbon goals.

The gut microbiota as a contributing factor to antipsychotic-induced weight gain and metabolic dysfunction

Schizophrenia represents one of the world’s most devastating illnesses due to its often lifelong course and debilitating nature. The treatment of schizophrenia has vastly improved over recent decades with the discovery of several antipsychotic compounds; however these drugs are not without adverse effects that must be addressed to maximize their therapeutic value. Newer, atypical, antipsychotics are associated with a compilation of serious metabolic side effects including weight gain, insulin resistance, fat deposition, glucose dysregulation and ensuing co-morbidities such as type II diabetes mellitus. The mechanisms underlying these side effects remain to be fully elucidated and adequate interventions are lacking. Further understanding of the factors that contribute these side effects is therefore required in order to develop effective adjunctive therapies and to potentially design antipsychotic drugs in the future with reduced impact on the metabolic health of patients. We investigated if the gut microbiota represented a novel mechanism contributing to the metabolic dysfunction associated with atypical antipsychotics. The gut microbiota comprises the bacteria that exist symbiotically within the gastrointestinal tract, and has been shown in recent years to be involved in several aspects of energy balance and metabolism. We have demonstrated that administration of certain antipsychotics in the rat results in an altered microbiota profile and, moreover, that the microbiota is required for the full scale of metabolic dysfunction to occur. We have further shown that specific antibiotics can attenuate certain aspects of olanzapine and risperidone–induced metabolic dysfunction, in particular fat deposition and adipose tissue inflammation. Mechanisms underlying this novel link appear to involve energy utilization via expression of lipogenic genes as well as reduced inflammatory tone. Taken together, these data indicate that the gut microbiota is an important factor involved in the myriad of metabolic complications associated with antipsychotic therapy. Furthermore, these data support the future investigation of microbial-based therapeutics for not only antipsychotic-induced weight gain but also for tackling the global obesity epidemic.

A qualitative study of trends in patient preferences for the management of partial dentition

Objective: To identify factors influencing attitudes of partially dentate adults towards dental treatment in Ireland. Background: People are retaining more teeth later in life than ever before. Management of partially dentate older adults will be a major requirement for the future and it is important to determine factors which may influence patients’ attitudes to care. Methods: Subjects: A purposive sample of 22 partially dentate patients was recruited; 12 women and 12 men, ranging in age from 45 to 75 years. Data Collection: Semi-structured individual interviews. Results: Dental patients have increasing expectations in relation to (i) a more sophisticated approach to the management of missing teeth and (ii) their right to actively participate in decision making regarding the management of their tooth loss. There is some evidence of a cohort effect with younger patients (45–64 years) having higher expectations. Conclusions: The evidence of a cohort effect within this study in relation to higher patient expectations indicates that both contemporary and future patients are likely to seek a service based on conservation and restoration of missing teeth by fixed prostheses.

Estimating equilibrium models of sorting across locations

While there is growing interest in measuring the size and scope of local spillovers, it is well understood that such spillovers cannot be distinguished from unobservable local attributes using solely the observed location decisions of individuals or firms. We propose an empirical strategy for recovering estimates of spillovers in the presence of unobserved local attributes for a broadly applicable class of equilibrium sorting models. Our approach relies on an IV strategy derived from the internal logic of the sorting model itself. We show practically how the strategy is implemented, provide intuition for our instruments, discuss the role of effective choice-set variation in identifying the model, and carry-out a series of Monte Carlo simulations to demonstrate performance in small samples. © 2007 The Author(s). Journal compilation Royal Economic Society 2007.

Molecular mapping of movement-associated areas in the avian brain: a motor theory for vocal learning origin.

Vocal learning is a critical behavioral substrate for spoken human language. It is a rare trait found in three distantly related groups of birds-songbirds, hummingbirds, and parrots. These avian groups have remarkably similar systems of cerebral vocal nuclei for the control of learned vocalizations that are not found in their more closely related vocal non-learning relatives. These findings led to the hypothesis that brain pathways for vocal learning in different groups evolved independently from a common ancestor but under pre-existing constraints. Here, we suggest one constraint, a pre-existing system for movement control. Using behavioral molecular mapping, we discovered that in songbirds, parrots, and hummingbirds, all cerebral vocal learning nuclei are adjacent to discrete brain areas active during limb and body movements. Similar to the relationships between vocal nuclei activation and singing, activation in the adjacent areas correlated with the amount of movement performed and was independent of auditory and visual input. These same movement-associated brain areas were also present in female songbirds that do not learn vocalizations and have atrophied cerebral vocal nuclei, and in ring doves that are vocal non-learners and do not have cerebral vocal nuclei. A compilation of previous neural tracing experiments in songbirds suggests that the movement-associated areas are connected in a network that is in parallel with the adjacent vocal learning system. This study is the first global mapping that we are aware for movement-associated areas of the avian cerebrum and it indicates that brain systems that control vocal learning in distantly related birds are directly adjacent to brain systems involved in movement control. Based upon these findings, we propose a motor theory for the origin of vocal learning, this being that the brain areas specialized for vocal learning in vocal learners evolved as a specialization of a pre-existing motor pathway that controls movement.

The Oud Across Arabic Culture

This study is a compilation and compendium of information on the oud, the most important instrument in Arabic classical music. It has grown out of my own long-time involvement in studying and playing the oud, and in particular out of my interest in the lack of sources and knowledge available to the vast majority of oud players and researchers, as well as for the readers. My own path started from an intensive study of the oud, which included exposure to several treaties; some housed in museums around the globe, and some only available in the Arabic language. The study combines archival research (including Arabic poetry and pre-Islamic Era and medieval treaties), symbolism, new archaeological discoveries, field interviews, and analysis of existing scholarship, and draws on my professional performance experience for detailed stylistic analysis of the oud's performance practice and its historical development. The study consists of participant observation, personal performance, and interviews conducted in person, via telephone, and/or via e-mail, according to the choice of the performers. The performers have been selected from networks of musicians who perform regularly at lounges, concert halls, and private events. These performers have been chosen according to their musical knowledge, technical skill, experience, and activity in Arabic music and oud performance. Chapter one deals with the purpose of this study and the methods of investigation, as well as giving a brief overview of the history of the oud. In addition, there will be an introduction to the Arabic musical system (mâqâm), which is primarily based on the mechanics and sound production of the oud. Chapter two deals with the oud in Arabic sources: the first source is Arabic poetry in the pre-Islamic Era. The second source is Arabic poetry in the medieval era, in which I found a significant number of poets who allude to the oud, providing accurate descriptions of the player, singers, and the scenes within the contexts of oud performance. The third source is the Arab scholars' intensive treatises with meticulous accounts of the instrument's apparatii, including descriptions and measurements of the parts, strings, and tuning. While chapter three deals with the classification, the development of the oud, chapter four deals with topics such as: the symbolism of the oud and its relation to cosmology, astronomy, mathematics and anatomy. In most of the pertinent Arabic writings, philosophers mention a significant correlation between the oud and the other sciences. Chapter five deals with recreating the performance practice of the oud. A case study of the oud performers focuses on their style, technique, training, and personal experiences. Topics such as improvisation and ornamentation, the oud in the Arabic musical ensemble, the social uses and functions, and gender in musical performance practices will be included in detailed analysis. Other important topics will be analyzed such as traditional vs. modern technique, and the repertoire of the oud. Specifically, in regard to technique, the study outline the style of the music, the role of the oud in Arabic ensembles, the function of the oud in music composition, and the form of the ensembles in Arabic performance and practice.

Economic and social upgrading in global production networks: A new paradigm for a changing world

A key challenge in promoting decent work worldwide is how to improve the position of both firms and workers in value chains and global production networks driven by lead firms. This article develops a framework for analysing the linkages between the economic upgrading of firms and the social upgrading of workers. Drawing on studies which indicate that firm upgrading does not necessarily lead to improvements for workers, with a particular focus on the Moroccan garment industry, it outlines different trajectories and scenarios to provide a better understanding of the relationship between economic and social upgrading. The authors 2011 Journal compilation © International Labour Organization 2011.

Site Report for Phase III Archaeological Investigations at Reynolds Tavern (18AP23), 4 Church Circle, Annapolis, Maryland. 1982-1984

This report details the archaeology completed at Reynolds Tavern in the years 1982,1983, and 1984. It was completed in 2013, nearly 30 years after the excavation took place, using archival materials such as the draft interim reports, unit summary forms, original notes and photographs which are currently stored in the University Archives at Hornbake Library, at the University of Maryland, College Park. This report has been a collaboration across time and space, drawing from preliminary reports written by Anne Yenstch and Susan Mira in 1982 and Joe Dent and Beth Ford in 1983, as well as original notes from students of the field schools held there during those years, various analyses by scholars from many universities (including the University of Maryland, University of Georgia, and the College of William and Mary), and historical research by Nancy Baker. Thomas Cuddy began the writing of this report in 2002, completing the first three chapters in addition to the artifact analysis that led to the postexcavation identification of the African bundles in the Reynolds Tavern basement. This remarkable discovery was made along with Mark Leone of the University of Maryland, founder and director of Archaeology in Annapolis, who also served as the Principle Investigator during all three years of the Reynolds Tavern excavations. Dr. Leone contributed the fifth and final chapter to this report, the Conclusions and Recommendations, during its final compilation in 2013. The final report, including the fourth chapter on the archaeology itself, was written in part and compiled by Patricia Markert of the University of Maryland in the spring of 2013. Reynolds Tavern has been part of the landscape of Annapolis for two-hundred and fifty five years (at the time of the publication of this report). It sits on Church Circle facing St. Anne’s Church, and is a beautiful example of 18th century Georgian architecture as well one of the defining features of Historic Annapolis today. It currently operates as a popular restaurant and pub, but has served variously as a hat shop, a tavern, an inn, a library and a bank over time, among other things. Its long history contributes to its significance as an archaeological site, and also as a historic marker in present day Annapolis. The archaeology conducted at Reynolds Tavern shed light on life in 18th and 19th century Annapolis, illuminating details of the occupants’ lives through the material traces they left behind. These include an 18th century cobblestone road that ran diagonally through the Tavern’s yard, telling of the movement through early Annapolis; a large and intact well, which was found ii to contain a 19 foot wooden pipe; a large, ovular privy containing many of the objects used on a day to day basis at the Tavern or the structures around it; a subterranean brick storage feature in the basement of the Tavern, which may have been used by Reynolds during his days operating a hat shop; and also in the basement, two African caches of objects, providing a glimpse into West African spiritual practices alive in historic Annapolis and the presence of African American individuals at the Tavern in the 18th and 19th centuries. The purpose of this report is to detail these archaeological investigations and their findings, so that a public record will be available and the archaeology completed at Reynolds Tavern can continue to contribute to the history of Annapolis.

The HITRAN 2008 molecular spectroscopic database

This paper describes the status of the 2008 edition of the HITRAN molecular spectroscopic database. The new edition is the first official public release since the 2004 edition, although a number of crucial updates had been made available online since 2004. The HITRAN compilation consists of several components that serve as input for radiative-transfer calculation codes: individual line parameters for the microwave through visible spectra of molecules in the gas phase; absorption cross-sections for molecules having dense spectral features, i.e. spectra in which the individual lines are not resolved; individual line parameters and absorption cross-sections for bands in the ultraviolet; refractive indices of aerosols, tables and files of general properties associated with the database; and database management software. The line-by-line portion of the database contains spectroscopic parameters for 42 molecules including many of their isotopologues. © 2009 Elsevier Ltd.

The HITRAN molecular spectroscopic database: Edition of 2000 including updates through 2001

This paper describes the status circa 2001, of the HITRAN compilation that comprises the public edition available through 2001. The HITRAN compilation consists of several components useful for radiative transfer calculation codes: high-resolution spectroscopic parameters of molecules in the gas phase, absorption cross-sections for molecules with very dense spectral features, aerosol refractive indices, ultraviolet line-by-line parameters and absorption cross-sections, and associated database management software. The line-by-line portion of the database contains spectroscopic parameters for 38 molecules and their isotopologues and isotopomers suitable for calculating atmospheric transmission and radiance properties. Many more molecular species are presented in the infrared cross-section data than in the previous edition, especially the chlorofluorocarbons and their replacement gases. There is now sufficient representation so that quasi-quantitative simulations can be obtained with the standard radiance codes. In addition to the description and justification of new or modified data that have been incorporated since the last edition of HITRAN (1996), future modifications are indicated for cases considered to have a significant impact on remote-sensing experiments. © 2003 Elsevier Ltd. All rights reserved.