Zobrazeno 1 - 10
of 59 556
pro vyhledávání: '"A. Weil"'
Multimedia streaming accounts for the majority of traffic in today's internet. Mechanisms like adaptive bitrate streaming control the bitrate of a stream based on the estimated bandwidth, ideally resulting in smooth playback and a good Quality of Exp
Externí odkaz:
http://arxiv.org/abs/2410.21029
Hyperproperties are properties over sets of traces (or runs) of a system, as opposed to properties of just one trace. They were introduced in 2010 and have been much studied since, in particular via an extension of the temporal logic LTL called Hyper
Externí odkaz:
http://arxiv.org/abs/2410.11572
Autor:
Overbeek, Jamie C., Partin, Alexander, Brettin, Thomas S., Chia, Nicholas, Narykov, Oleksandr, Vasanthakumari, Priyanka, Wilke, Andreas, Zhu, Yitan, Clyde, Austin, Jones, Sara, Gnanaolivu, Rohan, Liu, Yuanhang, Jiang, Jun, Wang, Chen, Knutson, Carter, McNaughton, Andrew, Kumar, Neeraj, Fernando, Gayara Demini, Ghosh, Souparno, Sanchez-Villalobos, Cesar, Zhang, Ruibo, Pal, Ranadip, Weil, M. Ryan, Stevens, Rick L.
Cancer drug response prediction (DRP) models present a promising approach towards precision oncology, tailoring treatments to individual patient profiles. While deep learning (DL) methods have shown great potential in this area, models that can be su
Externí odkaz:
http://arxiv.org/abs/2409.12215
We introduce a new framework for verifying systems with a parametric number of concurrently running processes. The systems we consider are well-structured with respect to a specific well-quasi order. This allows us to decide a wide range of verificat
Externí odkaz:
http://arxiv.org/abs/2408.05954
Autor:
Walshe, Blayney W., Baragiola, Ben Q., Ferretti, Hugo, Gefaell, José, Vasmer, Michael, Weil, Ryohei, Matsuura, Takaya, Jaeken, Thomas, Pantaleoni, Giacomo, Han, Zhihua, Hillmann, Timo, Menicucci, Nicolas C., Tzitrin, Ilan, Alexander, Rafael N.
High-rate quantum error correcting codes mitigate the imposing scale of fault-tolerant quantum computers but require the efficient generation of non-local many-body entanglement. We provide a linear-optical architecture with these properties, compati
Externí odkaz:
http://arxiv.org/abs/2408.04126
Autor:
Wolock, Charles J., Jacob, Susan, Bennett, Julia C., Elias-Warren, Anna, O'Hanlon, Jessica, Kenny, Avi, Jewell, Nicholas P., Rotnitzky, Andrea, Cole, Stephen R., Weil, Ana A., Chu, Helen Y., Carone, Marco
For infectious diseases, characterizing symptom duration is of clinical and public health importance. Symptom duration may be assessed by surveying infected individuals and querying symptom status at the time of survey response. For example, in a SAR
Externí odkaz:
http://arxiv.org/abs/2407.04214
Autor:
Rho, J., Park, S. -H., Arendt, R., Matsuura, M., Milisavljevic, D., Temim, T., De Looze, I., Blair, W. P., Rest, A., Fox, O., Ravi, A. P., Koo, B. -C., Barlow, M., Burrows, A., Chevalier, R., Clayton, G., Fesen, R., Fransson, C., Fryer, C., Gomez, H. L., Janka, H. -T., Kirchschlarger, F., Laming, J. M., Orlando, S., Patnaude, D., Pavlov, G., Plucinsky, P., Posselt, B., Priestley, F., Raymond, J., Sartorio, N., Schmidt, F., Slane, P., Smith, N., Sravan, N., Vink, J., Weil, K., Wheeler, J., Yoon, S. C.
We present JWST NIRCam (F356W and F444W filters) and MIRI (F770W) images and NIRSpec- IFU spectroscopy of the young supernova remnant Cassiopeia A (Cas A). We obtained the data as part of a JWST survey of Cas A. The NIRCam and MIRI images map the spa
Externí odkaz:
http://arxiv.org/abs/2406.03685
Publikováno v:
In LICS'24: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, ACM, 2024, Article No.: 2, Pages 1-13
We propose a local, past-oriented fragment of propositional dynamic logic to reason about concurrent scenarios modelled as Mazurkiewicz traces, and prove it to be expressively complete with respect to regular trace languages. Because of locality, spe
Externí odkaz:
http://arxiv.org/abs/2405.11308
Autor:
van Bergerem, Steffen, Guttenberg, Roland, Kiefer, Sandra, Mascle, Corto, Waldburger, Nicolas, Weil-Kennedy, Chana
Population protocols are a well-studied model of distributed computation in which a group of anonymous finite-state agents communicates via pairwise interactions. Together they decide whether their initial configuration, that is, the initial distribu
Externí odkaz:
http://arxiv.org/abs/2405.00921
We present a uniform approach for solving language inclusion problems. Our approach relies on a least fixpoint characterization and a quasiorder to compare words of the "smaller" language, reducing the inclusion check to a finite number of membership
Externí odkaz:
http://arxiv.org/abs/2404.09862