Change detection (CD) methods work on the basis of co-registered multi-temporal images with equivalent resolutions. Due to limitation sensor imaging conditions and revisit period, it is difficult acquire desired images, especially in emergency situations. In addition, accurate co-registration largely limited by vast object changes matching algorithms. To this end, a resolution- alignment-aware ...

We present a new approach to reasoning in propositional linear-time temporal logic (PLTL). The method is based on the simplified temporal resolution calculus. We prove that the search for premises to apply the rules of simplified temporal resolution can be re-formulated as a search for minimal unsatisfiable subsets (MUS) in a set of classical propositional clauses. This reformulation reduces a ...

The use of PET to examine the behavioral, therapeutic and toxic properties of drugs and substances of abuse is emerging as a powerful new scientific tool. PET provides a new perspective on drug research by virtue of its ability to directly assess both pharmacokinetic and pharmacodynamic events in humans and in animals. These parameters can be assessed directly in the human body both in healthy ...

Recent studies on multimodal brain source imaging have shown that the use of functional MRI (fMRI) prior information could enhance spatial resolution of magnetoencephalography (MEG), while MEG could compensate poor temporal resolution of fMRI. This article deals with a multimodal imaging method, which combines fMRI and MEG for enhancing both spatial and temporal resolutions. Recent studies on t...

Association of Oceanic-Atmospheric Oscillations and Hydroclimatic Variables in the Colorado River Basin by Ajay Kalra Dr. Sajjad Ahmad, Examination Committee Chair Associate Professor, Civil and Environmental Engineering University of Nevada, Las Vegas With increasing evidence of climatic variability, there is a need to improve forecast for hydroclimatic variables i.e., precipitation and stream...

In this paper, a resolution method for propositional temporal logic is presented. Temporal formulae, incorporating both past-time and future-time temporal operators, are converted to Separated Normal Form (SNF), then both non-temporal and temporal resolution rules are applied. The resolution method is based on classical resolution, but incorporates a temporal resolution rule that can be impleme...

nature methods | ADVANCE ONLINE PUBLICATION | Optical probing of neuronal activity with fluorescent calcium indicators is a powerful approach to study information processing in the brain1. In particular, calcium imaging with two-photon laser scanning microscopy (2PLSM)2 is an ideal tool for recording network activity in vivo because it is less invasive than electrophysiology, more cells can be ...