ProofWala: Multilingual Proof Data Synthesis and Theorem-Proving

Authors: Thakur, Amitayush, Tsoukalas, George, Durrett, Greg, Chaudhuri, Swarat

Subject Terms: Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Computer Science - Logic in Computer Science, Computer Science - Programming Languages

Access URL: http://arxiv.org/abs/2502.04671

PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Authors: Tsoukalas, George, Lee, Jasper, Jennings, John, Xin, Jimmy, Ding, Michelle, Jennings, Michael, Thakur, Amitayush, Chaudhuri, Swarat

Subject Terms: Computer Science - Artificial Intelligence, Computer Science - Computation and Language, Computer Science - Machine Learning, Computer Science - Logic in Computer Science, Computer Science - Programming Languages

Access URL: http://arxiv.org/abs/2407.11214

An In-Context Learning Agent for Formal Theorem-Proving

Authors: Thakur, Amitayush, Tsoukalas, George, Wen, Yeming, Xin, Jimmy, Chaudhuri, Swarat

Subject Terms: Computer Science - Machine Learning, Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, Computer Science - Programming Languages

Access URL: http://arxiv.org/abs/2310.04353

$k$-NIM trees: Characterization and Enumeration

Authors: Johnson, Charles R., Tsoukalas, George, Wesley, Greyson C., Zhao, Zachary

Subject Terms: Mathematics - Combinatorics, 05C50, 05C50 (Primary) 15B57, 15A18 (Secondary)

Access URL: http://arxiv.org/abs/2208.05450

Ribavirin aerosol in hospitalized adults with respiratory distress and COVID‐19: An open‐label trial

Authors: Poulakou, Garyfallia, Barakat, Maxime, Israel, Robert J., Bacci, Marcelo R., Abril, Juan Francisco Moreno Hoyos, Álvarez, Samuel Navarro, Fonseca, Fernando Luiz Affonso, Kainis, Ilias, Kalomoiri, Smaragdi, Leontis, Konstantinos, Metallidis, Symeon, Panagopoulos, Periklis, Papastamopoulos, Vasileios, Ragognete, Henrique Gitti, Ramacciotti, Eduardo, Rapti, Vasiliki, Sakka, Vissaria, Syrigos, Konstantinos N., Tsoukalas, George, Xynogalas, Ioannis

Source: Clinical and translational science. 16(1):165-174

Availability: http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCvdc_100171059494.0x000001&indx=1&recIds=ETOCvdc_100171059494.0x000001

Efficacy and safety of early soluble urokinase plasminogen receptor plasma-guided anakinra treatment of COVID-19 pneumonia: a subgroup analysis of the SAVE-MORE randomised trial

Authors: Akinosoglou, Karolina, Kotsaki, Antigone, Gounaridi, Ioanna-Maria, Christaki, Eirini, Metallidis, Simeon, Adamis, Georgios, Fragkou, Archontoula, Fantoni, Massimo, Rapti, Aggeliki, Kalomenidis, Ioannis, Chrysos, Georgios, Boni, Gloria, Kainis, Ilias, Alexiou, Zoi, Castelli, Francesco, Serino, Francesco Saverio, Bakakos, Petros, Nicastri, Emanuele, Tzavara, Vassiliki, Safarika, Asimina, Ioannou, Sofia, Dagna, Lorenzo, Dimakou, Katerina, Tzatzagou, Glykeria, Chini, Maria, Bassetti, Matteo, Kotsis, Vasileios, Angheben, Andrea, Tsoukalas, George, Selmi, Carlo, Spiropoulou, Olga-Maria, Samarkos, Michael, Doumas, Michael, Damoraki, Georgia, Masgala, Aikaterini, Papanikolaou, Ilias, Argyraki, Aikaterini, Negri, Marcantonio, Leventogiannis, Konstantinos, Sympardi, Styliani, Gatselis, Nikolaos K., Petrakis, Vasileios, Netea, Mihai G., Panagopoulos, Periklis, Sakka, Vissaria, Milionis, Haralampos, Dalekos, George N., Giamarellos-Bourboulis, Evangelos J.

Source: In eClinicalMedicine February 2023 56

Interferon gamma-induced protein 10 (IP-10) for the early prognosis of the risk for severe respiratory failure and death in COVID-19 pneumonia

