912 resultados para Equivalence-Preserving Transformations


Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this thesis, mechanistic and synthetic studies on transformations of H-phosphonates into DNA analogues containing P-S or P-C bonds are described. Configurational stability of dinucleoside H-phosphonates and the stereochemical course of their sulfurisation in the presence of 1,8-diazabicyclo[5.4.0]undec-7-ene (DBU) were investigated. In light of these studies, the reported stereoselective sulfurisation of dinucleoside H-phosphonates and benzoylphosphonates in the presence of DBU was proved to be incorrect. Efficient protocols for the synthesis of new nucleotide analogues with non-ionic C-phosphonate internucleotide linkages were developed. The synthesis of dinucleoside 2-pyridylphosphonates was successfully performed by a DBU-promoted reaction of H-phosphonate diesters with N-methoxypyridinium salts. The thio analogues, 2-pyridyl- and 4-pyridyl phosphonothioate diesters, could be obtained by modifying the reactions developed for their oxo counterparts. Dinucleoside 3-pyridylphosphonates were prepared via a palladium(0)-catalysed cross coupling strategy that could be extended also to the synthesis of nucleotide analogues with metal-complexing properties, i.e. terpyridyl- and bipyridylphosphonate derivatives. Oligonucleotides modified with pyridylphosphonate internucleotide linkages have been prepared and preliminary studies on their hybridisation properties and resistance towards enzymatic degradation were performed. Finally, nucleotidic units for the incorporation of pyridylphosphonate groups at the 5’-terminus of oligonucleotides were designed. Condensations of such units with a suitably protected nucleoside afforded after oxidation the expected dinucleoside (3’-5’)-phosphates with pyridylphosphonate monoester functions at the 5’-ends.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

