Search results for "COD"

Alterazioni degli effetti broncodilatatori della inspirazione profonda in pazienti con Sclerosi Sistemica

2006

Generalized Dimension Distortion under Mappings of Sub-Exponentially Integrable Distortion

2010

We prove a dimension distortion estimate for mappings of sub-exponentially integrable distortion in Euclidean spaces, which is essentially sharp in the plane.

SimuRed: A flit-level event-driven simulator for multicomputer network performance evaluation

2009

The interconnection network is one of the most important multicomputer components, since it has a great impact on global system performance. Many models and simulators have been proposed to evaluate network performance. This paper presents SimuRed, an event-driven flit-level, cycle-accurate simulator to evaluate different orthogonal network configurations. The core of the simulator has been designed to be expandable and portable to different situations. Some of the advantages of this simulator over other similar tools are its visual interface, its fast execution and its simplicity. Moreover, it is multiplatform and its source code versions (C++ and Java) are freely available under GNU open-…

Performance Enhancement of Multimedia Broadcast Multicast Service (MBMS) with Receive Diversity

2007

The aim of this paper is to evaluate the effect of receive diversity on multimedia broadcast multicast service (MBMS) performance in wideband code division multiple access (WCDMA) networks. In addition to time diversity provided by long interleaving and receive diversity provided by multiple receive antennas, 3GPP release 6 specifications for MBMS introduce two macro diversity schemes: soft and selective combining. Diversity techniques are introduced in order to improve the MBMS performance. Improvements help especially the cell edge MBMS users who suffer most from the fading channel conditions. As receive diversity is one of the most efficient diversity techniques this paper examines the s…

AnyDSL: a partial evaluation framework for programming high-performance libraries

2023

This paper advocates programming high-performance code using partial evaluation. We present a clean-slate programming system with a simple, annotation-based, online partial evaluator that operates on a CPS-style intermediate representation. Our system exposes code generation for accelerators (vectorization/parallelization for CPUs and GPUs) via compiler-known higher-order functions that can be subjected to partial evaluation. This way, generic implementations can be instantiated with target-specific code at compile time. In our experimental evaluation we present three extensive case studies from image processing, ray tracing, and genome sequence alignment. We demonstrate that using partial …

Emendation of General Consideration 5 and Rules 18a, 24a and 30 of the International Code of Nomenclature of Prokaryotes to resolve the status of the…

2021

Following the International Committee on Systematics of Prokaryotes electronic discussion and vote on proposals to resolve the status of the Cyanobacteria in the prokaryotic nomenclature, we announce here the results of the ballot. We also present the emended versions of General Consideration 5 and Rules 18a, 24a and 30, based on the outcome of the ballot, to be included in the new revision of the International Code of Nomenclature of Prokaryotes.

Monte Carlo evaluation of kerma in an HDR brachytherapy bunker

2004

In recent years, the use of high dose rate (HDR) after-loader machines has greatly increased due to the shift from traditional Cs-137/Ir-192 low dose rate (LDR) to HDR brachytherapy. The method used to calculate the required concrete and, where appropriate, lead shielding in the door is based on analytical methods provided by documents published by the ICRP, the IAEA and the NCRP. The purpose of this study is to perform a more realistic kerma evaluation at the entrance maze door of an HDR bunker using the Monte Carlo code GEANT4. The Monte Carlo results were validated experimentally. The spectrum at the maze entrance door, obtained with Monte Carlo, has an average energy of about 110 keV, m…

Formal verification of a Cooperative Automatic Repeat reQuest MAC protocol

2012

Author's version of an article published in the journal: Computer Standards & Interfaces. Also available from the publisher at: http://dx.doi.org/10.1016/j.csi.2011.12.001 Cooperative communications, in which a relay node helps the source node to deliver its packets to the destination node, are able to obtain significant benefits in terms of transmission reliability, coverage extension and energy efficiency. A Cooperative Automatic Repeat reQuest (C-ARQ) MAC protocol has been recently proposed to exploit cooperative diversity at the MAC layer. in this paper, we validate the integrity and the validity of the C-ARQ protocol using formal methods. The protocol logic is modeled in SDL and implem…

The nature of quantities influences the representation of arithmetic problems: evidence from drawings and solving procedures in children and adults

2017

International audience; When solving arithmetic problems, semantic factors influence the representations built (Gamo, Sander & Richard, 2010). In order to specify such interpretative processes, we created structurally isomorphic word problems that could be solved with two distinct algorithms. We tested whether a distinction between cardinal and ordinal quantities would lead solvers, due to their daily-life knowledge, to build different representations, influencing their strategies as well as the nature of their drawings. We compared 5th grade children and adults in order to assess the validity of this hypothesis with participants of varying arithmetic proficiency. The results confirmed that…

Rapid Titration With Intravenous Oxycodone for Severe Cancer Pain and Oral Conversion Ratio.

2022

to assess a dose titration with intravenous oxycodone to achieve rapid pain relief of cancer pain of severe intensity. The second objective was to provide a conversion ratio with the oral route.Cancer patients admitted for severe pain were prospectively assessed. At admission (T0) previous opioid doses were recorded. Edmonton symptom assessment scale (ESAS) was collected from T0 until the conclusion of the observation. Intravenous boluses of oxycodone were given until the initial signs of significant analgesia were detected. The effective dose was multiplied for six and given as intravenous continuous infusion. When the patient was considered stabilized the intravenous daily dose was conver…