|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | Direct reprogramming of human fibroblasts into dopaminergic neuron-like cells显示文摘外长的 dopaminergic 神经原(DA 神经原) 的移植是为治疗 Parkinson 的疾病(PD ) 的一条有希望的途径。然而,主要跌倒块是施主 DA 神经原的可靠来源的缺乏。这里,我们证明五 transcriptional 因素 Mash1, Ngn2, Sox2, Nurr1,和 Pitx3 的联合直接并且有效地装改编人成纤维细胞进 DA 像神经原的房间。为为 DA 神经原的各种各样的标记积极的染色的 reprogrammed 房间。他们也显示出典型 DA 举起和生产性质。而且,他们展出了 DA 神经原特定的 electrophysiological 侧面。最后,他们在一个老鼠 PD 模型提供了征兆的地势。因此,我们的直接 reprogrammed DA 像神经原的房间是为 PD 的房间代替治疗的有希望的来源。 | Xinjian Liu Fang Li Elizabeth A Stubblefield Barbara Blanchard Toni L Richards Gaynor A Larson Yujun He Qian Huang Aik-Choon Tan Dabing Zhang Timothy A Benke John R Sladek Nancy R Zahniser Chuan-Yuan Li | 2012 | Cell Research2012，22，2： | 14 |
| 2 | Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL显示文摘Train control systems like most digital controllers are, by definition, hybrid systems as they interact with or try to control some aspects of the physical world. Detailed behavior modeling with constraints specification and formal verification, required for reliability prediction, is a great challenge for hybrid system designers.Train control systems further intensify this challenge with extensive interaction between computing units and their physical environment and their mutual dependence on each other. In this paper, we investigate behavior modeling and formal verification of Chinese Train Control System Level 3(CTCS-3) using Architectural Analysis & Design Language(AADL) to cope with this challenge. AADL is an architecture description language for embedded systems and is based on model-based engineering paradigm. Along with structural modeling of embedded systems using the core language constructs, AADL also provides support for language extension through annex sublanguages. In system requirements specification document, the behavior of the CTCS-3 is specified as a set of basic operation scenarios that cooperate with each other to achieve safe and secure functionality of trains.Movement Authority(MA) scenario, explored in this paper, is considered as a basic and most crucial scenario to prevent trains from colliding with each other. The detailed discrete behavior of control system is modeled and verified using the Behavior Language for Embedded Systems with Software(BLESS) annex sublanguage of AADL, and the continuous behavior of train with the cyber–physical interaction(communication between train and control system) is modeled using the Hybrid annex sublanguage. The behavior of the MA scenario at system level is verified using the Hybrid Hoare Logic theorem prover. Behavior constraints are specified as assertions using first-order logic formulas augmented with a simple temporal operator. | AHMAD Ehsan DONG YunWei LARSON Brian Lü JiDong TANG Tao ZHAN NaiJun | 2015 | Science China(Information Sciences)2015，58，11： | 4 |
| 3 | 小儿哮喘的现代概念显示文摘尽管对哮喘的进展有些了解,但本病在小儿中的发病率及病死率仍高。虽然涉及很多因素,但主要的因素是过量应用β兴奋药加之抗炎药使用不足引起病死率增高。对轻度哮喘亦存在气道炎症的论证及炎性刺激增加气道反应性的观察致使在疾病较早期应用抗炎药。但目前可得到的具有抗炎活性的药物不是对全部病人均有效。由小儿慢性严重哮喘(尽管适当应用皮质类固醇)提出的问题,提示我们现在的概念过于简单化。因此,卫生保健人员在对该病治疗时必须保持清醒的头脑。 | Larson G L 张雪青 | 1993 | 国外医学(儿科学分册)1993，20，1： | 4 |
| 4 | Photocatalytic oxidation of ethanol:isotopic labeling and transient reaction显示文摘 | Mugli D S Larson S A Falconer J L | 1996 | J Phys Chem1996，100，15： | 3 |
| 5 | Human Embryonic Stem Cells Derived by Somatic Cell Nuclear Transfer显示文摘 | Masahito Tachibana Paula Amato Michelle Sparman Nuria Marti Gutierrez Rebecca Tippner-Hedges Hong Ma Eunju Kang Alimujiang Fulati Hyo-Sang Lee Hathaitip Sritanaudomchai Keith Masterson Janine Larson Deborah Eaton Karen Sadler-Fredd David Battaglia David L | 2013 | Cell2013，，6： | 2 |
| 6 | The cost of hospitalization in Crohn’s disease显示文摘 | Russell D Cohen Leanne R Larson Joel M Roth Russell V Becker Lisa L Mummert | 2000 | The American Journal of Gastroenterology2000，，2： | 2 |
| 7 | 白垩纪中期西南太平洋海盆Tongareva三联点的构造演化显示文摘 | Roger L Larson 文凤英 | 2002 | 海洋地质动态2002，18，10： | 2 |
| 8 | Genome remodelling in a basal-like breast cancer metastasis and xenograft显示文摘 | Ding L Ellis MJ Li S Larson DE | 2010 | Nature2010，464，7291： | 1 |
| 9 | Processing aspects of the space shuttle orbiter's ceramic reusable surface insu- lation显示文摘 | Banas R P Gzowski E R Larson W L | 1983 | Ceram Eng Sci Proc1983，4，78： | 1 |
| 10 | A practical approach to guide clinicians in the evaluation of male patients with breast masses 显示文摘 | Hines S L Tan W Larson J M | 2008 | Geriatrics2008，63，6： | 1 |
| 11 | Chaotic pulse position modulation:a robust method of communicating with chaos显示文摘 | Sushchik M Rulkov J N Larson L | 2000 | IEEE Communications Leeters2000，4，4： | 1 |
| 12 | Latest pulse of Earth : Evidence for a mid Cretaceous superplume 显示文摘 | Larson R L | 1991 | Geology1991，19，： | 1 |
| 13 | Changes in rhizosphere populations of selected physiological groups of bacteria related to substitution of specific pairs of chromosomes in spring wheat显示文摘 | Neal J L Larson R I Atkinson T G | 1973 | Plant Soil1973，39，： | 1 |
| 14 | Testing the metals hypothesis in Spokane, Washington显示文摘 | CLAIBORN C S LARSON T SHEPPARD L | 2002 | Environ Health Perspect2002，110，4： | 1 |
| 15 | Pollen-medi- ated gene flow from Kentucky bluegrass under cultivated field conditions显示文摘 | JOHNSON P G Larson S R Anderton A L | 2006 | Crop Science2006，46，5： | 1 |
| 16 | Clonal evolution in relapsed acute myeloid leukaemia revealed by whole-genome sequencing显示文摘 | Ding L Ley TJ Larson DE | | 0，，7382： | 1 |
| 17 | Management strategies to decrease calf death losses in beef herds显示文摘 | LARSON R L TYLER J W SCHULTZ L G | 2004 | J Am Vet Med Assoc2004，224，1： | 1 |
| 18 | Modeling infiltration during a steady rain显示文摘 | Mein R G Larson C L | 1973 | Water Resources Research1973，9，2： | 1 |
| 19 | Efficacy and safety of gemtuzumab ozogamicin in patients with CD33positive acute myeloid leukemia in first relapse显示文摘 | Sievers E L Larson R A Stadtmauer E A | 2001 | J Clin Oncol2001，，： | 1 |
| 20 | Risk factors for late-onset health care - associtated bloodstream infections in patients in neonatal intensive care units显示文摘 | Perlman SE Saiman L Larson EL | 2007 | Am J Infect Control2007，35，3： | 1 |
您所在的机构暂未开通此部分的功能，请联系管理员