[EN] We analyze the discontinuity preserving problem in TV-L1 optical flow methods. This type of methods typically creates rounded effects at flow boundaries, which usually do not coincide with object contours. A simple strategy to overcome this problem consists in inhibiting the diffusion at high image gradients. In this work, we first introduce a general framework for TV regularizers in optical flow and relate it with some standard approaches. Our survey takes into account several methods that use decreasing functions for mitigating the diffusion at image contours. Consequently, this kind of strategies may produce instabilities in the estimation of the optical flows. Hence, we study the problem of instabilities and show that it actually arises from an ill-posed formulation. From this study, it is possible to come across with different schemes to solve this problem. One of these consists in separating the pure TV process from the mitigating strategy. This has been used in another work and we demonstrate here that it has a good performance. Furthermore, we propose two alternatives to avoid the instability problems: (i) we study a fully automatic approach that solves the problem based on the information of the whole image; (ii) we derive a semi-automatic approach that takes into account the image gradients in a close neighborhood adapting the parameter in each position. In the experimental results, we present a detailed study and comparison between the different alternatives. These methods provide very good results, especially for sequences with a few dominant gradients. Additionally, a surprising effect of these approaches is that they can cope with occlusions. This can be easily achieved by using strong regularizations and high penalizations at image contours.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This thesis intends to investigate two aspects of Constraint Handling Rules (CHR). It proposes a compositional semantics and a technique for program transformation. CHR is a concurrent committed-choice constraint logic programming language consisting of guarded rules, which transform multi-sets of atomic formulas (constraints) into simpler ones until exhaustion [Frü06] and it belongs to the declarative languages family. It was initially designed for writing constraint solvers but it has recently also proven to be a general purpose language, being as it is Turing equivalent [SSD05a]. Compositionality is the first CHR aspect to be considered. A trace based compositional semantics for CHR was previously defined in [DGM05]. The reference operational semantics for such a compositional model was the original operational semantics for CHR which, due to the propagation rule, admits trivial non-termination. In this thesis we extend the work of [DGM05] by introducing a more refined trace based compositional semantics which also includes the history. The use of history is a well-known technique in CHR which permits us to trace the application of propagation rules and consequently it permits trivial non-termination avoidance [Abd97, DSGdlBH04]. Naturally, the reference operational semantics, of our new compositional one, uses history to avoid trivial non-termination too. Program transformation is the second CHR aspect to be considered, with particular regard to the unfolding technique. Said technique is an appealing approach which allows us to optimize a given program and in more detail to improve run-time efficiency or spaceconsumption. Essentially it consists of a sequence of syntactic program manipulations which preserve a kind of semantic equivalence called qualified answer [Frü98], between the original program and the transformed ones. The unfolding technique is one of the basic operations which is used by most program transformation systems. It consists in the replacement of a procedure-call by its definition. In CHR every conjunction of constraints can be considered as a procedure-call, every CHR rule can be considered as a procedure and the body of said rule represents the definition of the call. While there is a large body of literature on transformation and unfolding of sequential programs, very few papers have addressed this issue for concurrent languages. We define an unfolding rule, show its correctness and discuss some conditions in which it can be used to delete an unfolded rule while preserving the meaning of the original program. Finally, confluence and termination maintenance between the original and transformed programs are shown. This thesis is organized in the following manner. Chapter 1 gives some general notion about CHR. Section 1.1 outlines the history of programming languages with particular attention to CHR and related languages. Then, Section 1.2 introduces CHR using examples. Section 1.3 gives some preliminaries which will be used during the thesis. Subsequentely, Section 1.4 introduces the syntax and the operational and declarative semantics for the first CHR language proposed. Finally, the methodologies to solve the problem of trivial non-termination related to propagation rules are discussed in Section 1.5. Chapter 2 introduces a compositional semantics for CHR where the propagation rules are considered. In particular, Section 2.1 contains the definition of the semantics. Hence, Section 2.2 presents the compositionality results. Afterwards Section 2.3 expounds upon the correctness results. Chapter 3 presents a particular program transformation known as unfolding. This transformation needs a particular syntax called annotated which is introduced in Section 3.1 and its related modified operational semantics !0t is presented in Section 3.2. Subsequently, Section 3.3 defines the unfolding rule and prove its correctness. Then, in Section 3.4 the problems related to the replacement of a rule by its unfolded version are discussed and this in turn gives a correctness condition which holds for a specific class of rules. Section 3.5 proves that confluence and termination are preserved by the program modifications introduced. Finally, Chapter 4 concludes by discussing related works and directions for future work.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

