Automatic controller synthesis and veriication techniques promise to revolutionize the construction of high-conndence software. However, approaches based on explicit state-machine models are subject to extreme state-space explosion and the accompanying scale limitations. In this paper, we describe how to exploit an implicit, transition-based, representation of timed automata in controller synth...

Let $D=(V,A)$ be a finite simple directed graph. A function$f:Vlongrightarrow {-1,0,1}$ is called a twin minus dominatingfunction (TMDF) if $f(N^-[v])ge 1$ and $f(N^+[v])ge 1$ for eachvertex $vin V$. The twin minus domination number of $D$ is$gamma_{-}^*(D)=min{w(f)mid f mbox{ is a TMDF of } D}$. Inthis paper, we initiate the study of twin minus domination numbersin digraphs and present some lo...

We report the results of a modeling study on the sensitivity of normalized difference vegetation index (NDVI) and surface reflectance to differences in instrument spectral response functions (SRF) for various Advanced Very High Resolution Radiometers (AVHRR) onboard the National Oceanic and Atmospheric Administration’s (NOAA) satellites NOAA-6–16 as well as the Moderate Resolution Imaging Spect...

Chinese BeiDou Navigation Satellite System is officially operational as a regional constellation with five Geostationary Earth Orbit (GEO) satellites, five Inclined Geosynchronous Satellite Orbit (IGSO) satellites and four Medium Earth Orbit (MEO) satellites. Observations from the BeiDou Experimental Tracking Stations (BETS) and the IGS Multi-GNSS Experiment (MGEX) network from 1 January to 31 ...

To the assessment of satellite’s capabilities during their progress can be added indices as mass, size and cost. At the final stages of their life-cycle development, owing to the progress in current space technologies, the idea for using small satellites is approved. The small satellites are specified as workefficient, productive and promising. The estimation and the choice ensue from economic ...

History: This cat was normal when acquired in December of 1999, with the exception of an old wound on the dorsum. In August of 2000 the cat started chewing at its tail head and seemed painful. A skin biopsy revealed superficial dermatitis. Seizure-like activity began in October 2000. Clinical pathology revealed leukopenia and a low BUN. Treatment with phenobarbitol was initiated, but by the end...

or more of radioactive myeloma cells to concentrate them into a few milliliters. This would invariably result in a trail of radioactivity across the corridor from the cold room to the hot room where these procedures were Cé sar Milstein died in the early hours of 24 th March 2002. carried out. These studies, plus immunoglobulin protein He had a long history of cardiovascular illness, to which s...