We define the class of micro-macro stack graphs, a new class of graphs modeling infinite-state sequential systems with a decidable model-checking problem. Micro-macro stack graphs are the configuration graphs of stack automata whose states are partitioned into micro and macro states. Nodes of the graph are configurations of the stack automaton where the state is a macro state. Edges of the grap...

The molecular structure of capecitabine (a widely applied prodrug of 5-fluorouracil) was studied by multinuclear NMR measurements and DFT quantum mechanical calculations. One or two tautomeric forms in a solution were detected depending on the solvent used. In the organic solvents, a mixture of two forms of capecitabine was observed: carbamate and imine tautomers. In the aqueous solution, only ...

objective: soil organic carbon has been the most important soil quality measurement factors and has intense relation with soil physical, chemical and biological characteristics. organic matter and its components are important factors of soil aggregates constitution and stability and play significant role in its structure. so, this research has been done for achieving this purpose. methods: this...

objective: in patients with diabetes mellitus, increased rate of lipoprotein oxidation and oxidative stress have important role in diabetic angiopathy, including nephropathy. we designed a study for comparing the level of ox-ldl in diabetic patients with macro-albuminuria, micro-albuminuria, versus normo-albuminuric. materials and methods: one hundred and thirty five patients with type 2 diabet...

0.279 0.490 0.029 BLEU 0.338 0.469 0.086 cap-macro approx 0.340 0.676 0.086 approx+cap-micro and BLEU 0.354 0.734 0.086 cap-micro approx 0.406 0.741 0.086 cap-micro orig 0.413 0.769 0.086 cap-micro tagger 0.413 0.769 0.086 cap-micro approx-restr 0.423 0.800 0.143 cap-macro orig 0.428 0.800 0.143 cap-macro tagger 0.608 0.800 0.400 cap-macro approx-restr Avg Max Min Overlapping Approximation Czec...