This paper introduces time window temporal logic (TWTL), a rich expressivity language for describing various time bounded specifications. In particular, the syntax and semantics of TWTL enable the compact representation of serial tasks, which are typically seen in robotics and control applications. This paper also discusses the relaxation of TWTL formulae with respect to deadlines of tasks. Eff...

We present the first results concerning synthesizer-driven high-harmonic generation that reach water-window region. This approach holds promise of offering greater spectral tunability in isolated attosecond pulses and at same time achieving higher photon-flux, required for attosecondresolved soft X-ray transient absorption experiments.

Abstract Smart windows with tunable optical properties that respond to external environments are being developed reduce energy consumption in buildings. In the present study, we introduce a new type of 3D printed hydrogel amazing flexibility and stretchability (as large as 1500%), well performance controlled by surrounding temperatures. The on PDMS substrate shows transparent-opaque transition ...

We propose a robust method for estimating the time-varying spectrum of a non-stationary random process. Our approach extends Thomson's powerful multiple window spectrum estimation scheme to the time-frequency and timescale planes. The method reenes previous extensions of Thomson's method through optimally concentrated window and wavelet functions and a statistical test for extracting chirping l...

window analysis is a known technique to evaluate performance during the time periods based on data envelopment analysis. in application of window analysis is assumed that efficient frontier have not changed during the periods in the study. unlike the window analysis, malmquist index tries to identify difference between efficient frontiers and separated them. but the means of different frontier ...

The competitive vehicle routing problem is one of the important issues in transportation area. In this paper a new method for competitive VRP with time windows and stochastic demand is introduced. In the presented method a three time bounds are given and the probability of arrival time between each time bound is assumed to be uniform. The demands of each customer are different in each time wind...

The classical vehicle routing problem involves to design a set of routes for a fleet of vehicles based at one central depot that is required to service a number of geographically dispersed customers, while minimizing the total travel distance or the total distribution cost. Each route originates and terminates at the central depot and customers’ demand are known. In many practical distribution ...