المؤلفون: Ritter, Gerd

الوصف: A new approach to sequential verification of designs at different levels of abstraction by symbolic simulation is proposed. The automatic formal verification tool has been used for equivalence checking of structural descriptions at rt-level and their corresponding behavioral specifications. Gate-level results of a commercial synthesis tool have been compared to specifications at behavioral or structural rt-level. The specification need not be synthesizable nor cycle equivalent to the implementation. In addition, a future application of the method to property verification is proposed. Symbolic simulation is guided along logically consistent paths in the two descriptions to be compared. An open library of different equivalence detection techniques is used in order to find a good compromise between accuracy and speed. Decision diagram (OBDD) based techniques detect corner-cases of equivalence. Graph explosion is avoided by using the results of the other equivalence detection techniques and by representing only small parts of the verification problem by decision diagrams. The cooperation of all techniques as well as good debugging support are made feasible by notifying detected relationships at equivalence classes instead of manipulating symbolic terms.

وصف الملف: application/pdf

العلاقة: http://tuprints.ulb.tu-darmstadt.de/113Test/; http://elib.tu-darmstadt.de/diss/000113Test

الإتاحة: http://tuprints.ulb.tu-darmstadt.de/113/1/thesis.pdfTest

المؤلفون: Budhu, Sadna, Gupta, Aditi, Fitzgerald, Kelly, Giese, Rachel, Michel, Adam, Holland, Aliya, Campesato, Luis Felipe, Snick, Jacques Van, Uyttenhove, Catherine, Ritter, Gerd, Wolchok, Jedd, Merghoub, Taha

المصدر: Regular and Young Investigator Award Abstracts

الإتاحة: https://doi.org/10.1136/jitc-2021-sitc2021.567Test

المؤلفون: Ritter, Gerd.

مصطلحات موضوعية: Hardwareverifikation

الوصف: Darmstadt, Techn. University, Diss., 2001.

الإتاحة: http://elib.tu-darmstadt.de/diss/000113/thesis.pdfTest
http://deposit.ddb.de/cgi-bin/dokserv?idn=963624571Test

المؤلفون: Gupta, Aditi, Budhu, Sadna, Fitzgerald, Kelly, Giese, Rachel, Michel, Adam O., Holland, Aliya, Campesato, Luis Felipe, van Snick, Jacques, Uyttenhove, Catherine, Ritter, Gerd, Wolchok, Jedd D., Merghoub, Taha

المصدر: Communications Biology ; volume 4, issue 1 ; ISSN 2399-3642

مصطلحات موضوعية: General Agricultural and Biological Sciences, General Biochemistry, Genetics and Molecular Biology, Medicine (miscellaneous)

الوصف: TGFβ is a potential target in cancer treatment due to its dual role in tumorigenesis and homeostasis. However, the expression of TGFβ and its inhibition within the tumor microenvironment has mainly been investigated in stroma-heavy tumors. Using B16 mouse melanoma and CT26 colon carcinoma as models of stroma-poor tumors, we demonstrate that myeloid/dendritic cells are the main sources of TGFβ1 and TGFβ3. Depending on local expression of TGFβ isoforms, isoform specific inhibition of either TGFβ1 or TGFβ3 may be effective. The TGFβ signature of CT26 colon carcinoma is defined by TGFβ1 and TGFβ1 inhibition results in tumor delay; B16 melanoma has equal expression of both isoforms and inhibition of either TGFβ1 or TGFβ3 controls tumor growth. Using T cell functional assays, we show that the mechanism of tumor delay is through and dependent on enhanced CD8 + T cell function. To overcome the local immunosuppressive environment, we found that combining TGFβ inhibition with immune checkpoint blockade results in improved tumor control. Our data suggest that TGFβ inhibition in stroma poor tumors shifts the local immune environment to favor tumor suppression.

الإتاحة: https://doi.org/10.1038/s42003-021-02773-zTest
https://www.nature.com/articles/s42003-021-02773-z.pdfTest
https://www.nature.com/articles/s42003-021-02773-zTest

المؤلفون: Fox, Bernard A, Schendel, Dolores J, Butterfield, Lisa H, Aamdal, Steinar, Allison, James P, Ascierto, Paolo, Atkins, Michael B, Bartunkova, Jirina, Bergmann, Lothar, Berinstein, Neil, Bonorino, Cristina C, Borden, Ernest, Bramson, Jonathan L, Britten, Cedrik M, Cao, Xuetao, Carson, William E, Chang, Alfred E, Characiejus, Dainius, Choudhury, A Raja, Coukos, George, de Gruijl, Tanja, Dillman, Robert O, Dolstra, Harry, Dranoff, Glenn, Durrant, Lindy G, Finke, James H, Galon, Jerome, Gollob, Jared A, Gouttefangeas, Cécile, Grizzi, Fabio, Guida, Michele, Håkansson, Leif, Hege, Kristen, Herberman, Ronald B, Hodi, F Stephen, Hoos, Axel, Huber, Christoph, Hwu, Patrick, Imai, Kohzoh, Jaffee, Elizabeth M, Janetzki, Sylvia, June, Carl H, Kalinski, Pawel, Kaufman, Howard L, Kawakami, Koji, Kawakami, Yutaka, Keilholtz, Ulrich, Khleif, Samir N, Kiessling, Rolf, Kotlan, Beatrix, Kroemer, Guido, Lapointe, Rejean, Levitsky, Hyam I, Lotze, Michael T, Maccalli, Cristina, Maio, Michele, Marschner, Jens-Peter, Mastrangelo, Michael J, Masucci, Giuseppe, Melero, Ignacio, Melief, Cornelius, Murphy, William J, Nelson, Brad, Nicolini, Andrea, Nishimura, Michael I, Odunsi, Kunle, Ohashi, Pamela S, O'Donnell-Tormey, Jill, Old, Lloyd J, Ottensmeier, Christian, Papamichail, Michael, Parmiani, Giorgio, Pawelec, Graham, Proietti, Enrico, Qin, Shukui, Rees, Robert, Ribas, Antoni, Ridolfi, Ruggero, Ritter, Gerd, Rivoltini, Licia, Romero, Pedro J, Salem, Mohamed L, Scheper, Rik J, Seliger, Barbara, Sharma, Padmanee, Shiku, Hiroshi, Singh-Jasuja, Harpreet, Song, Wenru, Straten, Per, Tahara, Hideaki, Tian, Zhigang, van Der Burg, Sjoerd H, von Hoegen, Paul, Wang, Ena, Welters, Marij JP, Winter, Hauke, Withington, Tara, Wolchok, Jedd D, Xiao, Weihua, Zitvogel, Laurence

