A New Technique for Reachability of States in Concatenation Automata

We present a new technique for demonstrating the reachability of states in deterministic finite automata representing the concatenation of two languages. Such demonstrations are a necessary step in establishing the state complexity of the concatenation of two languages, and thus in establishing the state complexity of concatenation as an operation. Typically, ad-hoc induction arguments are used to show particular states are reachable in concatenation automata. We prove some results that seem to capture the essence of many of these induction arguments. Using these results, reachability proofs in concatenation automata can often be done more simply and without using induction directly.Comment: 23 pages, 1 table. Added missing affiliation/funding informatio

Complexity of Left-Ideal, Suffix-Closed and Suffix-Free Regular Languages

A language $L$ over an alphabet $\Sigma$ is suffix-convex if, for any words $x,y,z\in\Sigma^*$, whenever $z$ and $xyz$ are in $L$, then so is $yz$. Suffix-convex languages include three special cases: left-ideal, suffix-closed, and suffix-free languages. We examine complexity properties of these three special classes of suffix-convex regular languages. In particular, we study the quotient/state complexity of boolean operations, product (concatenation), star, and reversal on these languages, as well as the size of their syntactic semigroups, and the quotient complexity of their atoms.Comment: 20 pages, 11 figures, 1 table. arXiv admin note: text overlap with arXiv:1605.0669

Assessing Descriptive Substance in Free-Text Collection-Level Metadata

Collection-level metadata has the potential to provide important information about the features and purpose of individual collections. This paper reports on a content analysis of collection records in an aggregation of cultural heritage collections. The findings show that the free-text Description field often provides more accurate and complete representation of subjects and object types than the specified fields. Properties such as importance, uniqueness, comprehensiveness, provenance, and creator are articulated, as well as other vital contextual information about the intentions of a collector and the value of a collection, as a whole, for scholarly users. The results demonstrate that the semantically rich free-text Description field is essential to understanding the context of collections in large aggregations and can serve as a source of data for enhancing and customizing controlled vocabulariesIMLS NLG Research and Demonstration grant LG-06-07-0020-07published or submitted for publicationis peer reviewe

Dublin Core Metadata Harvested Through OAI-PMH

The introduction in 2001 of the Open Archives Initiative Protocol for Metadata Harvesting (OAI-PMH) increased interest in and awareness of metadata quality issues relevant to digital library interoperability and the use of harvested metadata to build "union catalogs" of digital information resources. Practitioners have offered wide-ranging advice to metadata authors and have suggested metrics useful for measuring the quality of shareable metadata. Is there evidence of changes in metadata practice in response to such advice and/or as a result of an increased awareness of the importance of metadata interoperability? This paper looks at metadata records created over a six-year period that have been harvested by the University of Illinois at Urbana Champaign, and reports on quantitative and qualitative analyses of changes observed over time in shareable metadata quality.IMLS National Leadership Grant LG-02-02-0281published or submitted for publicationis peer reviewe

Relaxing the Irrevocability Requirement for Online Graph Algorithms

Online graph problems are considered in models where the irrevocability requirement is relaxed. Motivated by practical examples where, for example, there is a cost associated with building a facility and no extra cost associated with doing it later, we consider the Late Accept model, where a request can be accepted at a later point, but any acceptance is irrevocable. Similarly, we also consider a Late Reject model, where an accepted request can later be rejected, but any rejection is irrevocable (this is sometimes called preemption). Finally, we consider the Late Accept/Reject model, where late accepts and rejects are both allowed, but any late reject is irrevocable. For Independent Set, the Late Accept/Reject model is necessary to obtain a constant competitive ratio, but for Vertex Cover the Late Accept model is sufficient and for Minimum Spanning Forest the Late Reject model is sufficient. The Matching problem has a competitive ratio of 2, but in the Late Accept/Reject model, its competitive ratio is 3/2

Distances from the Correlation between Galaxy Luminosities and Rotation Rates

