Results 31 to 40 of about 106,622 (216)

A Logic with Reverse Modalities for History-preserving Bisimulations

, 2011
We introduce event identifier logic (EIL) which extends Hennessy-Milner logic by the addition of (1) reverse as well as forward modalities, and (2) identifiers to keep track of events. We show that this logic corresponds to hereditary history-preserving (
A. Joyal, A. Rabinovich, B. Steffen, Bas Luttik, F. Cherief, F. Laroussinie, F. Laroussinie, Frank Valencia, G. Boudol, G. Winskel, I.C.C. Phillips, Iain Phillips, Irek Ulidowski, J. Gutierrez, J. Gutierrez, L. Aceto, L. Pomello, M. Jurdzinski, M. Mukund, M. Nielsen, M. Nielsen, M. Nielsen, M.C.B. Hennessy, M.C.B. Hennessy, P. Baldan, P. Degano, R. De Nicola, R. De Nicola, R. De Nicola, R.J. van Glabbeek, R.J. van Glabbeek, R.J. van Glabbeek, S. Graf, S.B. Fröschle, S.B. Fröschle, S.B. Fröschle, U. Goltz, W. Penczek   +37 more
core   +2 more sources

On the instantaneous Bethe-Salpeter equation [PDF]

, 1995
We present a systematic algebraic and numerical investigation of the instantaneous Bethe-Salpeter equation. Emphasis is placed on confining interaction kernels of the Lorentz scalar, time component vector, and full vector types.
A. Gara, A. Gara, A. Le Yaouanc, A. Messiah, C. H. Llewellyn Smith, C. Long, C. R. Mddotunz, D. J. Thouless, D. J. Thouless, E. E. Salpeter, E. E. Salpeter, E. J. Weniger, G. 't Hooft, H. R. Petry, J. F. Lagaddote, J. F. Lagaddote, J. Parramore, J. Resag, Ken Williams, M. A. Shifman, M. G. Olsson, M. G. Olsson, M. Gell Mann, S. J. Brodsky, Siniša Veseli, T. Murota   +25 more
core   +3 more sources

Genome-wide identification and analysis of the EIN3/EIL gene family in allotetraploid Brassica napus reveal its potential advantages during polyploidization

BMC Plant Biology, 2019
Background Polyploidization is a common event in the evolutionary history of angiosperms, and there will be some changes in the genomes of plants other than a simple genomic doubling after polyploidization.
Mengdi Li, Ruihua Wang, Ziwei Liang, Xiaoming Wu, Jianbo Wang   +4 more
doaj   +1 more source

On Maximal Subgroups of Free Idempotent Generated Semigroups [PDF]

, 2011
We prove the following results: (1) Every group is a maximal subgroup of some free idempotent generated semigroup. (2) Every finitely presented group is a maximal subgroup of some free idempotent generated semigroup arising from a finite semigroup.
Gray, Robert, Ruskuc, Nik
core   +2 more sources

Intramolecular FRET Cascades Enable Small Efficiency Roll‐Off in Solution‐Processed OLEDs

Advanced Optical Materials, EarlyView.
This work highlights how an intramolecular FRET design strategy in solution‐processable MR‐TADF emitters enables narrowband emission, high PLQY, and efficient exciton harvesting. The resulting hyperfluorescent solution‐processed OLEDs reach up to 20.7% EQEmax with minimal efficiency roll‐off even at 10 000 cd m−2, demonstrating strong potential for ...
Mahni Fatahi, Debasish Barman, Youichi Tsuchiya, Chihaya Adachi, Eli Zysman‐Colman   +4 more
wiley   +1 more source

Esterase-triggered morphology and charge variable lipid nanoparticles enhance mRNA delivery and synergistically boost immune response

Materials & Design
Lipid nanoparticles (LNPs) have shown vast potential for mRNA therapies as non-viral nucleic acid delivery systems. However, efficient delivery of mRNA into cells remains a significant challenge for LNPs because of the difficulty in endosome escape ...
Yiming He, Chunyu Huang, Renhuan Ma, Yongxin Xu, Yuxiu Zheng, Xufeng Yang, Yujian Zhang, Jieru Chen, Pengke Yan, Yan Ma, Shixia Guan, Zhongwen Yuan   +11 more
doaj   +1 more source

English teachers’ attitudes toward their new roles promoted by English-as-an-international-language pedagogy

Indonesian TESOL Journal, 2019
Teaching English as an International Language (EIL) has gained significant ground in recent years. However, the successful implementation of EIL pedagogy largely depends on teachers’ attitude toward EIL.
Muhammad Rahimi, Maryam Pakzadian
doaj   +1 more source

Single‐Cell Transcriptomics Reveals FLS2‐Dependent Hypoxia Signaling and ERF13‐Mediated Transcription During flg22‐Triggered Immunity

Advanced Science, EarlyView.
This study employs sc‐RNA sequencing, genetics, and phenotyping to systematically map the cell‐type‐specific immune responses triggered by flg22. It reveals FLS2‐dependent transcriptional reprogramming in epidermal and mesophyll cells, and uncovers crosstalk between immune and hypoxia signaling pathways.
Yaping Zhou, Aizhi Qin, Mengfan Li, Qianli Zhao, Luyao Kong, Lulu Yan, Chunyang Li, Hao Liu, Yinpeng Zhang, Jiani Long, Mengyu Liao, Mengmeng Zhou, Xiaoli Fan, Baozhen Wang, Wenxuan Kang, Shui Wang, Zhixin Liu, Xuwu Sun   +17 more
wiley   +1 more source

Extent of Lymph Node Dissection for cStage I Siewert Type I/II Cancers Based on Lymph Node Metastasis Risk Stratification

Annals of Gastroenterological Surgery, EarlyView.
ABSTRACT Aim The optimal surgical strategy and extent of lymph node (LN) dissection for clinical Stage I (cStage I) adenocarcinoma of the esophagogastric junction (AEG) remain controversial. This study aimed to evaluate surgical outcomes and clarify the prevalence and distribution of LN metastasis according to tumor characteristics in cStage I Siewert ...
Masayoshi Terayama, Akihiko Okamura, Tomoyuki Irino, Naoki Takahashi, Jun Kanamori, Yu Imamura, Masaru Hayami, Motonari Ri, Souya Nunobe, Masayuki Watanabe   +9 more
wiley   +1 more source

TESOL at the crossroads: Representation of source cultures in TESOL textbooks

Cogent Education, 2019
This article reports on a mixed-method research into the representation of source culture in an English language textbook series used at a major university in the Arabian Gulf.
Muhammad Athar Shah, Tariq Elyas
doaj   +1 more source