Macrocyclic amines as structure-directing agents for the synthesis of three-dimensional antimony-sulfide frameworks

A new family of antimony sulfides, incorporating the macrocyclic tetramine 1,4,8,11-tetraazacyclotetradecane ( cyclam), has been prepared by a hydrothermal method. [C10N4H26][Sb4S7] (1), [Ni(C10N4H24)][Sb4S7] (2), and [Co(C10N4H24)](x)[C10N4H26](1-x)[Sb4S7] (0.08 <= x <= 0.74) (3) have been characterized by single-crystal X-ray diffraction, elemental analysis, thermogravimetry, and analytical electron microscopy. All three materials possess the same novel three-dimensional Sb4S72- framework, constructed from layers of parallel arrays of Sb4S84- chains stacked at 90 to one another. In 1, doubly protonated macrocyclic cations reside in the channel structure of the antimonysulfide framework. In 2 and 3, the cyclam acts as a ligand, chelating the divalent transition- metal cation. Analytical and X-ray diffraction data indicate that the level of metal incorporation in 2 is effectively complete, whereas in 3, both metalated and nonmetalated forms of the macrocycle coexist within the structure.

A279;A Linguagem de Especificação algébrica CASL e o Tipo de Dados Intervalos

A279;Na computação científica é necessário que os dados sejam o mais precisos e exatos possível, porém a imprecisão dos dados de entrada desse tipo de computação pode estar associada às medidas obtidas por equipamentos que fornecem dados truncados ou arredondados, fazendo com que os cálculos com esses dados produzam resultados imprecisos. Os erros mais comuns durante a computação científica são: erros de truncamentos, que surgem em dados infinitos e que muitas vezes são truncados", ou interrompidos; erros de arredondamento que são responsáveis pela imprecisão de cálculos em seqüências finitas de operações aritméticas. Diante desse tipo de problema Moore, na década de 60, introduziu a matemática intervalar, onde foi definido um tipo de dado que permitiu trabalhar dados contínuos,possibilitando, inclusive prever o tamanho máximo do erro. A matemática intervalar é uma saída para essa questão, já que permite um controle e análise de erros de maneira automática. Porém, as propriedades algébricas dos intervalos não são as mesmas dos números reais, apesar dos números reais serem vistos como intervalos degenerados, e as propriedades algébricas dos intervalos degenerados serem exatamente as dos números reais. Partindo disso, e pensando nas técnicas de especificação algébrica, precisa-se de uma linguagem capaz de implementar uma noção auxiliar de equivalência introduzida por Santiago [6] que ``simule" as propriedades algébricas dos números reais nos intervalos. A linguagem de especificação CASL, Common Algebraic Specification Language, [1] é uma linguagem de especificação algébrica para a descrição de requisitos funcionais e projetos modulares de software, que vem sendo desenvolvida pelo CoFI, The Common Framework Initiative [2] a partir do ano de 1996. O desenvolvimento de CASL se encontra em andamento e representa um esforço conjunto de grandes expoentes da área de especificações algébricas no sentido de criar um padrão para a área. A dissertação proposta apresenta uma especificação em CASL do tipo intervalo, munido da aritmética de Moore, afim de que ele venha a estender os sistemas que manipulem dados contínuos, sendo possível não só o controle e a análise dos erros de aproximação, como também a verificação algébrica de propriedades do tipo de sistema aqui mencionado. A especificação de intervalos apresentada aqui foi feita apartir das especificações dos números racionais proposta por Mossakowaski em 2001 [3] e introduz a noção de igualdade local proposta por Santiago [6, 5, 4]

Accuracy of impression and pouring techniques for an implant-supported prosthesis

Purpose: The purpose of this in vitro study was to compare the dimensional accuracy of a stone index and of 3 impression techniques (tapered impression copings, squared impression copings, and squared impression copings splinted with acrylic resin) associated with 3 pouring techniques (conventional, pouring using latex tubes fitted onto analogs, and pouring after joining the analogs with acrylic resin) for implant-supported prostheses. Materials and Methods: A mandibular brass cast with 4 stainless steel implant-abutment analogs, a framework, and 2 aluminum custom trays were fabricated. Polyether impression material was used for all impressions. Ten groups were formed (a control group and 9 test groups formed by combining each pouring technique and impression technique). Five casts were made per group for a total of 50 casts and 200 gap values (1 gap value for each implant-abutment analog). Results: The mean gap value with the index technique was 27.07 mu m. With the conventional pouring technique, the mean gap values were 116.97 mu m for the tapered group, 5784 mu m for the squared group, and 73.17 mu m for the squared splinted group. With pouring using latex tubes, the mean gap values were 65.69 mu m for the tapered group, 38.03 mu m for the squared group, and 82.47 mu m for the squared splinted group. With pouring after joining the analogs with acrylic resin, the mean gap values were 141.12 jum for the tapered group, 74.19 mu m for the squared group, and 104.67 mu m for the squared splinted group. No significant difference was detected among Index, squarellatex techniques, and master cast (P > .05). Conclusions: The most accurate impression technique utilized squared copings. The most accurate pouring technique for making the impression with tapered or squared copings utilized latex tubes. The pouring did not influence the accuracy of the stone casts when using splinted squared impression copings. Either the index technique or the use of squared coping combined with the latex-tube pouring technique are preferred methods for making implant-supported fixed restorations with dimensional accuracy.

