Filters








18,319 Hits in 5.8 sec

On the Expressiveness and Complexity of ATL

François Laroussinie, Nicolas Markey, Ghassan Oreiby, Helmut Seidl
2008 Logical Methods in Computer Science  
We also prove that the standard definition of ATL (built on modalities "Next", "Always" and "Until") cannot express the duals of its modalities: it is necessary to explicitely add the modality "Release  ...  In this paper, we first precisely characterize the complexity of ATL model-checking over Alternating Transition Systems and Concurrent Game Structures when the number of agents is not fixed.  ...  Conclusion In this paper, we considered the basic questions of expressiveness and complexity of ATL.  ... 
doi:10.2168/lmcs-4(2:7)2008 fatcat:76j57nkfjnckfadwrkxvi4k52m

On the Expressiveness and Complexity of ATL [chapter]

François Laroussinie, Nicolas Markey, Ghassan Oreiby
Foundations of Software Science and Computational Structures  
We prove that the standard definition of ATL (built on modalities "Next", "Always" and "Until") has to be completed in order to express the duals of its modalities: it is necessary to add the modality  ...  We then precisely characterize the complexity of ATL modelchecking when the number of agents is not fixed.  ...  Model checking ATL + is Δ P 3 -complete on ATSs as well as on explicit CGSs and implicit CGSs. Conclusion In this paper, we considered the basic questions of expressiveness and complexity of ATL.  ... 
doi:10.1007/978-3-540-71389-0_18 dblp:conf/fossacs/LaroussinieMO07 fatcat:hhxmacfvffcqxeavvh2co7d6eu

Discordant gene and surface expression of the T-cell receptor/CD3 complex in adult T-cell leukemia cells

H Suzushima, T Hattori, N Asou, J X Wang, K Nishikawa, T Okubo, P Anderson, K Takatsuki
1991 Cancer Research  
Cell surface expression of the T-cell receptor (TCR)/CD3 complex on the cells from 11 acute type adult T-cell leukemia (ATL) and 4 lymphoma type ATL patients was examined by flow cytometry.  ...  On the basis of these findings, we discuss the possible involvement of the TCR/CD3 complex in activation of ATL cells.  ...  Sakano, and C. Terhorst for providing Tac monoclonal antibody, TCR Ca probe, TCR Cßl probe, and CD3 o probe, respectively.  ... 
pmid:1834326 fatcat:pzmkroz6mbfkpm3wdkhjn62tkm

Expression of CD3 Antigen on Individual Adult T Cell Leukemia Cells Detected by Immunocytochemistry

Hisamistu Uno, Kiyohide Kawano, Hitoshi Matsuoka, Muneou Suzuki, Kiyoshi Yamashita, Youko Kubuki, Kazunori Tsuda, Hirohito Tsubouchi
1995 Acta Haematologica  
In particular, the decrease in CD3 antigen expression and the increased expression of CD25 antigen on ATL cells analyzed by immunofluorescence have been reported to be specific to ATL [4].  ...  In the present study, we examined the expression of CD3 antigen on morphologically identified fresh ATL cells by immunohistochemistry.  ...  In conclusion, the expression of CD 3 antigen on individual ATL cells may be one of the factors reflecting the pathophysiological state of ATL.  ... 
doi:10.1159/000203973 pmid:7653212 fatcat:bm4hyaw6efb5tkqym47xvapj44

Investigating the Origins of Complexity and Expressiveness in ATL Transformations

Stefan Götz, Matthias Tichy
2020 Journal of Object Technology  
We use complexity measures to analyse the distribution of complexity over transformation modules and to gain insights about what this means for the abstractions used by ATL.  ...  We also found indications for the usefulness of conditioning on types, implicit rule ordering and automatic trace resolution.  ...  Syntactic complexity The syntactic complexity c(τ ) of a transformation specification τ is defined based on the complexity of expressions and activities within the defined transformation [LKRSA18] .  ... 
doi:10.5381/jot.2020.19.2.a12 fatcat:orqhpv2t6rg4viz4zhzlx5ozpm

