51 resultados para Monoïdes typés
Resumo:
Eight members of a family of Working Kelpies were presented with signs compatible with dermatomyositis. Alopecia, crusts, ulcerations of the skin, depigmentation of nasal planum and lips, onychodystrophy and atrophy of the masticatory muscles were present with varying degree. Histopathology of the skin, but not from muscles was performed in three dogs and confirmed the clinical diagnosis. Different immunomodulating drugs (steroids, cyclosporine, mycophenolate mofetil, pentoxifylline, doxycyline/niacinamid, omega-3 fatty acids and vitamin E) were used with variable success. Dermatomyositis is an immune-mediated disease and a genetic predisposition is known in humans and certain canine breeds, mainly Shetland Sheepdogs and Collies, but also for the Beauceron. The responsible genes have not been identified so far. It is assumed that the Working Kelpie derives from the Collie which could explain a hereditary predisposition in the Kelpie.
Resumo:
From 1978 to 1981, intensive sedimentological investigations were carried out on the Northfrisian intertidal shoals between the small island of Gröde and Nordstrand lsland as a part of an interdisciplinary research projekt. The objective of this sedimentological study was to reveal long and short term tendencies in sedimentation and erosion in the environment. The presented study mainly concentrated on surface mapping in the tidal flats which based on more than 5000 sediment samples. The relative amounts of the grain-size fractions <0.063 mm and >0.125 mm are presented on maps. Predominant sediment typs are well sorted fine sands ("Wattsand") and muddy sands ("Schlicksand"), pure muds covering only small areas. The fine-grained deposits are either found in the lee-side of an island in elongated bays having a low waterdepth during high tide near the shore or near exposed "Klei" outcrops as well as sporadically on the edge of tidal rills. Together with standardized fields observations of biological and physical properties, the maps indicate a slight erosive tendency in large sections of the investigated area.
Resumo:
Mode of access: Internet.
Lechus carmen heoricum, regni aurei & liberi primordia & vetustatem fortunamq[u]e variam decantans /
Resumo:
Mode of access: Internet.
Resumo:
Les langages de programmation typés dynamiquement tels que JavaScript et Python repoussent la vérification de typage jusqu’au moment de l’exécution. Afin d’optimiser la performance de ces langages, les implémentations de machines virtuelles pour langages dynamiques doivent tenter d’éliminer les tests de typage dynamiques redondants. Cela se fait habituellement en utilisant une analyse d’inférence de types. Cependant, les analyses de ce genre sont souvent coûteuses et impliquent des compromis entre le temps de compilation et la précision des résultats obtenus. Ceci a conduit à la conception d’architectures de VM de plus en plus complexes. Nous proposons le versionnement paresseux de blocs de base, une technique de compilation à la volée simple qui élimine efficacement les tests de typage dynamiques redondants sur les chemins d’exécution critiques. Cette nouvelle approche génère paresseusement des versions spécialisées des blocs de base tout en propageant de l’information de typage contextualisée. Notre technique ne nécessite pas l’utilisation d’analyses de programme coûteuses, n’est pas contrainte par les limitations de précision des analyses d’inférence de types traditionnelles et évite la complexité des techniques d’optimisation spéculatives. Trois extensions sont apportées au versionnement de blocs de base afin de lui donner des capacités d’optimisation interprocédurale. Une première extension lui donne la possibilité de joindre des informations de typage aux propriétés des objets et aux variables globales. Puis, la spécialisation de points d’entrée lui permet de passer de l’information de typage des fonctions appellantes aux fonctions appellées. Finalement, la spécialisation des continuations d’appels permet de transmettre le type des valeurs de retour des fonctions appellées aux appellants sans coût dynamique. Nous démontrons empiriquement que ces extensions permettent au versionnement de blocs de base d’éliminer plus de tests de typage dynamiques que toute analyse d’inférence de typage statique.
Resumo:
Les langages de programmation typés dynamiquement tels que JavaScript et Python repoussent la vérification de typage jusqu’au moment de l’exécution. Afin d’optimiser la performance de ces langages, les implémentations de machines virtuelles pour langages dynamiques doivent tenter d’éliminer les tests de typage dynamiques redondants. Cela se fait habituellement en utilisant une analyse d’inférence de types. Cependant, les analyses de ce genre sont souvent coûteuses et impliquent des compromis entre le temps de compilation et la précision des résultats obtenus. Ceci a conduit à la conception d’architectures de VM de plus en plus complexes. Nous proposons le versionnement paresseux de blocs de base, une technique de compilation à la volée simple qui élimine efficacement les tests de typage dynamiques redondants sur les chemins d’exécution critiques. Cette nouvelle approche génère paresseusement des versions spécialisées des blocs de base tout en propageant de l’information de typage contextualisée. Notre technique ne nécessite pas l’utilisation d’analyses de programme coûteuses, n’est pas contrainte par les limitations de précision des analyses d’inférence de types traditionnelles et évite la complexité des techniques d’optimisation spéculatives. Trois extensions sont apportées au versionnement de blocs de base afin de lui donner des capacités d’optimisation interprocédurale. Une première extension lui donne la possibilité de joindre des informations de typage aux propriétés des objets et aux variables globales. Puis, la spécialisation de points d’entrée lui permet de passer de l’information de typage des fonctions appellantes aux fonctions appellées. Finalement, la spécialisation des continuations d’appels permet de transmettre le type des valeurs de retour des fonctions appellées aux appellants sans coût dynamique. Nous démontrons empiriquement que ces extensions permettent au versionnement de blocs de base d’éliminer plus de tests de typage dynamiques que toute analyse d’inférence de typage statique.