996 resultados para language transfer
Resumo:
Lattice valued fuzziness is more general than crispness or fuzziness based on the unit interval. In this work, we present a query language for a lattice based fuzzy database. We define a Lattice Fuzzy Structured Query Language (LFSQL) taking its membership values from an arbitrary lattice L. LFSQL can handle, manage and represent crisp values, linear ordered membership degrees and also allows membership degrees from lattices with non-comparable values. This gives richer membership degrees, and hence makes LFSQL more flexible than FSQL or SQL. In order to handle vagueness or imprecise information, every entry into an L-fuzzy database is an L-fuzzy set instead of crisp values. All of this makes LFSQL an ideal query language to handle imprecise data where some factors are non-comparable. After defining the syntax of the language formally, we provide its semantics using L-fuzzy sets and relations. The semantics can be used in future work to investigate concepts such as functional dependencies. Last but not least, we present a parser for LFSQL implemented in Haskell.
Resumo:
Letter to John I. Mackenzie from S.D, Woodruff regarding a transfer of Long Point shooting shares, Dec. 13, 1881.
Resumo:
Telegram from Montreal and Dominion Telegraph Companies’ Lines to Louis Cabot stating that Mr. Woodruff has arranged to transfer the shares, Jan. 18, 1886.
Resumo:
Human Class I phosphatidylinositol transfer proteins (PITPs) exists in two forms: PITPα and PITPβ. PITPs are believed to be lipid transfer proteins based on their capacity to transfer either phosphatidylinositol (PI) or phosphatidylcholine (PC) between membrane compartments in vitro. In Drosophila, the PITP domain is found to be part of a multi-domain protein named retinal degeneration B (RdgBα). The PITP domain of RdgBα shares 40 % sequence identity with PITPα and has been shown to possess PI and PC binding and transfer activity. The detailed molecular mechanism of ligand transfer by the human PITPs and the Drosophila PITP domain remains to be fully established. Here, we investigated the membrane interactions of these proteins using dual polarization interferometry (DPI). DPI is a technique that measures protein binding affinity to a flat immobilized lipid bilayer. In addition, we also measured how quickly these proteins transfer their ligands to lipid vesicles using a fluorescence resonance energy transfer (FRET)-based assay. DPI investigations suggest that PITPβ had a two-fold higher affinity for membranes compared to PITPα. This was reflected by a four-fold faster ligand transfer rate for PITPβ in comparison to PITPα as determined by the FRET assay. Interestingly, DPI analysis also demonstrated that PI-bound human PITPs have lower membrane affinity compared to PC-bound PITPs. In addition, the FRET studies demonstrated the significance of membrane curvature in the ligand transfer rate of PITPs. The ligand transfer rate was higher when the accepting vesicles were highly curved. Furthermore, when the accepting vesicles contained phosphatidic acid (PA) which have smaller head groups, the transfer rate increased. In contrast, when the accepting vesicles contained phosphoinositides which have larger head groups, the transfer rate was diminished. However, PI, the favorite ligand of PITPs, or the presence of anionic lipids did not appear to influence the ligand transfer rate of PITPs. Both DPI and FRET examinations revealed that the PITP domain of RdgBα was able to bind to membranes. However, the RdgBα PITP domain appears to be a poor binder and transporter of PC.
Resumo:
Indenture of transfer of parcels of land purchased at sales of land for taxes to Joseph A. Woodruff of the Town of Clifton. Transferred by The Honourable Walter Hamilton Dickson of the Town of Niagara. These lands are located in Caistor, Wainfleet, Humberstone, Crowland, Grimsby, Gainsboro and Pelham, Nov. 1, 1861.
Resumo:
Affiliation: Dany Gagnon & Sylvie Nadeau: École de réadaptation, Faculté de médecine, Université de Montréal & Centre de recherche interdisciplinaire en réadaptation, Institut de réadaptation de Montréal
Resumo:
UANL
Resumo:
UANL
Resumo:
UANL
Resumo:
The article sets out the concept of a State-to-State human transfer agreement of which extradition and deportation are specialised forms. Asylum sharing agreements are other variations which the article explores in more detail. Human transfer agreements always affect at least the right to liberty and the freedom of movement, but other rights will also be at issue to some extent. The article shows how human rights obligations limit State discretion in asylum sharing agreements and considers how past and present asylum sharing arrangements in Europe and North America deal with these limits, if at all. The article suggests changes in the way asylum sharing agreements are drafted: for example, providing for a treaty committee would allow existing agreements to better conform to international human rights instruments and would facilitate State compliance to their human rights obligations.
Resumo:
Dans le vaste champ du droit international des affaires, les projets «Build, Operate and Transfer» (BOT) signifiant «Construire, Exploiter et Transférer» et leurs variantes semblent moins connus du fait qu'ils représentent un type particulier d'investissement. La réalisation de ces projets fait intervenir de nombreux acteurs (notamment l'État hôte, la société concessionnaire et les cocontractants) aux intérêts souvent divergents mais qui tendent tous à la satisfaction d'un objectif commun: la réussite du projet. L'une des particularités de ces projets est que l'État ayant un fort taux d'endettement et d'impérieuses contraintes budgétaires limitant la capacité du secteur public aux besoins croissants en matière d'infrastructures, bénéficie sous certaines conditions, la participation du secteur privé qui supporte d'énormes risques financiers. Notre étude se veut d'abord une pénétration des mécanismes contractuels des projets BOT afin de déceler les enjeux qui font leur complexité. C'est à la suite de cette analyse que succèdera l'étude des problèmes juridiques affectant l'enveloppe financière, les garanties étatiques ainsi que l'allocation des risques. Dans la troisième partie, notre réflexion sera relancée pour comprendre des questions multiples liées à la sécurisation des investissements BOT réalisés dans les pays à instabilité politique particulièrement en Afrique. Le bilan s'ouvrira sur une analyse critique des sentences arbitrales ciblées en insistant sur des principes très généraux dont l'application a fait l'objet des débats animés en droit des investissements.
Resumo:
L'utilisation des méthodes formelles est de plus en plus courante dans le développement logiciel, et les systèmes de types sont la méthode formelle qui a le plus de succès. L'avancement des méthodes formelles présente de nouveaux défis, ainsi que de nouvelles opportunités. L'un des défis est d'assurer qu'un compilateur préserve la sémantique des programmes, de sorte que les propriétés que l'on garantit à propos de son code source s'appliquent également au code exécutable. Cette thèse présente un compilateur qui traduit un langage fonctionnel d'ordre supérieur avec polymorphisme vers un langage assembleur typé, dont la propriété principale est que la préservation des types est vérifiée de manière automatisée, à l'aide d'annotations de types sur le code du compilateur. Notre compilateur implante les transformations de code essentielles pour un langage fonctionnel d'ordre supérieur, nommément une conversion CPS, une conversion des fermetures et une génération de code. Nous présentons les détails des représentation fortement typées des langages intermédiaires, et les contraintes qu'elles imposent sur l'implantation des transformations de code. Notre objectif est de garantir la préservation des types avec un minimum d'annotations, et sans compromettre les qualités générales de modularité et de lisibilité du code du compilateur. Cet objectif est atteint en grande partie dans le traitement des fonctionnalités de base du langage (les «types simples»), contrairement au traitement du polymorphisme qui demande encore un travail substantiel pour satisfaire la vérification de type.
Resumo:
Thesis written in co-mentorship with Richard Chase Smith Ph.D, of El Instituto del Bien Comun (IBC) in Peru. The attached file is a pdf created in Word. The pdf file serves to preserve the accuracy of the many linguistic symbols found in the text.
Resumo:
Les microcantileviers fonctionnalisés offrent une plateforme idéale pour la nano- et micro-mécanique et pour le développement de (bio-) capteurs tres sensible. Le principe d’opération consiste dans des évènements physicochimiques qui se passent du côté fonctionnalisé du microcantilevier induisant une différence de stress de surface entre les deux côtés du cantilevier qui cause une déflexion verticale du levier. Par contre, les facteurs et les phénomènes interfacials qui régissent la nature et l'intensité du stress de surface sont encore méconnus. Pour éclaircir ce phénomène, la première partie de cette thèse porte sur l'étude des réactions de microcantileviers qui sont recouverts d'or et fonctionnalisés par une monocouche auto-assemblée (MAA) électroactive. La formation d'une MAA de ferrocènylundécanethiol (FcC11SH) à la surface d'or d'un microcantilevier est le modèle utilisé pour mieux comprendre le stress de surface induit par l’électrochimie. Les résultats obtenus démontrent qu'une transformation rédox de la MAA de FcC11SH crée un stress de surface qui résulte dans une déflexion verticale du microcantilevier. Dépendamment de la flexibilité du microcantilevier, cette déflexion peut varier de quelques nanomètres à quelques micromètres. L’oxydation de cette MAA de FcC11SH dans un environnement d'ions perchlorate génère un changement de stress de surface compressive. Les résultats indiquent que la déflexion du microcantilevier est due à une tension latérale provenant d'une réorientation et d'une expansion moléculaire lors du transfért de charge et de pairage d’anions. Pour vérifier cette hypothèse, les mêmes expériences ont été répéteés avec des microcantileviers qui ont été couverts d'une MAA mixte, où les groupements électroactifs de ferrocène sont isolés par des alkylthiols inactifs. Lorsqu’un potentiel est appliqué, un courant est détecté mais le microcantilevier ne signale aucune déflexion. Ces résultats confirment que la déflexion du microcantilevier est due à une pression latérale provenant du ferrocènium qui se réorganise et qui crée une pression sur ses pairs avoisinants plutôt que du couplage d’anions. L’amplitude de la déflexion verticale du microcantilevier dépend de la structure moléculaire de la MAA et du le type d’anion utilisés lors de la réaction électrochimique. Dans la prochaine partie de la thèse, l’électrochimie et la spectroscopie de résonance de plasmon en surface ont été combinées pour arriver à une description de l’adsorption et de l’agrégation des n-alkyl sulfates à l’interface FcC11SAu/électrolyte. À toutes les concentrations de solution, les molécules d'agent tensio-actif sont empilées perpendiculairement à la surface d'électrode sous forme de monocouche condensé entrecroisé. Cependant, la densité du film spécifiquement adsorbé s'est avérée être affectée par l'état d'organisation des agents tensio-actifs en solution. À faible concentration, où les molécules d'agent tensio-actif sont présentes en tant que monomères solvatés, les monomères peuvent facilement s'adapter à l’évolution de la concentration en surface du ferrocènium lors du balayage du potential. Cependant, lorsque les molécules sont présentes en solution en tant que micelles une densité plus faible d'agent tensio-actif a été trouvée en raison de l'incapacité de répondre effectivement à la surface de ferrocenium générée dynamiquement.
Resumo:
Dans la foulée des récents travaux sur les transferts culturels, Robert Dion a consacré un ouvrage (L’Allemagne de Liberté : sur la germanophilie des intellectuels québécois, 2007) au rapport de fascination « à distance » entretenu avec l’Allemagne par plusieurs collaborateurs regroupés autour de la revue Liberté. Se situant dans le prolongement de l’étude de Dion, ce mémoire propose des analyses de nouvelles et de romans québécois écrits par trois collaborateurs de la revue : Diane-Monique Daviau, Yvon Rivard et Pierre Turgeon. Comportant des références plutôt étoffées à l’Allemagne, leurs textes offrent une perception de l’Autre que l’on peut, suivant la perspective des études interculturelles, examiner sous l’angle d’une « rencontre » entre les cultures. C’est donc à la relation avec la langue, avec les lieux, avec l’histoire et la littérature allemands que nous nous intéressons, cherchant non seulement à qualifier le rapport à l’altérité allemande qu’introduisent les textes, mais aussi à identifier certaines conséquences formelles d’une mise en scène littéraire de l’Autre – pratiques polyphoniques, types de procédés intertextuels, etc. Ce travail, qui a également pour objectif de présenter une réflexion novatrice sur l’inscription des thèmes de l’exil, du décentrement et de la migration dans la littérature québécoise contemporaine, lie la référence allemande à l’« enquête sur soi » qu’accomplissent les personnages de Daviau, de Rivard et de Turgeon, révélant que dans leur quête, ces protagonistes prennent souvent la mesure de leur propre « précarité », et, dans certains cas, d’un « héritage de la pauvreté » (Yvon Rivard) qui serait leur – deux motifs majeurs de la littérature québécoise.