Zobrazeno 1 - 10
of 127 422
pro vyhledávání: '"Jeffery, A."'
Autor:
Cousot, Patrick, Wang, Jeffery
Publikováno v:
Proc. ACM Program. Lang. 9, POPL, Article 16 (January 2025), 71 pages
We design various logics for proving hyper properties of iterative programs by application of abstract interpretation principles. In part I, we design a generic, structural, fixpoint abstract interpreter parameterized by an algebraic abstract domain
Externí odkaz:
http://arxiv.org/abs/2411.11113
Autor:
Ayad, Marina A., Nateghi, Ramin, Sharma, Abhishek, Chillrud, Lawrence, Seesillapachai, Tilly, Cooper, Lee A. D., Goldstein, Jeffery A.
Inflammation of the umbilical cord can be seen as a result of ascending intrauterine infection or other inflammatory stimuli. Acute fetal inflammatory response (FIR) is characterized by infiltration of the umbilical cord by fetal neutrophils, and can
Externí odkaz:
http://arxiv.org/abs/2411.09767
Autor:
Izraelevitz, Jacob S., Krishnamoorthy, Siddharth, Goel, Ashish, Turner, Caleb, Aiazzi, Carolina, Pauken, Michael, Carlson, Kevin, Walsh, Gerald, Leake, Carl, Quintana, Carlos, Lim, Christopher, Jain, Abhi, Dorsky, Leonard, Baines, Kevin, Cutts, James, Byrne, Paul K., Lachenmeier, Tim, Hall, Jeffery L.
This paper details a significant milestone towards maturing a buoyant aerial robotic platform, or aerobot, for flight in the Venus clouds. We describe two flights of our subscale altitude-controlled aerobot, fabricated from the materials necessary to
Externí odkaz:
http://arxiv.org/abs/2411.06643
Autor:
Balakrishnan, Sudarsan, Linhardt, Laura E., Blackmon, Jeffery C., Deibel, Catherine M., Gardiner, Hannah E., Macon, Kevin T., Rasco, Bertis C., Matoš, Milan, Santiago-Gonzalez, Daniel, Baby, Lagy T., Wiedenhöver, Ingo, Koshchiy, Evgeniy, Rogachev, Grigory, Bardayan, Daniel W.
Background: The rate of energy production in the hot-CNO cycle and breakout to the rapid-proton capture process in Type I X-ray bursts is strongly related to the $^{14}$O($\alpha,p$)$^{17}$F reaction rate. The properties of states in $^{18}$Ne near $
Externí odkaz:
http://arxiv.org/abs/2411.04288
Autor:
Yu, Jeffery, Muleady, Sean R., Wang, Yu-Xin, Schine, Nathan, Gorshkov, Alexey V., Childs, Andrew M.
We present an algorithm utilizing mid-circuit measurement and feedback that prepares Dicke states with polylogarithmically many ancillas and polylogarithmic depth. Our algorithm uses only global mid-circuit projective measurements and adaptively-chos
Externí odkaz:
http://arxiv.org/abs/2411.03428
The placenta forms a critical barrier to infection through pregnancy, labor and, delivery. Inflammatory processes in the placenta have short-term, and long-term consequences for offspring health. Digital pathology and machine learning can play an imp
Externí odkaz:
http://arxiv.org/abs/2411.02354
Autor:
Mohoney, Jason, Pacaci, Anil, Chowdhury, Shihabur Rahman, Minhas, Umar Farooq, Pound, Jeffery, Renggli, Cedric, Reyhani, Nima, Ilyas, Ihab F., Rekatsinas, Theodoros, Venkataraman, Shivaram
The prevalence of vector similarity search in modern machine learning applications and the continuously changing nature of data processed by these applications necessitate efficient and effective index maintenance techniques for vector search indexes
Externí odkaz:
http://arxiv.org/abs/2411.00970
Autor:
Nateghi, Ramin, Zhou, Ruoji, Saft, Madeline, Schnauss, Marina, Neill, Clayton, Alam, Ridwan, Handa, Nicole, Huang, Mitchell, Li, Eric V, Goldstein, Jeffery A, Schaeffer, Edward M, Nadim, Menatalla, Pourakpour, Fattaneh, Isaila, Bogdan, Felicelli, Christopher, Mehta, Vikas, Nezami, Behtash G, Ross, Ashley, Yang, Ximing, Cooper, Lee AD
Artificial intelligence may assist healthcare systems in meeting increasing demand for pathology services while maintaining diagnostic quality and reducing turnaround time and costs. We aimed to investigate the performance of an institutionally devel
Externí odkaz:
http://arxiv.org/abs/2410.23642
Autor:
Prokhorov, Dmitry A., Yang, Yi-Jung, Ferrazzoli, Riccardo, Vink, Jacco, Slane, Patrick, Costa, Enrico, Silvestri, Stefano, Zhou, Ping, Bucciantini, Niccolò, Di Marco, Alessandro, Weisskopf, Martin C., Baldini, Luca, Doroshenko, Victor, Ehlert, Steven R., Heyl, Jeremy, Kaaret, Philip, Kim, Dawoon E., Marin, Frédéric, Mizuno, Tsunefumi, Ng, Chi-Yung, Pesce-Rollins, Melissa, Sgrò, Carmelo, Soffitta, Paolo, Swartz, Douglas A., Tamagawa, Toru, Xie, Fei, Agudo, Iván, Antonelli, Lucio A., Bachetti, Matteo, Baumgartner, Wayne H., Bellazzini, Ronaldo, Bianchi, Stefano, Bongiorno, Stephen D., Bonino, Raffaella, Brez, Alessandro, Capitanio, Fiamma, Castellano, Simone, Cavazzuti, Elisabetta, Chen, Chien-Ting, Ciprini, Stefano, De Rosa, Alessandra, Del Monte, Ettore, Di Gesu, Laura, Di Lalla, Niccolò, Donnarumma, Immacolata, Dovčiak, Michal, Enoto, Teruaki, Evangelista, Yuri, Fabiani, Sergio, García, Javier A., Gunji, Shuichi, Iwakiri, Wataru, Jorstad, Svetlana G., Karas, Vladimir, Kislat, Fabian, Kitaguchi, Takao, Kolodziejczak, Jeffery J., Krawczynski, Henric, La Monaca, Fabio, Latronico, Luca, Liodakis, Ioannis, Maldera, Simone, Manfreda, Alberto, Marinucci, Andrea, Marscher, Alan P., Marshall, Herman L., Massaro, Francesco, Matt, Giorgio, Mitsuishi, Ikuyuki, Muleri, Fabio, Negro, Michela, O'Dell, Stephen L., Omodei, Nicola, Oppedisano, Chiara, Papitto, Alessandro, Pavlov, George G., Peirson, Abel L., Perri, Matteo, Petrucci, Pierre-Olivier, Pilia, Maura, Possenti, Andrea, Poutanen, Juri, Puccetti, Simonetta, Ramsey, Brian D., Rankin, John, Ratheesh, Ajay, Roberts, Oliver J., Romani, Roger W., Spandre, Gloria, Tavecchio, Fabrizio, Taverna, Roberto, Tawara, Yuzuru, Tennant, Allyn F., Thomas, Nicholas E., Tombesi, Francesco, Trois, Alessio, Tsygankov, Sergey S., Turolla, Roberto, Wu, Kinwah, Zane, Silvia
Synchrotron X-ray emission has been detected from nearly a dozen young supernova remnants (SNRs). X-rays of synchrotron origin exhibit linear polarization in a regular, non-randomly oriented magnetic field. The significant polarized X-ray emission fr
Externí odkaz:
http://arxiv.org/abs/2410.20582
Autor:
Maksym, W. Peter, Liodakis, Ioannis, Saade, M. Lynne, Kim, Dawoon E., Middei, Riccardo, Di Gesu, Laura, Kiehlmann, Sebastian, Matzeu, Gabriele, Agudo, Iván, Marscher, Alan P., Ehlert, Steven R., Jorstad, Svetlana G., Kaaret, Philip, Marshall, Herman L., Pacciani, Luigi, Perri, Matteo, Puccetti, Simonetta, Kouch, Pouya M., Lindfors, Elina, Aceituno, Francisco José, Bonnoli, Giacomo, Casanova, Víctor, Escudero, Juan, Agís-González, Beatriz, Husillos, César, Morcuende, Daniel, Otero-Santos, Jorge, Sota, Alfredo, Piirola, Vilppu, Imazawa, Ryo, Sasada, Mahito, Fukazawa, Yasushi, Kawabata, Koji S., Uemura, Makoto, Mizuno, Tsunefumi, Nakaoka, Tatsuya, Akitaya, Hiroshi, McCall, Callum, Jermak, Helen E., Steele, Iain A., Borman, George A., Grishina, Tatiana S., Hagen-Thorn, Vladimir A., Kopatskaya, Evgenia N., Larionova, Elena G., Morozova, Daria A., Savchenko, Sergey S., Shishkina, Ekaterina V., Troitskiy, Ivan S., Troitskaya, Yulia V., Vasilyev, Andrey A., Zhovtan, Alexey V., Myserlis, Ioannis, Gurwell, Mark, Keating, Garrett, Rao, Ramprasad, Pauley, Colt, Angelakis, Emmanouil, Kraus, Alexander, Berdyugin, Andrei V., Kagitani, Masato, Kravtsov, Vadim, Poutanen, Juri, Sakanoi, Takeshi, Kang, Sincheol, Lee, Sang-Sung, Kim, Sang-Hyun, Cheong, Whee Yeon, Jeong, Hyeon-Woo, Song, Chanwoo, Blinov, Dmitry, Shablovinskaya, Elena, Antonelli, Lucio Angelo, Bachetti, Matteo, Baldini, Luca, Baumgartner, Wayne H., Bellazzini, Ronaldo, Bianchi, Stefano, Bongiorno, Stephen D., Bonino, Raffaella, Brez, Alessandro, Bucciantini, Niccoló, Capitanio, Fiamma, Castellano, Simone, Cavazzuti, Elisabetta, Chen, Chien-Ting, Ciprini, Stefano, Costa, Enrico, De Rosa, Alessandra, Del Monte, Ettore, Di Lalla, Niccoló, Di Marco, Alessandro, Donnarumma, Immacolata, Doroshenko, Victor, Dovčiak, Michal, Enoto, Teruaki, Evangelista, Yuri, Fabiani, Sergio, Ferrazzoli, Riccardo, Garcia, Javier A., Gunji, Shuichi, Hayashida, Kiyoshi, Heyl, Jeremy, Iwakiri, Wataru, Karas, Vladimir, Kislat, Fabian, Kitaguchi, Takao, Kolodziejczak, Jeffery J., Krawczynski, Henric, La Monaca, Fabio, Latronico, Luca, Maldera, Simone, Manfreda, Alberto, Marin, Frédéric, Marinucci, Andrea, Massaro, Francesco, Matt, Giorgio, Mitsuishi, Ikuyuki, Muleri, Fabio, Negro, Michela, Ng, C. -Y., O'Dell, Stephen L., Omodei, Nicola, Oppedisano, Chiara, Papitto, Alessandro, Pavlov, George G., Peirson, Abel Lawrence, Pesce-Rollins, Melissa, Petrucci, Pierre-Olivier, Pilia, Maura, Possenti, Andrea, Ramsey, Brian D., Rankin, John, Ratheesh, Ajay, Roberts, Oliver J., Romani, Roger W., Sgró, Carmelo, Slane, Patrick, Soffitta, Paolo, Spandre, Gloria, Swartz, Douglas A., Tamagawa, Toru, Tavecchio, Fabrizio, Taverna, Roberto, Tawara, Yuzuru, Tennant, Allyn F., Thomas, Nicholas E., Tombesi, Francesco, Trois, Alessio, Tsygankov, Sergey S., Turolla, Roberto, Vink, Jacco, Weisskopf, Martin C., Wu, Kinwah, Xie, Fei, Zane, Silvia
X-ray polarization is a unique new probe of the particle acceleration in astrophysical jets made possible through the Imaging X-ray Polarimetry Explorer. Here we report on the first dense X-ray polarization monitoring campaign on the blazar Mrk 421.
Externí odkaz:
http://arxiv.org/abs/2410.19983