State of B\"uchi Complementation

Complementation of B\"uchi automata has been studied for over five decades since the formalism was introduced in 1960. Known complementation constructions can be classified into Ramsey-based, determinization-based, rank-based, and slice-based approaches. Regarding the performance of these approaches, there have been several complexity analyses but very few experimental results. What especially lacks is a comparative experiment on all of the four approaches to see how they perform in practice. In this paper, we review the four approaches, propose several optimization heuristics, and perform comparative experimentation on four representative constructions that are considered the most efficient in each approach. The experimental results show that (1) the determinization-based Safra-Piterman construction outperforms the other three in producing smaller complements and finishing more tasks in the allocated time and (2) the proposed heuristics substantially improve the Safra-Piterman and the slice-based constructions.Comment: 28 pages, 4 figures, a preliminary version of this paper appeared in the Proceedings of the 15th International Conference on Implementation and Application of Automata (CIAA

Vacuum-UV spectroscopy of interstellar ice analogs. II. Absorption cross-sections of nonpolar ice molecules

Dust grains in cold circumstellar regions and dark-cloud interiors at 10-20 K are covered by ice mantles. A nonthermal desorption mechanism is invoked to explain the presence of gas-phase molecules in these environments, such as the photodesorption induced by irradiation of ice due to secondary ultraviolet photons. To quantify the effects of ice photoprocessing, an estimate of the photon absorption in ice mantles is required. In a recent work, we reported the vacuum-ultraviolet (VUV) absorption cross sections of nonpolar molecules in the solid phase. The aim was to estimate the VUV-absorption cross sections of nonpolar molecular ice components, including CH4, CO2, N2, and O2. The column densities of the ice samples deposited at 8 K were measured in situ by infrared spectroscopy in transmittance. VUV spectra of the ice samples were collected in the 120-160 nm (10.33-7.74 eV) range using a commercial microwave-discharged hydrogen flow lamp. We found that, as expected, solid N2 has the lowest VUV-absorption cross section, which about three orders of magnitude lower than that of other species such as O2, which is also homonuclear. Methane (CH4) ice presents a high absorption near Ly-alpha (121.6 nm) and does not absorb below 148 nm. Estimating the ice absorption cross sections is essential for models of ice photoprocessing and allows estimating the ice photodesorption rates as the number of photodesorbed molecules per absorbed photon in the ice.Comment: 9 pages, 6 figures, 7 table

Robust Platelet Logistics Planning in Disaster Relief Operations Under Uncertainty: a Coordinated Approach

© 2017, Springer Science+Business Media, LLC. Resource sharing, as a coordination mechanism, can mitigate disruptions in supply and changes in demand. It is particularly crucial for platelets because they have a short lifespan and need to be transferred and allocated within a limited time to prevent waste or shortages. Thus, a coordinated model comprised of a mixed vertical-horizontal structure, for the logistics of platelets, is proposed for disaster relief operations in the response phase. The aim of this research is to reduce the wastage and shortage of platelets due to their critical role in wound healing. We present a bi-objective location-allocation robust possibilistic programming model for designing a two-layer coordinated organization strategy for multi-type blood-derived platelets under demand uncertainty. Computational results, derived using a heuristic ε-constraint algorithm, are reported and discussed to show the applicability of the proposed model. The experimental results indicate that surpluses and shortages in platelets remarkably declined following instigation of a coordinated disaster relief operation

A Bibliometric Review on Risk Management and Building Information Modeling for International Construction

International construction is complicated and involves high risks. However, with the development of technological innovation, Building Information Modeling (BIM) emerged and seems to be able to address certain risks. To understand BIM applications in risk management for international construction, a state-of-the-art review is required. Therefore, this paper aims to identify the research trends and opportunities for risk management in BIM-enabled international construction by reviewing 526 peer-reviewed journal articles for the years 2007-2017. Thus five steps of bibliometric analysis were conducted based on the proposed frameworks of BIM risk management in international construction (BIM-RM-INTL). The results show that the popularization of BIM not only attracts all stakeholders' interests but also brings some risks. For example, financial factors are hard to detect and control through BIM, information loss during transmission stands out, and BIM has no unified standards and regulations for international construction. The research has mapped existing research results and their relationships for future risk management in BIM-enabled international construction

Larkin-Ovchinnikov-Fulde-Ferrell phase in the superconductor (TMTSF)2ClO4: Theory versus experiment

We consider a formation of the Larkin-Ovchinnikov-Fulde-Ferrell (LOFF) phase in a quasi-one-dimensional (Q1D) conductor in a magnetic field, parallel to its conducting chains, where we take into account both the paramagnetic spin-splitting and orbital destructive effects against superconductivity. We show that, due to a relative weakness of the orbital effects in a Q1D case, the LOFF phase appears in (TMTSF)$_2$ClO$_4$ superconductor for real values of its Q1D band parameters. We compare our theoretical calculations with the recent experimental data by Y. Maeno's group [S. Yonezawa et al., Phys. Rev. Lett. \textbf{100}, 117002 (2008)] and show that there is a good qualitative and quantitative agreement between the theory and experimental data.Comment: 4 pages, 1 figur

Transient Analysis of Warm Electron Injection Programming of Double Gate SONOS Memories by means of Full Band Monte Carlo Simulation

In this paper we investigate "Warm Electron Injection" as a mechanism for NOR programming of double-gate SONOS memories through 2D full band Monte Carlo simulations. Warm electron injection is characterized by an applied VDS smaller than 3.15 V, so that electrons cannot easily accumulate a kinetic energy larger than the height of the Si/SiO2 barrier. We perform a time-dependent simulation of the program operation where the local gate current density is computed with a continuum-based method and is adiabatically separated from the 2D full Monte Carlo simulation used for obtaining the electron distribution in the phase space. In this way we are able to compute the time evolution of the charge stored in the nitride and of the threshold voltages corresponding to forward and reverse bias. We show that warm electron injection is a viable option for NOR programming in order to reduce power supply, preserve reliability and CMOS logic level compatibility. In addition, it provides a well localized charge, offering interesting perspectives for multi-level and dual bit operation, even in devices with negligible short channel effects

Development of the Two‐Stage Rapid Estimate of Adult Literacy in Dentistry

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/86828/1/j.1600-0528.2011.00619.x.pd

Experimental verification of strong rotational dependence of fluorescence and predissociation yield in the b ¹Πᵤ(v = 1) level of ¹⁴N₂

New, rotationally resolved fluorescence-excitation spectra confirm coupled-channel Schrödinger-equation predictions of strong rotational dependence of the fluorescence and predissociation yields in the b(v = 1) level of ¹⁴N₂.This work was supported by the National Science Foundation grant AST-0906158 and the Australian Research Council grants DP0558962, DP0773050, and LX0882438

Fruit morphological characteristics of cultivated Aquilaria lam. (Thymelaeaceae) in Peninsular Malaysia

The agarwood-producing tree, Aquilaria spp. was recently domesticated and largely cultivated for the purpose of sustainably producing agarwood in Malaysia. In this study, fruit morphological characteristics of five Aquilaria species commonly cultivated in Peninsular Malaysia are reported. Each species has significant fruit or capsule characteristics that could be used in speciesidentification: Aquilaria crassna - huge and wrinkled, Aquilaria hirta - velvety and obtuse calyx lobes, Aquilaria malaccensis - paper-like texture and triangular calyx lobes, Aquilaria sinensis - diamond-shaped and oblong calyx lobes, and Aquilaria subintegra - fine hairs and rounded calyx lobes. These features are significant taxonomic characteristics for differentiating the five species