المصدر: Journal of Translational Medicine. 9(1)

الوصف: Abstract Scientific discoveries that provide strong evidence of antitumor effects in preclinical models often encounter significant delays before being tested in patients with cancer. While some of these delays have a scientific basis, others do not. We need to do better. Innovative strategies need to move into early stage clinical trials as quickly as it is safe, and if successful, these therapies should efficiently obtain regulatory approval and widespread clinical application. In late 2009 and 2010 the Society for Immunotherapy of Cancer (SITC), convened an "Immunotherapy Summit" with representatives from immunotherapy organizations representing Europe, Japan, China and North America to discuss collaborations to improve development and delivery of cancer immunotherapy. One of the concepts raised by SITC and defined as critical by all parties was the need to identify hurdles that impede effective translation of cancer immunotherapy. With consensus on these hurdles, international working groups could be developed to make recommendations vetted by the participating organizations. These recommendations could then be considered by regulatory bodies, governmental and private funding agencies, pharmaceutical companies and academic institutions to facilitate changes necessary to accelerate clinical translation of novel immune-based cancer therapies. The critical hurdles identified by representatives of the collaborating organizations, now organized as the World Immunotherapy Council, are presented and discussed in this report. Some of the identified hurdles impede all investigators; others hinder investigators only in certain regions or institutions or are more relevant to specific types of immunotherapy or first-in-humans studies. Each of these hurdles can significantly delay clinical translation of promising advances in immunotherapy yet if overcome, have the potential to improve outcomes of patients with cancer.

وصف الملف: application/pdf

الوصول الحر: https://escholarship.org/uc/item/34d0r2jwTest

المؤلفون: Sato, Eiichi, Olson, Sara H., Nishikawa, Hiroyoshi, Qian, Feng, Jungbluth, Achim A., Gnjatic, Sacha, Kepner, James, Ritter, Gerd, Chen, Yao-Tseng, Old, Lloyd J., Odunsi, Kunle

المصدر: Proceedings of the National Academy of Sciences of the United States of America, 2005 Dec . 102(51), 18538-18543.

الوصول الحر: https://www.jstor.org/stable/4152652Test

المؤلفون: Matsuo, Mitsutoshi, Nagata, Yasuhiro, Sato, Eiichi, Atanackovic, Djordje, Valmori, Danila, Chen, Yao-Tseng, Ritter, Gerd, Mellman, Ira, Old, Lloyd J., Gnjatic, Sacha

المصدر: Proceedings of the National Academy of Sciences of the United States of America, 2004 Oct 01. 101(40), 14467-14472.

الوصول الحر: https://www.jstor.org/stable/3373405Test

المؤلفون: Davis, Ian D., Chen, Weisan, Jackson, Heather, Parente, Phillip, Shackleton, Mark, Hopkins, Wendie, Chen, Qiyuan, Dimopoulos, Nektaria, Luke, Tina, Murphy, Roger, Scott, Andrew M., Maraskovsky, Eugene, McArthur, Grant, MacGregor, Duncan, Sturrock, Sue, Tai, Tsin Yee, Green, Simon, Cuthbertson, Andrew, Maher, Darryl, Miloradovic, Lena, Mitchell, Susan V., Ritter, Gerd, Jungbluth, Achim A., Chen, Yao-Tseng, Gnjatic, Sacha, Hoffman, Eric W., Old, Lloyd J., Cebon, Jonathan S.

المصدر: Proceedings of the National Academy of Sciences of the United States of America, 2004 Jul . 101(29), 10697-10702.

الوصول الحر: https://www.jstor.org/stable/3372722Test

المؤلفون: Gnjatic, Sacha, Atanackovic, Djordje, Jäger, Elke, Matsuo, Mitsutoshi, Selvakumar, Annamalai, Altorki, Nasser K., Maki, Robert G., Dupont, Bo, Ritter, Gerd, Chen, Yao-Tseng, Knuth, Alexander, Old, Lloyd J.

المصدر: Proceedings of the National Academy of Sciences of the United States of America, 2003 Jul . 100(15), 8862-8867.

الوصول الحر: https://www.jstor.org/stable/3148313Test

المؤلفون: Jungbluth, Achim A., Stockert, Elisabeth, Collins, Vincent P., Coplan, Keren, Iversen, Kristin, Kolb, Denise, Johns, Terrance J., Scott, Andrew M., Gullick, William J., Ritter, Gerd, Cohen, Leonard, Scanlan, Matthew J., Cavanee, Webster K., Old, Lloyd J.

المصدر: Proceedings of the National Academy of Sciences of the United States of America, 2003 Jan . 100(2), 639-644.

الوصول الحر: https://www.jstor.org/stable/3138196Test