Zobrazeno 1 - 10
of 19 820
pro vyhledávání: '"Watt, P"'
Foundational verification considers the functional correctness of programming languages with formalized semantics and uses proof assistants (e.g., Coq, Isabelle) to certify proofs. The need for verifying complex programs compels it to involve express
Externí odkaz:
http://arxiv.org/abs/2411.06094
Autor:
Sanghera, Rohan, Thirunavukarasu, Arun James, Khoury, Marc El, O'Logbon, Jessica, Chen, Yuqing, Watt, Archie, Mahmood, Mustafa, Butt, Hamid, Nishimura, George, Soltan, Andrew
Large language models (LLMs) excel in tasks requiring processing and interpretation of input text. Abstract screening is a labour-intensive component of systematic review involving repetitive application of inclusion and exclusion criteria on a large
Externí odkaz:
http://arxiv.org/abs/2411.02451
In-situ Study of Understanding the Resistive Switching Mechanisms of Nitride-based Memristor Devices
Autor:
Zhang, Di, Dhall, Rohan, Schneider, Matthew M., Song, Chengyu, Dou, Hongyi, Kunwar, Sundar, Yazzie, Natanii R., Ciston, Jim, Cucciniello, Nicholas G., Roy, Pinku, Pettes, Michael T., Watt, John, Kuo, Winson, Wang, Haiyan, McCabe, Rodney J., Chen, Aiping
Interface-type resistive switching (RS) devices with lower operation current and more reliable switching repeatability exhibits great potential in the applications for data storage devices and ultra-low-energy computing. However, the working mechanis
Externí odkaz:
http://arxiv.org/abs/2410.23185
Autor:
Kang, Zi Yang, Watt, Mitchell
This paper develops a model of in-kind redistribution where consumers participate in either a private market or a government-designed program, but not both. We characterize when a social planner, seeking to maximize weighted total surplus, can strict
Externí odkaz:
http://arxiv.org/abs/2409.06112
Image classification usually requires connectivity and access to the cloud which is often limited in many parts of the world, including hard to reach rural areas. TinyML aims to solve this problem by hosting AI assistants on constrained devices, elim
Externí odkaz:
http://arxiv.org/abs/2408.08215
Autor:
Kalhan, Deepak Singh, Watt, Stephen M.
Considering digital ink as plane curves provides a valuable framework for various applications, including signature verification, note-taking, and mathematical handwriting recognition. These plane curves can be obtained as parameterized pairs of appr
Externí odkaz:
http://arxiv.org/abs/2408.02135
Autor:
Jeffrey, David J., Watt, Stephen M.
A Maple implementation of partitioned matrices is described. A recursive block data structure is used, with all operations preserving the block abstraction. These include constructor functions, ring operations such as addition and product, and invers
Externí odkaz:
http://arxiv.org/abs/2408.02112
Autor:
Watt, R., Kettle, B., Gerstmayr, E., King, B., Alejo, A., Astbury, S., Baird, C., Bohlen, S., Campbell, M., Colgan, C., Dannheim, D., Gregory, C., Harsh, H., Hatfield, P., Hinojosa, J., Hollatz, D., Katzir, Y., Morton, J., Murphy, C. D., Nurnberg, A., Osterhoff, J., Pérez-Callejo, G., Põder, K., Rajeev, P. P., Roedel, C., Roeder, F., Salgado, F. C., Samarin, G. M., Sarri, G., Seidel, A., Spindloe, C., Steinke, S., Streeter, M. J. V., Thomas, A. G. R., Underwood, C., Wu, W., Zepf, M., Rose, S. J., Mangles, S. P. D.
We report on a direct search for elastic photon-photon scattering using x-ray and $\gamma$ photons from a laser-plasma based experiment. A gamma photon beam produced by a laser wakefield accelerator provided a broadband gamma spectrum extending to ab
Externí odkaz:
http://arxiv.org/abs/2407.12915
Two methods to analyse radial diffusion ensembles: the peril of space- and time- dependent diffusion
Particle dynamics in Earth's outer radiation belt can be modelled using a diffusion framework, where large-scale electron movements are captured by a diffusion equation across a single adiabatic invariant, $L^{*}$ $``(L)"$. While ensemble models are
Externí odkaz:
http://arxiv.org/abs/2407.04669
Autor:
Norman, Arthur C., Watt, Stephen M.
Sometimes only some digits of a numerical product or some terms of a polynomial or series product are required. Frequently these constitute the most significant or least significant part of the value, for example when computing initial values or refi
Externí odkaz:
http://arxiv.org/abs/2407.04133