Zobrazeno 1 - 10
of 1 018
pro vyhledávání: '"Chung, Jonathan"'
We present a new extended resolution clause learning (ERCL) algorithm, implemented as part of a conflict-driven clause-learning (CDCL) SAT solver, wherein new variables are dynamically introduced as definitions for {\it Dual Implication Points} (DIPs
Externí odkaz:
http://arxiv.org/abs/2406.14190
Autor:
Kong, Nathan C. L., Lee, Dae, Do, Huyen, Park, Dae Hoon, Xu, Cong, Mao, Hongda, Chung, Jonathan
Electrocardiograms (ECGs) and photoplethysmograms (PPGs) are generally used to monitor an individual's cardiovascular health. In clinical settings, ECGs and fingertip PPGs are the main signals used for assessing cardiovascular health, but the equipme
Externí odkaz:
http://arxiv.org/abs/2406.16896
Restart policy is an important technique used in modern Conflict-Driven Clause Learning (CDCL) solvers, wherein some parts of the solver state are erased at certain intervals during the run of the solver. In most solvers, variable activities are pres
Externí odkaz:
http://arxiv.org/abs/2404.03753
Autor:
Palotie, Aarno, Daly, Mark, Riley-Gills, Bridget, Jacob, Howard, Viollet, Coralie, Petrovski, Slavé, Chen, Chia-Yen, John, Sally, Okafo, George, Plenge, Robert, Maranville, Joseph, McCarthy, Mark, Pendergrass, Rion, Ehm, Margaret G., Auro, Kirsi, Longerich, Simonne, Mälarstig, Anders, Vlahiotis, Anna, Klinger, Katherine, Chatelain, Clement, Gossel, Matthias, Estrada, Karol, Graham, Robert, Waterworth, Dawn, O´Donnell, Chris, Renaud, Nicole, Mäkelä, Tomi P., Kaprio, Jaakko, Ruddock, Minna, Virolainen, Petri, Hakanen, Antti, Kilpi, Terhi, Perola, Markus, Partanen, Jukka, Raivio, Taneli, Tikkanen, Jani, Serpi, Raisa, Kristiansson, Kati, Kosma, Veli-Matti, Laukkanen, Jari, Hautalahti, Marco, Tuovila, Outi, Waring, Jeffrey, Riley-Gillis, Bridget, Rahimov, Fedik, Tachmazidou, Ioanna, Ding, Zhihao, Jung, Marc, Tuoken, Hanati, Biswas, Shameek, Pulford, David, Raghavan, Neha, Huertas-Vazquez, Adriana, Sul, Jae-Hoon, Hu, Xinli, Hedman, Åsa, Obeidat, Ma´en, Chung, Jonathan, Zierer, Jonas, Niemi, Mari, Ripatti, Samuli, Schleutker, Johanna, Arvas, Mikko, Carpén, Olli, Hinttala, Reetta, Kettunen, Johannes, Mannermaa, Arto, Aalto-Setälä, Katriina, Kähönen, Mika, Mäkelä, Johanna, Kälviäinen, Reetta, Julkunen, Valtteri, Soininen, Hilkka, Remes, Anne, Hiltunen, Mikko, Peltola, Jukka, Raivio, Minna, Tienari, Pentti, Rinne, Juha, Kallionpää, Roosa, Partanen, Juulia, Ziemann, Adam, Smaoui, Nizar, Lehtonen, Anne, Eaton, Susan, Runz, Heiko, Lahdenperä, Sanni, Bowers, Natalie, Teng, Edmond, Xu, Fanli, Addis, Laura, Eicher, John, Li, Qingqin S., He, Karen, Khramtsova, Ekaterina, Färkkilä, Martti, Koskela, Jukka, Pikkarainen, Sampsa, Jussila, Airi, Kaukinen, Katri, Blomster, Timo, Kiviniemi, Mikko, Voutilainen, Markku, Lu, Tim, McCarthy, Linda, Hart, Amy, Guan, Meijian, Miller, Jason, Kalpala, Kirsi, Miller, Melissa, Eklund, Kari, Palomäki, Antti, Isomäki, Pia, Pirilä, Laura, Kaipiainen-Seppänen, Oili, Huhtakangas, Johanna, Mars, Nina, Lertratanakul, Apinya, Hochfeld, Marla, Gordillo, Jorge Esparza, Farias, Fabiana, Bing, Nan, Laitinen, Tarja, Pelkonen, Margit, Kauppi, Paula, Kankaanranta, Hannu, Harju, Terttu, Lahesmaa, Riitta, Chen, Hubert, Betts, Joanna, Mishra, Rajashree, Mouded, Majd, Ngo, Debby, Niiranen, Teemu, Vaura, Felix, Salomaa, Veikko, Metsärinne, Kaj, Aittokallio, Jenni, Hernesniemi, Jussi, Gordin, Daniel, Sinisalo, Juha, Taskinen, Marja-Riitta, Tuomi, Tiinamaija, Hiltunen, Timo, Elliott, Amanda, Reeve, Mary Pat, Ruotsalainen, Sanni, Paul, Dirk, Chu, Audrey, Reilly, Dermot, Mendelson, Mike, Parkkinen, Jaakko, Meretoja, Tuomo, Joensuu, Heikki, Mattson, Johanna, Salminen, Eveliina, Auranen, Annika, Karihtala, Peeter, Auvinen, Päivi, Elenius, Klaus, Pitkänen, Esa, Popovic, Relja, Fabre, Margarete, Schutzman, Jennifer, Kulkarni, Diptee, Porello, Alessandro, Loboda, Andrey, Lehtonen, Heli, McDonough, Stefan, Vuoti, Sauli, Kaarniranta, Kai, Turunen, Joni A., Ollila, Terhi, Uusitalo, Hannu, Karjalainen, Juha, Liu, Mengzhen, Loomis, Stephanie, Strauss, Erich, Chen, Hao, Tasanen, Kaisa, Huilaja, Laura, Hannula-Jouppi, Katariina, Salmi, Teea, Peltonen, Sirkku, Koulu, Leena, Choy, David, Wu, Ying, Pussinen, Pirkko, Salminen, Aino, Salo, Tuula, Rice, David, Nieminen, Pekka, Palotie, Ulla, Siponen, Maria, Suominen, Liisa, Mäntylä, Päivi, Gursoy, Ulvi, Anttonen, Vuokko, Sipilä, Kirsi, Laivuori, Hannele, Kurra, Venla, Kotaniemi-Talonen, Laura, Heikinheimo, Oskari, Kalliala, Ilkka, Aaltonen, Lauri, Jokimaa, Varpu, Vääräsmäki, Marja, Uimari, Outi, Morin-Papunen, Laure, Niinimäki, Maarit, Piltonen, Terhi, Kivinen, Katja, Widen, Elisabeth, Tukiainen, Taru, Välimäki, Niko, Laakkonen, Eija, Tyrmi, Jaakko, Silven, Heidi, Sliz, Eeva, Arffman, Riikka, Savukoski, Susanna, Laisk, Triin, Pujol, Natalia, Kumar, Janet, Hovatta, Iiris, Isometsä, Erkki, Ollila, Hanna, Suvisaari, Jaana, Mäkitie, Antti, Bizaki-Vallaskangas, Argyro, Toppila-Salmi, Sanna, Willberg, Tytti, Saarentaus, Elmo, Aarnisalo, Antti, Rahikkala, Elisa, Aittomäki, Kristiina, Åberg, Fredrik, Kurki, Mitja, Havulinna, Aki, Mehtonen, Juha, Palta, Priit, Hassan, Shabbeer, Della Briotta Parolo, Pietro, Zhou, Wei, Maasha, Mutaamba, Lemmelä, Susanna, Rivas, Manuel, Liu, Aoxing, Lehisto, Arto, Ganna, Andrea, Llorens, Vincent, Heyne, Henrike, Rämö, Joel, Rodosthenous, Rodos, Strausz, Satu, Palotie, Tuula, Palin, Kimmo, Garcia-Tabuenca, Javier, Siirtola, Harri, Kiiskinen, Tuomo, Lee, Jiwoo, Tsuo, Kristin, Hyvärinen, Kati, Ritari, Jarmo, Pylkäs, Katri, Karjalainen, Minna, Mantere, Tuomo, Kangasniemi, Eeva, Heikkinen, Sami, Pitkänen, Nina, Lessard, Samuel, Chatelain, Clément, Kallio, Lila, Wahlfors, Tiina, Punkka, Eero, Siltanen, Sanna, Kuopio, Teijo, Jalanko, Anu, Shen, Huei-Yi, Kajanne, Risto, Aavikko, Mervi, Cooper, Helen, Öller, Denise, Leinonen, Rasko, Palin, Henna, Linna, Malla-Maria, Kanai, Masahiro, Zheng, Zhili, Lahtela, L. Elisa, Kaunisto, Mari, Kilpeläinen, Elina, Sipilä, Timo P., Dada, Oluwaseun Alexander, Ghazal, Awaisa, Kytölä, Anastasia, Weldatsadik, Rigbe, Donner, Kati, Loukola, Anu, Laiho, Päivi, Sistonen, Tuuli, Kaiharju, Essi, Laukkanen, Markku, Järvensivu, Elina, Lähteenmäki, Sini, Männikkö, Lotta, Wong, Regis, Toivola, Auli, Brunfeldt, Minna, Mattsson, Hannele, Koskelainen, Sami, Hiekkalinna, Tero, Paajanen, Teemu, Luo, Shuang, Padmanabhuni, Shanmukha Sampath, Niemi, Marianna, Gracia-Tabuenca, Javier, Helminen, Mika, Luukkaala, Tiina, Vähätalo, Iida, Tammerluoto, Jyrki, Smith, Sarah, Southerington, Tom, Lehto, Petri, Ryu, Justine, Rämö, Joel T., Jurgens, Sean J., Sanna-Cherchi, Simone, Bauer, Kenneth A., Haj, Amelia, Choi, Seung Hoan, Ellinor, Patrick T., Bendapudi, Pavan K.
Publikováno v:
In Blood 6 June 2024 143(23):2425-2432
Publikováno v:
In Current Problems in Diagnostic Radiology May-June 2024 53(3):377-383
Publikováno v:
In Chest April 2024 165(4):908-923
Autor:
Karagodin, Ilya, Wang, Shuo, Wang, Haonan, Singh, Amita, Gutbrod, Joseph, Landeras, Luis, Patel, Hena, Alvi, Nazia, Tang, Maxine, Benovoy, Mitchel, Janich, Martin A., Benjamin, Holly J., Chung, Jonathan H., Patel, Amit R.
Publikováno v:
In JACC: Advances March 2024 3(3)
Autor:
Christensen, Jared, Prosper, Ashley Elizabeth, Wu, Carol C., Chung, Jonathan, Lee, Elizabeth, Elicker, Brett, Hunsaker, Andetta R., Petranovic, Milena, Sandler, Kim L., Stiles, Brendon, Mazzone, Peter, Yankelevitz, David, Aberle, Denise, Chiles, Caroline, Kazerooni, Ella
Publikováno v:
In Chest March 2024 165(3):738-753
Autor:
Li, Chunxiao, Chung, Jonathan, Mukherjee, Soham, Vinyals, Marc, Fleming, Noah, Kolokolova, Antonina, Mu, Alice, Ganesh, Vijay
Modern CDCL SAT solvers easily solve industrial instances containing tens of millions of variables and clauses, despite the theoretical intractability of the SAT problem. This gap between practice and theory is a central problem in solver research. I
Externí odkaz:
http://arxiv.org/abs/2103.14992
Autor:
Kwak, Daniel H., Yang, Lindsay, Hu-Wang, Eileen, Seetharam, Sachin, Nijhawan, Karan, Chung, Jonathan H., Patel, Pritesh
Publikováno v:
In Clinical Imaging February 2024 106