المؤلفون: Wimmer, Ralf, Hu, Ming-Yi

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2303.14446

المؤلفون: Winterer, Leonore, Wimmer, Ralf, Jansen, Nils, Becker, Bernd

مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, Computer Science - Robotics, Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/2007.08351

المؤلفون: Guo, Baolin, Liu, Tiaotiao, Choi, Soonwook, Mao, Honghui, Wang, Wenting, Xi, Kaiwen, Jones, Carter, Hartley, Nolan D., Feng, Dayun, Chen, Qian, Liu, Yingying, Wimmer, Ralf D., Xie, Yuqiao, Zhao, Ningxia, Ou, Jianjun, Arias-Garcia, Mario A., Malhotra, Diya, Liu, Yang, Lee, Sihak, Pasqualoni, Samuel, Kast, Ryan J., Fleishman, Morgan, Halassa, Michael M., Wu, Shengxi, Fu, Zhanyan

المصدر: Cell Reports Medicine ; volume 5, issue 5, page 101534 ; ISSN 2666-3791

الاتاحة: https://doi.org/10.1016/j.xcrm.2024.101534
https://api.elsevier.com/content/article/PII:S2666379124002039?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S2666379124002039?httpAccept=text/plain

المؤلفون: Ge-Ernst, Aile, Scholl, Christoph, Síč, Juraj, Wimmer, Ralf

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1905.04755

المؤلفون: Carr, Steven, Jansen, Nils, Wimmer, Ralf, Serban, Alexandru C., Becker, Bernd, Topcu, Ufuk

مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Machine Learning

URL الوصول: http://arxiv.org/abs/1903.08428

المؤلفون: Dehghani, Nima, Wimmer, Ralf D.

مصطلحات موضوعية: Quantitative Biology - Neurons and Cognition, Computer Science - Neural and Evolutionary Computing

URL الوصول: http://arxiv.org/abs/1803.00997

المؤلفون: Carr, Steven, Jansen, Nils, Wimmer, Ralf, Fu, Jie, Topcu, Ufuk

مصطلحات موضوعية: Computer Science - Artificial Intelligence

URL الوصول: http://arxiv.org/abs/1802.09810

المؤلفون: Junges, Sebastian, Jansen, Nils, Wimmer, Ralf, Quatmann, Tim, Winterer, Leonore, Katoen, Joost-Pieter, Becker, Bernd

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Systems and Control

URL الوصول: http://arxiv.org/abs/1710.10294

المؤلفون: Winterer, Leonore, Junges, Sebastian, Wimmer, Ralf, Jansen, Nils, Topcu, Ufuk, Katoen, Joost-Pieter, Becker, Bernd

مصطلحات موضوعية: Computer Science - Robotics, Computer Science - Artificial Intelligence

URL الوصول: http://arxiv.org/abs/1708.04236

المؤلفون: Einer, Claudia, Munk, Ditte Emilie, Park, Eok, Akdogan, Banu, Nagel, Judith, Lichtmannegger, Josef, Eberhagen, Carola, Rieder, Tamara, Vendelbo, Mikkel H., Michalke, Bernhard, Wimmer, Ralf, Blutke, Andreas, Feuchtinger, Annette, Dershwitz, Philip, DiSpirito, Ana M., Islam, Tawhidul, Castro, Rui E., Min, Byong Keol, Kim, Tae Won, Choi, Seoyoung, Kim, Dasol, Jung, Chunwon, Lee, Hongjae, Park, Dongsik, Im, Weonbin, Eun, So Young, Cho, You Hee, Semrau, Jeremy D., Rodrigues, Cecília M.P., Hohenester, Simon, Damgaard Sandahl, Thomas, DiSpirito, Alan A., Zischka, Hans

المصدر: Einer , C , Munk , D E , Park , E , Akdogan , B , Nagel , J , Lichtmannegger , J , Eberhagen , C , Rieder , T , Vendelbo , M H , Michalke , B , Wimmer , R , Blutke , A , Feuchtinger , A , Dershwitz , P , DiSpirito , A M , Islam , T , Castro , R E , Min , B K , Kim , T W , Choi , S , Kim , D , Jung , C , Lee , H , Park ....

مصطلحات موضوعية: Copper Depletion, Liver, Methanobactin, Mitochondria, Wilson's Disease

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

الاتاحة: https://pure.au.dk/portal/en/publications/1210e4f4-4137-46fc-980e-97b07edfb288
https://doi.org/10.1053/j.gastro.2023.03.216
https://pure.au.dk/ws/files/407781083/1-s2.0-S0016508523005292-main.pdf
http://www.scopus.com/inward/record.url?scp=85161498142&partnerID=8YFLogxK

