Computer system and method for evaluating predicates and boolean expressions

• 1. 用于文件信誉评估的方法、计算机系统和计算机可读介质 [P] . 中国专利： CN107079041B . 2020.10.20
• 2. 用于图像验证码的安全评估方法、装置和计算机系统 [P] . 中国专利： CN110348450A . 2019-10-18
• 3. Computer system and method for evaluating predicates and Boolean expressions [P] . 美国专利： US6023751A . 2000-02-08

  机译： 用于评估谓词和布尔表达式的计算机系统和方法

• 4. Computer system and method for evaluating predicates and boolean expressions [P] . 英国专利： GB9424221D0 . 1995-01-18

  机译： 用于评估谓词和布尔表达式的计算机系统和方法

• 5. Computer system and method for evaluating predicates and boolean expressions [P] . 英国专利： GB2284690A . 1995-06-14

  机译： 用于评估谓词和布尔表达式的计算机系统和方法

• 1. Selection Wind Farm Sites Based on GIS Using a Boolean Method: Evaluation of the Case of Cameroon [J] . Fotsing Metegam Isabelle Flora, Njomo Donatien, René Tchinda, 电力能源（英文） . 2021,第001期
• 2. Research on the Processing Methods of the Computer Format Information Flow in the Network English Translation System [J] . ZHANG Jing 国际英语教育研究：英文版 . 2019,第003期
• 3. Automatic Test Generation of Large Boolean Expressions in Computer Based Interlocking System [C] . Zhiwei Li, Jing Liu, Haiying Sun, Asia-Pacific Software Engineering Conference . 2017
• 4. Boolean bounding predicates for spatial access methods. [D] . Thomas, Megan Carol. 2003
• 5. Computer Applications in Medical Care. Computer Systems in Hospitals. Hospital Information Systems: Planning Evaluation and Implementation: Methodology to Establish Institutional Priorities for Information Systems [O] . Stanley D. Jaworski, Daniel C. Morris 1983
• 6. Book ReviewsFundamentals of Traffic SimulationBarceló Jaume 2010 Springer New York 492 $189.00Handbook of Terminal PlanningBöse Jürgen W. 2011 Springer New York 454 $189.00Boolean Models and Methods in Mathematics, Computer Science, and EngineeringCrama Yves Hammer Peter L. 2010 Cambridge University Press New York 759 $175.00Boolean Functions: Theory, Algorithms, and ApplicationsCrama Yves Hammer Peter L. 2011 Cambridge University Press New York 687 $150.00 [O] . Graham K. Rand 2012
• 7. Short-Circuit Evaluation of Boolean Expressions [R] . Bron, C., Dijkstra, E. J., Jongejan, J., 1992

• 1. Evaluation of Important Factors Affecting Quench Distortion of Carburized Hypoid Gear with Shaft by Using Computer Simulation Methods [J] . Tsuyoshi Sugimoto ,Youichi Watanabe . 材料热处理学报 . 2004,第5期
• 2. Evaluation of integration methods for hybrid simulation of complex structural systems through collapse [J] . Maikol Del Carpio R. ,M.Javad Hashemi ,Gilberto Mosqueda . 地震工程与工程振动：英文版 . 2017,第4期
• 3. Generalized Attack Model for Networked Control Systems, Evaluation of Control Methods [J] . Arman Sargolzaei ,Kang Yen ,Mohamed Abdelghani . 智能控制与自动化（英文） . 2017,第3期
• 4. 一种引入控制策略评估计算机系统可靠性的方法 [C] . 王胜文 ,洪炳熔 ,张凤斌 . 2003中国控制与决策学术年会 . 2003
• 5. 计算机系统脆弱性评估方法研究 [A] . 郑明 . 2005