This paper analysis the characteristics and ambiguity function of the single-channel and multichannel DVB-T signals, and choose the multi-channel DVB-T signal as opportunity illuminators to do the research of ISAR imaging. Firstly, the target’s echo using single-in-multi-out mode for passive ISAR image is derived, together with the analysis of the composition of the echo’s spatial spectrum. Con...

Sparkle is a new theorem prover written and specialized in the functional programming language Clean. It is in the first place intended to be used by programmers on small parts of Clean-programs, combining theorem proving and programming into one process. It should of course also be usable by logicians interested in proving properties of larger programs. This paper presents an example proof abo...

In this paper, for the first time to our knowledge, we investigate the optical bi-stability in a compact parallel array of micro- ring resonators with 5μm radius, induced by optical nonlinearity. Due to the nature of perfect light confinement, resonance and accumulation process in a ring resonator, optical nonlinear effects, even at small optical power of a few milliwatts in this structure are ...

Quantum yields for photochemical ring opening of six alkylcyclobutenes have been measured in hexane solution using 228-nm excitation, which selectively populates the lowest pi,R(3s) excited singlet states of these molecules and has been shown previously to lead to ring opening with clean conrotatory stereochemistry. The compounds studied in this work-1,2-dimethylcyclobutene (1), cis- and trans-...

Sparkle is a new theorem prover written and specialized in the functional programming language Clean. It is in the first place intended to be used by programmers on small parts of Clean-programs, combining theorem proving and programming into one process. It should of course also be usable by logicians interested in proving properties of larger programs. This paper presents an example proof abo...

Biocontrol, or Biological Control, can be defined as the use of natural organisms, or genetically modified, genes or gene products, to reduce the effects of undesirable organisms to favour organisms useful to human, such as crops, trees, animals and beneficial microorganisms. This strategy of control is ecologicaly clean and compatible with different models of agriculture: organic, biological a...

This document contains several corrections and remarks for the Dynamic Cooperative Cleaners problem and for the CLEAN and SWEEP cleaning protocols, which were presented in previous works [1, 2].

We consider ancestry labeling schemes: Given a rooted tree T , assign a binary string (label) to each node, such that given the labels of any two nodes, one can determine whether the first is an ancestor of the second in T . Recently, Fraigniaud and Korman [STOC’10] showed that such labels can be assigned using log n+O(log log n) bits per label, solving a long standing open question and matchin...