The boxdot conjecture asserts that every normal modal logic that faithfully interprets T by the well-known boxdot translation is in fact included in T. We confirm that the conjecture is true. More generally, we present a simple semantic condition on modal logics L0 which ensures that the largest logic where L0 embeds faithfully by the boxdot translation is L0 itself. In particular, this natural...

We investigate water-ice clouds and their influence on the temperature structure of Martian atmosphere at high northern latitudes in early summer. New results are obtained through coordinated analysis two types data from Mars Global Surveyor: atmospheric profiles retrieved radio occultation (RO) measurements wide-angle images Orbiter Camera (MOC). Some RO contain a layer neutral static stabilit...

The management and control of food waste is currently seen as a growing concern; anaerobic digestion promising alternative for the valorization waste. This study evaluates effect application three pretreatments (grinding, pH control, thermal treatment) organic load employing high alkalinity inoculum methane production through BMP tests, using Taguchi L8 experimental design 4 factors 2 levels, r...

We introduce a retargetable microcode generator for application specific digital signal processors (ASDSPs). The primary goal of our work is to quickly provide system architects with the set of tools necessary for program development (assemblers, instruction set simulators, debuggers and compilers); in particular when the processor architecture is refined simultaneously with the algorithm. Afte...

We are concerned with the issue of detecting changes of clustering structures from multivariate time series. From the viewpoint of the minimum description length (MDL) principle, we introduce an algorithm that tracks changes of clustering structures so that the sum of the code-length for data and that for clustering changes is minimum. Here we employ a Gaussian mixture model (GMM) as representa...

OBJECTIVE To investigate whether cardiac tissue extracts from rats could mimic the cardiac microenvironment and act as a natural inducer in promoting the differentiation of bone marrow stromal cells (BMSCs) into cardiomyocytes. METHODS Three kinds of tissue extract or cell lysate [infarcted myocardial tissue extract (IMTE), normal myocardial tissue extract (NMTE) and cultured neonatal myocard...

The Air Force has two ongoing initiatives to aid the ailing U.S. Machine Tool Industry. The first is the Intelligent Machining Workstation (IMW), which has the goal of automatically producing one-off quality parts. The second is a Next Generation Controller (NGC) initiative, which has as its primary objective to design and specify an open architecture controller for machine tools. This report a...

An enzyme-labeled immunometric assay has been developed for measuring digoxin concentrations in serum or plasma. Unitized, compartmentalized reagents are used with an automated sample-processing instrument. The enzyme activity of the processed sample, which is directly proportional to the digoxin concentration, is measured by using a reagent strip and the Ames Seralyzer reflectance photometer. ...