Results 21 to 30 of about 12,021,669 (295)

A phase two randomised controlled double blind trial of high dose intravenous methylprednisolone and oral prednisolone versus intravenous normal saline and oral prednisolone in individuals with leprosy type 1 reactions and/or nerve function impairment. [PDF]

, 2011
BACKGROUND: Leprosy Type 1 reactions are a major cause of nerve damage and the preventable disability that results. Type 1 reactions are treated with oral corticosteroids and there are few data to support the optimal dose and duration of treatment.
Dhakal, Sushmita, Macdonald Murdo, Kishori Mahat, Walker Stephen L., Deanna A Hagge, Ruchal Shudan, Diana N J Lockwood, Deanna A. Hagge, Nicholls Peter G., Peter G Nicholls, Stephen L. Walker, Ruchal, Shudan, Kapil D. Neupane, Peter G. Nicholls, Neupane, Kapil D, Diana N. J. Lockwood, Lockwood, Diana NJ, Neupane Kapil D., Shudan Ruchal, Walker, Stephen L, Kapil D Neupane, Hagge, Deanna A, Stephen L Walker, Sushmita Dhakal, Hamal Sushma, Hawksworth, Rachel A, Murdo Macdonald, Sushma Hamal, Nicholls, Peter G, Rachel A Hawksworth, Lockwood Diana N. J., Hagge Deanna A., Macdonald, Murdo, Mahat Kishori, Dhakal Sushmita, Hawksworth Rachel A., Mahat, Kishori, Rachel A. Hawksworth, Hamal, Sushma   +38 more
core   +1 more source

INTEGRATED REPORTING AS A MODERN TYPE OF REPORTING FOR BUSINESS

Модели, системы, сети в экономике, технике, природе и обществе, 2022
Background. Integrated reporting will combine not only indicators that reflect the performance of business, but also indicators that reflect social, personnel, environmental and other aspects of it.
INTEGRATED REPORTING AS A MODERN TYPE OF REPORTING FOR BUSINESS
doaj   +1 more source

"DARI-ANASTASIA-OLGA-THE RESURRECTED": THE IMAGE OF "IVAN SHMELEV'S GIRL" [PDF]

Проблемы исторической поэтики, 2013
The attempts to build the typology of Shmelev's female images have been repeatedly made by researchers. However, we think that the author in his works and correspondence, relying on classic literature and questioning it at the same time, shapes his own ...
Evgeniya Alexandrovna Korshunova
doaj   +1 more source

The influence of training status, age, and muscle fiber type on cycling efficiency and endurance performance. [PDF]

, 2013
The purpose of this study was to assess the influence of age, training status, and muscle fiber-type distribution on cycling efficiency. Forty men were recruited into one of four groups: young and old trained cyclists, and young and old untrained ...
Wiles, J., Hopker, J., Coleman, Damian A, Jobson, Simon A., Gregson, Hannah C, Wiles, Jonathan, Coleman, D., Gregson, H., Coleman, Damian A., Hopker, James G., Passfield, L., von der Haar, Tobias, Passfield, Louis, Von der Haar, T., Jobson, S., Gregson, Hannah C.   +15 more
core   +1 more source

Type Theory with Opposite Types: A Paraconsistent Type Theory

Logic Journal of the IGPL, 2021
Abstract A version of intuitionistic type theory is extended with opposite types, allowing a different formalization of negation and obtaining a paraconsistent type theory ($\textsf{PTT} $). The rules for opposite types in $\textsf{PTT} $ are based on the rules of the so-called constructible falsity.
Juan Carlos Agudelo Agudelo, Andrés Sicard-Ramírez   +1 more
openaire   +1 more source

Dynamic Typing with Dependent Types [PDF]

, 2006
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages require programmers to annotate their programs with many typing specifications to help guide the type checker.
Xinming Ou, Gang Tan, Yitzhak Mandelbaum, David Walker   +3 more
openaire   +1 more source

Taxonomic Description and Genomic Characterization of Saccharibacillus soli sp. nov., Isolated from Copper Mine Soil, Khetri, Rajasthan, India

Microorganisms
Gram-stain-positive, endospore-producing, mesophilic and rod-shaped strain O16T was isolated from a copper mine’s soil and characterized using a polyphasic taxonomic approach.
Himani Darangwal, Bhawna Vyas, Munesh Kumari, Ojal Bansal, Shanmugam Mayilraj, Venkata Ramana Vemuluri   +5 more
doaj   +1 more source

Type inference with constrained types

Theory and Practice of Object Systems, 1999
In this paper we present a general framework HM(X) for Hindley/Milner style type systems with constraints, analogous to the CLP(X) framework in constrained logic programming. We show that the type system is sound with respect to a standard untyped compositional semantics. We present sufficient conditions on the constraint domain X so that the principal
Martin Odersky, Martin Sulzmann, Martin Wehr   +2 more
openaire   +2 more sources

Rare A-Type, New Spiro-Type, and Highly Oligomeric Proanthocyanidins from Pinus massoniana

, 2020
Isolation of underivatized PACs led to three new, structurally unique PACs (1-3) from pine bark. Pinutwindoublin (1) is the first known trimer with double A-type interflavanyl linkages (2α→O→5,4α→6 and 2α→O→7,4α). Pinuspirotetrin (2) represents the first
Shao-Nong, Chen, Mariana C., Reis, Yvette, Alania, James, McAlpine, Ana K., Bedran-Russo, Guido, Pauli, Bin, Zhou   +6 more
core   +1 more source

Adding pioglitazone to insulin containing regimens in type 2 diabetes : systematic review and meta-analysis [PDF]

, 2009
Background Type 2 diabetes is treated in a stepwise manner, progressing from diet and physical activity to oral antidiabetic agents and insulin. The oral agent pioglitazone is licensed for use with insulin when metformin is contraindicated or not ...
Waugh Norman, Christine Clar, Clar Christine, Waugh, Norman, Norman Waugh, Royle Pamela, Clar, C., Royle, Pamela, Pamela Royle   +8 more
core   +1 more source