We present a verification algorithm that can automatically switch from RAM based verification to disk based verification without discarding the work done during the RAM based verification phase. This avoids having to choose beforehand the proper verification algorithm. Our experimental results show that typically our integrated algorithm is as fast as (sometime faster than) the fastest of the t...

We present a verification algorithm that can automatically switch from RAM based verification to disk based verification without discarding the work done during the RAM based verification phase. This avoids having to choose beforehand the proper verification algorithm. Our experimental results show that typically our integrated algorithm is as fast as (sometime faster than) the fastest of the t...

In this work, the fatigue behaviour of 316 stainless steel is studied with different critical plane models. Seven cylindrical samples were used for study, being subjected to complex loading paths, generating combined stresses along axial and transversal sample directions, these being: individual stress, hoop alternating a proportional combination non-proportional L-shaped square-shaped stress. ...

We have shown previously that oncogenic Ras induces cell cycle arrest in activated Xenopus egg extracts [Pan, Chen and Lin (1994) J. Biol. Chem. 269, 5968-5975]. The cell cycle arrest correlates with the stimulation of a protein kinase activity that phosphorylates histone H2b in vitro (designated p96(h2bk)) [Chen and Pan (1994) J. Biol. Chem. 269, 28034-28043]. We report here that p96(h2bk) is ...

one of the great challenges in the processing of materials using equal channel angular pressing (ecap) is the high forming forces required to produce large shear deformation in the material. researchers show that the friction forces between the die and the sample constitute a great part of the total forming forces. recently, ultrasonic vibrations are successfully implemented into the ecap proce...

Background Egg yolk is the main cryoprotectant agent in semen freezing extenders which is used in order to protect spermatozoa against cold shock. However elimination of animal bioproducts from the cryopreservation protocol is becoming mandatory. Therefore the aim of this study is to compare a previously studied homemade soya bean lecithin based extender with a commercially available extender f...

When conducting research in the area of bone health, accurate measurement of calcium intake is crucial. The rapid assessment method (RAM) is one technique that has frequently been used for its measurement of calcium intake. However, the RAM and other currently established questionnaires lack the assessment of dietary supplement use, which is common for athletes. Our objective was to evaluate th...

Learned vocalizations, such as bird song, require intricate coordination of vocal and respiratory muscles. Although the neural basis for this coordination remains poorly understood, it likely includes direct synaptic interactions between respiratory premotor neurons and vocal motor neurons. In birds, as in mammals, the medullary nucleus retroambigualis (RAm) receives synaptic input from higher ...

OBJECTIVE The glycoprotein (GP) Ib-V-IX complex regulates the adhesion, activation, and procoagulant activity of platelets. We previously reported that RAM.1, a rat monoclonal antibody directed against the extracellular domain of mouse GPIbβ, diminished adhesion of platelets and chinese hamster ovary cells transfected with the human GPIb-IX complex to von Willebrand factor under flow conditions...