Zobrazeno 1 - 10
of 933
pro vyhledávání: '"A. Argyraki"'
We have formalised Szemer\'edi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions, two major results in extremal graph theory and additive combinatorics, using the proof assistant Isabelle/HOL. For the latter formalisation, we used the
Externí odkaz:
http://arxiv.org/abs/2207.07499
Autor:
Sahner, David, Tierney, John, Vogel, Susan E., Herpin, Betsey R., Smolskis, Mary C., McKay, Laura A., Cahill, Kelly, Crew, Page, Sardana, Ratna, Raim, Sharon Segal, Hensely, Lisa, Lorenzo, Johsua, Mock, Rebecca, Zuckerman, Judith, Atri, Negin, Miller, Mark, Vallee, David, Chung, Lucy, Kang, Nayon, Barrett, Kevin, Adam, Stacey J., Read, Sarah, Draghia-Akli, Ruxandra, Currier, Judy, Hughes, Eric, Harrigan, Rachel H., Amos, Laura, Carlsen, Amy, Carter, Anita, Collins, Gary, Davis, Bionca, Denning, Eileen, DuChene, Alain, Eckroth, Kate, Engen, Nicole, Frase, Alex, Gandits, Greg, Grund, Birgit, Harrison, Merrie, Hurlbut, Nancy, Kaiser, Payton, Koopmeiners, Joseph, Larson, Gregg, Meger, Sue, Mistry, Shweta Sharma, Murray, Thomas, Nelson, Ray, Quan, Kien, Quan, Siu Fun, Reilly, Cavan, Siegel, Lianne, Thompson, Greg, Vock, David, Walski, Jamie, Gelijns, Annetine C., Moskowitz, Alan J., Bagiella, Emilia, Moquete, Ellen, O'Sullivan, Karen, Marks, Mary E., Accardi, Evan, Kinzel, Emily, Burris, Sarah, Bedoya, Gabriela, Gupta, Lola, Overbey, Jessica R., Santos, Milerva, Gillinov, Marc A., Miller, Marissa A., Taddei-Peters, Wendy C., Fenton, Kathleen, Sandkovsky, Uriel, Gottlieb, Robert L., Mack, Michael, Berhe, Mezgebe, Haley, Clinton, Dishner, Emma, Bettacchi, Christopher, Golden, Kevin, Duhaime, Erin, Ryan, Madison, Tallmadge, Catherine, Estrada, Lorie, Jones, Felecia, Villa, Samatha, Wang, Samatha, Robert, Raven, Coleman, Tanquinisha, Clariday, Laura, Baker, Rebecca, Hurutado-Rodriguez, Mariana, Iram, Nazia, Fresnedo, Michelle, Davis, Allyson, Leonard, Kiara, Ramierez, Noelia, Thammavong, Jon, Duque, Krizia, Turner, Emma, Fisher, Tammy, Robinson, Dianna, Ransom, Desirae, Maldonado, Nicholas, Lusk, Erica, Killian, Aaron, Palacious, Adriana, Solis, Edilia, Jerrow, Janet, Watts, Matthew, Whitacre, Heather, Cothran, Elizabeth, Smith, Peter K., Barkauskas, Christina E., Vekstein, Andrew M., Ko, Emily R., Dreyer, Grace R., Stafford, Neil, Brooks, Megan, Der, Tatyana, Witte, Marie, Gamarallage, Ruwan, Franzone, John, Ivey, Noel, Lumsden, Rebecca H., Mosaly, Nilima, Mourad, Ahmaad, Holland, Thomas L., Motta, Mary, Lane, Kathleen, McGowan, Lauren M., Stout, Jennifer, Aloor, Heather, Bragg, Kennesha M., Toledo, Barvina, McLendon-Arvik, Beth, Bussadori, Barbara, Hollister, Beth A., Griffin, Michelle, Giangiacomo, Dana M., Rodriguez, Vicente, Bokhart, Gordon, Eichman, Sharon M., Parrino, Patrick E., Spindel, Stephen, Bansal, Aditya, Baumgarten, Katherine, Hand, Johnathan, Vonderhaar, Derek, Nossaman, Bobby, Sylvia Laudun, Ames, DeAnna, Broussard, Shane, Hernandez, Nilmo, Isaac, Geralyn, Dinh, Huan, Zheng, Yiling, Tran, Sonny, McDaniel, Hunter, Crovetto, Nicolle, Perin, Emerson, Costello, Briana, Manian, Prasad, Sohail, M. Rizwan, Postalian, Alexander, Hinsu, Punit, Watson, Carolyn, Chen, James, Fink, Melyssa, Sturgis, Lydia, Walker, Kim, Mahon, Kim, Parenti, Jennifer, Kappenman, Casey, Knight, Aryn, Sturek, Jeffrey M., Barros, Andrew, Enfield, Kyle B., Kadl, Alexandra, Green, China J., Simon, Rachel M., Fox, Ashley, Thornton, Kara, Adams, Amy, Badhwar, Vinay, Sharma, Sunil, Peppers, Briana, McCarthy, Paul, Krupica, Troy, Sarwari, Arif, Reece, Rebecca, Fornaresico, Lisa, Glaze, Chad, Evans, Raquel, Di, Fang, Carlson, Shawn, Aucremanne, Tanja, Tennant, Connie, Sutton, Lisa Giblin, Buterbaugh, Sabrina, Williams, Roger, Bunner, Robin, Traverse, Jay H., Rhame, Frank, Huelster, Joshua, Kethireddy, Rajesh, Davies, Irena, Salamanca, Julianne, Majeski, Christine, Skelton, Paige, Zarambo, Maria, Sarafolean, Andrea, Bowdish, Michael E., Borok, Zea, Wald-Dickler, Noah, Hutcheon, Douglass, Towfighi, Amytis, Lee, Mary, Lewis, Meghan R., Spellberg, Brad, Sher, Linda, Sharma, Aniket, Olds, Anna P., Justino, Chris, Loxano, Edward, Romero, Chris, Leong, Janet, Rodina, Valentina, Quesada, Christine, Hamilton, Luke, Escobar, Jose, Leshnower, Brad, Bender, William, Sharifpour, Milad, Miller, Jeffrey, Farrington, Woodrow, Baio, Kim T., McBride, Mary, Fielding, Michele, Mathewson, Sonya, Porte, Kristina, Maton, Missy, Ponder, Chari, Haley, Elisabeth, Spainhour, Christine, Rogers, Susan, Tyler, Derrick, Madathil, Ronson J., Rabin, Joseph, Levine, Andrea, Saharia, Kapil, Tabatabai, Ali, Lau, Christine, Gammie, James S., Peguero, Maya-Loren, McKernan, Kimberly, Audette, Mathew, Fleischmann, Emily, Akbari, Kreshta, Lee, Myounghee, Chi, Andrew, Salehi, Hanna, Pariser, Alan, Nyguyen, Phuong Tran, Moore, Jessica, Gee, Adrienne, Vincent, Shelika, Zuckerman, Richard A., Iribarne, Alexander, Metzler, Sara, Shipman, Samantha, Johnson, Haley, Newton, Crystallee, Parr, Doug, Miller, Leslie, Schelle, Beth, McLean, Sherry, Rothbaum, Howard R., Alvarez, Michael S., Kalan, Shivam P., Germann, Heather H., Hendershot, Jennifer, Moroney, Karen, Herring, Karen, Cook, Sharri, Paul, Pam, Walker-Ignasiak, Rebecca, North, Crystal, Oldmixon, Cathryn, Ringwood, Nancy, Muzikansky, Ariela, Morse, Richard, Fitzgerald, Laura, Morin, Haley D., Brower, Roy G., Reineck, Lora A., Bienstock, Karen, Steingrub, Jay H., Hou, Peter K., Steingrub, Jay S., Tidswell, Mark A., Kozikowski, Lori-Ann, Kardos, Cynthia, DeSouza, Leslie, Romain, Sarah, Thornton-Thompson, Sherell, Talmor, Daniel, Shapiro, Nathan, Andromidas, Konstantinos, Banner-Goodspeed, Valerie, Bolstad, Michael, Boyle, Katherine L., Cabrera, Payton, deVilla, Arnaldo, Ellis, Joshua C., Grafals, Ana, Hayes, Sharon, Higgins, Conor, Kurt, Lisa, Kurtzman, Nicholas, Redman, Kimberly, Rosseto, Elinita, Scaffidi, Douglas, Filbin, Michael R., Hibbert, Kathryn A., Parry, Blair, Margolin, Justin, Hillis, Brooklynn, Hamer, Rhonda, Brait, Kelsey, Beakes, Caroline, McKaig, Brenna, Kugener, Eleonore, Jones, Alan E., Galbraith, James, Nandi, Utsav, Peacock, Rebekah, Hendey, Gregory, Kangelaris, Kirsten, Ashktorab, Kimia, Gropper, Rachel, Agrawal, Anika, Yee, Kimberley J., Jauregui, Alejandra E., Zhuo, Hanjing, Almasri, Eyad, Fayed, Mohamed, Hubel, Kinsley A., Hughes, Alyssa R., Garcia, Rebekah L., Lim, George W., Chang, Steven Y., Lin, Michael Y., Vargas, Julia, Sihota, Hena, Beutler, Rebecca, Agarwal, Trisha, Wilson, Jennifer G., Vojnik, Rosemary, Perez, Cynthia, McDowell, Jordan H., Roque, Jonasel, Wang, Henry, Huebinger, Ryan M., Patel, Bela, Vidales, Elizabeth, Albertson, Timothy, Hardy, Erin, Harper, Richart, Moss, Marc A., Baduashvili, Amiran, Chauhan, Lakshmi, Douin, David J., Martinez, Flora, Finck, Lani L., Bastman, Jill, Howell, Michelle, Higgins, Carrie, McKeehan, Jeffrey, Finigan, Jay, Stubenrauch, Peter, Janssen, William J., Griesmer, Christine, VerBurg, Olivia, Hyzy, Robert C., Park, Pauline K., Nelson, Kristine, McSparron, Jake I., Co, Ivan N., Wang, Bonnie R., Jimenez, Jose, Olbrich, Norman, McDonough, Kelli, Jia, Shijing, Hanna, Sinan, Gong, Michelle N., Richardson, Lynne D., Nair, Rahul, Lopez, Brenda, Amosu, Omowunmi, Offor, Obiageli, Tzehaie, Hiwet, Nkemdirim, William, Boujid, Sabah, Mosier, Jarrod M., Hypes, Cameron, Campbell, Elizabeth Salvagio, Bixby, Billie, Gilson, Boris, Lopez, Anitza, Bime, Christian, Parthasarathy, Sairam, Cano, Ariana M., Hite, R. Duncan, Terndrup, Thomas E., Wiedemann, Herbert P., Hudock, Kristin, Tanzeem, Hammad, More, Harshada, Martinkovic, Jamie, Sellers, Susan, Houston, Judy, Burns, Mary, Kiran, Simra, Roads, Tammy, Kennedy, Sarah, Duggal, Abhijit, Thiruchelvam, Nirosshan, Ashok, Kiran, King, Alexander H., Mehkri, Omar, Dugar, Siddharth, Sahoo, Debasis, Yealy, Donald M., Angus, Derek C., Weissman, Alexandra J., Vita, Tina M., Berryman, Emily, Hough, Catherine L., Khan, Akram, Krol, Olivia F., Mills, Emmanuel, Kinjal, Mistry, Briceno, Genesis, Reddy, Raju, Hubel, Kinsley, Jouzestani, Milad K., McDougal, Madeline, Deshmukh, Rupali, Johnston, Nicholas J., Robinson, Bryce H., Gundel, Staphanie J., Katsandres, Sarah C., Chen, Peter, Torbati, Sam S., Parimon, Tanyalak, Caudill, Antonina, Mattison, Brittany, Jackman, Susan E., Chen, Po-En, Bayoumi, Emad, Ojukwu, Cristabelle, Fine, Devin, Weissberg, Gwendolyn, Isip, Katherine, Choi-Kuaea, Yunhee, Mehdikhani, Shaunt, Dar, Tahir B., Fleury Augustin, Nsole Biteghe, Tran, Dana, Dukov, Jennifer Emilow, Matusov, Yuri, Choe, June, Hindoyan, Niree A., Wynter, Timothy, Pascual, Ethan, Clapham, Gregg J., Herrera, Lisa, Caudill, Antonia, O’Mahony, D. Shane, Nyatsatsang, Sonam T., Wilson, David M., Wallick, Julie A., Duven, Alexandria M., Fletcher, Dakota D., Miller, Chadwick, Files, D. Clark, Gibbs, Kevin W., Flores, Lori S., LaRose, Mary E., Landreth, Leigha D., Palacios, D. Rafael, Parks, Lisa, Hicks, Madeline, Goodwin, Andrew J., Kilb, Edward F., Lematty, Caitlan T., Patti, Kerilyn, Grady, Abigail, Rasberry, April, Morris, Peter E., Sturgill, Jamie L., Cassity, Evan P., Dhar, Sanjay, Montgomery-Yates, Ashley A., Pasha, Sarah N., Mayer, Kirby P., Pharm.D., Brittany Bissel, Trott, Terren, Rehman, Shahnaz, de Wit, Marjolein, Mason, Jessica, Bledsoe, Joseph, Knowlton, Kirk U., Brown, Samuel, Lanspa, Michael, Leither, Lindsey, Pelton, Ithan, Armbruster, Brent P., Montgomery, Quinn, Kumar, Naresh, Fergus, Melissa, Imel, Karah, Palmer, Ghazal, Webb, Brandon, Klippel, Carolyn, Jensen, Hannah, Duckworth, Sarah, Gray, Andrew, Burke, Tyler, Knox, Dan, Lumpkin, Jenna, Aston, Valerie T., Applegate, Darrin, Serezlic, Erna, Brown, Katie, Merril, Mardee, Harris, Estelle S., Middleton, Elizabeth A., Barrios, Macy A.G., Greer, Jorden, Schmidt, Amber D., Webb, Melissa K., Paine, Roert, Callahan, Sean J., Waddoups, Lindsey J., Yamane, Misty B., Self, Wesley H., Rice, Todd W., Casey, Jonathan D., Johnson, Jakea, Gray, Christopher, Hays, Margaret, Roth, Megan, Menon, Vidya, Kasubhai, Moiz, Pillai, Anjana, Daniel, Jean, Sittler, Daniel, Kanna, Balavenkatesh, Jilani, Nargis, Amaro, Francisco, Santana, Jessica, Lyakovestsky, Aleksandr, Madhoun, Issa, Desroches, Louis Marie, Amadon, Nicole, Bahr, Alaa, Ezzat, Imaan, Guerrero, Maryanne, Padilla, Joane, Fullmer, Jessie, Singh, Inderpreet, Ali Shah, Syed Hamad, Narang, Rajeev, Mock, Polly, Shadle, Melissa, Hernandez, Brenda, Welch, Kevin, Payne, Andrea, Ertl, Gabriela, Canario, Daniel, Barrientos, Isabel, Goss, Danielle, DeVries, Mattie, Folowosele, Ibidolapo, Garner, Dorothy, Gomez, Mariana, Price, Justin, Bansal, Ekta, Wong, Jim, Faulhaber, Jason, Fazili, Tasaduq, Yeary, Brian, Ndolo, Ruth, Bryant, Christina, Smigeil, Bridgette, Robinson, Philip, Najjar, Rana, Jones, Patrice, Nguyen, Julie, Chin, Christina, Taha, Hassan, Najm, Salah, Smith, Christopher, Moore, Jason, Nassar, Talal, Gallinger, Nick, Christian, Amy, Mauer, D’Amber, Phipps, Ashley, Waters, Michael, Zepeda, Karla, Coslet, Jordan, Landazuri, Rosalynn, Pineda, Jacob, Uribe, Nicole, Garcia, Jose Ruiz, Barbabosa, Cecilia, Sandler, Kaitlyn, Overcash, J. Scott, Marquez, Adrienna, Chu, Hanh, Lee, Kia, Quillin, Kimberly, Garcia, Andrea, Lew, Pauline, Rogers, Ralph, Shehadeh, Fadi, Mylona, Evangelia K., Kaczynski, Matthew, Tran, Quynh-Lam, Benitez, Gregorio, Mishra, Biswajit, Felix, Lewis Oscar, Vafea, Maria Tsikala, Atalla, Eleftheria, Davies, Robin, Hedili, Salma, Monkeberg, Maria Andrea, Tabler, Sandra, Harrington, Britt, Meegada, Sreenath, Koripalli, Venkata Sandeep, Muddana, Prithvi, Jain, Lakshay, Undavalli, Chaitanya, Kavya, Parasa, Ibiwoye, Mofoluwaso, Akilo, Hameed, Lovette, Bryce D., Wylie, Jamie-Crystal, Smith, Diana M., Poon, Kenneth, Eckardt, Paula, Heysu, Rubio-Gomez, Sundararaman, Nithya, Alaby, Doris, Sareli, Candice, Sánchez, Adriana, Popielski, Laura, Kambo, Amy, Viens, Kimberley, Turner, Melissa, Vjecha, Michael J., Weintrob, Amy, Brar, Indira, Markowitz, Norman, Pastor, Erika, Corpuz, Roweena, Alangaden, George, McKinnon, John, Ramesh, Mayur, Herc, Erica, Yared, Nicholas, Lanfranco, Odaliz Abreu, Rivers, Emanuel, Swiderek, Jennifer, Gupta, Ariella Hodari, Pabla, Pardeep, Eliya, Sonia, Jazrawi, Jehan, Delor, Jeremy, Desai, Mona, Cook, Aaron, Jaehne, Anja Kathrina, Gill, Jasreen Kaur, Renaud, Sheri, Sarveswaran, Siva, Gardner, Edward, Scott, James, Bianchini, Monica, Melvin, Casey, Kim, Gina, Wyles, David, Kamis, Kevin, Miller, Rachel, Douglas, Ivor, Haukoos, Jason, Hicks, Carrie, Lazarte, Susana, Marines-Price, Rubria, Osuji, Alice, Agbor Agbor, Barbine Tchamba, Petersen, Tianna, Kamel, Dena, Hansen, Laura, Garcia, Angie, Cha, Christine, Mozaffari, Azadeh, Hernandez, Rosa, Cutrell, James, Kim, Mina, DellaValle, Natalie, Gonzales, Sonia, Somboonwit, Charurut, Oxner, Asa, Guerra, Lucy, Hayes, Michael, Nguyen, Thi, Tran, Thanh, Pinto, Avenette, Hatlen, Timothy, Anderson, Betty, Zepeda-Gutierrez, Ana, Martin, Dannae, Temblador, Cindi, Cuenca, Avon, Tanoviceanu, Roxanne, Prieto, Martha, Guerrero, Mario, Daar, Eric, Correa, Ramiro, Hartnell, Gabe, Wortmann, Glenn, Doshi, Saumil, Moriarty, Theresa, Gonzales, Melissa, Garman, Kristin, Baker, Jason V., Frosch, Anne, Goldsmith, Rachael, Driver, Brian, Frank, Christine, Leviton, Tzivia, Prekker, Matthew, Jibrell, Hodan, Lo, Melanie, Klaphake, Jonathan, Mackedanz, Shari, Ngo, Linh, Garcia-Myers, Kelly, Kunisaki, Ken M., Wendt, Chris, Melzer, Anne, Wetherbee, Erin, Drekonja, Dimitri, Pragman, Alexa, Hamel, Aimee, Thielen, Abbie, Hassler, Miranda, Walquist, Mary, Augenbraun, Michael, George, Jensen, Demeo, Lynette, Mishko, Motria, Thomas, Lorraine, Tatem, Luis, Dehovitz, Jack, Abassi, Mahsa, Leuck, Anne-Marie, Rao, Via, Pullen, Matthew, Luke, Darlette, LaBar, Derek, Christiansen, Theresa, Howard, Diondra, Biswas, Kousick, Harrington, Cristin, Garcia, Amanda, Bremer, Tammy, Burke, Tara, Koker, Brittany, Davis-Karim, Anne, Pittman, David, Vasudeva, Shikha S., Johnstone, Jaylynn R., Agnetti, Kate, Davis, Ruby, Trautner, Barbara, Hines-Munson, Casey, Van, John, Dillon, Laura, Wang, Yiqun, Nagy-Agren, Stephanie, Vasudeva, Shikha, Ochalek, Tracy, Caldwell, Erin, Humerickhouse, Edward, Boone, David, McGraw, William, Looney, David J., Mehta, Sanjay R., Johns, Scott Thompson, St. John, Melissa, Raceles, Jacqueline, Sear, Emily, Funk, Stephen, Cesarini, Rosa, Fang, Michelle, Nicalo, Keith, Drake, Wonder, Jones, Beatrice, Holtman, Teresa, Nguyen, Hien H., Maniar, Archana, Johnson, Eric A., Nguyen, Lam, Tran, Michelle T., Barrett, Thomas W., Johnston, Tera, Huggins, John T., Beiko, Tatsiana Y., Hughes, Heather Y., McManigle, William C., Tanner, Nichole T., Washburn, Ronald G., Ardelt, Magdalena, Tuohy, Patricia A., Mixson, Jennifer L., Hinton, Charles G., Thornley, Nicola, Allen, Heather, Elam, Shannon, Boatman, Barry, Baber, Brittany J., Ryant, Rudell, Roller, Brentin, Nguyen, Chinh, Mikail, Amani Morgan, Research, Marivic Hansen, Lichtenberger, Paola, Baracco, Gio, Ramos, Carol, Bjork, Lauren, Sueiro, Melyssa, Tien, Phyllis, Freasier, Heather, Buck, Theresa, Nekach, Hafida, Holodniy, Mark, Chary, Aarthi, Lu, Kan, Peters, Theresa, Lopez, Jessica, Tan, Susanna Yu, Lee, Robert H., Asghar, Aliya, Karyn Isip, Tasadduq Karim, Le, Katherine, Nguyen, Thao, Wong, Shinn, Raben, Dorthe, Murray, Daniel D., Jensen, Tomas O., Peters, Lars, Aagaard, Bitten, Nielsen, Charlotte B., Krapp, Katharina, Nykjær, Bente Rosdahl, Olsson, Christina, Kanne, Katja Lisa, Grevsen, Anne Louise, Joensen, Zillah Maria, Bruun, Tina, Bojesen, Ane, Woldbye, Frederik, Normand, Nick E., Esman, Frederik V.L., Benfield, Thomas, Clausen, Clara Lundetoft, Hovmand, Nichlas, Israelsen, Simone Bastrup, Iversen, Katrine, Leding, Caecilie, Pedersen, Karen Brorup, Thorlacius-Ussing, Louise, Tinggaard, Michaela, Tingsgard, Sandra, Krohn-Dehli, Louise, Pedersen, Dorthe, Villadsen, Signe, Staehr Jensen, Jens-Ulrik, Overgaard, Rikke, Rastoder, Ema, Heerfordt, Christian, Hedsund, Caroline, Ronn, Christian Phillip, Kamstrup, Peter Thobias, Hogsberg, Dorthe Sandbaek, Bergsoe, Christina, Søborg, Christian, Hissabu, Nuria M.S., Arp, Bodil C., Ostergaard, Lars, Staerke, Nina Breinholt, Yehdego, Yordanos, Sondergaard, Ane, Johansen, Isik S., Pedersen, Andreas Arnholdt, Knudtzen, Fredrikke C., Larsen, Lykke, Hertz, Mathias A., Fabricius, Thilde, Holden, Inge K., Lindvig, Susan O., Helleberg, Marie, Gerstoft, Jan, Kirk, Ole, Jensen, Tomas Ostergaard, Madsen, Birgitte Lindegaard, Pedersen, Thomas Ingemann, Harboe, Zitta Barrella, Roge, Birgit Thorup, Hansen, Thomas Michael, Glesner, Matilde Kanstrup, Lofberg, Sandra Valborg, Nielsen, Ariella Denize, Leicht von Huth, Sebastian, Nielsen, Henrik, Thisted, Rikke Krog, Petersen, Kristine Toft, Juhl, Maria Ruwald, Podlekareva, Daria, Johnsen, Stine, Andreassen, Helle Frost, Pedersen, Lars, Clara Ellinor Lindnér, Cecilia Ebba, Wiese, Lothar, Knudsen, Lene Surland, Skrøder Nytofte, Nikolaj Julian, Havmøller, Signe Ravn, Expósito, Maria, Badillo, José, Martínez, Ana, Abad, Elena, Chamorro, Ana, Figuerola, Ariadna, Mateu, Lourdes, España, Sergio, Lucero, Maria Constanza, Santos, José Ramón, Lladós, Gemma, Lopez, Cristina, Carabias, Lydia, Molina-Morant, Daniel, Loste, Cora, Bracke, Carmen, Siles, Adrian, Fernández-Cruz, Eduardo, Di Natale, Marisa, Padure, Sergiu, Gomez, Jimena, Ausin, Cristina, Cervilla, Eva, Balastegui, Héctor, Sainz, Carmen Rodríguez, Lopez, Paco, Carbone, Javier, Escobar, Mariam, Balerdi, Leire, Legarda, Almudena, Roldan, Montserrat, Letona, Laura, Muñoz, José, Camprubí, Daniel, Arribas, Jose R., Sánchez, Rocio Montejano, Díaz-Pollán, Beatriz, Stewart, Stefan Mark, Garcia, Irene, Borobia, Alberto, Mora-Rillo, Marta, Estrada, Vicente, Cabello, Noemi, Nuñez-Orantos, M.J., Sagastagoitia, I., Homen, J.R., Orviz, E., Montalvá, Adrián Sánchez, Espinosa-Pereiro, Juan, Bosch-Nicolau, Pau, Salvador, Fernando, Burgos, Joaquin, Morales-Rull, Jose Luis, Moreno Pena, Anna Maria, Acosta, Cristina, Solé-Felip, Cristina, Horcajada, Juan P., Sendra, Elena, Castañeda, Silvia, López-Montesinos, Inmaculada, Gómez-Junyent, Joan, Gonzáles, Carlota Gudiol, Cuervo, Guilermo, Pujol, Miquel, Carratalà, Jordi, Videla, Sebastià, Günthard, Huldrych, Braun, Dominique L., West, Emily, M’Rabeth-Bensalah, Khadija, Eichinger, Mareile L., Grüttner-Durmaz, Manuela, Grube, Christina, Zink, Veronika, pharmacist, Goes pharmacist, Josefine, Fätkenheuer, Gerd, Malin, Jakob J., Tsertsvadze, Tengiz, Abutidze, Akaki, Chkhartishvili, Nikoloz, Metchurtchlishvili, Revaz, Endeladze, Marina, Paciorek, Marcin, Bursa, Dominik, Krogulec, Dominika, Pulik, Piotr, Ignatowska, Anna, Horban, Andrzej, Bakowska, Elzbieta, Kowaska, Justyna, Bednarska, Agnieszka, Jurek, Natalia, Skrzat-Klapaczynska, Agata, Bienkowski, Carlo, Hackiewicz, Malgorzata, Makowiecki, Michal, Platowski, Antoni, Fishchuk, Roman, Kobrynska, Olena, Levandovska, Khrystyna, Kirieieva, Ivanna, Kuziuk, Mykhailo, Naucler, Pontus, Perlhamre, Emma, Mazouch, Lotta, Kelleher, Anthony, Polizzotto, Mark, Carey, Catherine, Chang, Christina C., Hough, Sally, Virachit, Sophie, Davidson, Sarah, Bice, Daniel J., Ognenovska, Katherine, Cabrera, Gesalit, Flynn, Ruth, Young, Barnaby E., Chia, Po Ying, Lee, Tau Hong, Lin, Ray J., Lye, David C., Ong, Sean W.X., Puah, Ser Hon, Yeo, Tsin Wen, Diong, Shiau Hui, Ongko, Juwinda, Yeo, He Ping, Eriobu, Nnakelu, Kwaghe, Vivian, Zaiyad, Habib, Idoko, Godwin, Uche, Blessing, Selvamuthu, Poongulali, Kumarasamy, Nagalingeswaran, Beulah, Faith Ester, Govindarajan, Narayan, Mariyappan, Kowsalya, Losso, Marcelo H., Abela, Cecilia, Moretto, Renzo, Belloc, Carlos G., Ludueña, Jael, Amar, Josefina, Toibaro, Javier, Macias, Laura Moreno, Fernandez, Lucia, Frare, Pablo S., Chaio, Sebastian R., Pachioli, Valeria, Timpano, Stella M., Sanchez, Marisa del Lujan, de Paz Sierra, Mariana, Stanek, Vanina, Belloso, Waldo, Cilenti, Flavia L., Valentini, Ricardo N., Stryjewski, Martin E., Locatelli, Nicolas, Soler Riera, Maria C., Salgado, Clara, Baeck, Ines M., Di Castelnuovo, Valentina, Zarza, Stella M., Hudson, Fleur, Parmar, Mahesh K.B., Goodman, Anna L., Dphil, Badrock, Jonathan, Gregory, Adam, Goodall, Katharine, Harris, Nicola, Wyncoll, James, Bhagani, S., Rodger, A., Luntiel, A., Patterson, C., Morales, J., Witele, E., Preston, A.-M., Nandani, A., Price, D.A., Hanrath, Aiden, Nell, Jeremy, Patel, Bijal, Hays, Carole, Jones, Geraldine, Davidson, Jade, Bawa, T., Mathews, M., Mazzella, A., Bisnauthsing, K., Aguilar-Jimenez, L., Borchini, F., Hammett, S., Touloumi, Giota, Pantazis, Nikos, Gioukari, Vicky, Souliou, Tania, Antoniadou, A., Protopapas, K., Kavatha, D., Grigoropoulou, S., Oikonomopoulo, C., Moschopoulos, C., Koulouris, N.G., Tzimopoulos, K., Koromilias, A., Argyraki, K., Lourida, P., Bakakos, P., Kalomenidis, I., Vlachakos, V., Barmparessou, Z., Balis, E., Zakynthinos, S., Sigala, I., Gianniou, N., Dima, E., Magkouta, S., Synolaki, E., Konstanta, S., Vlachou, M., Stathopoulou, P., Panagopoulos, P., Petrakis, V., Papazoglou, D., Tompaidou, E., Isaakidou, E., Poulakou, G., Rapti, V., Leontis, K., Nitsotolis, T., Athanasiou, K., Syrigos, K., Kyriakoulis, K., Trontzas, I., Arfara-Melanini, M., Kolonis, V., Kityo, Cissy, Mugerwa, Henry, Kiweewa, Francis, Kimuli, Ivan, Lukaakome, Joseph, Nsereko, Christoher, Lubega, Gloria, Kibirige, Moses, Nakahima, William, Wangi, Deus, Aguti, Evelyne, Generous, Lilian, Massa, Rosemary, Nalaki, Margaret, Magala, Felix, Nabaggala, Phiona Kaweesi, Kidega, Robert, Faith, Oryem Daizy, Florence, Apio, Emmanuel, Ocung, Beacham, Mugoonyi Paul, Geoffrey, Amone, Nakiboneka, Dridah, Apiyo, Paska, Kirenga, Bruce, Atukunda, Angella, Muttamba, Winters, Remmy, Kyeyume, Segawa, Ivan, Pheona, Nsubuga, Kigere, David, Mbabazi, Queen Lailah, Boersalino, Ledra, Nyakoolo, Grace, Fred, Aniongo, Alupo, Alice, Ebong, Doryn, Monday, Edson, Nalubwama, Ritah Norah, Kainja, Milton, Ambrose, Munu, Kwehayo, Vanon, Nalubega, Mary Grace, Ongoli, Augustine, Obbo, Stephen, Sebudde, Nicholus, Alaba, Jeniffer, Magombe, Geoffrey, Tino, Harriet, Obonya, Emmanuel, Lutaakome, Joseph, Kitonsa, Jonathan, Onyango, Martin, Naboth, Tukamwesiga, Naluyinda, Hadijah, Nanyunja, Regina, Irene, Muttiibwa, Jane, Biira, Wimfred, Kyobejja, Leonard, Ssemazzi, Deus, Tkiinomuhisha, Babra, Namasaba, Taire, Paul, Nabankema, Evelyn, Ogavu, Joseph, Mugerwa, Oscar, Okoth, Ivan, Mwebaze, Raymond, Mugabi, Timothy, Makhoba, Anthony, Arikiriza, Phiona, Theresa, Nabuuma, Nakayima, Hope, Frank, Kisuule, Ramgi, Patrícia, Pereira, Kássia, Osinusi, Anu, Cao, Huyen, Klekotka, Paul, Price, Karen, Nirula, Ajay, Osei, Suzette, Tipple, Craig, Wills, Angela, Peppercorn, Amanda, Watson, Helen, Gupta, Rajesh, Alexander, Elizabeth, Mogalian, Erik, Lin, Leo, Ding, Xiao, Margolis, David, Yan, Li, Girardet, Jean-Luc, Ma, Ji, Hong, Zhi, Zhu, Quing, Seegobin, Seth, Gibbs, Michael, Latchman, Mickel, Hasior, Katarzyna, Bouquet, Jerome, Wei, Jianxin, Streicher, Katie, Schmelzer, Albert, Brooks, Dennis, Butcher, Jonny, Tonev, Dimitar, Arbetter, Douglas, Damstetter, Philippe, Legenne, Philippe, Stumpp, Michael, Goncalves, Susana, Ramanathan, Krishnan, Chandra, Richa, Baseler, Beth, Teitelbaum, Marc, Schechner, Adam, Holley, H. Preston, Jankelevich, Shirley, Becker, Nancy, Dolney, Suzanne, Hissey, Debbie, Simpson, Shelly, Kim, Mi Ha, Beeler, Joy, Harmon, Liam, Asomah, Mabel, Jato, Yvonne, Stottlemyer, April, Tang, Olivia, Vanderpuye, Sharon, Yeon, Lindsey, Buehn, Molly, Eccard-Koons, Vanessa, Frary, Sadie, MacDonald, Leah, Cash, Jennifer, Hoopengardner, Lisa, Linton, Jessica, Schaffhauser, Marylu, Nelson, Michaela, Spinelli-Nadzam, Mary, Proffitt, Calvin, Lee, Christopher, Engel, Theresa, Fontaine, Laura, Osborne, C.K., Hohn, Matt, Galcik, Michael, Thompson, DeeDee, Kopka, Stacey, Shelley, Denise M., Mendez, Gregg, Brown, Shawn, Albert, Sara, Balde, Abby, Baracz, Michelle, Bielica, Mona, Billouin-Frazier, Shere, Choudary, Jay, Dixon, Mary, Eyler, Carolyn, Frye, Leanne, Gertz, Jensen, Giebeig, Lisa, Gulati, Neelam, Hankinson, Liz, Hogarty, Debi, Huber, Lynda, Krauss, Gary, Lake, Eileen, Manandhar, Meryan, Rudzinski, Erin, Sandrus, Jen, Suders, Connie, Natarajan, Ven, Rupert, Adam W., Baseler, Michael, Lynam, Danielle, Imamichi, Tom, Laverdure, Sylvain, McCormack, Ashley, Paudel, Sharada, Cook, Kyndal, Haupt, Kendra, Khan, Ayub, Hazen, Allison, Badralmaa, Yunden, Smith, Kenneth, Patel, Bhakti, Kubernac, Amanda, Kubernac, Robert, Hoover, Marie L., Solomon, Courtney, Rashid, Marium, Murphy, Joseph, Brown, Craig, DuChateau, Nadine, Ellis, Sadie, Flosi, Adam, Fox, Lisa, Johnson, Les, Nelson, Rich, Stojanovic, Jelena, Treagus, Amy, Wenner, Christine, Williams, Richard, Jensen, Tomas O, Murray, Thomas A, Grandits, Greg A, Jain, Mamta K, Shaw-Saliba, Kathryn, Matthay, Michael A, Baker, Jason V, Dewar, Robin L, Goodman, Anna L, Hatlen, Timothy J, Highbarger, Helene C, Lallemand, Perrine, Leshnower, Bradley G, Looney, David, Moschopoulos, Charalampos D, Murray, Daniel D, Mylonakis, Eleftherios, Rehman, M Tauseef, Rupert, Adam, Stevens, Randy, Turville, Stuart, Wick, Katherine, Lundgren, Jens, Ko, Emily R
Publikováno v:
In The Lancet Microbe June 2024 5(6):e559-e569
Publikováno v:
Experimental Mathematics 31:2 (2022), 401-412
We give an overview of our formalizations in the proof assistant Isabelle/HOL of certain irrationality and transcendence criteria for infinite series from three different research papers: by Erd\H{o}s and Straus (1974), Han\v{c}l (2002), and Han\v{c}
Externí odkaz:
http://arxiv.org/abs/2101.05257
Autor:
Avgi Christodoulou, Martha-Spyridoula Katsarou, Christina Emmanouil, Marios Gavrielatos, Dimitrios Georgiou, Annia Tsolakou, Maria Papasavva, Vasiliki Economou, Vasiliki Nanou, Ioannis Nikolopoulos, Maria Daganou, Aikaterini Argyraki, Evaggelos Stefanidis, Gerasimos Metaxas, Emmanouil Panagiotou, Ioannis Michalopoulos, Nikolaos Drakoulis
Publikováno v:
BioTech, Vol 13, Iss 3, p 22 (2024)
Predictive tools provide a unique opportunity to explain the observed differences in outcome between patients of the COVID-19 pandemic. The aim of this study was to associate individual demographic and clinical characteristics with disease severity i
Externí odkaz:
https://doaj.org/article/37dfe77a23024191b0987092e55bb80d
Autor:
Chrysa Voyiatzaki, Apollon Dareios Zare Chormizi, Maria E. Tsoumani, Antonia Efstathiou, Konstantinos Konstantinidis, Georgios Chrysos, Aikaterini Argyraki, Vasileios Papastamopoulos, Effie G. Papageorgiou, Marika Kotsianopoulou
Publikováno v:
Microorganisms, Vol 12, Iss 7, p 1397 (2024)
A serological screening was conducted to detect IgG antibodies against Leishmania infantum (L. infantum) in newly diagnosed human immunodeficiency virus (HIV) patients in Greece. The study also examined potential risk factors and the agreement of com
Externí odkaz:
https://doaj.org/article/be5beb2d05f142a69bf6b1e2c46a7604
Publikováno v:
Experimental Mathematics 31:2 (2022), 383-400
This is an overview of a formalisation project in the proof assistant Isabelle/HOL of a number of research results in infinitary combinatorics and set theory (more specifically in ordinal partition relations) by Erd\H{o}s--Milner, Specker, Larson and
Externí odkaz:
http://arxiv.org/abs/2011.13218
Autor:
Vogiatzi, Georgia, Lazaros, George, Oikonomou, Evangelos, Kostakis, Marios, Kypritidou, Zacharenia, Christoforatou, Evangelia, Theofilis, Panagiotis, Argyraki, Ariadne, Thomaidis, Nikolaos, Tousoulis, Dimitris
Publikováno v:
In Hellenic Journal of Cardiology November-December 2023 74:32-38
Autor:
Chrysa Voyiatzaki, Apollon Dareios Zare Chormizi, Maria E. Tsoumani, Antonia Efstathiou, Konstantinos Konstantinidis, Dimitrios Chaniotis, Georgios Chrysos, Aikaterini Argyraki, Vasileios Papastamopoulos, Marika Kotsianopoulou
Publikováno v:
Pathogens, Vol 13, Iss 5, p 375 (2024)
This study aims to screen for IgG antibodies against Toxoplasma gondii (T. gondii) in the sera of 155 newly diagnosed Human Immunodeficiency Virus (HIV) positive patients under surveillance in Greek Infectious Disease Units. Additionally, risk factor
Externí odkaz:
https://doaj.org/article/a4c1875ee6e64e08b7312697c7b2291c
Autor:
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.
Publikováno v:
In eClinicalMedicine February 2023 56
Autor:
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.
Publikováno v:
In Cytokine February 2023 162