نتایج جستجو برای: dpo

تعداد نتایج: 245  

2012
A. Kawski A. Kubicki B. Kukliński Z. Gryczyński

The effect of temperature on the fluorescence properties of l,8-diphenyl-l,3,5,7-octatetraene (DPO) in polyvinyl alcohol) film (PVA) was investigated in the range from 295 to 428 K. Upon heating above 353 K, the quantum yield of D P O increases rapidly. This effect is irreversible, similarly as the optical density in the long wavelength absorption band (320-440 nm). It has its origin in the cis...

2006
Paolo Baldan Andrea Corradini Luciana Foss Fabio Gadducci

Transactional graph transformation systems (t-gtss) have been recently proposed as a mild extension of the standard dpo approach to graph transformation, equipping it with a suitable notion of atomic execution for computations. A typing mechanism induces a distinction between stable and unstable items, and a transaction is defined as a shift-equivalence class of computations such that the start...

Journal: :ECEASST 2014
Jan Stückrath Benjamin Weyers

Adaptable user interfaces (UI) have shown a great variety of advantages in human computer interaction compared to classic UI designs. We show how adaptable UIs can be built by introducing coloured Petri nets to connect the UI’s physical representation with the system to be controlled. UI development benefits from formal modelling approaches regarding the derived close integration of creation, e...

1998
Paolo Baldan Andrea Corradini Ugo Montanari

In a recent paper, mimicking Winskel’s construction for Petri nets, a concurrent semantics for (double-pushout) DPO graph grammars has been provided by showing that each graph grammar can be unfolded into an acyclic branching structure, that is itself a (nondeterministic occurrence) graph grammar describing all the possible computations of the original grammar. This paper faces the problem of p...

2000
Paolo Baldan Andrea Corradini

In a recent paper, mimicking Winskel's construction for Petri nets, a concurrent semantics for (double-pushout) DPO graph grammars has been provided by showing that each graph grammar can be unfolded into an acyclic branching structure, that is itself a (nondeterministic occurrence) graph grammar describing all the possible computations of the original grammar. This paper faces the problem of p...

2017
Sung Eun Shin Hongliang Li Han Sol Kim Hye Won Kim Mi Seon Seo Kwon-Soo Ha Eun-Taek Han Seok-Ho Hong Amy L. Firth Il-Whan Choi Young Min Bae Won Sun Park

We demonstrated the effect of nortriptyline, a tricyclic antidepressant drug and serotonin reuptake inhibitor, on voltage-dependent K+ (Kv) channels in freshly isolated rabbit coronary arterial smooth muscle cells using a whole-cell patch clamp technique. Nortriptyline inhibited Kv currents in a concentration-dependent manner, with an apparent IC50 value of 2.86±0.52 µM and a Hill coefficient o...

Journal: :Optics express 2007
Jing-Yuan Ko Chi-Ching Lin Kenju Otsuka Yoshihiko Miyasaka Koji Kamikariya Kana Nemoto Ming-Chung Ho I-Min Jiang

Dual-polarization oscillations (DPO) on different transitions have been observed for the first time in a mirror-coated thin-slice Nd:GdVO(4) laser possessing a large fluorescence anisotropy with laser-diode (LD) pumping. Oscillation spectra, input-output characteristics, pump-dependent pattern formations and noise power spectra are studied experimentally. Simultaneous oscillations of orthogonal...

Journal: :تحقیقات دامپزشکی 0
محمدرضا احمدی احمدی گروه شیلات و محیط زیست، دانشکده منابع طبیعی دانشگاه تهران غلامرضا رفیعی گروه شیلات و محیط زیست، دانشکده منابع طبیعی دانشگاه تهران محمدرضا احمدی گروه بهداشت و بیماری های آبزیان دانشکده دامپزشکی دانشگاه تهران باقر مجازی امیری گروه شیلات و محیط زیست، دانشکده منابع طبیعی دانشگاه تهران امیر سعید ویلکی معاونت تکثیر و پرورش آبزیان سازمان شیلات ایران

effect of temperature on the duration of post ovulated oocyte quality maintenance in abdominal cavity of female rainbow trout, oncorhynchus mykiss, was assessed to determine suitable time of stripping. egg quality measurement was done through assessing the eying and hatching rates of eggs. regarding the best temperature range reported for salmonid brood fish in breeding season(3-10?c)the study ...

Journal: :آب و خاک 0
مهدی محمدی قلعه نی امید بزرگ حداد کیومرث ابراهیمی

abstract the muskingum method is frequently used to route floods in hydrology. however, application of the model is still difficult because of the parameter estimation’s. recently, some of heuristic methods have been used in order to estimate the nonlinear muskingum model. this paper presents a efficient heuristic algorithm, simulated annealing, which has been used to estimate the three paramet...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید