Results 31 to 40 of about 2,767,476 (321)
Certifying Confluence Proofs via Relative Termination and Rule Labeling [PDF]
Logical Methods in Computer Science, 2017 The rule labeling heuristic aims to establish confluence of (left-)linear term rewrite systems via decreasing diagrams. We present a formalization of a confluence criterion based on the interplay of relative termination and the rule labeling in the ...
Julian Nagele +2 more
doaj +1 more source
An interpreter for general netlist design rule checking
, 2022 S.305-310A new approach to general netlist design rule checking is presented, which has been successfully applied to design for testability (DFT) rule checking and electrical rule checking. Core of the checker is an interpreter, which performs operations
Pelz, G.DT Conference
core +1 more source
Rule Modifications to Reduce Checking-Related Injuries in High School Boys' Lacrosse.
Journal of athletic training, 2021 CONTEXT The National Federation of State High School Associations previously implemented 2 lacrosse rule modifications: Rule 5.4 in the 2012-2013 academic year to heighten the penalty for a head or neck hit to the head, face, or neck (HFN) and Rule 5.3.5
Stanley Guillaume +4 more
semanticscholar +1 more source
Globally Admissible Inference Rules
Известия Иркутского государственного университета: Серия "Математика", 2022 Setting the basic rules of inference is fundamental to logic. The most general variant of possible inference rules are admissible inference rules: in logic 𝐿, a rule of inference is admissible if the set of theorems 𝐿 is closed with respect to this rule.
V.V. Rimatskiy
doaj +1 more source
Applied Sciences, 2019 Today, patients generate a massive amount of health records through electronic health records (EHRs). Extracting usable knowledge of patients’ pathological conditions or diagnoses is essential for the reasoning process in rule-based systems to ...
Chao Ou-Yang +4 more
doaj +1 more source
Flow-sensitive Coding Style Checking for C/C++ Programs [PDF]
Jisuanji kexueC/C++ programming languages are applied in numerous critical software systems,and there is an extremely high demand for standardization and clarity of semantics during development.To prevent potential security issues arising from improper use of C/C ...
HU Mengze, MA Xutong, ZHANG Hao, ZHANG Jian
doaj +1 more source
Money in monetary policy design: monetary cross-checking in the New-Keynesian model [PDF]
, 2009 In the New-Keynesian model, optimal interest rate policy under uncertainty is formulated without reference to monetary aggregates as long as certain standard assumptions on the distributions of unobservables are satisfied.
Beck, Günter W. +4 more
core +1 more source
Proceedings of the 35th International Symposium on Automation and Robotics in Construction (ISARC), 2018 – This paper aims to describe a natural language processing (NLP) and deep learning-based approach for supporting automated rule checking system. Automated rule checking has been developed in various ways and enhanced the efficiency of building design ...
Jaeyeol Song, Jinsung Kim, Jin Kook Lee
semanticscholar +1 more source
Journal of Computational Design and Engineering, 2018 The Building Information Modeling (BIM) and its applications enable an automatic building permit process based on 3D building models and their associated information.
Hayan Kim +3 more
semanticscholar +1 more source
Frontiers in Human Neuroscience, 2020 Numerical inductive reasoning has been considered as one of the most important higher cognitive functions of the human brain. Importantly, previous behavioral studies have consistently reported that one critical component of numerical inductive reasoning
Yuzhao Yao +4 more
doaj +1 more source