Authors: Samaras, Charilaos, Kyriazopoulou, Evdoxia, Poulakou, Garyfallia, Reiner, Eran, Kosmidou, Maria, Karanika, Ioanna, Petrakis, Vasileios, Adamis, George, Gatselis, Nikolaos K., Fragkou, Archontoula, Rapti, Aggeliki, Taddei, Eleonora, Kalomenidis, Ioannis, Chrysos, George, Bertoli, Giulia, Kainis, Ilias, Alexiou, Zoi, Castelli, Francesco, Saverio Serino, Francesco, Bakakos, Petros, Nicastri, Emanuele, Tzavara, Vassiliki, Kostis, Evangelos, Dagna, Lorenzo, Koukidou, Sofia, Tzatzagou, Glykeria, Chini, Maria, Bassetti, Matteo, Trakatelli, Christina, Tsoukalas, George, Selmi, Carlo, Samarkos, Michael, Pyrpasopoulou, Athina, Masgala, Aikaterini, Antonakis, Emmanouil, Argyraki, Aikaterini, Akinosoglou, Karolina, Sympardi, Styliani, Panagopoulos, Periklis, Milionis, Haralampos, Metallidis, Simeon, Syrigos, Konstantinos N., Angel, Alon, Dalekos, George N., Netea, Mihai G., Giamarellos-Bourboulis, Evangelos J.

Source: In Cytokine February 2023 162

Nursing home elderly patients hospitalized for COVID‐19: Characteristics and predictors of outcomes

Authors: Verykokou, Galateia, Apollonatou, Vasiliki, Papaioannou, Andriana I, Vogiatzoglou, Anastasios, Roukas, Konstantinos, Kyriakopoulos, Christos, Chronis, Christos, Aggelopoulou, Christina, Gundogdu, Deniz, Schoini, Pinelopi, Chloros, Diamantis, Kavatha, Dimitra, Manali, Effrosyni D, Papiris, Spyros A, Tsoukalas, George, Kostikas, Konstantinos, Fouka, Evangelia, Boumpas, Dimitrios, Loukides, Stelios

Source: Geriatrics and gerontology international. 23(1):62-64

Availability: http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCvdc_100175744093.0x000001&indx=1&recIds=ETOCvdc_100175744093.0x000001

Effect of anakinra on mortality in patients with COVID-19: a systematic review and patient-level meta-analysis

Authors: Kyriazopoulou, Evdoxia, Huet, Thomas, Cavalli, Giulio, Gori, Andrea, Kyprianou, Miltiades, Pickkers, Peter, Eugen-Olsen, Jesper, Clerici, Mario, Veas, Francisco, Chatellier, Gilles, Kaplanski, Gilles, Netea, Mihai G., Pontali, Emanuele, Gattorno, Marco, Cauchois, Raphael, Kooistra, Emma, Kox, Matthijs, Bandera, Alessandra, Beaussier, Hélène, Mangioni, Davide, Dagna, Lorenzo, van der Meer, Jos W.M., Giamarellos-Bourboulis, Evangelos J., Hayem, Gilles, Volpi, Stefano, Sormani, Maria Pia, Signori, Alessio, Bozzi, Giorgio, Minoia, Francesca, Aliberti, Stefano, Grasselli, Giacomo, Alagna, Laura, Lombardi, Andrea, Ungaro, Riccardo, Agostoni, Carlo, Blasi, Francesco, Costantino, Giorgio, Fracanzani, Anna Ludovica, Montano, Nicola, Peyvandi, Flora, Sottocorno, Marcello, Muscatello, Antonio, Filocamo, Giovanni, Papadopoulos, Antonios, Mouktaroudi, Maria, Karakike, Eleni, Saridaki, Maria, Gkavogianni, Theologia, Katrini, Konstantina, Vechlidis, Nikolaos, Avgoustou, Christina, Chalvatzis, Stamatios, Marantos, Theodoros, Damoulari, Christina, Damoraki, Georgia, Ktena, Sofia, Tsilika, Maria, Koufargyris, Panagiotis, Karageorgos, Athanasios, Droggiti, Dionysia-Irene, Koliakou, Aikaterini, Poulakou, Garyfallia, Tsiakos, Konstantinos, Myrodia, Dimitra-Melia, Gravvani, Areti, Trontzas, Ioannis P., Syrigos, Konstantinos, Kalomenidis, Ioannis, Kranidioti, Eleftheria, Panagopoulos, Periklis, Petrakis, Vasileios, Metallidis, Simeon, Loli, Georgia, Tsachouridou, Olga, Dalekos, George N., Gatselis, Nikolaos, Stefos, Aggelos, Georgiadou, Sarah, Lygoura, Vassiliki, Milionis, Haralampos, Kosmidou, Maria, Papanikolaou, Ilias C., Akinosoglou, Karolina, Giannitsioti, Efthymia, Chrysos, Georgios, Mavroudis, Panagiotis, Sidiropoulou, Chrysanthi, Adamis, Georgios, Fragkou, Archontoula, Rapti, Aggeliki, Alexiou, Zoi, Symbardi, Styliani, Masgala, Aikaterini, Kostaki, Konstantina, Kostis, Evangelos, Samarkos, Michael, Bakakos, Petros, Tzavara, Vassiliki, Dimakou, Katerina, Tzatzagou, Glykeria, Chini, Maria, Kotsis, Vasileios, Tsoukalas, George, Bliziotis, Ioannis, Doumas, Michael, Argyraki, Aikaterini, Kainis, Ilias, Fantoni, Massimo, Cingolani, Antonella, Angheben, Andrea, Cardellino, Chiara Simona, Castelli, Francesco, Serino, Francesco Saverio, Nicastri, Emanuele, Ippolito, Giuseppe, Bassetti, Matteo, Selmi, Carlo, Netea, Mihai G, van der Meer, Jos W M, Giamarellos-Bourboulis, Evangelos J ^*

