Zobrazeno 1 - 10
of 13 242
pro vyhledávání: '"A. P. Watt"'
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
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
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
Data-driven deep learning models are transforming global weather forecasting. It is an open question if this success can extend to climate modeling, where the complexity of the data and long inference rollouts pose significant challenges. Here, we pr
Externí odkaz:
http://arxiv.org/abs/2406.14798
Autor:
Norman, Arthur C., Watt, Stephen M.
Symbolic mathematical computing systems have served as a canary in the coal mine of software systems for more than sixty years. They have introduced or have been early adopters of programming language ideas such ideas as dynamic memory management, ar
Externí odkaz:
http://arxiv.org/abs/2406.09085