[EN]The aim of this work is to study several strategies for the preservation of flow discontinuities in variational optical flow methods. We analyze the combination of robust functionals and diffusion tensors in the smoothness assumption. Our study includes the use of tensors based on decreasing functions, which has shown to provide good results. However, it presents several limitations and usually does not perform better than other basic approaches. It typically introduces instabilities in the computed motion fields in the form of independent \textit{blobs} of vectors with large magnitude...

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The main scope of this Ph.D. thesis has concerned the possible transformations of bridging ligands in diiron complexes, in order to explore unconventional routes to the synthesis of new functionalized multisite bound organic frames. The results achieved during the Ph.D. can be summarized in the following points: 1) We have extended the assembling between small unsaturated molecules and bridging carbyne ligands in diiron complexes to other species. In particular, we have investigated the coupling between olefins and thiocarbyne, leading to the synthesis of thioallylidene bridging diiron complexes. Then, we have extended the study to the coupling between olefins and aminocarbyne. This result shows that the coupling between activated olefins and heteroatom substituted bridging carbynes has a general character. 2) As we have shown, the coupling of bridging alkylidyne ligands with alkynes and alkenes provides excellent routes to the synthesis of bridging C3 hydrocarbyl ligands. As a possible extension of these results we have examined the synthesis of C4 bridging frames through the combination of bridging alkylidynes with allenes. Also in this case the reaction has a general character. 3) Diiron complexes bearing bridging functionalized C3 organic frames display the presence of donor atoms, such as N and S, potentially able to coordinate unsaturated metal fragments. Thus, we have studied the possibility for these systems to act as ‘organometallic ligands’, in particular towards Pd and Rh. 4) The possibility of releasing the organic frame from the bridging coordination appears particularly appealing in the direction of a metal-assisted organic synthesis. Within this field, we have investigated the possibility of involving the C3 bridging ligand in cycloaddition reactions with alkynes, with the aim of generating variously functionalized five-membered cycles. The [3+2] cyclization does not lead to the complete release of the organic fragment but rather it produces its transformation into a cyclopentadienyl ring, which remains coordinated to one Fe atom. This result introduces a new approach to the formation of polyfunctionalised ferrocenes. 5) Furthermore, I have spent a research period of about six months at the Department of Inorganic Chemistry of the Barcelona University, under the supervision of Prof. Concepción López, with the aim of studying the chemistry of polydentate ferrocenyl ligands and their use in organometallic synthesis.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Abstract The academic environment has recently recognized the importance and benefits that an extensive research on the translation of advertising can have for translation studies. Despite the growing interest and increasing research activity in the field it is still difficult to speak about a theory of advertising translation in general. There is a need for further study encompassing different languages and both heterogeneous and homogenous cultures that will give the possibility to receive a more complete map of what the translation of advertising is and should be. Previous studies have been concentrated, for the most part, on Western European language pairs. This study is a research into perfume and cosmetics print advertisements translated from English into Russian where both visual and verbal elements are considered. Three broad translation approaches have been identified in what concerns the verbal message: Translated message, parallel translation, recreated adverts, and three approaches in dealing with the image: similar images, modified images, completely different images. The thesis shows that where Russian advertisements for perfume products tend to have a message, or create one, this is often lacking in the English copy. The article ends by suggesting that perfume advertisements favor the standardization approach when entering Russian market. The attempts to localize the advert have also been noticed although they are obviously less numerous in perfume adverts and are rather instances of adaptation - a mix between the localization and standardization approaches since they keep drawing on the same globally accepted universals about female beauty and concern for ‘woman’s identity’ (we focused our analysis on products designed for female consumers). This study, complementing previous studies, aims to be a contribution to the description of laws and strategies that guide the translation of advertising texts into Russian.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Eine zielgerichtete Steuerung und Durchführung von organischen Festkörperreaktionen wird unter anderem durch genaue Kenntnis von Packungseffekten ermöglicht. Im Rahmen dieser Arbeit konnte durch den kombinierten Einsatz von Einkristallröntgenanalyse und hochauf-lösender Festkörper-NMR an ausgewählten Beispielen ein tieferes Verständnis und Einblicke in die Reaktionsmechanismen von organischen Festkörperreaktionen auf molekularer Ebene gewonnen werden. So konnten bei der topotaktischen [2+2] Photodimerisierung von Zimt-säure Intermediate isoliert und strukturell charakterisiert werden. Insbesondere anhand statischer Deuteronen- und 13C-CPMAS NMR Spektren konnten eindeutig dynamische Wasserstoffbrücken nachgewiesen werden, die transient die Zentrosymmetrie des Reaktions-produkts aufheben. Ein weiterer Nachweis gelang daraufhin mittels Hochtemperatur-Röntgen-untersuchung, sodass der scheinbare Widerspruch von NMR- und Röntgenuntersuchungen gelöst werden konnte. Eine Veresterung der Zimtsäure entfernt diese Wasserstoffbrücken und erhält somit die Zentrosymmetrie des Photodimers. Weiterhin werden Ansätze zur Strukturkontrolle in Festkörpern basierend auf der molekularen Erkennung des Hydroxyl-Pyridin (OH-N) Heterosynthon in Co-Kristallen beschrieben, wobei vor allem die Stabilität des Synthons in Gegenwart funktioneller Gruppen mit Möglichkeit zu kompetetiver Wasserstoffbrückenbildung festgestellt wurde. Durch Erweiterung dieses Ansatzes wurde die molekulare Spezifität des Hydroxyl-Pyridin (OH-N) Heterosynthons bei gleichzeitiger Co-Kristallisation mit mehreren Komponenten erfolgreich aufgezeigt. Am Beispiel der Co-Kristallisation von trans--1,2-bis(4-pyridyl)ethylen (bpe) mit Resorcinol (res) in Gegenwart von trans-1,2-bis(4-pyridyl)ethan (bpet) konnten Zwischenprodukte der Fest-körperreaktionen und neuartige Polymorphe isoliert werden, wobei eine lückenlose Aufklärung des Reaktionswegs mittels Röntgenanalyse gelang. Dabei zeigte sich, dass das Templat Resorcinol aus den Zielverbindungen entfernbar ist. Ferner gelang die Durchführung einer seltenen, nicht-idealen Einkristall-Einkristall-Umlagerung von trans--1,2-bis(4-pyridyl)ethylen (bpe) mit Resorcinol (res). In allen Fällen konnten die Fragen zur Struktur und Dynamik der untersuchten Verbindungen nur durch gemeinsame Nutzung von Röntgenanalyse und NMR-Spektroskopie bei vergleichbaren Temperaturen eindeutig und umfassend geklärt werden.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

