المؤلفون: Stassen, Philipp Jan Andries, Møgelberg, Rasmus Ejlers, Zwart, Maaike, Aguirre, Alejandro, Birkedal, Lars

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Logic in Computer Science, F.3.1, F.3.2

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

المؤلفون: Haselwarter, Philipp G., Li, Kwing Hei, Aguirre, Alejandro, Gregersen, Simon Oddershede, Tassarotti, Joseph, Birkedal, Lars

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

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

المؤلفون: Haselwarter, Philipp G., Li, Kwing Hei, de Medeiros, Markus, Gregersen, Simon Oddershede, Aguirre, Alejandro, Tassarotti, Joseph, Birkedal, Lars

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

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

المؤلفون: Aguirre, Alejandro, Haselwarter, Philipp G., de Medeiros, Markus, Li, Kwing Hei, Gregersen, Simon Oddershede, Tassarotti, Joseph, Birkedal, Lars

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

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

المؤلفون: Gregersen, Simon Oddershede, Aguirre, Alejandro, Haselwarter, Philipp G., Tassarotti, Joseph, Birkedal, Lars

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

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

المؤلفون: Shafaghat, Hoda, Johansson, Ann-Christine, Wikberg, Elena, Narvesjö, Jimmy, Wagner, Jakob Birkedal, Öhrman, Olov

المصدر: Energy & Fuels. 38(6):5288-5302

مصطلحات موضوعية: Aromatic hydrocarbons, Atmospheric pressure, Biomass, Catalysts, Chemical reactors, Fluidized beds, Nickel compounds, Platinum compounds, Titanium compounds, American Chemical Society, Bio-oils, Coprocessing, Ex situ, Fast pyrolysis bio-oil, Fluid catalytic cracking unit, High quality, Hydropyrolysis, Refining units, Stemwoods, Fluid catalytic cracking

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-72790
https://doi.org/10.1021/acs.energyfuels.3c05078
https://ri.diva-portal.org/smash/get/diva2:1858349/FULLTEXT01.pdf

المؤلفون: Zhu, Yinghan, Maikusa, Norihide, Radua, Joaquim, Sämann, Philipp G., Fusar-Poli, Paolo^{Aff4, Aff5}, Agartz, Ingrid^{Aff6, Aff7, Aff8, Aff9}, Andreassen, Ole A.^{Aff8, Aff9}, Bachman, Peter, Baeza, Inmaculada, Chen, Xiaogang^{Aff12, Aff13}, Choi, Sunah, Corcoran, Cheryl M.^{Aff15, Aff16}, Ebdrup, Bjørn H.^{Aff17, Aff18}, Fortea, Adriana, Garani, Ranjini RG., Glenthøj, Birte Yding^{Aff17, Aff18}, Glenthøj, Louise Birkedal, Haas, Shalaila S., Hamilton, Holly K.^{Aff22, Aff23}, Hayes, Rebecca A., He, Ying, Heekeren, Karsten^{Aff24, Aff25}, Kasai, Kiyoto^{Aff26, Aff27, Aff28}, Katagiri, Naoyuki, Kim, Minah^{Aff30, Aff31}, Kristensen, Tina D., Kwon, Jun Soo^{Aff14, Aff30, Aff31}, Lawrie, Stephen M., Lebedeva, Irina, Lee, Jimmy^{Aff34, Aff35}, Loewy, Rachel L., Mathalon, Daniel H.^{Aff22, Aff23}, McGuire, Philip, Mizrahi, Romina, Mizuno, Masafumi, Møller, Paul, Nemoto, Takahiro, Nordholm, Dorte, Omelchenko, Maria A., Raghava, Jayachandra M.^{Aff17, Aff41}, Røssberg, Jan I., Rössler, Wulf^{Aff25, Aff42}, Salisbury, Dean F., Sasabayashi, Daiki^{Aff44, Aff45}, Smigielski, Lukasz^{Aff25, Aff46}, Sugranyes, Gisela, Takahashi, Tsutomu^{Aff44, Aff45}, Tamnes, Christian K.^{Aff6, Aff9, Aff47}, Tang, Jinsong^{Aff48, Aff49}, Theodoridou, Anastasia, Tomyshev, Alexander S., Uhlhaas, Peter J.^{Aff50, Aff51}, Værnes, Tor G.^{Aff9, Aff52}, van Amelsvoort, Therese A. M. J., Waltz, James A., Westlye, Lars T.^{Aff8, Aff9, Aff55}, Zhou, Juan H.^{Aff56, Aff57}, Thompson, Paul M., Hernaus, Dennis, Jalbrzikowski, Maria^{Aff10, Aff59}, Koike, Shinsuke^{Aff1, Aff27, IDs41380024024267_cor61}

المصدر: Molecular Psychiatry. 29(5):1465-1477

المؤلفون: Aagaard, Frederik Lerbjerg, Sterling, Jonathan, Birkedal, Lars

المصدر: Electronic Notes in Theoretical Informatics and Computer Science, Volume 3 - Proceedings of MFPS XXXIX (November 23, 2023) entics:12232

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

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

المؤلفون: Sterling, Jonathan, Gratzer, Daniel, Birkedal, Lars

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

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

المؤلفون: Frumin, Dan, Timany, Amin, Birkedal, Lars

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

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