A large luminosity--linewidth template sample is now available, improved absorption corrections have been derived, and there are a statistically significant number of galaxies with well determined distances to supply the zero point. A revised estimate of the Hubble Constant is H_0=77 +-4 km/s/Mpc where the error is the 95% probability statistical error. Systematic uncertainties are potentially twice as large.Comment: 21 pages, 9 figures. Invited chapter for the book `Post-Hipparcos Cosmic Candles', Eds. F. Caputo and A. Heck (Kluwer Academic Publishers, Dordrecht

Comparative study of INPIStron and spark gap

An inverse pinch plasma switch, INPIStron, was studied in comparison to a conventional spark gap. The INPIStron is under development for high power switching applications. The INPIStron has an inverse pinch dynamics, opposed to Z-pinch dynamics in the spark gap. The electrical, plasma dynamics and radiative properties of the closing plasmas have been studied. Recently the high-voltage pulse transfer capabilities or both the INPIStron and the spark gap were also compared. The INPIStron with a low impedance Z = 9 ohms transfers 87 percent of an input pulse with a halfwidth of 2 mu s. For the same input pulse the spark gap of Z = 100 ohms transfers 68 percent. Fast framing and streak photography, taken with an TRW image converter camera, was used to observe the discharge uniformity and closing plasma speed in both switches. In order to assess the effects of closing plasmas on erosion of electrode material, emission spectra of two switches were studied with a spectrometer-optical multi channel analyzer (OMA) system. The typical emission spectra of the closing plasmas in the INPIStron and the spark gap showed that there were comparatively weak carbon line emission in 658.7 nm and copper (electrode material) line emissions in the INPIStron, indicating low erosion of materials in the INPIStron

Port Selection Criteria for the Korea-China Train Ferry

The Korea-China Train Ferry can be one option to enter into Eurasia and a meaningful way to extend the route forlogistics enterprise and manufacturers of Korea to reach the broaderglobal marketalong with specific access to China. Under this scenaris, this study is designed to look at the progress and status of the Korea-China Train Ferry project as anopportunity for Korea to build a path towards Eurasia and to review factors and opinions to consider in port selectionbased on in-depth interviewswith industry participants andexperts. It alsoaims to discuss ideas for a Korea-Chinalogistics cooperative system. For the train ferry's success, agreements between Korea and China are essential to ensure consistency inbase ports and customsclearance procedures and long-term preparation should be made in the first phase to build the framework for the Korea-China Train Ferry operations

Electrochemical Sensors for Flow-Enhanced Immunoassays and Flow Monitoring of Porous Materials

Department of Chemical EngineeringMicrofluidics enables a miniaturization of laboratory-scale biochemical analysis into a single chip. It has been actively developed and utilized in various biomedical diagnostic devices. Especially, lab-on-a-disc (LOD) and paper microfluidic system can serve as excellent candidates for point-of-care testing (POCT) because of several advantages including relatively simple fluid transfer mechanism, portable size of the device, fast analysis time, reduced cost, automated analysis steps and low consumption of test samples and reagents. In this thesis, electrochemical detection method has been implemented in two kinds of diagnostic devices. First, lab-on-a-disc integrated with screen-printed carbon electrodes (SPCEs) was developed for electrochemical detection of protein biomarkers, C-reactive protein. Compared to conventional optical detection, the electrochemical detection could provide enhanced sensitivity as well as significant cost reduction because it is not necessary to use optical grade plastic materials for the fabrication of the disc. In addition, we have developed electrochemical sensors for the measurement of the local fluid velocity based upon the fact that the electrochemical signal is proportional to the flow rate. As a proof of the concept experiment, we have used the electrochemical sensors for real time monitoring of the flow through porous materials, which can provide a practical tool to quantify the fluid velocity on the paper-based microfluidics. Based on chronoamperometric signals measurement using SPCEs, fluid transfer phenomena through various kinds of porous materials, geometries, absorption pads, and flow modifiers were evaluated. In conclusion, we have developed a cost-effective SPCEs-based electrochemical detection method and utilized not only for the immunoassays fully integrated on a disc but also to characterize fluid transfer behavior through the porous materials. The SPCEs can be utilized as a cost-effective sensor not only for the highly sensitive electrochemical detection for bioassays but also for the flow measurements in porous materials.ope

Room temperature "optical nanodiamond hyperpolarizer": Physics, design, and operation.

Dynamic Nuclear Polarization (DNP) is a powerful suite of techniques that deliver multifold signal enhancements in nuclear magnetic resonance (NMR) and MRI. The generated athermal spin states can also be exploited for quantum sensing and as probes for many-body physics. Typical DNP methods require the use of cryogens, large magnetic fields, and high power microwave excitation, which are expensive and unwieldy. Nanodiamond particles, rich in Nitrogen-Vacancy (NV) centers, have attracted attention as alternative DNP agents because they can potentially be optically hyperpolarized at room temperature. Here, unraveling new physics underlying an optical DNP mechanism first introduced by Ajoy et al. [Sci. Adv. 4, eaar5492 (2018)], we report the realization of a miniature "optical nanodiamond hyperpolarizer," where 13C nuclei within the diamond particles are hyperpolarized via the NV centers. The device occupies a compact footprint and operates at room temperature. Instrumental requirements are very modest: low polarizing fields, low optical and microwave irradiation powers, and convenient frequency ranges that enable miniaturization. We obtain the best reported optical 13C hyperpolarization in diamond particles exceeding 720 times of the thermal 7 T value (0.86% bulk polarization), corresponding to a ten-million-fold gain in averaging time to detect them by NMR. In addition, the hyperpolarization signal can be background-suppressed by over two-orders of magnitude, retained for multiple-minute long periods at low fields, and deployed efficiently even to 13C enriched particles. Besides applications in quantum sensing and bright-contrast MRI imaging, this work opens possibilities for low-cost room-temperature DNP platforms that relay the 13C polarization to liquids in contact with the high surface-area particles