La dissertazione si articola attorno all’idea di tradizione e alla concettualizzazione di genere nella musica di villaggio dei Banyoro e dei Batooro dell’Uganda occidentale. Il lavoro si sviluppa nel complesso in tre parti principali. Nella prima si presentano le trasformazioni storiche intervenute nelle relazioni di genere dal periodo precoloniale al presente e si introduce la musica di villaggio delle popolazioni considerate, ponendola a confronto con la musica di corte e con quella religiosa. La seconda sezione è dedicata allo studio dei repertori vocali e di danza di villaggio, a partire dalla documentazione realizzata con informatori anziani: di queste musiche sono considerate le caratteristiche stilistiche ed è condotta un’analisi che mira a mettere in luce le idee di genere trasmesse attraverso questi repertori. L’ultima parte del lavoro prende in considerazione le trasformazioni intervenute nel panorama musicale ugandese nell’ultimo secolo, a partire dall’influenza di musiche esterne, dall’insegnamento della musica tradizionale nelle scuole e dall’istituzione di festival scolastici e di gruppi folklorici: diverse performance attuali di canti e di danza sotto sottoposte a studio analitico. Nel complesso, si rileva una generale rifunzionalizzazione di musiche e idee di genere che si rifanno al passato, ma hanno valore soprattutto per il recupero della cultura locale nel presente,connotato dal contesto multiculturale dell’Uganda contemporanea e dalle politiche, promosse dal Governo, che favoriscono l’emancipazione femminile.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In dieser Arbeit wurde eine neue Methode zur asymmetrischen Substitution der K-Regionen von Pyren entwickelt, auf welcher das Design und die Synthese von neuartigen, Pyren-basierten funktionalen Materialien beruht. Eine Vielzahl von Substitutionsmustern konnte erfolgreich realisiert werden um die Eigenschaften entsprechend dem Verwendungszweck anzupassen. Der polyzyklische aromatische Kohlenwasserstoff (PAK) Pyren setzt sich aus vier Benzolringen in Form einer planaren Raute mit zwei gegenüberliegenden K-Regionen zusammen. Der synthetische Schlüsselschritt dieser Arbeit ist die chemische Transformation der einen K-Region zu einem α-Diketon und der darauffolgenden selektiven Bromierung der zweiten K-Region. Dieser asymmetrisch funktionalisierte Baustein zeichnet sich durch zwei funktionelle Gruppen mit orthogonaler Reaktivität aus und erweitert dadurch das Arsenal der etablierten Pyren Chemie um eine vielseitig einsetzbare Methode. Aufbauend auf diesem synthetischen Zugang wurden fünf wesentliche Konzepte auf dem Weg zu neuen, von Pyren abgeleiteten Materialen verfolgt: (i) Asymmterische Substitution mit elektronenziehenden versus -schiebenden Gruppen. (ii) Darstellung von Pyrenocyaninen durch Anbindung von Pyren mit einer der K-Regionen an das Phthalocyanin Gerüst zur Ausdehnung des π-Systems. (iii) Einführung von Thiophen an die K-Region um halbleitende Eigenschaften zu erhalten. (iv) Symmetrische Annullierung von PAKs wie Benzodithiophen und Phenanthren an beide K Regionen für cove-reiche und dadurch nicht-planare Strukturen. (v) Verwendung des K-Region-funktionalisierten Pyrens als Synthesebaustein für das Peri-Pentacen. Neben der Synthese wurde die Selbstorganisation in der Festphase und an der flüssig/fest Grenzfläche mittels zweidimensionaler Weitwinkel-Röntgenstreuung (2D WAXS) bzw. Rastertunnelmikroskopie (STM) untersucht. Die halbleitenden Eigenschaften wurden in organischen Feld-Effekt Transistoren (OFETs) charakterisiert.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We previously observed that mental manipulation of the pitch level or temporal organization of melodies results in functional activation in the human intraparietal sulcus (IPS), a region also associated with visuospatial transformation and numerical calculation. Two outstanding questions about these musical transformations are whether pitch and time depend on separate or common processing in IPS, and whether IPS recruitment in melodic tasks varies depending upon the degree of transformation required (as it does in mental rotation). In the present study we sought to answer these questions by applying functional magnetic resonance imaging while musicians performed closely matched mental transposition (pitch transformation) and melody reversal (temporal transformation) tasks. A voxel-wise conjunction analysis showed that in individual subjects, both tasks activated overlapping regions in bilateral IPS, suggesting that a common neural substrate subserves both types of mental transformation. Varying the magnitude of mental pitch transposition resulted in variation of IPS BOLD signal in correlation with the musical key-distance of the transposition, but not with the pitch distance, indicating that the cognitive metric relevant for this type of operation is an abstract one, well described by music-theoretic concepts. These findings support a general role for the IPS in systematically transforming auditory stimulus representations in a nonspatial context. (C) 2013 Elsevier Inc. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Knowledge of the fate of deposited N in the possibly N-limited, highly biodiverse north Andean forests is important because of the possible effects of N inputs on plant performance and species composition. We analyzed concentrations and fluxes of NO3 −–N, NH4 +–N and dissolved organic N (DON) in rainfall, throughfall, litter leachate, mineral soil solutions (0.15–0.30 m depths) and stream water in a montane forest in Ecuador during four consecutive quarters and used the natural 15N abundance in NO3 − during the passage of rain water through the ecosystem and bulk δ15N values in soil to detect N transformations. Depletion of 15N in NO3 − and increased NO3 −–N fluxes during the passage through the canopy and the organic layer indicated nitrification in these compartments. During leaching from the organic layer to mineral soil and stream, NO3 − concentrations progressively decreased and were enriched in 15N but did not reach the δ15N values of solid phase organic matter (δ15N = 5.6–6.7‰). This suggested a combination of nitrification and denitrification in mineral soil. In the wettest quarter, the δ15N value of NO3 − in litter leachate was smaller (δ15N = −1.58‰) than in the other quarters (δ15N = −9.38 ± SE 0.46‰) probably because of reduced mineralization and associated fractionation against 15N. Nitrogen isotope fractionation of NO3 − between litter leachate and stream water was smaller in the wettest period than in the other periods probably because of a higher rate of denitrification and continuous dilution by isotopically lighter NO3 −–N from throughfall and nitrification in the organic layer during the wettest period. The stable N isotope composition of NO3 − gave valuable indications of N transformations during the passage of water through the forest ecosystem from rainfall to the stream.