A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects

This paper investigates language constructs for high-level and type-safe manipulation of JSON objects in a typed functional language. A major obstacle in representing JSON in a static type system is their heterogeneous nature: in most practical JSON APIs, a JSON array is a heterogeneous list consisting of, for example, objects having common fields and possibly some optional fields. This paper presents a typed calculus that reconciles static typing constraints and heterogeneous JSON arrays based on the idea of partially dynamic records originally proposed and sketched by Buneman and Ohori for complex database object manipulation. Partially dynamic records are dynamically typed records, but some parts of their structures are statically known. This feature enables us to represent JSON objects as typed data structures. The proposed calculus smoothly extends with ML-style pattern matching and record polymorphism. These results yield a typed functional language where the programmer can directly import JSON data as terms having static types, and can manipulate them with the full benefits of static polymorphic type-checking. The proposed calculus has been embodied in SML#, an extension of Standard ML with record polymorphism and other practically useful features. This paper also reports on the details of the implementation and demonstrates its feasibility through examples using actual Web APIs. The SML# version 3.1.0 compiler includes JSON support presented in this paper, and is available from Tohoku University as open-source software under a BSD-style license

Performance of the TPC with Micro Pixel Chamber Readout: micro-TPC

Micro-TPC, a time projection chamber(TPC) with micro pixel chamber($\mu$-PIC) readout was developed for the detection of the three-dimensional fine(sub-m illimeter) tracks of charged particles. We developed a two-dimensional position sensitive gaseous detector, or the $\mu$-PIC, with the detection area of 10$\times$10 cm${}^{2}$ and 65536 anode electrodes of 400 $\mu$m pitch. We achieved the gas gain of over 10000 without any other multipliers. With the pipe-line readout system specially developed for the $\mu$-PIC, we detected X-rays at the rate as high as 7.7 Mcps. We attached a drift cage with an 8 cm drift length to the $\mu$-PIC and developed a micro-TPC. We measured the basic performances of the micro-TPC and took three-dimensional tracks of electrons. We also developed a prototype of the MeV gamma-ray imaging detector which is a hybrid of the micro-TPC and NaI(Tl) scintillators and confirmed its concept by reconstructing the obtained data.Comment: 6 pages 16 figures, submitted for IEEE/TNS 200

Risk factors and diagnostic biomarkers for nonalcoholic fatty liver disease-associated hepatocellular carcinoma: Current evidence and future perspectives

High rates of excessive calorie intake diets and sedentary lifestyles have led to a global increase in nonalcoholic fatty liver disease (NAFLD). As a result, this condition has recently become one of the leading causes of hepatocellular carcinoma (HCC). Furthermore, the incidence of NAFLD-associated HCC (NAFLD-HCC) is expected to increase in the near future. Advanced liver fibrosis is the most common risk factor for NAFLD-HCC. However, up to 50% of NAFLD-HCC cases develop without underlying liver cirrhosis. Epidemiological studies have revealed many other risk factors for this condition; including diabetes, other metabolic traits, obesity, old age, male sex, Hispanic ethnicity, mild alcohol intake, and elevated liver enzymes. Specific gene variants, such as single-nucleotide polymorphisms of patatin-like phospholipase domain 3, transmembrane 6 superfamily member 2, and membrane-bound O-acyl-transferase domain-containing 7, are also associated with an increased risk of HCC in patients with NAFLD. This clinical and genetic information should be interpreted together for accurate risk prediction. Alpha-fetoprotein (AFP) is the only biomarker currently recommended for HCC screening. However, it is not sufficiently sensitive in addressing this diagnostic challenge. The GALAD score can be calculated based on sex, age, lectin-bound AFP, AFP, and des-carboxyprothrombin and is reported to show better diagnostic performance for HCC. In addition, emerging studies on genetic and epigenetic biomarkers have also yielded promising diagnostic potential. However, further research is needed to establish an effective surveillance program for the early diagnosis of NAFLD-HCC

Performance of a micro-TPC for a time-resolved neutron PSD

We report on the performance of a micro-TPC with a micro pixel chamber($\mu$-PIC) readout for a time-resolved neutron position-sensitive detector(PSD). Three-dimensional tracks and the Bragg curves of protons with energies of around 1 MeV were clearly detected by the micro-TPC. More than 95% of gamma-rays of 511 keV were found to be discriminated by simple analysis. Simulation studies showed that the total track length of proton and triton emitted from the $\rm {}^{3}He$(n,p(573 keV))$\rm {}^{3}H(191 keV)$ reaction is about 1.2 cm, and that both particles have large energy losses ($\rm > 200 keV/cm$) in 1 atm Ar+$\rm C_{2}H_{6}(10$+${}^{3}$He($< 1$). These values suit the current performance of the micro-TPC, and we conclude that a time-resolved neutron PSD with spatial resolution of sub-millimeters shall be developed as an application of the micro-TPC.Comment: 13 pages, 10 figures, to appear in NIM

Cloning of an isoform of mouse TGF-β type II receptor gene

AbstractA variant of transforming growth factor-β type II receptor (TGF-βRII) cDNA was isolated from a mouse brain cDNA library. The predicted receptor is identical to previously reported mouse TGF-βRII except that the isoform has an insertion sequence of 25 amino acids in the predicted ligand-binding domain. By the use of reverse transcription-polymerase chain reaction (RT-PCR), transcripts for both isoforms were detected in all tissues and developing embryos examined. The isoform transiently expressed in COS cells showed a similar ligand-binding specificity to authentic TGF-βRII. These results suggest that the mouse TGF-βRII gene generates multiple isoforms, possibly by alternative splicing, as reported for activin type IIB receptor; and an isoform which has the extra sequence in the ligand-binding domain is also involved in the TGF-β signal transduction

Simulation study of electron drift and gas multiplication in Micro Pixel Chamber

The physical processes of charge collection and gas multiplication of a Micro Pixel Chamber (mu-PIC) were studied in detail using a three-dimensional simulation. The collection efficiencies of primary electrons and gas multiplication factors were calculated for several electrode structures. Based on those studies, we analyzed the optimization of the electrode structure of the mu-PIC, in order to obtain a high gas gain of more than 10^4 and a simultaneous suppression of discharges. Consequently, we found that these characteristics strongly depend on the substrate thickness and the anode diameter of the mu-PIC. In addition, a gas gain of 10^5 would be expected for a mu-PIC having a thick substrate of > 150um.Comment: 16 pages, 14 figures, Submitted to Nucl. Instr. Methods