We associate a modal operator with each language belonging to a given class of regular tree languages and use the cascade product of tree automata to give an algebraic characterization of the expressive power of the resulting logic.

â liquefied natural gas (lng) is the most economical way of transporting natural gas (ng) over long distances. liquefaction of ng by using vapor compression refrigeration system requires high operating and capital cost. due to lack of systematic design methods for multistage refrigeration cycles, the conventional approaches of determining optimal cycle configuration are mostly based on trial-an...

A nicotinamide adenine dinucleotide (NADH)-dependent redox-neutral convergent cascade composed of a recently discovered type II flavin-containing monooxygenase (FMO E) and horse liver alcohol dehydrogenase (HLADH) has been established. Two model reaction cascades were analyzed for the synthesis of g-butyrolactone and chiral bicyclic lactones. In the former cascade, all substrates were converted...

The Krohn-Rhodes complexity theory for pure (without lin-earity) automata is well-known. This theory uses an operation of wreath product as a decomposition tool. The main goal of the paper is to introduce the notion of complexity of linear automata. This notion is ultimately related with decompositions of linear automata. The study of these decom-positions is the second objective of the paper. ...

Punctuation prediction and disfluency prediction can improve downstream natural language processing tasks such as machine translation and information extraction. Combining the two tasks can potentially improve the efficiency of the overall pipeline system and reduce error propagation. In this work1, we compare various methods for combining punctuation prediction (PU) and disfluency prediction (...

Abstract This study ventures to further sustainable manufacturing by showing how a cascade recycling approach can be utilised plastic cosmetic packaging company. Three reprocessing cycles were assessed from product quality, environmental, financial and social points of view. It is shown the did not negatively affect quality produced parts when compared no-recycling scenario, proposed three-casc...

Given two nonlinear input-output systems represented as Fliess operators, this paper considers properties of the cascade and feedback interconnected systems. The cascade system is characterized via the composition product for formal power series. In the multivariable setting this product is shown to be generally well defined and continuous in its first argument. Then a condition is introduced u...

Software product Line (SPL) is an emerging methodology for developing software products. Stage-configuration is one the important processes applying to the SPL. In stage-configuration, different groups and different people make configuration choices in different stages. Therefore, a successful software product is highly dependent on the validity of stage-configuration process. In this paper, a ...

A substrate-controlled asymmetric Prins/Conia-ene cascade cyclization has been developed with In(OTf)(3) in CH(3)CN from 0 to 70 °C. These conditions afforded very good yields of the 1-oxadecalin product in one pot and effectively suppressed the racemization of the 1-oxadecalin product with almost no enantiomeric excess (ee) loss. This cascade cyclization has been successfully employed for the ...