Serum Soluble CD30 Levels to Detect Activation and Aggression Status of Adult T-Cell Leukemia/Lymphoma Cells

Shigeki Takemoto
2015 Journal of Hematology & Thromboembolic Diseases  
High levels of sIL-6R/IL-6 complex induce CRP production in the liver of ATL patients.  ...  Adult T-cell leukemia/lymphoma (ATL) is one of aggressive mature T-cell malignancies. CD30 is a cell membrane protein expressed on activated T-cell.  ...  It is speculated that the expression and shedding of CD30 is induced in only activated ATL cells [18] . High levels of sIL-6R/IL-6 complex induce CRP production in the liver of ATL patients.  ... 
doi:10.4172/2329-8790.1000205 fatcat:6wrbk2pvlfh2jgpik37nztv2ua

Long noncoding RNA ANRIL supports proliferation of adult T-cell leukemia cells through cooperation with EZH2 [article]

Zaowen Song, Wencai Wu, Mengyun Chen, Wenzhao Cheng, Juntao Yu, Jinyong Fang, Lingling Xu, Jun-ichirou Yasunaga, Masao Matsuoka, Tiejun Zhao
2018 bioRxiv   pre-print
In the present study, we show that the expression of the lncRNA ANRIL was elevated in HTLV-1 infected cell lines and clinical ATL samples.  ...  Long noncoding RNA (lncRNA) plays a critical role in the development and progression of multiple human cancers. However, the function of lncRNA on HTLV-1-induced oncogenesis has not been elucidated.  ...  ACKNOWLEDGMENTS We thank Caryl Antalis for proof-reading of this manuscript.  ... 
doi:10.1101/329912 fatcat:r2h5gdrkcnbuhllkonyxljolci

Long Noncoding RNA ANRIL Supports Proliferation of Adult T-Cell Leukemia Cells through Cooperation with EZH2

Zaowen Song, Wencai Wu, Mengyun Chen, Wenzhao Cheng, Juntao Yu, Jinyong Fang, Lingling Xu, Jun-ichirou Yasunaga, Masao Matsuoka, Tiejun Zhao, Viviana Simon
2018 Journal of Virology  
In the present study, we show that the expression level of the lncRNA ANRIL was elevated in HTLV-1-infected cell lines and clinical ATL samples.  ...  In this study, we demonstrated that the lncRNA ANRIL was important for maintaining the proliferation of ATL cells in vitro and in vivo.  ...  ACKNOWLEDGMENTS Zaowen We thank Caryl Antalis for proofreading of the manuscript. We declare no competing interests.  ... 
doi:10.1128/jvi.00909-18 pmid:30258009 pmcid:PMC6258931 fatcat:q6dyh3cmajdujcsg5sxo446w64

Activation of AID by human T-cell leukemia virus Tax oncoprotein and the possible role of its constitutive expression in ATL genesis

C. Ishikawa, S. Nakachi, M. Senba, M. Sugai, N. Mori
2010 Carcinogenesis  
Thus, activation of p50/Bcl-3 complexes in T cells in response to Tax might explain the constitutive expression of AID in HTLV-1-infected T cells.  ...  The constitutive expression of AID in ATL cells can be speculated to result from mutations induced by the Tax-activated AID and/or other Taxassociated mutagenic mechanisms during the pre-leukemic stage  ...  Acknowledgements We thank the many patients with ATL and ALL and the control subjects who donated samples for these studies.  ... 
doi:10.1093/carcin/bgq222 pmid:20974684 fatcat:zrrucgnixbbvnlrm2x6kurjgeu

Strategy Logic with Simple Goals: Tractable Reasoning about Strategies

Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano
2019 Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence  
In this paper we introduce Strategy Logic with simple goals (SL[SG]), a fragment of Strategy Logic that strictly extends the well-known Alternating-time Temporal Logic ATL by introducing arbitrary quantification  ...  Most importantly, we prove that the model checking problem for SL[SG] is PTIME-complete, the same as ATL.  ...  Two variants of the logic are presented: ATL * is rather expressive, but with 2EXPTIME verification complexity.  ... 
doi:10.24963/ijcai.2019/13 dblp:conf/ijcai/BelardinelliJKM19 fatcat:gpd3vhelozdtzgupkbkvx3sbg4