المؤلفون: Lam, Norman H., Mukherjee, Arghya, Wimmer, Ralf D., Nassar, Matthew R., Chen, Zhe Sage, Halassa, Michael M.

المصدر: Nature; January 2025, Vol. 637 Issue: 8044 p127-136, 10p

المؤلفون: Li, Jingguo, Yao, Shun, Zimny, Sebastian, Koob, Dennis, Jin, Hai, Wimmer, Ralf, Denk, Gerald, Tuo, Biguang, Hohenester, Simon

المصدر: Communications Biology; 11/28/2024, Vol. 7 Issue 1, p1-14, 14p

مصطلحات موضوعية: HEPATIC fibrosis, BILE salts, LIVER cells, PROTON pump inhibitors, LIVER diseases

المؤلفون: Braitling, Bettina, Fioriti, Luis María Ferrer, Hatefi, Hassan, Wimmer, Ralf, Becker, Bernd, Hermanns, Holger

المصدر: EPTCS 154, 2014, pp. 48-63

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1406.2068

المؤلفون: Zimny, Sebastian, Koob, Dennis, Li, Jingguo, Wimmer, Ralf, Schiergens, Tobias, Nagel, Jutta, Reiter, Florian Paul, Denk, Gerald, Hohenester, Simon

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

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

Relation: https://opus.bibliothek.uni-wuerzburg.de/frontdoor/index/index/docId/28180; urn:nbn:de:bvb:20-opus-281806; https://nbn-resolving.org/urn:nbn:de:bvb:20-opus-281806; https://doi.org/10.3390/cells11152344; https://opus.bibliothek.uni-wuerzburg.de/files/28180/cells-11-02344-v2.pdf

الاتاحة: https://opus.bibliothek.uni-wuerzburg.de/frontdoor/index/index/docId/28180
https://nbn-resolving.org/urn:nbn:de:bvb:20-opus-281806
https://doi.org/10.3390/cells11152344
https://opus.bibliothek.uni-wuerzburg.de/files/28180/cells-11-02344-v2.pdf

المؤلفون: Reiter, Florian P., Ye, Liangtao, Ofner, Andrea, Schiergens, Tobias S., Ziesch, Andreas, Brandl, Lydia, Ben Khaled, Najib, Hohenester, Simon, Wimmer, Ralf, Artmann, Renate, He, Yulong, Lee, Serene M.L., Mayr, Doris, Zhang, Changhua, Gerbes, Alexander L., Mayerle, Julia, Denk, Gerald, De Toni, Enrico N.

المساهمون: China Postdoctoral Science Foundation, Ludwig-Maximilians-Universität München, National Natural Science Foundation of China

المصدر: Cellular and Molecular Gastroenterology and Hepatology ; volume 13, issue 1, page 95-112 ; ISSN 2352-345X

الاتاحة: http://dx.doi.org/10.1016/j.jcmgh.2021.09.001
https://api.elsevier.com/content/article/PII:S2352345X21001892?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S2352345X21001892?httpAccept=text/plain

المؤلفون: Jansen, Nils, Corzilius, Florian, Volk, Matthias, Wimmer, Ralf, Ábrahám, Erika, Katoen, Joost-Pieter, Becker, Bernd

مصطلحات موضوعية: Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/1312.3979

المؤلفون: Wimmer, Ralf, Jansen, Nils, Ábrahám, Erika, Katoen, Joost-Pieter

المصدر: Logical Methods in Computer Science, Volume 11, Issue 1 (March 31, 2015) lmcs:945

مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1305.5055

المؤلفون: Hahn, Ernst Moritz, Hermanns, Holger, Wimmer, Ralf, Becker, Bernd

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Numerical Analysis

URL الوصول: http://arxiv.org/abs/1212.1251

المؤلفون: Jansen, Nils, Ábrahám, Erika, Scheffler, Maik, Volk, Matthias, Vorpahl, Andreas, Wimmer, Ralf, Katoen, Joost-Pieter, Becker, Bernd

مصطلحات موضوعية: Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/1206.0603

المؤلفون: Winterer, Leonore¹ (AUTHOR), Wimmer, Ralf^1,2 (AUTHOR), Becker, Bernd¹ (AUTHOR), Jansen, Nils³ (AUTHOR) n.jansen@rub.de

المصدر: International Journal on Software Tools for Technology Transfer. Jun2024, Vol. 26 Issue 3, p269-299. 31p.

مصطلحات موضوعية: *PARTIALLY observable Markov decision processes