Application of piece‐wise linear weight functions for 2D 8‐node quadrilateral element in contact problems

The present study is a continuation of our previous work with the aim to reduce problems caused by standard higher order elements in contact problems. The difficulties can be attributed to the inherent property of the Galerkin method which gives uneven distributions of nodal forces resulting in oscillating contact pressures. The proposed remedy is use of piece‐wise linear weight functions. The methods to establish stiffness and/or mass matrix for 8‐node quadrilateral element in 2D are presented, i.e. the condensing and direct procedures. The energy and nodal displacement error norms are also checked to establish the convergence ratio. Interpretation of calculated contact pressures is discussed. Two new 2D 8‐node quadrilateral elements, QUAD8C and QUAD8D, are derived and tested in many examples, which show their good performance in contact problems. Copyright © 2004 John Wiley & Sons, Ltd.     

Biotransformation and toxicity of the lipoxygenase inhibitor 2-hydroxy-5-methyllaurophenone oxime (FLM 5011) on Hep G2 cells

2-Hydroxy-5-methyllaurophenone oxime (FLM 5011) is an inhibitor of lipoxygenase with antiinflammatory and antiallergic actions. We incubated FLM 5011 on the human immortal cell line Hep G2 and found a similar metabolite spectrum as in rat urine and faeces. We also measured the cytotoxicity of FLM 5011 on Hep G2 monolayers by the amido black assay and found that the influence of cell proliferation is partly due to apoptotic activities. Although the metabolic activity of Hep G2 cells is lower compared to rat hepatocyte cultures they are a suitable test system for biotransformation studies. Their higher proliferation rate allows toxicity to be characterised more exactly.     

Simulation of Temperature Distribution in Stored Wheat without Aeration

A neural-deterministic simulation model applied for calculating distributions of temperatures and moisture content in a bed of wheat stored in a steel silo without aeration is presented in the article. The model consists of differential equations of heat and moisture transfer, initial and boundary conditions, and three artificial neural networks used during simulated ambient air conditions. Experiments and computer simulations were carried out in order to determine temperature fields in wheat grain stored in a steel silo for two months. The computer simulations were carried using MATLAB and FEMLAB software. The difference between measured and simulated temperature in grain near the silo wall at a height of 2.5 m from the bottom was less than 3.0°C. On the basis of the analysis performed it was concluded that the temperature distributions obtained with the model were consistent with the measured results obtained for grain stored in a steel silo without aeration.     

Influence of the major histocompatibility complex on age at onset of chronic lymphoid leukaemia

Goodpasture syndrome is an often fatal autoimmune disease associated with glomerulonephritis and/or pulmonary hemorrhage. The clinical manifestations of this disease correlate well with the presence of circulating antiglomerular basement membrane (GBM) autoantibodies. The primary target antigen in glomerular and alveolar basement membranes is thought to be the alpha 3 chain of type IV collagen. Nearly all that is known about anti-GBM antibodies in humans comes from work on unbound circulating antibody. We recently had the unique and rare opportunity to obtain early postmortem antibody and tissues from a patient who died with catastrophic Goodpasture syndrome. The specificity of circulating, kidney-bound and lung-bound autoantibodies from this patient was evaluated against a variety of purified basement membrane constituents. The results indicate that the primary target for the circulating and tissue-bound autoantibodies is the NC1 domain of the alpha 3(IV) chain of type IV collagen. Additionally, all the antibodies recognize a cryptic epitope/s on the alpha 3(IV)NC1 hexamer. Furthermore, tissue-bound and circulating antibodies compete with one another for overlapping epitopes on the antigen. These findings demonstrate that circulating autoantibodies in Goodpasture syndrome are highly representative of those bound to organ tissues, strengthening the notion that pathogenic autoantibodies are targeted to the alpha 3(IV)NC1 collagen, and that previous reports of findings in the circulation may be applicable to tissue injury.     

Mechanical procedure for proof construction via closed terms in typed λ calculus

In this paper is presented an algorithm for constructing natural deduction proofs in the propositional intuitionistic and classical logics according to the analogy relating intuitionistic propositional formulas and natural deduction proofs, respectively, to types and terms of simple type theory. Proofs are constructed as closed terms in the simple typed calculus. The soundness and completeness of this method are proved.     

Modeling time criticality of information

In this paper, we continue the research on formal treatment of attributes of information, based on the computational approach. In this scenario, the usefulness of advisory information is measured by the decrease in complexity of a problem we need to solve. We propose to model the time criticality via usefulness of a piece of information which is received during the computation. As a modeling tool, we use deterministic finite automata.     

On the Computational Complexity of Measuring Global Stability of Banking Networks

Threats on the stability of a financial system may severely affect the functioning of the entire economy, and thus considerable emphasis is placed on the analyzing the cause and effect of such threats. The financial crisis in the current and past decade has shown that one important cause of instability in global markets is the so-called financial contagion, namely the spreadings of instabilities or failures of individual components of the network to other, perhaps healthier, components. This leads to a natural question of whether the regulatory authorities could have predicted and perhaps mitigated the current economic crisis by effective computations of some stability measure of the banking networks. Motivated by such observations, we consider the problem of defining and evaluating stabilities of both homogeneous and heterogeneous banking networks against propagation of synchronous idiosyncratic shocks given to a subset of banks. We formalize the homogeneous banking network model of Nier et al. (J. Econ. Dyn. Control 31:2033–2060, 2007) and its corresponding heterogeneous version, formalize the synchronous shock propagation procedures outlined in (Nier et al. J. Econ. Dyn. Control 31:2033–2060, 2007; M. Eboli Mimeo, 2004), define two appropriate stability measures and investigate the computational complexities of evaluating these measures for various network topologies and parameters of interest. Our results and proofs also shed some light on the properties of topologies and parameters of the network that may lead to higher or lower stabilities.