Explicit Hopcroft's Trick in Categorical Partition Refinement

Algorithms for partition refinement are actively studied for a variety of systems, often with the optimisation called Hopcroft's trick. However, the low-level description of those algorithms in the literature often obscures the essence of Hopcroft's trick. Our contribution is twofold. Firstly, we present a novel formulation of Hopcroft's trick in terms of general trees with weights. This clean and explicit formulation -- we call it Hopcroft's inequality -- is crucially used in our second contribution, namely a general partition refinement algorithm that is \emph{functor-generic} (i.e. it works for a variety of systems such as (non-)deterministic automata and Markov chains). Here we build on recent works on coalgebraic partition refinement but depart from them with the use of fibrations. In particular, our fibrational notion of $R$-partitioning exposes a concrete tree structure to which Hopcroft's inequality readily applies. It is notable that our fibrational framework accommodates such algorithmic analysis on the categorical level of abstraction

Development of miniaturized pick-up amplification circuit for plasma particle detectors on board satellites

Plasma particles and waves are important observation targets in space plasmas for understanding the mechanisms of energy and momentum transfer between waves and particles because space plasmas are essentially collisionless. Multi-point observations are crucial for understanding the spatial–temporal variations of space plasmas. To realize such observations by a large number of satellites, onboard instruments should be miniaturized to reduce their required resources. This paper proposes a small amplifier for plasma particle detectors onboard satellites. This charge-sensitive amplifier converts an electron cloud emitted from the detector, for example a microchannel plate, to a current pulse that can be handled by a time-of-flight measurement circuit to determine the particle velocity and thus mass. The amplifier is realized using application-specific integrated circuit technology to minimize size. Its dimensions are estimated to be $$2120, mathrm{ mu m }times 1680, mathrm{ mu m}$$, which are much smaller than those of a conventional amplifier. The response time of the proposed amplifier has a variation of less than $$1.2, mathrm{ ns}$$ over the range of expected input levels. The amplifier can handle up to $$2times {10}^{7}$$ signals per second and has a sensitivity of $$1.5, mathrm{ V}/mathrm{pC}$$ at $$20, mathrm{^circ{rm C} }$$

Consistent map building in petrochemical complexes for firefighter robots using SLAM based on GPS and LIDAR

The objective of this study was to achieve simultaneous localization and mapping (SLAM) of firefighter robots for petrochemical complexes. Consistency of the SLAM map is important because human operators compare the map with aerial images and identify target positions on the map. The global positioning system (GPS) enables increased consistency. Therefore, this paper describes two Rao-Blackwellized particle filters (RBPFs) based on GPS and light detection and ranging (LIDAR) as SLAM solutions. Fast-SLAM 1.0 and Fast-SLAM 2.0 were used in grid maps for RBPFs in this study. We herein propose the use of Fast-SLAM to combine GPS and LIDAR. The difference between the original Fast-SLAM and the proposed method is the use of the log-likelihood function of GPS; the proposed combination method is implemented using a probabilistic mathematics formulation. The proposed methods were evaluated using sensor data measured in a real petrochemical complex in Japan ranging in size from 550–380 m. RTK-GPS data was used for the GPS measurement and had an availability of 56%. Our results showed that Fast-SLAM 2.0 based on GPS and LIDAR in a dense grid map produced the best results. There was significant improvement in alignment to aerial data, and the mean square root error was 0.65 m. To evaluate the mapping consistency, accurate 3D point cloud data measured by Faro Focus 3D (± 3 mm) was used as the ground truth. Building sizes were compared; the minimum mean errors were 0.17 and 0.08 m for the oil refinery and management building area and the area of a sparse building layout with large oil tanks, respectively. Consequently, a consistent map, which was also consistent with an aerial map (from Google Maps), was built by Fast-SLAM 1.0 and 2.0 based on GPS and LIDAR. Our method reproduced map consistency results for ten runs with a variance of ± 0.3 m. Our method reproduced map consistency results with a global accuracy of 0.52 m in a low RTK-Fix-GPS environment, which was a factory with a building layout similar to petrochemical complexes with 20.9% of RTK-Fix-GPS data availability

High-resolution analysis of aberrant regions in autosomal chromosomes in human leukemia THP-1 cell line

