599 research outputs found
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(-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 -PIC, with the detection area of
1010 cm and 65536 anode electrodes of 400 m pitch. We
achieved the gas gain of over 10000 without any other multipliers. With the
pipe-line readout system specially developed for the -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 -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(-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 (n,p(573 keV)) reaction is
about 1.2 cm, and that both particles have large energy losses () in 1 atm Ar++He(). 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
Marked enhancement of synthetic-antiferromagnetic coupling in subnanocrystalline FeCoB/Ru/FeCoB sputtered films
- …