Molecular approach to human leukemia: Isolation and characterization of the first human retrovirus HTLV-1 and its impact on tumorigenesis in Adult T-cell Leukemia

Mitsuaki YOSHIDA
2010 Proceedings of the Japan Academy. Series B, Physical and biological sciences  
And then a probable mechanism of pathogenesis of ATL is proposed including recent ndings on HBZ after our eorts.  ...  Then it is followed by analyses of molecular interaction of the vial Tax with cellular machineries involved in the pathogenesis of Adult T-cell Leukemia (ATL).  ...  of NF-kB activity on the enhancer DNA through Tax/NF-kB complex formation.  ... 
doi:10.2183/pjab.86.117 pmid:20154469 pmcid:PMC3417562 fatcat:uhjxlgx5lzg6bh6raotltozwam

Alternating-time temporal logic with explicit strategies

Dirk Walther, Wiebe van der Hoek, Michael Wooldridge
2007 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge - TARK '07  
ATLES makes it possible to refer to the same strategy in different occurrences of path quantifiers, and, as a consequence, it possible to express in ATLES some properties that cannot be expressed even  ...  We identify two variants of the model-checking problem for ATLES and investigate their computational complexity. Finally, we show how ATLES can be used to reason about extensive games.  ...  We leave the characterization of the gained expressive power and the investigation of the impact on the computational complexity for future work. Figure 1 : 1 Axioms and Inference Rules for ATLES.  ... 
doi:10.1145/1324249.1324285 dblp:conf/tark/WaltherHW07 fatcat:hxijht55iva5xmoznw6zpfhbwu

Page 98 of Cancer Science Vol. 99, Issue 1 [page]

2008 Cancer Science  
In the present study, we investigated the relationship between the expression of CTLA-4 and Foxp3 on ATL cells, Treg func- tion, and clinical significance.  ...  Binding of the T-cell receptor (TCR) to specific peptide-major histocompatibility complex (MHC) complexes and co-stimulation of the T cell through the CD28 receptor are important for the activation of  ... 

Transcriptional regulation of parathyroid hormone-related protein promoter P3 by ETS-1 in adult T-cell leukemia/lymphoma

V Richard, M V P Nadella, P L Green, M D Lairmore, G Feuer, J G Foley, T J Rosol
2005 Leukemia  
Previously, we established a SCID/bg mouse model of human ATL with RV-ATL cells and showed that PTHrP expression was independent of Tax.  ...  HTLV-1 Tax has been shown to complex with ETS-1 and SP1 to transactivate the PTHrP P3 promoter.  ...  Constitutive and Ets-specific binding to PTHrP P3 in HTLV-1-positive cell lines and RV-ATL cells Constitutive formation of a distinct ETS-specific protein-DNA complex (C1) on the composite GAS/EBS regulatory  ... 
doi:10.1038/sj.leu.2403787 pmid:15889157 pmcid:PMC2661941 fatcat:grps3biaafhovirpz6gxo4by4y

Technical Debt in Model Transformation Specifications [chapter]

Kevin Lano, Shekoufeh Kolahdouz-Rahimi, Mohammadreza Sharbaf, Hessa Alfraihi
2018 Lecture Notes in Computer Science  
We survey the ATL and QVT-R transformation languages because these are the most widely-used MT languages by practitioners [5] .  ...  Based on these measures we identify significant differences in the level and kinds of technical debt in different MT languages, and we propose ways in which TD can be reduced.  ...  Each of ATL, ETL, QVT-R and UML-RSDS have similar expression languages based on OCL, and ATL, ETL and UML-RSDS have similar activity languages.  ... 
doi:10.1007/978-3-319-93317-7_6 fatcat:u43aitqog5hazmykkxag5qyb3a
« Previous Showing results 1 — 15 out of 18,319 results