Memoization, such as that performed by bottom-up evaluation, helps detect loops, avoid repeated computation when subgoals are generated repeatedly, and in conjunction with a fair search strategy, ensures that evaluation is complete. Programs that generate non-ground facts (i.e., facts containing universally quantiied variables) and also need memoization are important in several contexts. Curren...

Take the ethylene-vinyl alcohol (EVAL) copolymer as the infrastructural material, the anion exchange resin D301R as the functional grains, adopt dry-wet method to make resin-filled EVAL hollow fiber membrane, test the pure water flux of the membrane, the rejection rate of the bovine serum albumin (BSA) and the static absorption performance of BSA. Check the influences of coagulation bath temper...

The paper reports on the recent forum RU-EVAL ‒ a new initiative for evaluation of Russian NLP resources, methods and toolkits. It started in 2010 with evaluation of morphological parsers, and the second event RU-EVAL 2012 (2011-2012) focused on syntactic parsing. Eight participating IT companies and academic institutions submitted their results for corpus parsing. We discuss the results of thi...

Contrasting tillage strategies not only affect the stability and formation of soil aggregates but also modify concentration thermostability organic matter associated with aggregates. Understanding carbon retention ability under different systems is essential to ascertain potential terrestrial storage. We characterized (SOC) within various aggregate size classes both zero conventional using nove...

the paper introducedeffects of modified pyrolysis tar on flue gas desulfurization. this experiment selected the pyrolysis tar as the raw material, researched the effects on desulfurization performance under different modification solution, concentration, solid liquid ratio of pyrolysis tar and modified solution, calcination temperature and calcination time by 16 group orthogonal experiments. th...

Ab stract We pro pose the grand chal lenge prob lem of de pend abil ity benchmarking and pre dic tion for real-time mis sion-crit i cal sys tems (RTMCSs). Eval u ating de pend abil ity would quan tify the de gree of re li ance that could jus ti fi ably be placed on a crit i cal sys tem, even in the face of par tial fail ures or ex cep tional con di tions. A com pre hen sive re sult would re qui...

The Mesoproterozoic Xiamaling Formation (∼1.4 Ga) is considered to be a set of promising strata for shale oil and gas exploration production in the Yanliao Basin, North China Craton. This study aimed investigate organic matter accumulation mechanism, hydrocarbon generation expulsion characteristics Formation, using various methods, including scanning electron microscopy, rock-eval pyrolysis, el...

In this paper we describe the LG-Eval toolkit for creating online language evaluation experiments. LG-Eval is the direct result of our work setting up and carrying out the human evaluation experiments in several of the Generation Challenges shared tasks. It provides tools for creating experiments with different kinds of rating tools, allocating items to evaluators, and collecting the evaluation...

It is often necessary to associate weights or other values with the edges of a graph. Such a “weighted” or “edge-labeled” graph can be defined as a triple G = (E, V, w) where w : E → eVal is a function mapping edges or directed edges to their values, and eVal is the set (type) of possible values. For a weighted graph eVal would typically be the real numbers, but for edge-labeled graphs they cou...