External and internal dynamics in the EU's counter-terrorism policy: a political and legal analysis

Tese de Doutoramento em Ciência Política e Relações Internacionais

Refinement in hybridised institutions

Hybrid logics, which add to the modal description of transition structures the ability to refer to specific states, offer a generic framework to approach the specification and design of reconfigurable systems, i.e., systems with reconfiguration mechanisms governing the dynamic evolution of their execution configurations in response to both external stimuli or internal performance measures. A formal representation of such systems is through transition structures whose states correspond to the different configurations they may adopt. Therefore, each node is endowed with, for example, an algebra, or a first-order structure, to precisely characterise the semantics of the services provided in the corresponding configuration. This paper characterises equivalence and refinement for these sorts of models in a way which is independent of (or parametric on) whatever logic (propositional, equational, fuzzy, etc) is found appropriate to describe the local configurations. A Hennessy–Milner like theorem is proved for hybridised logics.

Marine origin polysaccharides in drug delivery systems

Oceans are a vast source of natural substances. In them, we find various compounds with wide biotechnological and biomedical applicabilities. The exploitation of the sea as a renewable source of biocompounds can have a positive impact on the development of new systems and devices for biomedical applications. Marine polysaccharides are among the most abundant materials in the seas, which contributes to a decrease of the extraction costs, besides their solubility behavior in aqueous solvents and extraction media, and their interaction with other biocompounds. Polysaccharides such as alginate, carrageenan and fucoidan can be extracted from algae, whereas chitosan and hyaluronan can be obtained from animal sources. Most marine polysaccharides have important biological properties such as biocompatibility, biodegradability, and anti-inflammatory activity, as well as adhesive and antimicrobial actions. Moreover, they can be modified in order to allow processing them into various shapes and sizes and may exhibit response dependence to external stimuli, such as pH and temperature. Due to these properties, these biomaterials have been studied as raw material for the construction of carrier devices for drugs, including particles, capsules and hydrogels. The devices are designed to achieve a controlled release of therapeutic agents in an attempt to fight against serious diseases, and to be used in advanced therapies, such as gene delivery or regenerative medicine.

Cardiopulmonary resuscitation: update, controversies and new advances

Cardiopulmonary arrest is a medical emergency in which the lapse of time between event onset and the initiation of measures of basic and advanced support, as well as the correct care based on specific protocols for each clinical situation, constitute decisive factors for a successful therapy. Cardiopulmonary arrest care cannot be restricted to the hospital setting because of its fulminant nature. This necessitates the creation of new concepts, strategies and structures, such as the concept of life chain, cardio-pulmonary resuscitation courses for professionals who work in emergency medical services, the automated external defibrillator, the implantable cardioverter-defibrillator, and mobile intensive care units, among others. New concepts, strategies and structures motivated by new advances have also modified the treatment and improved the results of cardiopulmonary resuscitation in the hospital setting. Among them, we can cite the concept of cerebral resuscitation, the application of the life chain, the creation of the universal life support algorithm, the adjustment of drug doses, new techniques - measure of the end-tidal carbon dioxide levels and of the coronary perfusion pressure - and new drugs under research.

Use of automated external defibrillators in a Brazilian airline. A 1-year experience

After the incorporation of automated external defibrilators by other airlines and the support of the Brazilian Society of cardiology, Varig Airlines Began the onboard defibrilation program with the initial purpose of equiping wide-body aircrafts frequently used in international flights and that airplanes use in the Rio - São Paulo route. With all fight attendants trained, the automated. External defibrilation devides were incorporated to 34 airplanes of a total pleet of 80 aircrats. The devices were intalled in the bagage compartments secured with velero straps and 2 pairs of electrods, one or which pre-conected to the device to minimize application time. Later, a portable monitor was addres to the ressocitation kit in the long flights. The expansion of the knowledge of the basic life support fundamentors and the correted implantation of the survival chain and of the automated external defibrilators will increase the extense of recovery of cardiorespiratory arrest victins in aircrafts.

An R package for the integrated analysis of metabolomics and spectral data

Recently, there has been a growing interest in the field of metabolomics, materialized by a remarkable growth in experimental techniques, available data and related biological applications. Indeed, techniques as Nuclear Magnetic Resonance, Gas or Liquid Chromatography, Mass Spectrometry, Infrared and UV-visible spectroscopies have provided extensive datasets that can help in tasks as biological and biomedical discovery, biotechnology and drug development. However, as it happens with other omics data, the analysis of metabolomics datasets provides multiple challenges, both in terms of methodologies and in the development of appropriate computational tools. Indeed, from the available software tools, none addresses the multiplicity of existing techniques and data analysis tasks. In this work, we make available a novel R package, named specmine, which provides a set of methods for metabolomics data analysis, including data loading in different formats, pre-processing, metabolite identification, univariate and multivariate data analysis, machine learning, and feature selection. Importantly, the implemented methods provide adequate support for the analysis of data from diverse experimental techniques, integrating a large set of functions from several R packages in a powerful, yet simple to use environment. The package, already available in CRAN, is accompanied by a web site where users can deposit datasets, scripts and analysis reports to be shared with the community, promoting the efficient sharing of metabolomics data analysis pipelines.

From perfect strangers to research partners: a study of relationships, resource sharing and perceived benefits within R&D cooperation networks

Doctoral thesis in Marketing and Strategy.

Initial Energy for External Electrical Cardioversion of Atrial Fibrillation

OBJECTIVE - To investigate the initial energy level required for electrical cardioversion of atrial fibrillation (AF). METHODS - We studied patients undergoing electrical cardioversion in the 1st Multicenter Trial of SOCESP. Patients were divided into 2 groups according to the initial energy level of electrical cardioversion: 100J and > or = 150J. We compared the efficacy of the initial and final shock of the procedure, the number of shocks administered, and the cumulative energy levels. RESULTS - Eight-six patients underwent electrical cardioversion. In 53 patients (62%), cardioversion was started with 100J, and in 33 patients (38%), cardioversion was started with > or = 150J. Groups did not differ regarding clinical features and therapeutical interventions. A tendency existed towards greater efficacy of the initial shock in patients who received > or = 150J (61% vs. 42% in the 100J group, p=0.08). The number of shocks was smaller in the > or = 150J group (1.5±0.7 vs. 2.1±1.3, p=0.04). No difference existed regarding the final efficacy of electrical cardioversion and total cumulative energy levels in both groups. In the subgroup of patients with recent-onset AF (<=48h), the cumulative energy level was lower in the 100J group (240±227J vs. 324±225J, p=0.03). CONCLUSION - Patients who were given initial energy of > or = 150J received fewer counter shocks with a tendency toward greater success than those patients who were given 100J; however, in patients with recent-onset AF, the average cumulative energy level was lower in the 100J group. These data suggest that electrical cardioversion should be initiated with energy levels > or = 150J in patients with chronic AF.

Flora boreali-americana, or, the botany of the northern parts of British America : compiled principally from the plants collected by Dr. Richardson & Mr. Drummond on the late northern expeditions, under command of Captain Sir John Franklin, R.N. To which are added (by permission of the Horticultural society of London,) those of Mr. Douglas, from north-west America, and of other naturalists /

v.1

Flora boreali-americana, or, the botany of the northern parts of British America : compiled principally from the plants collected by Dr. Richardson & Mr. Drummond on the late northern expeditions, under command of Captain Sir John Franklin, R.N. To which are added (by permission of the Horticultural society of London,) those of Mr. Douglas, from north-west America, and of other naturalists /

v.2