386 research outputs found
Effects of levosimendan on cellular metabolic alterations in patients with septic shock. a randomized controlled pilot study
No full textIntroduction: Mitochondrial dysfunction and consequent cellular energetic failure play a key role in the development of sepsis-related organs failure. Evidence suggests that the pleiotropic effects of levosimendan may positively affect cellular metabolism during septic shock. Objectives: To investigate changes in the concentration of glucose, lactate, pyruvate, and glycerol in the extracellular fluid of the skeletal muscle following levosimendan administration in patients with septic shock. Methods: The study was designed as a prospective, double-blind, controlled, clinical pilot trial and performed in a multidisciplinary intensive care unit. After achieving normovolemia and a mean arterial pressure of at least 65 mm Hg, 20 septic shock patients were randomized to receive either levosimendan 0.2 mu g/kg/min (n = 10), or dobutamine 5 mu g/kg/min as active comparator (n = 10). Interstitial tissue concentrations of lactate, pyruvate, glucose, and glycerol were obtained by using muscle microdialysis. All measurements, including data from right heart catheterization, were obtained at baseline and every 6 h for the following 72 h after randomization. The trial is registered with Clinicaltrials.gov, number NCT02963454. Results: Compared with dobutamine, levosimendan increased interstitial tissue pyruvate concentration (153.3 +/- 73 and 187.2 +/- 13.5 vs. 210.7 +/- 76.2 and 161 +/- 64.6; P< 0.05), and lactate clearance (55 vs. 10). Lactate/pyruvate ratio was lower in the levosimendan group at the end of study period (37.7 +/- 18.9 and 29.3 +/- 12.7 vs. 10.9 +/- 4.5 and 31.4 +/- 13.2; P< 0.05). Conclusion: Although we investigated a small number of patients, our preliminary results suggest that levosimendan may improve cellular metabolic alterations in patients with septic shock
Time-restricted feeding influences immune responses without compromising muscle performance in older men
No full textThis study examined the effect of 12 wk of time-restricted feeding (TRF) on complete blood cell counts, natural killer cells, and muscle performance in 20- and 50-year-old men
Manage and ensure quality of service of resource management in multi-cloud environment
No full textA mesure que le cloud computing se développe, de nouveaux besoins clients naissent, surpassant les capacités d'un unique fournisseur. Naturellement, les clients se sont intéressés à la consommation de services de plusieurs fournisseurs. Ce paradigme apportent un certains nombre d'avantages. Cependant, le multi-cloud soulève des verrous inhérents à la multiplicité de fournisseurs et à l'hétérogénéité de leurs services. En outre, la gestion de la qualité de service, le maintien et le suivi des objectifs de niveau de service, est rendue d'autant plus complexe en raison de la nature distribuée du contexte multi-cloud et de la dépendance qui existe entre les différents composants.Afin de surmonter ces difficultés, nous visons dans cette thèse à (1) proposer un modèle de description de SLA multi-cloud dynamique, (2) proposer un processus de validation de la cohérence préalable à la mise en œuvre des SLAs multi-cloud dynamique et (3) proposer un processus de vérification post-mise en œuvre des SLAs multi-cloud dynamique. Pour le premier objectif, nous proposons un modèle de description de SLA multi-cloud dynamique composé d'un global-SLA permettant de représenter des objectifs globaux au système multi-cloud, de sub-SLAs permettant de représenter des objectifs locaux au niveau des composants du système multi-cloud et une machine à état permettant la formalisation de reconfiguration des services cloud pour adresser l'aspect dynamique. Pour le second objectif, nous proposons une vérification de la cohérence préalable à la mise en œuvre des SLA multi-cloud dynamiques, identifiant et rapportant les SLOs incohérents. Nous proposons une vérification en 2 étapes: (1) entre les global-SLAs et les sub-SLAs en se basant sur une méthode d'agrégation de SLOs et (2) entre les sub-SLAs et stratégies de reconfiguration en se basant sur une technique de traduction de SLA. Pour le troisième objectif, portant sur le reporting du SLA multi-cloud dynamique après leur mise en œuvre par les fournisseurs de service cloud. Cette contribution, basée sur des techniques de fouille de processus comprenant la collecte et le pré-traitement des journaux d'événements produits durant la mise en œuvre, afin de les comparer avec le SLA multi-cloud dynamique établi et de signaler les éventuelles violations de SLA aux architectes cloud. Nous évaluons cette étape avec des journaux d'événements collectés auprès des 3 plus grands fournisseurs de services cloud: AWS, GCP et Azure.As cloud computing continues to grow, new client needs arise, surpassing the capabilities of a single provider. Naturally, clients have become interested in consuming services from multiple providers. This paradigm brings a number of advantages. However, multi-cloud raises challenges inherent to the multiplicity of providers and the heterogeneity of their services. Moreover, managing the quality of service, maintaining and monitoring service level objectives, is made more complex due to the distributed nature of the multi-cloud context and the dependencies between different components.To overcome these difficulties, in this thesis, we aim to (1) propose a model for dynamic multi-cloud SLA description, (2) propose a process for pre-implementation consistency validation of dynamic multi-cloud SLAs, and (3) propose a process for post-implementation verification of dynamic multi-cloud SLAs. To achieve the first objective, we propose a model for dynamic multi-cloud SLA description composed of a global-SLA to represent global objectives for the multi-cloud system, sub-SLAs to represent local objectives at the component level of the multi-cloud system, and a state machine to formalize the reconfiguration of cloud services to address the dynamic aspect. To achieve the second objective, we propose a pre-implementation consistency verification of dynamic multi-cloud SLAs, identifying and reporting inconsistent SLOs. We propose a two-step verification: (1) between the global-SLAs and the sub-SLAs based on an SLO aggregation method, and (2) between the sub-SLAs and reconfiguration strategies based on an SLA translation technique. To achieve the third objective, focused on reporting the dynamic multi-cloud SLA after implementation by cloud service providers, this contribution is based on process mining techniques, including the collection and pre-processing of event logs produced during the implementation, to compare them with the established dynamic multi-cloud SLA and report any SLA violations to cloud architects. We evaluate this step with event logs collected from the 3 largest cloud service providers: AWS, GCP, and Azure
Knowledge Type Identification in API Documentation
No full text<p>This release contains the source code and instruction on how to obtain the dataset to reproduce the results presented in the following paper</p>
<pre><code>@inproceedings{FMM19,
title={On Using Machine Learning to Identify Knowledge in API Reference Documentation},
author={Fucci, Davide and M. Alizadeh B., Alireza and Maalej, Walid},
booktitle={27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering},
pages={103--112},
year={2019},
doi={10.1145/3338906.3338943}
organization={IEEE}
}
</code></pre>
The formation of the classical tafsīr tradition : the Qurʼān commentary of al-Thaʻlabī (d. 427/1035) by Walid A. Saleh.
No full text"This work is both an introduction to the genre of classical tafsir and a detailed study of one of its major architects, al-Thalabi (d. 427/1035). The book offers a detailed study of the hermeneutical principles that governed al-Thalabi's approach to the Quran, principles which became the norm in later exegetical works. It is divided into three main sections: the first outlines the life and times of the author; the second is a detailed study of his major exegetical work, al-Kashf; the third charts a brief history of the genre of tafsir through documenting the reactions of later exegetes to al-Kashf. This work brings together material never examined before and tries to offer anew way of understanding the history of classical Quran exegesis."--Jacket.Includes bibliographical references (pages 251-259) and indexes."This work is both an introduction to the genre of classical tafsir and a detailed study of one of its major architects, al-Thalabi (d. 427/1035). The book offers a detailed study of the hermeneutical principles that governed al-Thalabi's approach to the Quran, principles which became the norm in later exegetical works. It is divided into three main sections: the first outlines the life and times of the author; the second is a detailed study of his major exegetical work, al-Kashf; the third charts a brief history of the genre of tafsir through documenting the reactions of later exegetes to al-Kashf. This work brings together material never examined before and tries to offer anew way of understanding the history of classical Quran exegesis."--Jacket
Optimisation intelligente à travers machine learning pour les problèmes d’ordonnancement et de planification
No full text100 p. : ill. ; 30 cm.Le rôle essentiel de la gestion de production est de gérer un ensemble de ressources
et de charges de travail, selon un ou plusieurs critères ou contraintes, plus ou moins
explicites, à satisfaire et/ou à optimiser. Dans ce mémoire, nous avons traité le problème d’ordonnancement des ateliers de type flow-shop en faisant appel à l’intelligence artificielle, particulièrement l’apprentissage automatique pour pouvoir adapter
une méthode très puissante qui est l’apprentissage par renforcement.
La méthode adaptée à notre problème est basée sur le renforcement, elle fait un compromis entre l’exploitation et l’exploration afin d’avoir de bons résultats. La méthode
proposée consiste à pousser un agent à prendre des décisions afin qu’il puisse avoir
ses récompenses sur chaque pas ou action prise. L’agent va par la suite apprendre de
lui-même (de ses erreurs) et agira de manière à maximiser ses gains (récompenses cumulatives).
Finalement, nous avons comparé la méthode intelligente adaptée avec un algorithme
génétique. Dans nos tests, nous avons considéré deux critères : le temps d’exécution et
la qualité des solutions générées. Dans la majorité des cas considérés, la méthode que
nous avons adapté dans ce travail trouve de meilleurs résultats par rapport aux deux
critères considérés
A Method for Integrated Modeling of KiPs and Contextual Goals
No full textA Method for Integrated Modeling of KiPs and Contextual Goal
- …
