首页> 外文OA文献 >Automated Checking of Flexible Mathematical Reasoning in the Case of Systems of (In)Equations and the Absolute Value Operator

【2h】

Automated Checking of Flexible Mathematical Reasoning in the Case of Systems of (In)Equations and the Absolute Value Operator

机译：在（IN）方程和绝对值运算符的情况下自动检查灵活的数学推理

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Antti Valmari;
展开▼
作者单位

展开▼
年度 2021
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Integrating semantic NLP and logic reasoning into a unified system for fully-automated code checking [J] . Zhang Jiansong, El-Gohary Nora M. Automation in construction . 2017,第JANa期

机译：将语义NLP和逻辑推理集成到统一系统中，以进行全自动代码检查
2. Hypothetical reasoning approach for Automated Guided Vehicle action decision in Autonomous Decentralised Flexible Manufacturing Systems [J] . Rizauddin Ramli, Hidehiko Yamamoto, Jaber Abu Qudeiri International Journal of Intelligent Systems Technologies and Applications . 2009,第2期

机译：自主分散柔性制造系统中的自动引导车辆行动决策的假设推理方法
3. Evaluating Distribution System Operators: Automated Demand Response and Distributed Energy Resources in the Flexibility4Chile Project [J] . Juan Ignacio Guerrero, Enrique Personal, Sebastian Garcia Caro, IEEE Power & Energy Magazine . 2020,第5期

机译：评估分配系统运营商：灵活性4轴项目中的自动化需求响应和分布式能源
4. Mathematical models for the distribution of functions between the operators of the computer-integrated flexible manufacturing systems [C] . Evgeniy Lavrov, Nadiia Pasko, Anna Krivodub, Proceedings of the 13th International Conference on Modern Problems of Radio Engineering, Telecommunications and Computer Science . 2016

机译：在计算机集成的柔性制造系统的操作员之间分配功能的数学模型
5. Commissioning and Implementation of an EPID Based IMRT QA System "Dosimetry Check" for 3D Absolute Dose Measurements and Quantitative Comparisons to MapCheck. [D] . Patel, Jalpa A. 2010

机译：基于EPID的IMRT QA系统“剂量检查”的调试和实现，用于3D绝对剂量测量以及与MapCheck的定量比较。
6. Multivariate systems of nonexpansive operator equations and iterative algorithms for solving them in uniformly convex and uniformly smooth Banach spaces with applications [O] . Yongchun Xu, Jinyu Guan, Yanxia Tang, -1

机译：非膨胀算子方程的多元系统及其在一致凸和一致光滑Banach空间中求解它们的迭代算法及其应用
7. Implementing Class Wide Peer Tutoring to Enhance Students' Mathematical Reasoning Ability in Understanding Absolute Value Equations and Inequalities [O] . Ega Gradini, Firmansyah B, Septia Wahyuni, 2021

机译：实施级别的同伴辅导，以提高学生的数学推理能力，了解绝对值方程和不平等

Automated Checking of Flexible Mathematical Reasoning in the Case of Systems of (In)Equations and the Absolute Value Operator

著录项

引文网络

相似文献

相关主题

期刊订阅