<p>Abstract</p> <p>Background</p> <p>THP-1 is a human monocytic leukemia cell line derived from a patient with acute monocytic leukemia. The cell line differentiates into macrophage-like cells by stimulation with phorbol myristate acetate (PMA). Although it has been used frequently as a model for macrophage differentiation in research including the FANTOM4/Genome Network Project, there are few reports on its genomic constitution. Therefore, we attempted to reveal the genomic aberrations in these cells with the microarray-based comparative genomic hybridization (aCGH) technique.</p> <p>Findings</p> <p>We report large aberrations, including deletions 6p, 12p, 17p, and trisomy 8, and revealed breakpoints in the <it>MLL </it>and <it>MLLT3 </it>genes. Moreover, we found novel genomic aberrations such as a hemizygous narrow deletion partially containing the <it>TP73 </it>gene and homozygous deletions, including the <it>CDKN2A</it>, <it>CDKN2B </it>and <it>PTEN </it>genes.</p> <p>Conclusion</p> <p>In this study, we identified 119 aberrant regions in autosomal chromosomes, and at least 16 of these aberrations were less than 100 kb, most of which were undetectable in the previous works. We also revealed a total of 4.6 Mb of homozygous deleted regions. Our results will provide a base to precisely understand studies involving the THP-1 cell line, especially the huge amount of data generated from the FANTOM4/Genome Network Project.</p

Small sensor probe for measuring plasma waves in space Space science

Background: Since conventional one-point observations of plasma phenomena in space cannot distinguish between time and spatial variations, the missions on the basis of multiple-point observations have become the trend. We propose a new system for multiple-point observation referred to as the monitor system for space electromagnetic environments (MSEE). Findings: The MSEE consists of small sensor probes that have a capability to measure electromagnetic waves and transfer received data to the central station through wireless communication. We developed the prototype model of the MSEE sensor probe. The sensor probe includes a plasma wave receiver, the microcontroller, the wireless communication module, and the battery in the 75-mm cubic housing. In addition, loop antennas, dipole antennas, and actuators that are used for expanding dipole antennas are attached on the housing. The whole mass of the sensor probe is 692 g, and the total power consumption is 462 mW. The sensor probe can work with both inner battery and external power supply. The maximum continuous operation time on battery power is more than 6 h. We verified the total performance for electric field measurements by inputting signal to preamplifier. In this test, we found that analog components had enough characteristics to measure electric fields, and the A/D conversion and the wireless transmission worked correctly. In the whole performance for electric fields, the sensor probe has equivalent noise level of - 135 dBV/m/√Hz. Conclusions: We succeed in developing the prototype model of the small sensor probe that had enough sensitivity for electric field to measure plasma waves and the ability to transfer observation data through wireless communication. The success in developing the small sensor probe for the measurement of plasma waves leads to the realization of the multiple-point observations using a lot of small probes scattered in space

Regulation of gonadotropin secretion and puberty onset by neuromedin U

AbstractNeuromedin U (NMU), an anorexigenic peptide, was originally isolated from porcine spinal cord in 1985. As NMU is abundant in the anterior pituitary gland, we investigated the effects of NMU on gonadotropin secretion. Both NMU and its receptors, NMUR1 and NMUR2, were expressed in the pituitary gland. NMU suppressed LH and FSH releases from rat anterior pituitary cells. Moreover, NMU-deficient mice exhibit an early onset of vaginal opening. The LHβ/FSHβ ratio, which is an index of puberty onset, is high in young NMU-deficient mice. These results indicate that NMU suppresses gonadotropin secretion and regulates the onset of puberty

Aquaporin 4 Expression in the mdx Mouse Diaphragm

Expression of aquaporin (AQP) 4 in the surface membranes of skeletal myofibers is well established; however, its functional significance is still unknown. The alterations of AQP4 expressions in dystrophic muscles at RNA and protein levels have been reported in various dystrophic muscles such as dystrophinopathy, dysferlinopathy, and sarcoglycanopathy. We are interested in the relationship between the severity of dystrophic muscle degeneration and the expression of AQP4. Here we compared the AQP4 expression of the limb muscles with that of diaphragms in both mdx and control mice. The dystrophic muscle degeneration, such as rounding profile of cross sectional myofiber shape, dense eosin staining, central nuclei, and endomysial fibrosis in mdx mice, were more marked in diaphragms than in limb muscles. The decrease of AQP4 expression at protein level was more marked in diaphragms than in the limb muscles of mdx mice. However, the expression of AQP4 mRNA in the diaphragms of mdx mice was not reduced in comparison with limb muscles of mdx mice. The present study revealed that AQP4 expression at protein level was correlated with the severity of dystrophic changes in muscle tissues of mdx mice

Experimental Verification of a One-Dimensional Diffraction-Limit Coronagraph

