Realistic prediction of concrete shrinkage and creep requires the calculation of the distributions of relative humidity at various times. Although the distributions of the relative humidity can be computed by numerical methods from the differential equation for diffusion, simple prediction formulas can facilitate structural analysis. The purpose of this paper is to present a simple formula for ...

Realistic prediction of concrete shrinkage and creep requires the calculation of the distributions of relative humidity at various times. Although the distributions of the relative humidity can be computed by numerical methods from the differential equation for diffusion, simple prediction formulas can facilitate structural analysis. The purpose of this paper is to present a simple formula for ...

Is it possible to compute in which logics a given formula is deducible? The aim of this paper is to provide a formal basis to answer positively this question in the context of substructural logics. Such a basis is founded on structurally-free logic, a logic in which the usual structural rules are replaced by complex combinator rules , and thus constitute a generalization of traditional sequent ...

FOSAMAX® (alendronate sodium) is a bisphosphonate that acts as a specific inhibitor of osteoclastmediated bone resorption. Bisphosphonates are synthetic analogs of pyrophosphate that bind to the hydroxyapatite found in bone. Alendronate sodium is chemically described as (4-amino-1-hydroxybutylidene) bisphosphonic acid monosodium salt trihydrate. The empirical formula of alendronate sodium is C4...

CAMPRAL (acamprosate calcium) is supplied in an enteric-coated tablet for oral administration. Acamprosate calcium is a synthetic compound with a chemical structure similar to that of the endogenous amino acid homotaurine, which is a structural analogue of the amino acid neurotransmitter γ-aminobutyric acid and the amino acid neuromodulator taurine. Its chemical name is calcium acetylaminopropa...

in this study, the effective parameters on the inelastic response of asymmetric buildings is evaluated for an ensemble of real iranian earthquake records by considering soil-structure interaction. then, the design eccentricity obtained from the inelastic dynamic soil-structure analysis is compared with the design eccentricity of seisimic codes of iran, atc-3, new zeland, canada, mexico, austral...

In the paper a first order language is constructed. It includes the universal quantifier and the following propositional connectives: truth, negation, and conjunction. The variables are divided into three kinds: bound variables, fixed variables, and free variables. An infinite number of predicates for each arity is provided. Schemes of structural induction and schemes justifying definitions by ...

In this study, we examined genetic and environmental influences on covariation among two reading tests used in neuropsychological assessment (Cambridge Contextual Reading Test [CCRT], [Beardsall, L., and Huppert, F. A. (1994). J. Clin. Exp. Neuropsychol. 16:232-242], Schonell Graded Word Reading Test [SGWRT], [Schonell, F. J., and Schonell, P. E. (1960). Diagnostic and attainment testing. Edinb...

This study proposes a basic molecular formula for all proteins. A total of 10,739 proteins belonging to 9 different protein groups classified on the basis of their functions were selected randomly. They included enzymes, storage proteins, hormones, signalling proteins, structural proteins, transport proteins, immunoglobulins or antibodies, motor proteins and receptor proteins. After obtaining t...

The article includes schemes of defining by structural induction, and definitions and theorems related to: the set of variables which have free occurrences in a ZF-formula, the set of all valuations of variables in a model, the set of all valuations which satisfy a ZF-formula in a model, the satisfiability of a ZF-formula in a model by a valuation, the validity of a ZF-formula in a model, the a...