المؤلفون: Biere Arenas, Rolando Mauricio

المساهمون: University/Department: Universitat Politècnica de Catalunya. Departament de Tecnologia de l'Arquitectura

مرشدي الرسالة: Marmolejo Duarte, Carlos Ramiro, Garcia-Almirall, M. Pilar

المصدر: TDX (Tesis Doctorals en Xarxa)

مصطلحات موضوعية: Àrees temàtiques de la UPC::Arquitectura, Àrees temàtiques de la UPC::Edificació, Àrees temàtiques de la UPC::Desenvolupament humà i sostenible

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

URL الوصول: http://hdl.handle.net/10803/690671

المؤلفون: Amare, AT, Thalamuthu, A, Schubert, KO, Fullerton, JM, Ahmed, M, Hartmann, S, Papiol, S, Heilbronner, U, Degenhardt, F, Tekola-Ayele, F, Hou, LP, Hsu, YH, Shekhtman, T, Adli, M, Akula, N, Akiyama, K, Ardau, R, Arias, B, Aubry, JM, Hasler, R, Richard-Lepouriel, H, Perroud, N, Backlund, L, Bhattacharjee, AK, Bellivier, F, Benabarre, A, Bengesser, S, Biernacka, JM, Birner, A, Marie-Claire, C, Cervantes, P, Chen, HC, Chillotti, C, Cichon, S, Cruceanu, C, Czerski, PM, Dalkner, N, Del Zompo, M, DePaulo, JR, Etain, B, Jamain, S, Falkai, P, Forstner, AJ, Frisen, L, Frye, MA, Gard, S, Garnham, JS, Goes, FS, Grigoroiu-Serbanescu, M, Fallgatter, AJ, Stegmaier, S, Ethofer, T, Biere, S, Petrova, K, Schuster, C, Adorjan, K, Budde, M, Heilbronner, M, Kalman, JL, Kohshour, MO, Reich-Erkelenz, D, Schaupp, SK, Schulte, EC, Senner, F, Vogl, T, Anghelescu, IG, Arolt, V, Dannlowski, U, Dietrich, D, Figge, C, Jager, M, Lang, FB, Juckel, G, Konrad, C, Reimer, J, Schmauss, M, Schmitt, A, Spitzer, C, von Hagen, M, Wiltfang, J, Zimmermann, J, Andlauer, TFM, Fischer, A, Bermpohl, F, Ritter, P, Matura, S, Gryaznova, A, Falkenberg, I, Yildiz, C, Kircher, T, Schmidt, J, Koch, M, Gade, K, Trost, S, Haussleiter, IS, Lambert, M, Rohenkohl, AC, Kraft, V, Grof, P, Hashimoto, R, Hauser, J, Herms, S, Hoffmann, P, Jimenez, E, Kahn, JP, Kassem, L, Kuo, PH, Kato, T, Kelsoe, J, Kittel-Schneider, S, Ferensztajn-Rochowiak, E, Konig, B, Kusumi, I, Laje, G, Landen, M, Lavebratt, C, Leboyer, M, Leckband, SG, Tortorella, A, Manchia, M, Martinsson, L, McCarthy, MJ, McElroy, S, Colom, F, Millischer, V, Mitjans, M, Mondimore, FM, Monteleone, P, Nievergelt, CM, Nothen, MM, Novak, T, O'Donovan, C, Ozaki, N, Pfennig, A, Pisanu, C, Potash, JB, Reif, A, Reininghaus, E, Rouleau, GA, Rybakowski, JK, Schalling, M, Schofield, PR, Schweizer, BW, Severino, G, Shilling, PD, Shimoda, K, Simhandl, C, Slaney, CM, Squassina, A, Stamm, T, Stopkova, P, Maj, M, Turecki, G, Vieta, E, Veeh, J, Witt, SH, Wright, A, Zandi, PP, Mitchell, PB, Bauer, M, Alda, M, Rietschel, M, McMahon, FJ, Schulze, TG, Clark, SR, Baune, BT

المصدر: Molecular psychiatry. 28(12):5251-5261

مصطلحات موضوعية: Medicin och hälsovetenskap

URL الوصول: http://kipublications.ki.se/Default.aspx?queryparsed=id:153440760

المؤلفون: Froleyks, Nils, Yu, Emily, Biere, Armin, Heljanko, Keijo

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

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

المؤلفون: Yu, Emily, Froleyks, Nils, Biere, Armin, Heljanko, Keijo

المصدر: 2023 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2023. :1-11 Oct, 2023

Relation: 2023 Formal Methods in Computer-Aided Design (FMCAD)

المؤلفون: Froleyks, Nils, Yu, Emily, Biere, Armin

المصدر: 2023 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2023. :162-167 Oct, 2023

Relation: 2023 Formal Methods in Computer-Aided Design (FMCAD)

المؤلفون: Serra, Carina^{Aff1, IDs0070402404912y_cor1}, Lana, Xavier, Martínez, Maria-Dolors, Arellano, Blanca, Roca, Josep, Biere, Rolando

المصدر: Theoretical and Applied Climatology. 155(6):4681-4702

المؤلفون: Osama, Muhammad^{Aff1, IDs1070302300432z_cor1}, Wijs, Anton, Biere, Armin

المصدر: Formal Methods in System Design: An International Journal. 62(1-3):79-118

المؤلفون: Rath, Jakob, Biere, Armin, Kovacs, Laura

المصدر: 2022 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2022. :160-169 Oct, 2022

Relation: 2022 Formal Methods in Computer-Aided Design (FMCAD)

المؤلفون: Yu, Emily, Froleyks, Nils, Biere, Armin, Heljanko, Keijo

المصدر: 2022 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2022. :59-64 Oct, 2022

Relation: 2022 Formal Methods in Computer-Aided Design (FMCAD)

المؤلفون: Spallitta, Giuseppe, Sebastiani, Roberto, Biere, Armin

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

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