Logical properties

In a study by Andersson et al. [30], the possibilities to use quantitative structure-activity relationship (QSAR) models to predict physical chemical and ecotoxico-logical properties of approximately 200 different plastic additives have been assessed. Physical chemical properties were predicted with the U.S. Environmental Protection Agency Estimation Program Interface (EPI) Suite, Version 3.20. Aquatic ecotoxicity data were calculated by QSAR models in the Toxicity Estimation Software Tool (T.E.S.T.), version 3.3, from U.S. Environmental Protection Agency, as described by Rahmberg et al. [31]. To evaluate the applicability of the QSAR-based characterization factors, they were compared to experiment-based characterization factors for the same substances taken from the USEtox organics database [32], This was done for 39 plastic additives for which experiment-based characterization factors were already available. 

Propranolol is a prototype of this series of drugs and is the oldest and most widely used nonselective )3-adrenoblocker. It possesses antianginal, hypotensive, and antiarrhythmic action. Propranolol is a cardiac depressant that acts on the mechanic and electrophysio-logical properties of the myocardium. It can block atrioventricular conductivity and potential automatism of sinus nodes as well as adrenergic stimulation caused by catecholamines nevertheless, it lowers myocardial contractility, heart rate, blood pressure, and the myocardial requirement of oxygen. 

In the aromatic series it is observed that the introduction of a halogen atom into the side chain of a substance confers lachrymatory properties, while if it replaces a hydrogen atom from the benzene nucleus, a substance results which has no physiopatho-logical properties. Thus, from toluene, benzyl bromide, CgHj—CHjBr, is obtained in the first case. This has energetic lachrymatory properties, while bromotoluene, CgH4Br—CH3, has no toxic action. 

List of substances with the most important physicochemical, safety, and ecotoxico-logical properties of all starting and auxiliary materials, residues, intermediate and side products approximate amounts in the whole plant, and their distribution over the individual paint components... 

I. Mechanism of toxicity. In general, toxic effects are extensions of the phannaco-logic properties of these dmgs. 

Block-like and segmented polymers represent chemically bound "multicomponent" systems that, in our opinion, are able to mimic some of the non-bonded interactions occurring in blends of either compatible or not compatible pol3nners, and to describe phenomena connected with phase segregation and the onset of peculiar micromorpho-logical properties. Additionally, liquid crystal polymers, even though "monocomponent" from a macrochemical point of view in that constituted of only one polymeric material, in reality do behave, under certain selected thermodynamic conditions, as mechanical mixtures of at least two components. 

CheckOfF-M is a formal verification tool which performs model checking. Model checking allows you to find errors in a design and to verify critical properties, such as the absence of deadlocks and whether the design performs specified functions. You provide a set of logical properties which the design should possess, and CheckOff-M tells you if the design omits required behavior or includes unwanted behavior. For example, you can check that (i) mutually exclusive events cannot occur concurrently, or (ii) a desired event will occur at a specific time. 

DUAL-EVAL is grounded in binary, and it would be a matter for further research to formalize a first-order variant. In addition, we would probably be compelled, also, to embed the DDD s control oriented dialect, since these expressions are subject to transformation. One problem with doing this is that we loose access to the logic as a specification language we cannot assert from within Nqthm that if embedded expression E satisfies logical property F, then constructed specification (DDD E) also satisfies F. The quantification over F is higher order. 

Apparently due to non-spectacular results, solanaceous tropane alkaloids of other structural types are not well-described with regard to biological/pharmaco-logical properties. Aliphatic esters such as valeroidine, poroidine, isoporoidine, and valtropine had a depressant effect on the diphasic electric response of the Sartorius muscle of Bufo marinus L cane toad (Bufonidae), characterized by a gradual fall of the action potential to a final abolition together with a 50-100% increase in the conduction time (Traumer and McCallum 1950). In contrast, atropine, hyoscine, and tigloidine had a delayed recovery effect. 

Metals Stainless steel powder (comparable X2CrNiMo 1.4404) and a mold steel (X42Crl3 comparable 1.2083) that can be brought to a hardness of 54 HRC after the oven process are available. Due to the bronze infiltration, the mechanical-techno-logical properties of the materials are generally lower than that of the semifinished products but the thermal conductivity is higher. 

CPU time for optimization also varies with circuit characteristics, but is roughly proportional to the square of circuit size even in the region of large-scale circuits. (See Fig. 7.5.) This indicates a good control logic property in that exponential growth of complexity does not appear in large-scale circuits. 

Within the COMPASS project, we use temporal logic properties to describe both the qualitative and the quantitative properties the system under analysis has to satisfy. Linear Temporal Logic (LTL) [28] and Computational Tree Logic [13] are used to express qualitative properties. Probabilistic Computation Tree Logic (PCTL) [21] and Continuous Stochastic Logic (CSL) [2] are used to express quantitative properties. The definition of properties from non expert users can be facilitated by the use of property patterns [17]. 

---