Lossy VASS (vector addition systems with states) are deened as a subclass of VASS in analogy to lossy FIFO-channel systems. They can be used to model concurrent systems with unreliable communication. We analyze the decidability of model checking problems for lossy systems and several branching-time and linear-time temporal logics. We present an almost complete picture of the decidability of mod...

Lossy channel systems are systems of finite state automata that communicate via unreliable unbounded fifo channels. Today the main open question in the theory of lossy channel systems is whether bisimulation is decidable. We show that bisimulation, simulation, and in fact all relations between bisimulation and trace inclusion are undecidable for lossy channel systems (and for lossy vector addit...

With the proliferation of smartphones and social networking services, opportunities for individuals to take photographs have increased exponentially. In a previous study, perceived gloss an object was reduced by its representing as digital image compared with real object. It is also known that editing, such lossy compression, can reduce glossiness image. Therefore, objects may be easily changed...

A lossy compression tolerant data hiding method is proposed in this paper. The image which hides data is named a stego-image. Most of data hiding methods will lose some hidden data when the stego-image is compressed by lossy compression process. However, there are few people will transmit image without lossy compression in the public internet. By the proposed method, the stego-image can be comp...

We introduce a general construction of fully simulatable oblivious transfer based on lossy encryption. Furthermore, we extend the common definition of lossy encryption by introducing the notion of computationally lossy encryption. If the cryptosystem used is computationally lossy, our general construction yields oblivious transfer protocols with computational security for both parties. Otherwis...

An ultrabroad absorber based on double-ring-shaped titanium nitride (TiN) nanoresonators, which can work in high temperatures, is proposed and numerically studied. The with some optimal parameters exhibits an averaged absorption of 94.6% the range 200 - 4000 nm (from ultraviolet to mid-infrared) a band from 3518 having > 90%. We have demonstrated detail physical mechanisms ultra-broad absorptio...

Radiation from monopole antennas on spherical-lossy earth is analyzed by the finitedifference time-domain (FDTD) method in spherical coordinates. A novel generalized perfectly matched layer (PML) has been developed for the truncation of the lossy soil. For having an accurate modeling with less memory requirements, an efficient "non-uniform" mesh generation scheme is used. Also in each time step...

Recently, guiding electromagnetic (EM) waves with a mode at subwavelength scale has attracted great attention, in particular, at optical wavelengths. The related phenomenon is that of surface plasmon polaritons (SPPs) that are bound non-radiative surface waves propagating at metaldielectric interfaces with the fields decaying exponentially away from the interface [1]. Structures supporting such...

The generation of lossy mode resonances (LMR) with a metallic oxide film deposited on an optical fiber has attracted the attention many applications. However, LMR-based sensor is frangible, and therefore it does not allow control temperature suited to mass production. This paper aims develop temperature-controlled resonance (TC-LMR) planar waveguide active function in which ITO only used as LMR...