We address the problem of verifying planning domains as used in model-based planning, for example in space missions. We propose a methodology for testing flight rules of planning domains which is self-contained, in the sense that flight rules are verified using a planner and no external tools are required. We review and analyse coverage conditions for requirements-based testing, and we reason i...

We address the problem of verifying planning domains as used in model-based planning, for example in space missions. We propose a methodology for testing flight rules of planning domains which is selfcontained, in the sense that flight rules are verified using a planner and no external tools are required. We review and analyse coverage conditions for requirements-based testing, and we reason in...

File formats have a tendency to proliferate and the tools required to convert between formats tend to lag behind. In addition, fle conversion is often inadequate and information lossy. The Unifed File Container (UFC) is a framework for allowing existing fle formats to share content, structure, and presentation without necessarily using the same underlying fle format. Any proposed framework clea...

OBJECTIVE It is presently unclear whether the accuracy of midnight serum cortisol (F24) in the diagnosis of Cushing's syndrome (CS) may be replicated under usual conditions of clinical care. The aim of the present study was to assess retrospectively the effectiveness of F24 for confirming the diagnosis in a consecutive series of 106 patients, in 78 of whom a definitive diagnosis of CS was made....

OBJECTIVE Absence of a late-night cortisol nadir is a consistent biochemical abnormality in patients with cortisol-producing adenoma. We evaluated the abnormality of late-night urinary free cortisol to creatinine ratio (late-night UFCCR) in patients with subclinical Cushing's syndrome (SCS). METHODS Fifty-eight patients with incidentally detected adrenocortical adenomas [SCS: 9; nonfunctionin...

El presente estudio trata acerca de la naturaleza jurídica los videojuegos digitales, bien objeto posibles litigios en materia consumo y con carácter internacional debido al actual mercado global. Se analizará tanto su como inmaterial, protección sus consumidores Unión Europea posteriormente, utilizando sentencia fruto del litigio UFC, asociación francesa, frente a VALVE, distribuidora digitale...

BACKGROUND Measurement of the plasma adrenocorticotropic hormone (ACTH) level has been recommended as the first diagnostic test for differentiating between ACTH-independent Cushing syndrome (CS) and ACTH-dependent CS. When plasma ACTH values are inconclusive, a differential diagnosis of CS can be made based upon measurement of the serum dehydroepiandrosterone sulfate (DHEA-S) level and results ...

Dropping probability of handoff calls and blocking probability of new calls are two important QoS measures for cellular networks. Since the dropping probability of handoff calls is more important, call admission policies are used to maintain the upper bound of dropping probability of handoff calls. The fractional guard channel policy (FG) is a general call admission policy and includes most pri...

Introduction Liquid chromatography coupled to atmospheric pressure ionization tandem mass spectrometry (LC-ESI-MS/MS) is currently considered the reference method for quantitative determination of urinary free cortisol (UFC). One of the major drawbacks of this measurement is a particular form of matrix effect, conventionally known as ion suppression. Materials and methods We describe here the...

Spontaneous remission is rare in ectopic ACTH syndrome (EAS). We describe four patients with presumed EAS in whom long-term treatment with steroidogenesis inhibitors was followed by prolonged remission of hypercortisolemia. Biochemical testing was consistent with EAS, but imaging failed to identify a tumor. Patients were treated with ketoconazole alone or with mitotane and/or metyrapone to cont...