High pulsed electrical field as pre-processing step for fruits and vegetables in the vacuum freeze drying could increase drying rate efficiency and preserve nutritional ingredients in maximum. Moreover, high pulsed electrical field pretreatment has been successfully used to solve practical problems in the vacuum freeze drying, such as energy consumption, high production costs and long drying ti...

This paper introduces infinite intervals into the Duration Calculus [32]. The extended calculus defines a state duration over an infinite interval by a property which specifies the limit of the state duration over finite intervals, and excludes the description operator. Thus the calculus can be established without involvement of unpleasant calculation of infinity. With limits of state durations...

Following the recent successes of bounded model-checking, we reconsider the problem of constructing models of discrete-time Duration Calculus formulae. While this problem is known to be non-elementary when arbitrary length models are considered [Han94], it turns out to be only NP-complete when constrained to bounded length. As a corollary we obtain that model construction is in NP for the formu...

The control and stability of the carrier-envelope phase of few-cycle pulses are crucial issues in attoscience. This project reports on a novel few-cycle mid-infrared source based on optical parametric chirped pulse amplification with 100 kHz repetition rate at a wavelength of 3.2μm and a pulse duration of 67 fs. Due to the design of the source it is supposed to be intrinsically passively carrie...

OBJECTIVES Emerging evidence indicates that sleep duration is associated with health outcomes. However, the relationship of sleep duration with long-term health is unclear. This study was designed to determine the relationship of sleep duration with mortality as a parameter for long-term health in a large prospective cohort study in Korea. METHODS The study population included 13 164 particip...

Antidepressant activity of crocin, saffron main component, has been established before. Based on previous study, it is suggested that elevation in the levels of BDNF (brain-derived neurotrophic factor), CREB (cAMP response element binding) and VGF neuropeptide could be considered as one probable molecular mechanisms involved in antidepressant activity of long term crocin administration in the r...