1,093 research outputs found

    Design of a Multi-Context FPGA Using a Floating-Gate-MOS Functional Pass-Gate

    Get PDF
    科研費報告書収録論文(課題番号:17300009/研究代表者:亀山充隆/システムインテグレーション理論に基づく高安全知能自動車用VLSIの最適設計

    On Subexponentials, Synthetic Connectives, and Multi-level Delimited Control

    Get PDF
    International audienceWe construct a partially-ordered hierarchy of delimited control operators similar to those of the CPS hierarchy of Danvy and Filinski. However, instead of relying on nested CPS translations, these operators are directly interpreted in linear logic extended with subexponentials (i.e., multiple pairs of ! and ?). We construct an independent proof theory for a fragment of this logic based on the principle of focusing. It is then shown that the new constraints placed on the permutation of cuts correspond to multiple levels of delimited control

    The Uptake of ACNU in the Experimental Brain Tumor and the Effect of Induced Hypertension - Part II -

    Get PDF
    開始ページ、終了ページ: 冊子体のページ付

    Technical Note: Determination of formaldehyde mixing ratios in polluted air with PTR-MS: laboratory experiments and field measurements

    No full text
    International audienceFormaldehyde (HCHO), the most abundant carbonyl compound in the atmosphere, is generated as an intermediate product in the oxidation of nonmethane hydrocarbons. Proton transfer reaction mass spectrometry (PTR-MS) has the capability to detect HCHO from ion signals at m/z 31 with high time-resolution. However, the detection sensitivity is low compared to other detectable species, and is considerably affected by humidity, due to back reactions between protonated HCHO and water vapor prior to analysis. We performed a laboratory calibration of HCHO by PTR-MS and examined the detection sensitivity and humidity dependence at various field strengths. Subsequently, we deployed the PTR-MS instrument in a field campaign at Mount Tai in China in June 2006 to measure HCHO in various meteorological and photochemical conditions; we also conducted intercomparison measurements by Multi-Axis Differential Optical Absorption Spectroscopy (MAX-DOAS). Correction of interference in the m/z 31 signals by fragments from proton transfer reactions with methyl hydroperoxide, methanol, and ethanol greatly improves agreement between the two methods, giving the correlation [HCHO]MAX-DOAS = (0.99±0.16) [HCHO]PTR-MS + (0.02±0.38), where error limits represent 95% confidence levels

    18F-Fluoro-2\u27-Deoxyuridine and Experimental Brain Tumor

    Get PDF
    開始ページ、終了ページ: 冊子体のページ付

    Expression of SART3 antigen and induction of CTLs by SART3-derived peptides in breast cancer patients

    Get PDF
    We recently reported the SART3 tumour-rejection antigen as possessing tumour epitopes capable of inducing HLA-class I-restricted cytotoxic T lymphocytes (CTLs). This study investigated expression of the SART3 antigen in breast cancer to explore an appropriate molecule for use in specific immunotherapy of breast cancer patients. The SART3 antigen was detected in all of the breast cancer cell lines tested, 30 of 40 (75%) breast cancer tissue samples, and 0 of 3 non-tumourous breast tissue samples. SART3 derived peptides at positions 109–118 and 315–323 induced HLA-A24 restricted CTLs that reacted to breast cancer cells from the peripheral blood mononuclear cells (PBMCs) of breast cancer patients. Therefore, the SART3 antigen and its peptides could be an appropriate molecule for use in specific immunotherapy of the majority of HLA-A24-positive breast cancer patients. © 2001 Cancer Research Campaignhttp://www.bjcancer.co
    corecore