Source: In The Lancet Rheumatology October 2021 3(10):e690-e697

Ein seltener Fall von Lipidpneumonie durch Amiodaron

Authors: Voulgareli, Ilektra, Chronaiou, Alexandra, Tsoukalas, Dionisios, Tsoukalas, George

Source: Karger Kompass.Pneumologie. 7(3):168-171

Availability: http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCvdc_100093365644.0x000001&indx=1&recIds=ETOCvdc_100093365644.0x000001

HEMATOLOGY, PLASMA BIOCHEMISTRY, AND URINALYSIS OF FREE-RANGING GREY-HEADED FLYING FOXES ( PTEROPUS POLIOCEPHALUS ) IN AUSTRALIA

Authors: Edson, Daniel, Field, Hume, McMichael, Lee, Mayer, David, Martin, John, Welbergen, Justin, McLaughlin, Amanda, Huth, Lauren, Kristoffersen, Joanna, Tsoukalas, George, Kirkland, Peter

Source: Journal of Zoo and Wildlife Medicine, 2018 Jan 01. 49(3), 591-598.

Access URL: https://www.jstor.org/stable/26805866

A rare case of lipoid pneumonia attributed to amiodarone

Authors: Voulgareli, Ilektra, Chronaiou, Alexandra, Tsoukalas, Dionisios, Tsoukalas, George

Source: Pneumonia. 10(1):1-4

Availability: http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCvdc_100185343516.0x000001&indx=1&recIds=ETOCvdc_100185343516.0x000001

Metachronous and Synchronous Primary Lung Cancers: Diagnostic Aspects, Surgical Treatment, and Prognosis

Authors: Loukeri, Angeliki A., Kampolis, Christos F., Ntokou, Anna, Tsoukalas, George, Syrigos, Konstantinos

Source: In Clinical Lung Cancer January 2015 16(1):15-23

Device to aid packaging items

Conveyor

Early treatment of COVID-19 with anakinra guided by soluble urokinase plasminogen receptor plasma levels: a double-blind, randomized controlled phase 3 trial

Authors: Kyriazopoulou, Evdoxia, Poulakou, Garyfallia, Milionis, Haralampos, Metallidis, Simeon, Adamis, Georgios, Tsiakos, Konstantinos, Fragkou, Archontoula, Rapti, Aggeliki, Damoulari, Christina, Fantoni, Massimo, Kalomenidis, Ioannis, Chrysos, Georgios, Angheben, Andrea, Kainis, Ilias, Alexiou, Zoi, Castelli, Francesco, Serino, Francesco Saverio, Tsilika, Maria, Bakakos, Petros, Nicastri, Emanuele, Tzavara, Vassiliki, Kostis, Evangelos, Dagna, Lorenzo, Koufargyris, Panagiotis, Dimakou, Katerina, Savvanis, Spyridon, Tzatzagou, Glykeria, Chini, Maria, Cavalli, Giulio, Bassetti, Matteo, Katrini, Konstantina, Kotsis, Vasileios, Tsoukalas, George, Selmi, Carlo, Bliziotis, Ioannis, Samarkos, Michael, Doumas, Michael, Ktena, Sofia, Masgala, Aikaterini, Papanikolaou, Ilias, Kosmidou, Maria, Myrodia, Dimitra-Melia, Argyraki, Aikaterini, Cardellino, Chiara Simona, Koliakou, Katerina, Katsigianni, Eleni-Ioanna, Rapti, Vassiliki, Giannitsioti, Efthymia, Cingolani, Antonella, Micha, Styliani, Akinosoglou, Karolina, Liatsis-Douvitsas, Orestis, Symbardi, Styliani, Gatselis, Nikolaos, Mouktaroudi, Maria, Ippolito, Giuseppe, Florou, Eleni, Kotsaki, Antigone, Netea, Mihai G., Eugen-Olsen, Jesper, Kyprianou, Miltiades, Panagopoulos, Periklis, Dalekos, George N., Giamarellos-Bourboulis, Evangelos J.

Source: Nature Medicine; 20210101, Issue: Preprints p1-9, 9p

JUSTICE: THE LINKING VIRTUE OF POLITICS AND ECONOMY.

Authors: Dimitrakopoulou, Anastasia, Tsoukalas, George

Source: Electryone; 2017, Vol. 5 Issue 2, p62-70, 9p

Subject Terms: SOCIAL justice, EUDAIMONISM, SOCIAL justice & ethics, ECONOMICS

This result is not displayed to guests.
Login for full access.

This result is not displayed to guests.
Login for full access.

This result is not displayed to guests.
Login for full access.