We present an implementation of an answer-set programming paradigm, called aspps (short for answer-set programming with propositional schemata). The system aspps is designed to process PS +-theories. It consists of two basic modules. The first module, psgrnd, grounds an PS +-theory. The second module, referred to as aspps, is a solver. It computes models of ground PS +-theories.

The blood-brain barrier is a formidable obstacle for glioma chemotherapy due to its compact structure and drug efflux ability. In this study, a dual-targeting drug delivery system involving Angiopep-2-conjugated biodegradable polymersomes loaded with doxorubicin (Ang-PS-DOX) was developed to exploit transport by the low-density lipoprotein receptor-related protein 1 (LRP1), which is overexpress...

Conventionally, the photon sieve (PS) was made of chrome-coated fused silica and quartz plates. However, plates have a size limitation due to their weight fragility. A membrane PS is attractive since it lightweight, large size, flexibility deployable. This paper demonstrates new concept based on cellulose nanofiber (CNF). The CNF-based (CNF-PS) transparent, flexible, has high strength toughness...

We report the development of a compact, tunable synchronously pumped photonic crystal fiber (PCF)-based optical parametric oscillator (FOPO). The oscillator is pumped using a gain-switched laser diode producing 220 ps pulses around 1062 nm, amplified in a ytterbium doped amplifier to peak powers of 3.5 kW. The FOPO produces anti-Stokes pulses at wavelengths between 757 and 773 nm, with duration...

The crystal growth of isotactic polystyrene (it-PS) is investigated in very thin, 11 nm thick films. The it-PS crystals grown in the thin films show quite different morphology from that in the bulk. With decreasing crystallization temperature, the branching morphology in a diffusion field appears: dendrite and compact seaweed. The branching morphology is formed through a morphological instabili...

We originally present a novel tactic to accomplish a compact efficient dual-wavelength synchronously mode-locked laser by physically combining the Nd:YVO4 crystal to the Nd:GdVO4 crystal as a composite gain medium. With the developed method, the total output power at 1.06 μm could be effectually produced to reach 1.3 W under the optimally balanced two-color intensities. The corresponding mode-l...

A tunable eye-opening lattice filter for dispersion compensation is demonstrated on an ultra low-loss waveguide platform based on a compact high-aspect ratio Si3N4 core. A programmable 10th order lattice filter is demonstrated by cascading a total of 21 Mach-Zehnder interferometers with programmable delay lines of lengths designed at the baseband data rate. The filter has ...

In the present paper, we study some properties of fuzzy norm of linear operators. At first the bounded inverse theorem on fuzzy normed linear spaces is investigated. Then, we prove Hahn Banach theorem, uniform boundedness theorem and closed graph theorem on fuzzy normed linear spaces. Finally the set of all compact operators on these spaces is studied.