introduction: human embryonic stem cells (hescs) are pluripotent cells that can proliferate and differentiate to many cell types. their electrophysiological properties have not yet been chracterzed. in this study, the passive properties (such as resting membrane potential, input resistance and capacitance) and the contribution of delayed rectifier k+ channel currents to the membrane conductance...

For radiotherapy of organs influenced by respiratory motion using a scanned particle beam [1] rescanning [2], gating [3], and beam tracking [4] have been proposed. For gating and especially for beam tracking a high tumor conformity of the applied dose distribution can be achieved. One requirement to reach this goal is precise motion monitoring during treatment delivery and investigation of tumo...

In this paper, we describe the relationships between pseudo MV algebras and semirings. We also give definitions of automata on lattice ordered semirings, prove that the family of K-Languages is closed under union, and discuss the conditions for the closedness of families of K-languages under intersection, generalized intersection and reversal operations.

Background: In the treatment of prostate cancer, radiotherapy is the potential to increase second primary cancers such as bladder and rectal cancers. The reasons for this potential are more monitor units (MUs), therefore a larger total body dose because of leakage radiation, a bigger volume of normal tissue is exposed to lower radiation doses. This study was designed to compare the integral dos...

Binary boolean satisfiability (SAT) has its applications in nearly all aspects of electronic design automation. Recent advances made by research in multivalued logic, rather than binary (2-valued) logic, suggest that extending binary SAT into the multivalued domain may allow us to efficiently solve many new problems that arise from such research. This paper presents a first look at a possible “...