Sub-Single-Cycle Optical Pulse Train with Constant Carrier-Envelope Phase

[[abstract]]We describe the synthesis of periodic waveforms consisting of a train of pulses that are 0.83 cycles long and have an electric field pulse width of 0.44 fs using 7 Raman sidebands generated by molecular modulation in H2. We verify by optical correlation that the carrier-envelope phase is constant in these waveforms when they are synthesized from commensurate sidebands. The estimated overall shift of the carrier-envelope phase is less than 0.18 cycles from the first to the last pulse of nearly 106 pulses in the pulse train.[[fileno]]2030165010009[[department]]電機工程學

The Specification Statement Refined

In this paper, we present a rigorous treatment of so-called logical constants, which are used to relate the values of program variables between the precondition and the postcondition of a program. In order to do so, we generalize the latest proof rule for procedures and give a new definition for the specification statement. We show that the specification statement with this definition is the greatest lower bound of all its implementations under the usual refinement ordering and that it is A-distributive. We also demonstrate that a previous treatment of logical constants in specification statements does not have these properties

Comparative global immune-related gene profiling of somatic cells, human pluripotent stem cells and their derivatives: implication for human lymphocyte proliferation.

Human pluripotent stem cells (hPSCs), including embryonic stem cells (ESCs) and induced PSCs (iPSCs), represent potentially unlimited cell sources for clinical applications. Previous studies have suggested that hPSCs may benefit from immune privilege and limited immunogenicity, as reflected by the reduced expression of major histocompatibility complex class-related molecules. Here we investigated the global immune-related gene expression profiles of human ESCs, hiPSCs and somatic cells and identified candidate immune-related genes that may alter their immunogenicity. The expression levels of global immune-related genes were determined by comparing undifferentiated and differentiated stem cells and three types of human somatic cells: dermal papilla cells, ovarian granulosa cells and foreskin fibroblast cells. We identified the differentially expressed genes CD24, GATA3, PROM1, THBS2, LY96, IFIT3, CXCR4, IL1R1, FGFR3, IDO1 and KDR, which overlapped with selected immune-related gene lists. In further analyses, mammalian target of rapamycin complex (mTOR) signaling was investigated in the differentiated stem cells following treatment with rapamycin and lentiviral transduction with specific short-hairpin RNAs. We found that the inhibition of mTOR signal pathways significantly downregulated the immunogenicity of differentiated stem cells. We also tested the immune responses induced in differentiated stem cells by mixed lymphocyte reactions. We found that CD24- and GATA3-deficient differentiated stem cells including neural lineage cells had limited abilities to activate human lymphocytes. By analyzing the transcriptome signature of immune-related genes, we observed a tendency of the hPSCs to differentiate toward an immune cell phenotype. Taken together, these data identify candidate immune-related genes that might constitute valuable targets for clinical applications

Frequency-Synthesized Approach to High-Power Attosecond Pulse Generation and Applications: Applications

In part I of this work, we present the design, construction and diagnostics of a new scheme of generating high-power attosecond pulses and arbitrary waveforms by multicolor synthesis. In this chapter, we demonstrate selected applications of this novel source, such as coherently controlled harmonic generation as well as phase-sensitive two-color ablation of copper and stainless steel by this multicolor laser system

Focal Nodular Hyperplasia of the Liver in a 5-year-old Girl

Focal nodular hyperplasia of the liver is a benign tumor that usually affects young women. Traditionally, its treatment in children has been conservative. As a result of its rarity in childhood, its differential diagnosis with other liver tumors is challenging. We present the case of a 5-year-old girl with a 1-week history of fever and abdominal pain. No definite diagnosis could be obtained after serial imaging and liver biopsy. As a result of uncertainty in the imaging and needle biopsy results, the patient underwent complete tumor resection. Pathology showed focal nodular hyperplasia that affected the right lobe of the liver. After surgery, the child was doing well at 24 months of follow-up