hydrogen is considered as a unique choice for future world’s resources. the important parameter in the process of hydrogen production is the value of reduction potential for the used catalyst, in direct contact with consumed energy in process. the application of computational methods to design and modify molecular catalysts is highly regarded. this study sought to explore density functional the...

The notion of solvability in the call-by-value-calculus is deened and completely characterized, both from an operational and a logical point of view. The operational characterization is given through a reduction machine, performing the classical-reduction, according to an innermost strategy. In fact, it turns out that the call-by-value reduction rule is too weak for capturing the solvability pr...

We perform a generalised Scherk-Schwarz reduction of the effective action of the het-erotic string on T 6 to obtain a massive N = 4 supergravity theory in four dimensions. The local symmetry-group of the resulting d = 4 theory includes a Heisenberg group, which is a subgroup of the global O(6, 6 + n) obtained in the standard reduction. We show explicitly that the same theory can be obtained by ...

introduction one of the most important pre-processing steps in optical coherence tomography (oct) is reducing speckle noise, resulting from multiple scattering of tissues, which degrades the quality of oct images. materials and methods the present study focused on speckle noise reduction and edge detection techniques. statistical filters with different masks and noise variances were applied on ...

In the present study, the microstructural changes of a Nickel based superalloy Nimonic80A during a non-isothermal deformation were studied. Therefore, microstructure evolutionduring hot side pressing test was predicted with combined methods of finite element analysis andprocessing map of the material. The predicted results were validated through experimentalmicrostructural studies. The results ...

We introduce a polymorphic call-by-value calculus, λexc, based on 2nd order classical logic. The call-by-value computation rules are defined based on proof reductions, in which classical proof reductions are regarded as a logical permutative reduction in the sense of Prawitz and a dual permutative reduction. It is shown that the CPS-translation from the core λexc to the intuitionistic fragment,...