School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213-3891;
modal lambda-calculus; effect systems; dynamic binding; state;
机译:通过分子动力学模拟评估三种白藜芦醇的性能和MM / GBSA方法的结合:白藜芦醇3至SIRT1的最弱结合触发了从其结合位点解离的可能性
机译:认识性可能性模数的信息动态
机译:层次动态图在认知和绑定不同感觉方式中的作用
机译:通过模态可能性从动态绑定到状态
机译:无法无天的可能性:自然模式的权力
机译:醛缩酶结合甘油醛3-磷酸脱氢酶的布朗动力学模拟和底物通道的可能性。
机译:从动态绑定到状态通过模态可能性