A chemoenzymatic method was applied to obtain optically pure alkyl-substituted δ-lactones. First, chemical Baeyer-Villiger oxidation of dihydrojasmone (1) was carried out, affording two new alkyl-substituted δ-lactones: 3,4-dihydro-5-methyl-6-pentyl-2H-pyran-2-one (2) and 5-methyl-6-pentyl-1,13-dioxabicyclo[4.1.0]heptan-2-one (3). In the next step, fungal strains were investigated as biocatalys...

plant tissue culture techniques are used as basic requirement of common plant transformation systems. in most cases of plant transformation, a reproducible regeneration protocol is the limiting step due to long time lasting, specialized facilities and well experienced persons. furthermore, tissue culture procedures induce somaclonal variation among regenerated transgenic plants. therefore, rece...

A considerable amount of work has recently been applied to the development of processes to reduce negative environmental impacts of disposal products. Different waste reduction options such as direct reuse, repair, refurbishing, cannibalization, and remanufacturing were introduced to overcome these shortages. This paper studies an integrated system of manufacturing and remanufacturing using a c...

Proof-carrying hardware (PCH) is an approach to achieving safety of dynamically reconfigurable hardware, transferring the idea of proof-carrying code to the hardware domain. Current PCH approaches are, however, either limited to combinational and bounded unfoldings of sequential circuits, or only provide semi-automatic proof generation. We propose a new approach to PCH which employs IC3 as proo...

We propose a framework called configurable proofcarrying code, which allows the untrusted producer of mobile code to provide the bulk of the code verifier used by a code receiver to check the safety of the received code. The resulting system is both more flexible and also more trustworthy than a standard proof-carrying code system, because only a small part of the verifier needs to be trusted, ...

In this paper, finding Dynamic Load Carrying Capacity (DLCC) of flexible link manipulators in point to-point motion was formulated as an optimal control problem. The finite element method was employed for modelling and deriving the dynamic equations of the system. The study employed indirect solution of optimal control for system motion planning. Due to offline nature of the method, many diffic...

in this paper, finding dynamic load carrying capacity (dlcc) of flexible link manipulators in point to-point motion was formulated as an optimal control problem. the finite element method was employed for modelling and deriving the dynamic equations of the system. the study employed indirect solution of optimal control for system motion planning. due to offline nature of the method, many diffic...

Planning robot trajectory is a complex task that plays a significant role in design and application of robots in task space. The problem is formulated as a trajectory optimization problem which is fundamentally a constrained nonlinear optimization problem. Open-loop optimal control method is proposed as an approach for trajectory optimization of cable parallel manipulator for a given two-end-po...

In this paper, the dynamic stability analysis of a simply supported beam carrying a sequence of moving masses is investigated. Many applications such as motion of vehicles or trains on bridges, cranes transporting loads along their span, fluid transfer pipe systems and the barrel of different weapons can be represented as a flexible beam carrying moving masses. The periodical traverse of masses...