Specification, execution and verification of interaction protocols: an approach based on computational logic

Interaction protocols establish how different computational entities can interact with each other. The interaction can be finalized to the exchange of data, as in 'communication protocols', or can be oriented to achieve some result, as in 'application protocols'. Moreover, with the increasing complexity of modern distributed systems, protocols are used also to control such a complexity, and to ensure that the system as a whole evolves with certain features. However, the extensive use of protocols has raised some issues, from the language for specifying them to the several verification aspects. Computational Logic provides models, languages and tools that can be effectively adopted to address such issues: its declarative nature can be exploited for a protocol specification language, while its operational counterpart can be used to reason upon such specifications. In this thesis we propose a proof-theoretic framework, called SCIFF, together with its extensions. SCIFF is based on Abductive Logic Programming, and provides a formal specification language with a clear declarative semantics (based on abduction). The operational counterpart is given by a proof procedure, that allows to reason upon the specifications and to test the conformance of given interactions w.r.t. a defined protocol. Moreover, by suitably adapting the SCIFF Framework, we propose solutions for addressing (1) the protocol properties verification (g-SCIFF Framework), and (2) the a-priori conformance verification of peers w.r.t. the given protocol (AlLoWS Framework). We introduce also an agent based architecture, the SCIFF Agent Platform, where the same protocol specification can be used to program and to ease the implementation task of the interacting peers.

Kinect e openNI a supporto delle NUI (Natural User Interface) applications.

Descrizione delle Natural User Interface e del framework OpenNI 2.0 compreso di caso applicativo.

Organizaciones regionales y diversidad cultural: la diplomacia de la Unión Europea con el Mercosur entre la sombra de Hollywood y la acción intergubernamental

El objetivo de este artículo es doble: por un lado explorar la habilidad de la Unión Europea para llevar a cabo una política audiovisual dirigida al Mercosur y promover las normas de la Convención sobre la diversidad de las expresiones culturales; por otro, analizar el impacto del modelo de política audiovisual de la UE en el desarrollo de la cooperación audiovisual con el Mercosur y centrarse en los principales vectores que configuran el paisaje audiovisual del Mercosur. El texto pretende destacar cómo y por qué la UE persigue una política audiovisual con esa región, cuáles son los propósitos y los límites de actuación. En este sentido, se preocupa por entender cómo la diplomacia audiovisual de la UE interactúa con otros actores, como las acciones gubernamentales llevadas a cabo desde la propia UE y el Mercosur, así como las prácticas del sector privado (Hollywwod y los grandes conglomerados de medios).

A longitudinal qualitative exploration of healthcare and informal support needs among survivors of critical illness: the RELINQUISH protocol.

Introduction and background: Survival following critical illness is associated with a significant burden of physical, emotional and psychosocial morbidity. Recovery can be protracted and incomplete, with important and sustained effects upon everyday life, including family life, social participation and return to work. In stark contrast with other critically ill patient groups (eg, those following cardiothoracic surgery), there are comparatively few interventional studies of rehabilitation among the general intensive care unit patient population. This paper outlines the protocol for a sub study of the RECOVER study: a randomised controlled trial evaluating a complex intervention of enhanced ward-based rehabilitation for patients following discharge from intensive care. Methods and analysis: The RELINQUISH study is a nested longitudinal, qualitative study of family support and perceived healthcare needs among RECOVER participants at key stages of the recovery process and at up to 1 year following hospital discharge. Its central premise is that recovery is a dynamic process wherein patients’ needs evolve over time. RELINQUISH is novel in that we will incorporate two parallel strategies into our data analysis: (1) a pragmatic health services-oriented approach, using an a priori analytical construct, the ‘Timing it Right’ framework and (2) a constructivist grounded theory approach which allows the emergence of new themes and theoretical understandings from the data. We will subsequently use Qualitative Health Needs Assessment methodology to inform the development of timely and responsive healthcare interventions throughout the recovery process. Ethics and dissemination: The protocol has been approved by the Lothian Research Ethics Committee (protocol number HSRU011). The study has been added to the UK Clinical Research Network Database (study ID. 9986). The authors will disseminate the findings in peer reviewed publications and to relevant critical care stakeholder groups.

Cow, farm, and management factors during the dry period that determine the rate of clinical mastitis after calving