We performed an experimental verification of a coronagraph. As a result, we confirmed that, at the focal region where the planetary point spread function exists, the coronagraph system mitigates the raw contrast of a star-planet system by at least $1\times10^{-5}$ even for the 1-$\lambda/D$ star-planet separation. In addition, the verified coronagraph keeps the shapes of the off-axis point spread functions when the setup has the source angular separation of 1$\lambda/D$. The low-order wavefront error and the non-zero extinction ratio of the linear polarizer may affect the currently confirmed contrast. The sharpness of the off-axis point spread function generated by the sub-$\lambda/D$ separated sources is promising for the fiber-based observation of exoplanets. The coupling efficiency with a single mode fiber exceeds 50% when the angular separation is greater than 3--4$\times 10^{-1}\lambda/D$. For sub-$\lambda/D$ separated sources, the peak positions (obtained with Gaussian fitting) of the output point spread functions are different from the angular positions of sources; the peak position moved from about $0.8\lambda/D$ to $1.0\lambda/D$ as the angular separation of the light source varies from $0.1\lambda/D$ to $1.0\lambda/D$. The off-axis throughput including the fiber-coupling efficiency (with respect to no focal plane mask) is about 40% for 1-$\lambda/D$ separated sources and 10% for 0.5-$\lambda/D$ separated ones (excluding the factor of the ratio of pupil aperture width and Lyot stop width), where we assumed a linear-polarized-light injection. In addition, because this coronagraph can remove point sources on a line in the sky, it has another promising application for high-contrast imaging of exoplanets in binary systems.Comment: 18 pages, 10 figures, accepted for the Publications of the Astronomical Society of the Pacifi

Evolutionary adaptation of visual pigments in geckos for their photic environment

家の守り神「ヤモリ」が夜でも色を見分けられるのはなぜ --ヤモリが持つ特殊な色覚能力の分子メカニズムを解明--. 京都大学プレスリリース. 2021-10-04.Vertebrates generally have a single type of rod for scotopic vision and multiple types of cones for photopic vision. Noteworthily, nocturnal geckos transmuted ancestral photoreceptor cells into rods containing not rhodopsin but cone pigments, and, subsequently, diurnal geckos retransmuted these rods into cones containing cone pigments. High sensitivity of scotopic vision is underlain by the rod’s low background noise, which originated from a much lower spontaneous activation rate of rhodopsin than of cone pigments. Here, we revealed that nocturnal gecko cone pigments decreased their spontaneous activation rates to mimic rhodopsin, whereas diurnal gecko cone pigments recovered high rates similar to those of typical cone pigments. We also identified amino acid residues responsible for the alterations of the spontaneous activation rates. Therefore, we concluded that the switch between diurnality and nocturnality in geckos required not only morphological transmutation of photoreceptors but also adjustment of the spontaneous activation rates of visual pigments

Peripheral Administration of Morphine Attenuates Postincisional Pain by Regulating Macrophage Polarization through COX-2-Dependent Pathway

BACKGROUND: Macrophage infiltration to inflammatory sites promotes wound repair and may be involved in pain hypersensitivity after surgical incision. We recently reported that the development of hyperalgesia during chronic inflammation is regulated by macrophage polarity, often referred to as proinflammatory (M1) or anti-inflammatory (M2) macrophages. Although opioids such as morphine are known to alter the inflammatory milieu of incisional wounds through interactions with immunocytes, the macrophage-mediated effects of morphine on the development of postincisional pain have not been well investigated. In this study, we examined how morphine alters pain hypersensitivity through phenotypic shifts in local macrophages during the course of incision-induced inflammation. RESULTS: Local administration of morphine in the early phase, but not in the late phase alleviated mechanical hyperalgesia, and this effect was reversed by clodronate-induced peripheral depletion of local macrophages. At the morphine-injected incisional sites, the number of pro-inflammatory F4/80(+)iNOS(+)M1 macrophages was decreased during the course of pain development whereas increased infiltration of wound healing F4/80(+)CD206(+)M2 macrophages was observed during the early phase. Morphine increased the gene expression of endogenous opioid, proenkephalin, and decreased the pronociceptive cytokine, interleukin-1β. Heme oxygenase (HO)-1 promotes the differentiation of macrophages to the M2 phenotype. An inhibitor of HO-1, tin protoporphyrin reversed morphine-induced analgesic effects and the changes in macrophage phenotype. However, local expression levels of HO-1 were not altered by morphine. Conversely, cyclooxygenase (COX)-2, primarily produced from peripheral macrophages in acute inflammation states, was up-regulated in the early phase at morphine-injected sites. In addition, the analgesic effects and a phenotype switching of infiltrated macrophages by morphine was reversed by local administration of a COX inhibitor, indomethacin. CONCLUSIONS: Local administration of morphine alleviated the development of postincisional pain, possibly by altering macrophage polarity at the incisional sites. A morphine-induced shift in macrophage phenotype may be mediated by a COX-2-dependent mechanism. Therefore, μ-opioid receptor signaling in macrophages may be a potential therapeutic target during the early phase of postincisional pain development