Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Amorim, Pedro H. A."'
Autor:
de Amorim, Pedro H. Azevedo
Reasoning about resources used during the execution of programs, such as time, is one of the fundamental questions in computer science. When programming with probabilistic primitives, however, different samples may result in different resource usage,
Externí odkaz:
http://arxiv.org/abs/2402.01009
Effectful programs interact in ways that go beyond simple input-output, making compositional reasoning challenging. Existing work has shown that when such programs are ``separate'', i.e., when programs do not interfere with each other, it can be easi
Externí odkaz:
http://arxiv.org/abs/2303.01616
With the wide spread of deep learning and gradient descent inspired optimization algorithms, differentiable programming has gained traction. Nowadays it has found applications in many different areas as well, such as scientific computing, robotics, c
Externí odkaz:
http://arxiv.org/abs/2207.05946
Autor:
de Amorim, Pedro H. Azevedo
Much work has been done to give semantics to probabilistic programming languages. In recent years, most of the semantics used to reason about probabilistic programs fall in two categories: semantics based on Markov kernels and semantics based on line
Externí odkaz:
http://arxiv.org/abs/2202.00142
We present the Flow-Limited Authorization First-Order Logic (FLAFOL), a logic for reasoning about authorization decisions in the presence of information-flow policies. We formalize the FLAFOL proof system, characterize its proof-theoretic properties,
Externí odkaz:
http://arxiv.org/abs/2001.10630
Autor:
Bakas, Spyridon, Reyes, Mauricio, Jakab, Andras, Bauer, Stefan, Rempfler, Markus, Crimi, Alessandro, Shinohara, Russell Takeshi, Berger, Christoph, Ha, Sung Min, Rozycki, Martin, Prastawa, Marcel, Alberts, Esther, Lipkova, Jana, Freymann, John, Kirby, Justin, Bilello, Michel, Fathallah-Shaykh, Hassan, Wiest, Roland, Kirschke, Jan, Wiestler, Benedikt, Colen, Rivka, Kotrotsou, Aikaterini, Lamontagne, Pamela, Marcus, Daniel, Milchenko, Mikhail, Nazeri, Arash, Weber, Marc-Andre, Mahajan, Abhishek, Baid, Ujjwal, Gerstner, Elizabeth, Kwon, Dongjin, Acharya, Gagan, Agarwal, Manu, Alam, Mahbubul, Albiol, Alberto, Albiol, Antonio, Albiol, Francisco J., Alex, Varghese, Allinson, Nigel, Amorim, Pedro H. A., Amrutkar, Abhijit, Anand, Ganesh, Andermatt, Simon, Arbel, Tal, Arbelaez, Pablo, Avery, Aaron, Azmat, Muneeza, B., Pranjal, Bai, W, Banerjee, Subhashis, Barth, Bill, Batchelder, Thomas, Batmanghelich, Kayhan, Battistella, Enzo, Beers, Andrew, Belyaev, Mikhail, Bendszus, Martin, Benson, Eze, Bernal, Jose, Bharath, Halandur Nagaraja, Biros, George, Bisdas, Sotirios, Brown, James, Cabezas, Mariano, Cao, Shilei, Cardoso, Jorge M., Carver, Eric N, Casamitjana, Adrià, Castillo, Laura Silvana, Catà, Marcel, Cattin, Philippe, Cerigues, Albert, Chagas, Vinicius S., Chandra, Siddhartha, Chang, Yi-Ju, Chang, Shiyu, Chang, Ken, Chazalon, Joseph, Chen, Shengcong, Chen, Wei, Chen, Jefferson W, Chen, Zhaolin, Cheng, Kun, Choudhury, Ahana Roy, Chylla, Roger, Clérigues, Albert, Colleman, Steven, Colmeiro, Ramiro German Rodriguez, Combalia, Marc, Costa, Anthony, Cui, Xiaomeng, Dai, Zhenzhen, Dai, Lutao, Daza, Laura Alexandra, Deutsch, Eric, Ding, Changxing, Dong, Chao, Dong, Shidu, Dudzik, Wojciech, Eaton-Rosen, Zach, Egan, Gary, Escudero, Guilherme, Estienne, Théo, Everson, Richard, Fabrizio, Jonathan, Fan, Yong, Fang, Longwei, Feng, Xue, Ferrante, Enzo, Fidon, Lucas, Fischer, Martin, French, Andrew P., Fridman, Naomi, Fu, Huan, Fuentes, David, Gao, Yaozong, Gates, Evan, Gering, David, Gholami, Amir, Gierke, Willi, Glocker, Ben, Gong, Mingming, González-Villá, Sandra, Grosges, T., Guan, Yuanfang, Guo, Sheng, Gupta, Sudeep, Han, Woo-Sup, Han, Il Song, Harmuth, Konstantin, He, Huiguang, Hernández-Sabaté, Aura, Herrmann, Evelyn, Himthani, Naveen, Hsu, Winston, Hsu, Cheyu, Hu, Xiaojun, Hu, Xiaobin, Hu, Yan, Hu, Yifan, Hua, Rui, Huang, Teng-Yi, Huang, Weilin, Van Huffel, Sabine, Huo, Quan, HV, Vivek, Iftekharuddin, Khan M., Isensee, Fabian, Islam, Mobarakol, Jackson, Aaron S., Jambawalikar, Sachin R., Jesson, Andrew, Jian, Weijian, Jin, Peter, Jose, V Jeya Maria, Jungo, Alain, Kainz, B, Kamnitsas, Konstantinos, Kao, Po-Yu, Karnawat, Ayush, Kellermeier, Thomas, Kermi, Adel, Keutzer, Kurt, Khadir, Mohamed Tarek, Khened, Mahendra, Kickingereder, Philipp, Kim, Geena, King, Nik, Knapp, Haley, Knecht, Urspeter, Kohli, Lisa, Kong, Deren, Kong, Xiangmao, Koppers, Simon, Kori, Avinash, Krishnamurthi, Ganapathy, Krivov, Egor, Kumar, Piyush, Kushibar, Kaisar, Lachinov, Dmitrii, Lambrou, Tryphon, Lee, Joon, Lee, Chengen, Lee, Yuehchou, Lee, M, Lefkovits, Szidonia, Lefkovits, Laszlo, Levitt, James, Li, Tengfei, Li, Hongwei, Li, Wenqi, Li, Hongyang, Li, Xiaochuan, Li, Yuexiang, Li, Heng, Li, Zhenye, Li, Xiaoyu, Li, Zeju, Li, XiaoGang, Lin, Zheng-Shen, Lin, Fengming, Lio, Pietro, Liu, Chang, Liu, Boqiang, Liu, Xiang, Liu, Mingyuan, Liu, Ju, Liu, Luyan, Llado, Xavier, Lopez, Marc Moreno, Lorenzo, Pablo Ribalta, Lu, Zhentai, Luo, Lin, Luo, Zhigang, Ma, Jun, Ma, Kai, Mackie, Thomas, Madabushi, Anant, Mahmoudi, Issam, Maier-Hein, Klaus H., Maji, Pradipta, Mammen, CP, Mang, Andreas, Manjunath, B. S., Marcinkiewicz, Michal, McDonagh, S, McKenna, Stephen, McKinley, Richard, Mehl, Miriam, Mehta, Sachin, Mehta, Raghav, Meier, Raphael, Meinel, Christoph, Merhof, Dorit, Meyer, Craig, Miller, Robert, Mitra, Sushmita, Moiyadi, Aliasgar, Molina-Garcia, David, Monteiro, Miguel A. B., Mrukwa, Grzegorz, Myronenko, Andriy, Nalepa, Jakub, Ngo, Thuyen, Nie, Dong, Ning, Holly, Niu, Chen, Nuechterlein, Nicholas K, Oermann, Eric, Oliveira, Arlindo, Oliveira, Diego D. C., Oliver, Arnau, Osman, Alexander F. I., Ou, Yu-Nian, Ourselin, Sebastien, Paragios, Nikos, Park, Moo Sung, Paschke, Brad, Pauloski, J. Gregory, Pawar, Kamlesh, Pawlowski, Nick, Pei, Linmin, Peng, Suting, Pereira, Silvio M., Perez-Beteta, Julian, Perez-Garcia, Victor M., Pezold, Simon, Pham, Bao, Phophalia, Ashish, Piella, Gemma, Pillai, G. N., Piraud, Marie, Pisov, Maxim, Popli, Anmol, Pound, Michael P., Pourreza, Reza, Prasanna, Prateek, Prkovska, Vesna, Pridmore, Tony P., Puch, Santi, Puybareau, Élodie, Qian, Buyue, Qiao, Xu, Rajchl, Martin, Rane, Swapnil, Rebsamen, Michael, Ren, Hongliang, Ren, Xuhua, Revanuru, Karthik, Rezaei, Mina, Rippel, Oliver, Rivera, Luis Carlos, Robert, Charlotte, Rosen, Bruce, Rueckert, Daniel, Safwan, Mohammed, Salem, Mostafa, Salvi, Joaquim, Sanchez, Irina, Sánchez, Irina, Santos, Heitor M., Sartor, Emmett, Schellingerhout, Dawid, Scheufele, Klaudius, Scott, Matthew R., Scussel, Artur A., Sedlar, Sara, Serrano-Rubio, Juan Pablo, Shah, N. Jon, Shah, Nameetha, Shaikh, Mazhar, Shankar, B. Uma, Shboul, Zeina, Shen, Haipeng, Shen, Dinggang, Shen, Linlin, Shen, Haocheng, Shenoy, Varun, Shi, Feng, Shin, Hyung Eun, Shu, Hai, Sima, Diana, Sinclair, M, Smedby, Orjan, Snyder, James M., Soltaninejad, Mohammadreza, Song, Guidong, Soni, Mehul, Stawiaski, Jean, Subramanian, Shashank, Sun, Li, Sun, Roger, Sun, Jiawei, Sun, Kay, Sun, Yu, Sun, Guoxia, Sun, Shuang, Suter, Yannick R, Szilagyi, Laszlo, Talbar, Sanjay, Tao, Dacheng, Teng, Zhongzhao, Thakur, Siddhesh, Thakur, Meenakshi H, Tharakan, Sameer, Tiwari, Pallavi, Tochon, Guillaume, Tran, Tuan, Tsai, Yuhsiang M., Tseng, Kuan-Lun, Tuan, Tran Anh, Turlapov, Vadim, Tustison, Nicholas, Vakalopoulou, Maria, Valverde, Sergi, Vanguri, Rami, Vasiliev, Evgeny, Ventura, Jonathan, Vera, Luis, Vercauteren, Tom, Verrastro, C. A., Vidyaratne, Lasitha, Vilaplana, Veronica, Vivekanandan, Ajeet, Wang, Guotai, Wang, Qian, Wang, Chiatse J., Wang, Weichung, Wang, Duo, Wang, Ruixuan, Wang, Yuanyuan, Wang, Chunliang, Wen, Ning, Wen, Xin, Weninger, Leon, Wick, Wolfgang, Wu, Shaocheng, Wu, Qiang, Wu, Yihong, Xia, Yong, Xu, Yanwu, Xu, Xiaowen, Xu, Peiyuan, Yang, Tsai-Ling, Yang, Xiaoping, Yang, Hao-Yu, Yang, Junlin, Yang, Haojin, Yang, Guang, Yao, Hongdou, Ye, Xujiong, Yin, Changchang, Young-Moxon, Brett, Yu, Jinhua, Yue, Xiangyu, Zhang, Songtao, Zhang, Angela, Zhang, Kun, Zhang, Xuejie, Zhang, Lichi, Zhang, Xiaoyue, Zhang, Yazhuo, Zhang, Lei, Zhang, Jianguo, Zhang, Xiang, Zhang, Tianhao, Zhao, Sicheng, Zhao, Yu, Zhao, Xiaomei, Zhao, Liang, Zheng, Yefeng, Zhong, Liming, Zhou, Chenhong, Zhou, Xiaobing, Zhou, Fan, Zhu, Hongtu, Zhu, Jin, Zhuge, Ying, Zong, Weiwei, Kalpathy-Cramer, Jayashree, Farahani, Keyvan, Davatzikos, Christos, van Leemput, Koen, Menze, Bjoern
Gliomas are the most common primary brain malignancies, with different degrees of aggressiveness, variable prognosis and various heterogeneous histologic sub-regions, i.e., peritumoral edematous/invaded tissue, necrotic core, active and non-enhancing
Externí odkaz:
http://arxiv.org/abs/1811.02629