The purpose of the research was to investigate cow characteristics, farm facilities, and herd management strategies during the dry period to examine their joint influence on the rate of clinical mastitis after calving. Data were collected over a 2-yr period from 52 commercial dairy farms throughout England and Wales. Cows were separated for analysis into those housed for the dry period (8,710 cow-dry periods) and those at pasture (9,964 cow-dry periods). Multilevel models were used within a Bayesian framework with 2 response variables, the occurrence of a first case of clinical mastitis within the first 30 d of lactation and time to the first case of clinical mastitis during lactation. A variety of cow and herd management factors were identified as being associated with an increased rate of clinical mastitis and these were found to occur throughout the dry period. Significant cow factors were increased parity and at least one somatic cell count ≥200,000 cells/mL in the 90 d before drying off. A number of management factors related to hygiene were significantly associated with an increased rate of clinical mastitis. These included measures linked to the administration of dry-cow treatments and management of the early and late dry-period accommodation and calving areas. Other farm factors associated with a reduced rate of clinical mastitis were vaccination with a leptospirosis vaccine, selection of dry-cow treatments for individual cows within a herd rather than for the herd as a whole, routine body condition scoring of cows at drying off, and a pasture rotation policy of grazing dry cows for a maximum of 2 wk before allowing the pasture to remain nongrazed for a period of 4 wk. Models demonstrated a good ability to predict the farm incidence rate of clinical mastitis in a given year, with model predictions explaining over 85% of the variability in the observed data. The research indicates that specific dry-period management strategies have an important influence on the rate of clinical mastitis during the next lactation.

Migrador de framework SEA a JSF 2.0

Implementació d'un projecte per migrar un framework basat en Struts 1.1 a JSF 2.0, incloent les biblioteques de tags.

J2EE tienda virtual application framework

En el siguiente documento podrá encontrar de una forma clara y entendedora, a través de la creación de un sencillo aplicativo, el mecanismo para la creación de una aplicación J2EE basada en el framework de desarrollo Yakarta Struts. En el mismo partirá desde cero, desde el inicio en la captación de requerimientos, pasando por la etapa de análisis y diseño y la posterior implementación.

The framework for specifying, reusing and implementing educational settings. Level 1 & 2 integrated

This file includes the ontology of patterns of educational settings adapted to a given organization as part of a formal framework for specifying, reusing and implementing educational settings. It includes a description of such an ontology.

The legal framework for energy provisions in the European Union – With special regard to providing of energy provisions within the scope of Article 194(2) TFEU

The thesis interprets the caveat of Article 194(2) TFEU in order to assess the use of the Article as a legal basis for energy provisions provided by the European Union. The research subject is the Energy Title in the Treaty of the Functioning of the European Union and the possibilities of the application of the legal basis provided therein. The purpose is analysis of the possibilities for providing of provisions within the scope of the caveat found in Article 194(2) TFEU with special regard to the possibilities of providing renewable energy legislation. The purpose of the thesis is on one hand to provide an overview of the premises for providing of energy provisions in the EU, and on the other hand to analyse the Treaty text in order to determine the legal basis for energy provisions. The ultimate objective is to determine the correct legal basis for renewable energy provisions, aimed at the mitigation of climate change. According to Article 194(2) TFEU, the practice of the shared legislative powers in the field of energy are restricted by the retention of certain energy matters within the power of the Member States. The wording of the caveat containing the restrictions is open to interpretation and has been a subject of extensive discussion. Many scholars have argued that the caveat in Article 194(2) TFEU might obstruct decision-making in energy matters. This argument is contested, and the factual impact of the codification of the energy competences is analysed. The correct legal basis for energy provisions depends on the final interpretation of the text of the caveat and the level of significance of the effect of the measure. The use of Article 194(2) TFEU as a legal basis might not be the only option. There is a possibility that the legal bases within the Environmental Title might be used as legal bases for energy provisions in addition to Article 194(2) TFEU.

The legal framework for energy provisions in the European Union – With special regard to providing of energy provisions within the scope of Article 194(2) TFEU

The thesis interprets the caveat of Article 194(2) TFEU in order to assess the use of the Article as a legal basis for energy provisions provided by the European Union. The research subject is the Energy Title in the Treaty of the Functioning of the European Union and the possibilities of the application of the legal basis provided therein. The purpose is analysis of the possibilities for providing of provisions within the scope of the caveat found in Article 194(2) TFEU with special regard to the possibilities of providing renewable energy legislation. The purpose of the thesis is on one hand to provide an overview of the premises for providing of energy provisions in the EU, and on the other hand to analyse the Treaty text in order to determine the legal basis for energy provisions. The ultimate objective is to determine the correct legal basis for renewable energy provisions, aimed at the mitigation of climate change. According to Article 194(2) TFEU, the practice of the shared legislative powers in the field of energy are restricted by the retention of certain energy matters within the power of the Member States. The wording of the caveat containing the restrictions is open to interpretation and has been a subject of extensive discussion. Many scholars have argued that the caveat in Article 194(2) TFEU might obstruct decision-making in energy matters. This argument is contested, and the factual impact of the codification of the energy competences is analysed. The correct legal basis for energy provisions depends on the final interpretation of the text of the caveat and the level of significance of the effect of the measure. The use of Article 194(2) TFEU as a legal basis might not be the only option. There is a possibility that the legal bases within the Environmental Title might be used as legal bases for energy provisions in addition to Article 194(2) TFEU.